llvm/test/Transforms/SLPVectorizer/X86/fabs-cost-softfp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; Regression test from https://bugs.llvm.org/show_bug.cgi?id=39168
   3 ; Based on code from `compiler-rt/lib/builtins/multc3.c`
   4 ; On plaforms where fp128 lowers to an integer type (soft-fp) we
   5 ; shouldn't be calling isFAbsFree() on the legalized type.
   6
   7 ; RUN: opt -passes=slp-vectorizer -slp-threshold=-10 -S %s | FileCheck %s
   8
   9 target triple = "i686-unknown-linux-gnu"
  10
  11 define void @vectorize_fp128(fp128 %c, fp128 %d) #0 {
  12 ; CHECK-LABEL: @vectorize_fp128(
  13 ; CHECK-NEXT:  entry:
  14 ; CHECK-NEXT:    [[TMP0:%.*]] = insertelement <2 x fp128> poison, fp128 [[C:%.*]], i32 0
  15 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x fp128> [[TMP0]], fp128 [[D:%.*]], i32 1
  16 ; CHECK-NEXT:    [[TMP2:%.*]] = call <2 x fp128> @llvm.fabs.v2f128(<2 x fp128> [[TMP1]])
  17 ; CHECK-NEXT:    [[TMP3:%.*]] = fcmp oeq <2 x fp128> [[TMP2]], <fp128 0xL00000000000000007FFF000000000000, fp128 0xL00000000000000007FFF000000000000>
  18 ; CHECK-NEXT:    [[TMP4:%.*]] = extractelement <2 x i1> [[TMP3]], i32 0
  19 ; CHECK-NEXT:    [[TMP5:%.*]] = extractelement <2 x i1> [[TMP3]], i32 1
  20 ; CHECK-NEXT:    [[OR_COND39:%.*]] = or i1 [[TMP4]], [[TMP5]]
  21 ; CHECK-NEXT:    br i1 [[OR_COND39]], label [[IF_THEN13:%.*]], label [[IF_END24:%.*]]
  22 ; CHECK:       if.then13:
  23 ; CHECK-NEXT:    unreachable
  24 ; CHECK:       if.end24:
  25 ; CHECK-NEXT:    ret void
  26 ;
  27 entry:
  28   %0 = tail call fp128 @llvm.fabs.f128(fp128 %c)
  29   %cmpinf10 = fcmp oeq fp128 %0, 0xL00000000000000007FFF000000000000
  30   %1 = tail call fp128 @llvm.fabs.f128(fp128 %d)
  31   %cmpinf12 = fcmp oeq fp128 %1, 0xL00000000000000007FFF000000000000
  32   %or.cond39 = or i1 %cmpinf10, %cmpinf12
  33   br i1 %or.cond39, label %if.then13, label %if.end24
  34
  35 if.then13:                                        ; preds = %entry
  36   unreachable
  37
  38 if.end24:                                         ; preds = %entry
  39   ret void
  40 }
  41
  42 declare fp128 @llvm.fabs.f128(fp128)
  43
  44 attributes #0 = { "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" }