Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / 34c4485b7479a12b5ef1cb15d27e96277e8a499a / . / test / CodeGen / X86 / isint.ll
blob: 4a98e63f38fc92f487befc747c59eb03a4b65f98 [file] [log] [blame]
Stuart Hastings865f0932011-06-03 23:53:54 +0000[diff] [blame]1; RUN: llc < %s -march=x86 -mattr=+sse2 | FileCheck %s
Dan Gohman279c22e2008-10-21 03:29:32 +0000[diff] [blame]2
3define i32 @isint_return(double %d) nounwind {
Stuart Hastings865f0932011-06-03 23:53:54 +0000[diff] [blame]4; CHECK-NOT: xor
5; CHECK: cvt
Dan Gohman279c22e2008-10-21 03:29:32 +0000[diff] [blame]6 %i = fptosi double %d to i32
Stuart Hastings865f0932011-06-03 23:53:54 +0000[diff] [blame]7; CHECK-NEXT: cvt
Dan Gohman279c22e2008-10-21 03:29:32 +0000[diff] [blame]8 %e = sitofp i32 %i to double
Stuart Hastings865f0932011-06-03 23:53:54 +0000[diff] [blame]9; CHECK: cmpeqsd
Dan Gohman279c22e2008-10-21 03:29:32 +0000[diff] [blame]10 %c = fcmp oeq double %d, %e
Stuart Hastings865f0932011-06-03 23:53:54 +0000[diff] [blame]11; CHECK-NEXT: movd
12; CHECK-NEXT: andl
Dan Gohman279c22e2008-10-21 03:29:32 +0000[diff] [blame]13 %z = zext i1 %c to i32
14 ret i32 %z
15}
16
17declare void @foo()
18
19define void @isint_branch(double %d) nounwind {
Stuart Hastings865f0932011-06-03 23:53:54 +0000[diff] [blame]20; CHECK: cvt
Dan Gohman279c22e2008-10-21 03:29:32 +0000[diff] [blame]21 %i = fptosi double %d to i32
Stuart Hastings865f0932011-06-03 23:53:54 +0000[diff] [blame]22; CHECK-NEXT: cvt
Dan Gohman279c22e2008-10-21 03:29:32 +0000[diff] [blame]23 %e = sitofp i32 %i to double
Stuart Hastings865f0932011-06-03 23:53:54 +0000[diff] [blame]24; CHECK: ucomisd
Dan Gohman279c22e2008-10-21 03:29:32 +0000[diff] [blame]25 %c = fcmp oeq double %d, %e
Stuart Hastings865f0932011-06-03 23:53:54 +0000[diff] [blame]26; CHECK-NEXT: jne
27; CHECK-NEXT: jp
Dan Gohman279c22e2008-10-21 03:29:32 +0000[diff] [blame]28 br i1 %c, label %true, label %false
29true:
30 call void @foo()
31 ret void
32false:
33 ret void
34}