test/CodeGen/X86/fabs.ll

   1 ; Make sure this testcase codegens to the fabs instruction, not a call to fabsf
   2 ; RUN: llc < %s -march=x86 -mattr=-sse2,-sse3,-sse | FileCheck %s
   3 ; RUN: llc < %s -march=x86 -mattr=-sse,-sse2,-sse3 -enable-unsafe-fp-math -enable-no-nans-fp-math | FileCheck %s --check-prefix=UNSAFE
   4
   5 declare float @fabsf(float)
   6
   7 declare x86_fp80 @fabsl(x86_fp80)
   8
   9 ; CHECK:  test1:
  10 ; UNSAFE: test1:
  11 define float @test1(float %X) {
  12         %Y = call float @fabsf(float %X)
  13         ret float %Y
  14 }
  15 ; CHECK:  {{^[ \t]+fabs$}}
  16 ; UNSAFE: {{^[ \t]+fabs$}}
  17
  18 ; CHECK-NOT:  fabs
  19 ; UNSAFE-NOT: fabs
  20
  21 ; CHECK:  test2:
  22 ; UNSAFE: test2:
  23 define double @test2(double %X) {
  24         %Y = fcmp oge double %X, -0.0
  25         %Z = fsub double -0.0, %X
  26         %Q = select i1 %Y, double %X, double %Z
  27         ret double %Q
  28 }
  29 ; fabs is not used here.
  30 ; CHECK-NOT:  fabs
  31
  32 ; UNSAFE: {{^[ \t]+fabs$}}
  33
  34 ; UNSAFE-NOT: fabs
  35
  36 ; CHECK:  test3:
  37 ; UNSAFE: test3:
  38 define x86_fp80 @test3(x86_fp80 %X) {
  39         %Y = call x86_fp80 @fabsl(x86_fp80 %X)
  40         ret x86_fp80 %Y
  41 }
  42 ; CHECK:  {{^[ \t]+fabs$}}
  43 ; UNSAFE: {{^[ \t]+fabs$}}
  44
  45 ; CHECK-NOT:  fabs
  46 ; UNSAFE-NOT: fabs