Add a comment noting that the fdiv -> fmul conversion won't generate
[oota-llvm.git] / test / CodeGen / X86 / cmp.ll
1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin10 -show-mc-encoding | FileCheck %s
2
3 define i32 @test1(i32 %X, i32* %y) nounwind {
4         %tmp = load i32* %y             ; <i32> [#uses=1]
5         %tmp.upgrd.1 = icmp eq i32 %tmp, 0              ; <i1> [#uses=1]
6         br i1 %tmp.upgrd.1, label %ReturnBlock, label %cond_true
7
8 cond_true:              ; preds = %0
9         ret i32 1
10
11 ReturnBlock:            ; preds = %0
12         ret i32 0
13 ; CHECK: test1:
14 ; CHECK: cmpl   $0, (%rsi)
15 }
16
17 define i32 @test2(i32 %X, i32* %y) nounwind {
18         %tmp = load i32* %y             ; <i32> [#uses=1]
19         %tmp1 = shl i32 %tmp, 3         ; <i32> [#uses=1]
20         %tmp1.upgrd.2 = icmp eq i32 %tmp1, 0            ; <i1> [#uses=1]
21         br i1 %tmp1.upgrd.2, label %ReturnBlock, label %cond_true
22
23 cond_true:              ; preds = %0
24         ret i32 1
25
26 ReturnBlock:            ; preds = %0
27         ret i32 0
28 ; CHECK: test2:
29 ; CHECK: movl   (%rsi), %eax
30 ; CHECK: shll   $3, %eax
31 ; CHECK: testl  %eax, %eax
32 }
33
34 define i64 @test3(i64 %x) nounwind {
35   %t = icmp eq i64 %x, 0
36   %r = zext i1 %t to i64
37   ret i64 %r
38 ; CHECK: test3:
39 ; CHECK:        testq   %rdi, %rdi
40 ; CHECK:        sete    %al
41 ; CHECK:        movzbl  %al, %eax
42 ; CHECK:        ret
43 }
44
45 define i64 @test4(i64 %x) nounwind {
46   %t = icmp slt i64 %x, 1
47   %r = zext i1 %t to i64
48   ret i64 %r
49 ; CHECK: test4:
50 ; CHECK:        testq   %rdi, %rdi
51 ; CHECK:        setle   %al
52 ; CHECK:        movzbl  %al, %eax
53 ; CHECK:        ret
54 }
55
56
57 define i32 @test5(double %A) nounwind  {
58  entry:
59  %tmp2 = fcmp ogt double %A, 1.500000e+02; <i1> [#uses=1]
60  %tmp5 = fcmp ult double %A, 7.500000e+01; <i1> [#uses=1]
61  %bothcond = or i1 %tmp2, %tmp5; <i1> [#uses=1]
62  br i1 %bothcond, label %bb8, label %bb12
63
64  bb8:; preds = %entry
65  %tmp9 = tail call i32 (...)* @foo( ) nounwind ; <i32> [#uses=1]
66  ret i32 %tmp9
67
68  bb12:; preds = %entry
69  ret i32 32
70 ; CHECK: test5:
71 ; CHECK: ucomisd        LCPI4_0(%rip), %xmm0
72 ; CHECK: ucomisd        LCPI4_1(%rip), %xmm0
73 }
74
75 declare i32 @foo(...)
76
77 define i32 @test6() nounwind align 2 {
78   %A = alloca {i64, i64}, align 8
79   %B = getelementptr inbounds {i64, i64}* %A, i64 0, i32 1
80   %C = load i64* %B
81   %D = icmp eq i64 %C, 0
82   br i1 %D, label %T, label %F
83 T:
84   ret i32 1
85   
86 F:
87   ret i32 0
88 ; CHECK: test6:
89 ; CHECK: cmpq   $0, -8(%rsp)
90 ; CHECK: encoding: [0x48,0x83,0x7c,0x24,0xf8,0x00]
91 }
92