blob: 2d722918b9d797c4a9bac4f9fc8bb09e4c973176 [file] [log] [blame]
Reid Spencerd0e30dc2006-12-02 04:23:10 +00001; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg | llvm-dis | not grep br
Chris Lattnerae509322004-02-24 05:34:44 +00002
3declare void %foo1()
4declare void %foo2()
5
6void %test1(uint %V) {
7 %C1 = seteq uint %V, 4
8 %C2 = seteq uint %V, 17
9 %CN = or bool %C1, %C2
10 br bool %CN, label %T, label %F
11T:
12 call void %foo1()
13 ret void
14F:
15 call void %foo2()
16 ret void
17}
18
19
20void %test2(int %V) {
21 %C1 = setne int %V, 4
22 %C2 = setne int %V, 17
23 %CN = and bool %C1, %C2
24 br bool %CN, label %T, label %F
25T:
26 call void %foo1()
27 ret void
28F:
29 call void %foo2()
30 ret void
31}
32
33
Chris Lattner272f3522005-02-24 02:13:50 +000034void %test3(int %V) {
35 %C1 = seteq int %V, 4
36 br bool %C1, label %T, label %N
37N:
38 %C2 = seteq int %V, 17
39 br bool %C2, label %T, label %F
40T:
41 call void %foo1()
42 ret void
43F:
44 call void %foo2()
45 ret void
46}
47
48