1 ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
3 @a = external global i32 ; <i32*> [#uses=7]
6 define i32 @test1() nounwind {
8 %0 = load i32* @a, align 4
10 br i1 %1, label %bb, label %bb1
16 %2 = load i32* @a, align 4
17 %3 = icmp eq i32 %2, 5
18 br i1 %3, label %bb2, label %bb3
24 %4 = load i32* @a, align 4
25 %5 = icmp eq i32 %4, 4
26 ; CHECK: br i1 false, label %bb4, label %bb5
27 br i1 %5, label %bb4, label %bb5
30 %6 = load i32* @a, align 4
35 %8 = load i32* @a, align 4
36 %9 = icmp eq i32 %8, 5
37 ; CHECK: br i1 false, label %bb6, label %bb7
38 br i1 %9, label %bb6, label %bb7
41 %10 = load i32* @a, align 4
46 %12 = load i32* @a, align 4
49 bb8: ; preds = %bb7, %bb6, %bb4, %bb2, %bb
50 %.0 = phi i32 [ %12, %bb7 ], [ %11, %bb6 ], [ %7, %bb4 ], [ 4, %bb2 ], [ 5, %bb ]
53 return: ; preds = %bb8
58 declare void @bar(i32)
61 define void @test3(i32 %x, i32 %y) {
62 %xz = icmp eq i32 %x, 0
63 %yz = icmp eq i32 %y, 0
65 br i1 %z, label %both_zero, label %nope
67 call void @foo(i1 %xz)
68 ; CHECK: call void @foo(i1 true)
69 call void @foo(i1 %yz)
70 ; CHECK: call void @foo(i1 true)
71 call void @bar(i32 %x)
72 ; CHECK: call void @bar(i32 0)
73 call void @bar(i32 %y)
74 ; CHECK: call void @bar(i32 0)
78 ; CHECK: call void @foo(i1 false)
83 define void @test4(i1 %b, i32 %x) {
84 br i1 %b, label %sw, label %case3
86 switch i32 %x, label %default [
95 call void @bar(i32 %x)
96 ; CHECK: call void @bar(i32 %x)
100 call void @bar(i32 %x)
101 ; CHECK: call void @bar(i32 %x)
105 call void @bar(i32 %x)
106 ; CHECK: call void @bar(i32 1)
110 call void @bar(i32 %x)
111 ; CHECK: call void @bar(i32 %x)
116 define i1 @test5(i32 %x, i32 %y) {
117 %cmp = icmp eq i32 %x, %y
118 br i1 %cmp, label %same, label %different
121 %cmp2 = icmp ne i32 %x, %y
122 ; CHECK: ret i1 false
126 %cmp3 = icmp eq i32 %x, %y
127 ; CHECK: ret i1 false
132 define i1 @test6(i32 %x, i32 %y) {
133 %cmp2 = icmp ne i32 %x, %y
134 %cmp = icmp eq i32 %x, %y
135 %cmp3 = icmp eq i32 %x, %y
136 br i1 %cmp, label %same, label %different
139 ; CHECK: ret i1 false
143 ; CHECK: ret i1 false
148 define i1 @test7(i32 %x, i32 %y) {
149 %cmp = icmp sgt i32 %x, %y
150 br i1 %cmp, label %same, label %different
153 %cmp2 = icmp sle i32 %x, %y
154 ; CHECK: ret i1 false
158 %cmp3 = icmp sgt i32 %x, %y
159 ; CHECK: ret i1 false
164 define i1 @test8(i32 %x, i32 %y) {
165 %cmp2 = icmp sle i32 %x, %y
166 %cmp = icmp sgt i32 %x, %y
167 %cmp3 = icmp sgt i32 %x, %y
168 br i1 %cmp, label %same, label %different
171 ; CHECK: ret i1 false
175 ; CHECK: ret i1 false
181 define i32 @test9(i32 %i, i32 %j) {
182 %cmp = icmp eq i32 %i, %j
183 br i1 %cmp, label %cond_true, label %ret
186 %diff = sub i32 %i, %j
197 define i32 @test10(i32 %j, i32 %i) {
198 %cmp = icmp eq i32 %i, %j
199 br i1 %cmp, label %cond_true, label %ret
202 %diff = sub i32 %i, %j
211 declare i32 @yogibar()
214 define i32 @test11(i32 %x) {
215 %v0 = call i32 @yogibar()
216 %v1 = call i32 @yogibar()
217 %cmp = icmp eq i32 %v0, %v1
218 br i1 %cmp, label %cond_true, label %next
225 %cmp2 = icmp eq i32 %x, %v0
226 br i1 %cmp2, label %cond_true2, label %next2
237 define i32 @test12(i32 %x) {
238 %cmp = icmp eq i32 %x, 0
239 br i1 %cmp, label %cond_true, label %cond_false
248 %res = phi i32 [ %x, %cond_true ], [ %x, %cond_false ]
249 ; CHECK: %res = phi i32 [ 0, %cond_true ], [ %x, %cond_false ]