| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; Regression test from https://bugs.llvm.org/show_bug.cgi?id=39168 |
| ; Based on code from `compiler-rt/lib/builtins/multc3.c` |
| ; On plaforms where fp128 lowers to an interger type (soft-fp) we |
| ; shouldn't be calling isFAbsFree() on the legalized type. |
| |
| ; RUN: opt -slp-vectorizer -slp-threshold=-10 -S %s | FileCheck %s |
| |
| target triple = "i686-unknown-linux-gnu" |
| |
| define void @vectorize_fp128(fp128 %c, fp128 %d) #0 { |
| ; CHECK-LABEL: @vectorize_fp128( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[TMP0:%.*]] = insertelement <2 x fp128> undef, fp128 [[C:%.*]], i32 0 |
| ; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x fp128> [[TMP0]], fp128 [[D:%.*]], i32 1 |
| ; CHECK-NEXT: [[TMP2:%.*]] = call <2 x fp128> @llvm.fabs.v2f128(<2 x fp128> [[TMP1]]) |
| ; CHECK-NEXT: [[TMP3:%.*]] = fcmp oeq <2 x fp128> [[TMP2]], <fp128 0xL00000000000000007FFF000000000000, fp128 0xL00000000000000007FFF000000000000> |
| ; CHECK-NEXT: [[TMP4:%.*]] = extractelement <2 x i1> [[TMP3]], i32 0 |
| ; CHECK-NEXT: [[TMP5:%.*]] = extractelement <2 x i1> [[TMP3]], i32 1 |
| ; CHECK-NEXT: [[OR_COND39:%.*]] = or i1 [[TMP4]], [[TMP5]] |
| ; CHECK-NEXT: br i1 [[OR_COND39]], label [[IF_THEN13:%.*]], label [[IF_END24:%.*]] |
| ; CHECK: if.then13: |
| ; CHECK-NEXT: unreachable |
| ; CHECK: if.end24: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %0 = tail call fp128 @llvm.fabs.f128(fp128 %c) |
| %cmpinf10 = fcmp oeq fp128 %0, 0xL00000000000000007FFF000000000000 |
| %1 = tail call fp128 @llvm.fabs.f128(fp128 %d) |
| %cmpinf12 = fcmp oeq fp128 %1, 0xL00000000000000007FFF000000000000 |
| %or.cond39 = or i1 %cmpinf10, %cmpinf12 |
| br i1 %or.cond39, label %if.then13, label %if.end24 |
| |
| if.then13: ; preds = %entry |
| unreachable |
| |
| if.end24: ; preds = %entry |
| ret void |
| } |
| |
| declare fp128 @llvm.fabs.f128(fp128) |
| |
| attributes #0 = { "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" } |
