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
  93 ; rdar://11866926
  94 define i32 @test7(i64 %res) nounwind {
  95 entry:
  96 ; CHECK: test7:
  97 ; CHECK-NOT: movabsq
  98 ; CHECK: shrq $32, %rdi
  99 ; CHECK: sete
 100   %lnot = icmp ult i64 %res, 4294967296
 101   %lnot.ext = zext i1 %lnot to i32
 102   ret i32 %lnot.ext
 103 }
 104
 105 define i32 @test8(i64 %res) nounwind {
 106 entry:
 107 ; CHECK: test8:
 108 ; CHECK-NOT: movabsq
 109 ; CHECK: shrq $32, %rdi
 110 ; CHECK: cmpq $3, %rdi
 111   %lnot = icmp ult i64 %res, 12884901888
 112   %lnot.ext = zext i1 %lnot to i32
 113   ret i32 %lnot.ext
 114 }
 115
 116 define i32 @test9(i64 %res) nounwind {
 117 entry:
 118 ; CHECK: test9:
 119 ; CHECK-NOT: movabsq
 120 ; CHECK: shrq $33, %rdi
 121 ; CHECK: sete
 122   %lnot = icmp ult i64 %res, 8589934592
 123   %lnot.ext = zext i1 %lnot to i32
 124   ret i32 %lnot.ext
 125 }
 126
 127 define i32 @test10(i64 %res) nounwind {
 128 entry:
 129 ; CHECK: test10:
 130 ; CHECK-NOT: movabsq
 131 ; CHECK: shrq $32, %rdi
 132 ; CHECK: setne
 133   %lnot = icmp uge i64 %res, 4294967296
 134   %lnot.ext = zext i1 %lnot to i32
 135   ret i32 %lnot.ext
 136 }
 137
 138 ; rdar://9758774
 139 define i32 @test11(i64 %l) nounwind {
 140 entry:
 141 ; CHECK: test11:
 142 ; CHECK-NOT: movabsq
 143 ; CHECK-NOT: andq
 144 ; CHECK: shrq $47, %rdi
 145 ; CHECK: cmpq $1, %rdi
 146   %shr.mask = and i64 %l, -140737488355328
 147   %cmp = icmp eq i64 %shr.mask, 140737488355328
 148   %conv = zext i1 %cmp to i32
 149   ret i32 %conv
 150 }
 151
 152 define i32 @test12() uwtable ssp {
 153 ; CHECK: test12:
 154 ; CHECK: testb
 155   %1 = call zeroext i1 @test12b()
 156   br i1 %1, label %2, label %3
 157
 158 ; <label>:2                                       ; preds = %0
 159   ret i32 1
 160
 161 ; <label>:3                                       ; preds = %0
 162   ret i32 2
 163 }
 164
 165 declare zeroext i1 @test12b()