test/CodeGen/X86/isint.ll

   1 ; RUN: llc < %s -mtriple=x86_64-pc-unknown -mattr=+sse2 | FileCheck -check-prefix=CHECK -check-prefix=CHECK64 %s
   2
   3 ; PR19059
   4 ; RUN: llc < %s -mtriple=i686-pc-unknown -mattr=+sse2 | FileCheck -check-prefix=CHECK -check-prefix=CHECK32 %s
   5
   6 define i32 @isint_return(double %d) nounwind {
   7 ; CHECK-LABEL: isint_return:
   8 ; CHECK-NOT: xor
   9 ; CHECK: cvt
  10   %i = fptosi double %d to i32
  11 ; CHECK-NEXT: cvt
  12   %e = sitofp i32 %i to double
  13 ; CHECK: cmpeqsd
  14   %c = fcmp oeq double %d, %e
  15 ; CHECK32-NOT: movd {{.*}}, %r{{.*}}
  16 ; CHECK32-NOT: andq
  17 ; CHECK32-NEXT: movd
  18 ; CHECK64-NEXT: movq
  19 ; CHECK-NEXT: andl
  20   %z = zext i1 %c to i32
  21   ret i32 %z
  22 }
  23
  24 define i32 @isint_float_return(float %f) nounwind {
  25 ; CHECK-LABEL: isint_float_return:
  26 ; CHECK-NOT: xor
  27 ; CHECK: cvt
  28   %i = fptosi float %f to i32
  29 ; CHECK-NEXT: cvt
  30   %g = sitofp i32 %i to float
  31 ; CHECK: cmpeqss
  32   %c = fcmp oeq float %f, %g
  33 ; CHECK-NOT: movd {{.*}}, %r{{.*}}
  34 ; CHECK-NEXT: movd
  35 ; CHECK-NEXT: andl
  36   %z = zext i1 %c to i32
  37   ret i32 %z
  38 }
  39
  40 declare void @foo()
  41
  42 define void @isint_branch(double %d) nounwind {
  43 ; CHECK-LABEL: isint_branch:
  44 ; CHECK: cvt
  45   %i = fptosi double %d to i32
  46 ; CHECK-NEXT: cvt
  47   %e = sitofp i32 %i to double
  48 ; CHECK: ucomisd
  49   %c = fcmp oeq double %d, %e
  50 ; CHECK-NEXT: jne
  51 ; CHECK-NEXT: jp
  52   br i1 %c, label %true, label %false
  53 true:
  54   call void @foo()
  55   ret void
  56 false:
  57   ret void
  58 }