diff options
Diffstat (limited to 'test/CodeGen/X86/brcond.ll')
| -rw-r--r-- | test/CodeGen/X86/brcond.ll | 44 |
1 files changed, 42 insertions, 2 deletions
diff --git a/test/CodeGen/X86/brcond.ll b/test/CodeGen/X86/brcond.ll index 12674e91a0..c0ce31c270 100644 --- a/test/CodeGen/X86/brcond.ll +++ b/test/CodeGen/X86/brcond.ll @@ -1,9 +1,9 @@ ; RUN: llc < %s -march=x86 | FileCheck %s ; rdar://7475489 -define i32 @t(i32 %a, i32 %b) nounwind ssp { +define i32 @test1(i32 %a, i32 %b) nounwind ssp { entry: -; CHECK: t: +; CHECK: test1: ; CHECK: xorb ; CHECK-NOT: andb ; CHECK-NOT: shrb @@ -27,3 +27,43 @@ bb1: ; preds = %entry declare i32 @foo(...) declare i32 @bar(...) + + + +; PR3351 - (P == 0) & (Q == 0) -> (P|Q) == 0 +define i32 @test2(i32* %P, i32* %Q) nounwind ssp { +entry: + %a = icmp eq i32* %P, null ; <i1> [#uses=1] + %b = icmp eq i32* %Q, null ; <i1> [#uses=1] + %c = and i1 %a, %b + br i1 %c, label %bb1, label %return + +bb1: ; preds = %entry + ret i32 4 + +return: ; preds = %entry + ret i32 192 +; CHECK: test2: +; CHECK: movl 4(%esp), %eax +; CHECK-NEXT: orl 8(%esp), %eax +; CHECK-NEXT: jne LBB2_2 +} + +; PR3351 - (P != 0) | (Q != 0) -> (P|Q) != 0 +define i32 @test3(i32* %P, i32* %Q) nounwind ssp { +entry: + %a = icmp ne i32* %P, null ; <i1> [#uses=1] + %b = icmp ne i32* %Q, null ; <i1> [#uses=1] + %c = or i1 %a, %b + br i1 %c, label %bb1, label %return + +bb1: ; preds = %entry + ret i32 4 + +return: ; preds = %entry + ret i32 192 +; CHECK: test3: +; CHECK: movl 4(%esp), %eax +; CHECK-NEXT: orl 8(%esp), %eax +; CHECK-NEXT: je LBB3_2 +} |