1 ; RUN: opt -S -instcombine < %s | FileCheck %s
5 define void @test1(i32 %a, i32 %b) nounwind {
6 %1 = icmp slt i32 %a, 0
7 %2 = icmp slt i32 %b, 0
8 %or.cond = or i1 %1, %2
9 br i1 %or.cond, label %if.then, label %if.end
12 ; CHECK-NEXT: %1 = or i32 %a, %b
13 ; CHECK-NEXT: %2 = icmp slt i32 %1, 0
17 tail call void @foo() nounwind
24 define void @test2(i32 %a, i32 %b) nounwind {
25 %1 = icmp sgt i32 %a, -1
26 %2 = icmp sgt i32 %b, -1
27 %or.cond = or i1 %1, %2
28 br i1 %or.cond, label %if.then, label %if.end
31 ; CHECK-NEXT: %1 = and i32 %a, %b
32 ; CHECK-NEXT: %2 = icmp sgt i32 %1, -1
36 tail call void @foo() nounwind
43 define void @test3(i32 %a, i32 %b) nounwind {
44 %1 = icmp slt i32 %a, 0
45 %2 = icmp slt i32 %b, 0
46 %or.cond = and i1 %1, %2
47 br i1 %or.cond, label %if.then, label %if.end
50 ; CHECK-NEXT: %1 = and i32 %a, %b
51 ; CHECK-NEXT: %2 = icmp slt i32 %1, 0
55 tail call void @foo() nounwind
62 define void @test4(i32 %a, i32 %b) nounwind {
63 %1 = icmp sgt i32 %a, -1
64 %2 = icmp sgt i32 %b, -1
65 %or.cond = and i1 %1, %2
66 br i1 %or.cond, label %if.then, label %if.end
69 ; CHECK-NEXT: %1 = or i32 %a, %b
70 ; CHECK-NEXT: %2 = icmp sgt i32 %1, -1
74 tail call void @foo() nounwind