1 ; RUN: llc < %s -march=x86 | FileCheck %s
4 define i32 @test1(i32 %a, i32 %b) nounwind ssp {
11 %0 = and i32 %a, 16384
12 %1 = icmp ne i32 %0, 0
13 %2 = and i32 %b, 16384
14 %3 = icmp ne i32 %2, 0
16 br i1 %4, label %bb1, label %bb
19 %5 = tail call i32 (...)* @foo() nounwind ; <i32> [#uses=1]
23 %6 = tail call i32 (...)* @bar() nounwind ; <i32> [#uses=1]
33 ; PR3351 - (P == 0) & (Q == 0) -> (P|Q) == 0
34 define i32 @test2(i32* %P, i32* %Q) nounwind ssp {
36 %a = icmp eq i32* %P, null ; <i1> [#uses=1]
37 %b = icmp eq i32* %Q, null ; <i1> [#uses=1]
39 br i1 %c, label %bb1, label %return
44 return: ; preds = %entry
47 ; CHECK: movl 4(%esp), %eax
48 ; CHECK-NEXT: orl 8(%esp), %eax
49 ; CHECK-NEXT: jne LBB2_2
52 ; PR3351 - (P != 0) | (Q != 0) -> (P|Q) != 0
53 define i32 @test3(i32* %P, i32* %Q) nounwind ssp {
55 %a = icmp ne i32* %P, null ; <i1> [#uses=1]
56 %b = icmp ne i32* %Q, null ; <i1> [#uses=1]
58 br i1 %c, label %bb1, label %return
63 return: ; preds = %entry
66 ; CHECK: movl 4(%esp), %eax
67 ; CHECK-NEXT: orl 8(%esp), %eax
68 ; CHECK-NEXT: je LBB3_2