; RUN: llc < %s -mtriple=x86_64-apple-darwin10 -show-mc-encoding | FileCheck %s define i32 @test1(i32 %X, i32* %y) nounwind { %tmp = load i32, i32* %y ; [#uses=1] %tmp.upgrd.1 = icmp eq i32 %tmp, 0 ; [#uses=1] br i1 %tmp.upgrd.1, label %ReturnBlock, label %cond_true cond_true: ; preds = %0 ret i32 1 ReturnBlock: ; preds = %0 ret i32 0 ; CHECK-LABEL: test1: ; CHECK: cmpl $0, (%rsi) } define i32 @test2(i32 %X, i32* %y) nounwind { %tmp = load i32, i32* %y ; [#uses=1] %tmp1 = shl i32 %tmp, 3 ; [#uses=1] %tmp1.upgrd.2 = icmp eq i32 %tmp1, 0 ; [#uses=1] br i1 %tmp1.upgrd.2, label %ReturnBlock, label %cond_true cond_true: ; preds = %0 ret i32 1 ReturnBlock: ; preds = %0 ret i32 0 ; CHECK-LABEL: test2: ; CHECK: testl $536870911, (%rsi) } define i8 @test2b(i8 %X, i8* %y) nounwind { %tmp = load i8, i8* %y ; [#uses=1] %tmp1 = shl i8 %tmp, 3 ; [#uses=1] %tmp1.upgrd.2 = icmp eq i8 %tmp1, 0 ; [#uses=1] br i1 %tmp1.upgrd.2, label %ReturnBlock, label %cond_true cond_true: ; preds = %0 ret i8 1 ReturnBlock: ; preds = %0 ret i8 0 ; CHECK-LABEL: test2b: ; CHECK: testb $31, (%rsi) } define i64 @test3(i64 %x) nounwind { %t = icmp eq i64 %x, 0 %r = zext i1 %t to i64 ret i64 %r ; CHECK-LABEL: test3: ; CHECK: testq %rdi, %rdi ; CHECK: sete %al ; CHECK: movzbl %al, %eax ; CHECK: ret } define i64 @test4(i64 %x) nounwind { %t = icmp slt i64 %x, 1 %r = zext i1 %t to i64 ret i64 %r ; CHECK-LABEL: test4: ; CHECK: testq %rdi, %rdi ; CHECK: setle %al ; CHECK: movzbl %al, %eax ; CHECK: ret } define i32 @test5(double %A) nounwind { entry: %tmp2 = fcmp ogt double %A, 1.500000e+02; [#uses=1] %tmp5 = fcmp ult double %A, 7.500000e+01; [#uses=1] %bothcond = or i1 %tmp2, %tmp5; [#uses=1] br i1 %bothcond, label %bb8, label %bb12 bb8:; preds = %entry %tmp9 = tail call i32 (...) @foo( ) nounwind ; [#uses=1] ret i32 %tmp9 bb12:; preds = %entry ret i32 32 ; CHECK-LABEL: test5: ; CHECK: ucomisd LCPI5_0(%rip), %xmm0 ; CHECK: ucomisd LCPI5_1(%rip), %xmm0 } declare i32 @foo(...) define i32 @test6() nounwind align 2 { %A = alloca {i64, i64}, align 8 %B = getelementptr inbounds {i64, i64}, {i64, i64}* %A, i64 0, i32 1 %C = load i64, i64* %B %D = icmp eq i64 %C, 0 br i1 %D, label %T, label %F T: ret i32 1 F: ret i32 0 ; CHECK-LABEL: test6: ; CHECK: cmpq $0, -8(%rsp) ; CHECK: encoding: [0x48,0x83,0x7c,0x24,0xf8,0x00] } ; rdar://11866926 define i32 @test7(i64 %res) nounwind { entry: ; CHECK-LABEL: test7: ; CHECK-NOT: movabsq ; CHECK: shrq $32, %rdi ; CHECK: sete %lnot = icmp ult i64 %res, 4294967296 %lnot.ext = zext i1 %lnot to i32 ret i32 %lnot.ext } define i32 @test8(i64 %res) nounwind { entry: ; CHECK-LABEL: test8: ; CHECK-NOT: movabsq ; CHECK: shrq $32, %rdi ; CHECK: cmpq $3, %rdi %lnot = icmp ult i64 %res, 12884901888 %lnot.ext = zext i1 %lnot to i32 ret i32 %lnot.ext } define i32 @test9(i64 %res) nounwind { entry: ; CHECK-LABEL: test9: ; CHECK-NOT: movabsq ; CHECK: shrq $33, %rdi ; CHECK: sete %lnot = icmp ult i64 %res, 8589934592 %lnot.ext = zext i1 %lnot to i32 ret i32 %lnot.ext } define i32 @test10(i64 %res) nounwind { entry: ; CHECK-LABEL: test10: ; CHECK-NOT: movabsq ; CHECK: shrq $32, %rdi ; CHECK: setne %lnot = icmp uge i64 %res, 4294967296 %lnot.ext = zext i1 %lnot to i32 ret i32 %lnot.ext } ; rdar://9758774 define i32 @test11(i64 %l) nounwind { entry: ; CHECK-LABEL: test11: ; CHECK-NOT: movabsq ; CHECK-NOT: andq ; CHECK: shrq $47, %rdi ; CHECK: cmpq $1, %rdi %shr.mask = and i64 %l, -140737488355328 %cmp = icmp eq i64 %shr.mask, 140737488355328 %conv = zext i1 %cmp to i32 ret i32 %conv } define i32 @test12() uwtable ssp { ; CHECK-LABEL: test12: ; CHECK: testb %1 = call zeroext i1 @test12b() br i1 %1, label %2, label %3 ;