Skip to content

Commit 5cd1e1e

Browse files
leewei05leewei05
committed
Remove br i1 undef in SimplifyCFG directory
1 parent ab7ec90 commit 5cd1e1e

File tree

5 files changed

+42
-42
lines changed

5 files changed

+42
-42
lines changed

‎llvm/test/Transforms/SimplifyCFG/2004-12-10-SimplifyCFGCrash.ll‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,36 +1,36 @@
11
; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -disable-output
22

3-
define void @symhash_add() {
3+
define void @symhash_add(i1 %arg) {
44
entry:
5-
br i1 undef, label %then.0, label %UnifiedReturnBlock
5+
br i1 %arg, label %then.0, label %UnifiedReturnBlock
66
then.0: ; preds = %entry
7-
br i1 undef, label %loopentry.2, label %loopentry.1.preheader
7+
br i1 %arg, label %loopentry.2, label %loopentry.1.preheader
88
loopentry.1.preheader: ; preds = %then.0
99
br label %loopentry.1.outer
1010
loopentry.1.outer: ; preds = %loopexit.1, %loopentry.1.preheader
1111
br label %loopentry.1
1212
loopentry.1: ; preds = %endif.1, %then.4, %then.3, %then.1, %loopentry.1.outer
13-
br i1 undef, label %loopexit.1, label %no_exit.1
13+
br i1 %arg, label %loopexit.1, label %no_exit.1
1414
no_exit.1: ; preds = %loopentry.1
15-
br i1 undef, label %then.1, label %else.0
15+
br i1 %arg, label %then.1, label %else.0
1616
then.1: ; preds = %no_exit.1
1717
br label %loopentry.1
1818
else.0: ; preds = %no_exit.1
19-
br i1 undef, label %then.2, label %else.1
19+
br i1 %arg, label %then.2, label %else.1
2020
then.2: ; preds = %else.0
21-
br i1 undef, label %then.3, label %endif.1
21+
br i1 %arg, label %then.3, label %endif.1
2222
then.3: ; preds = %then.2
2323
br label %loopentry.1
2424
else.1: ; preds = %else.0
25-
br i1 undef, label %endif.1, label %then.4
25+
br i1 %arg, label %endif.1, label %then.4
2626
then.4: ; preds = %else.1
2727
br label %loopentry.1
2828
endif.1: ; preds = %else.1, %then.2
2929
br label %loopentry.1
3030
loopexit.1: ; preds = %loopentry.1
31-
br i1 undef, label %loopentry.1.outer, label %loopentry.2
31+
br i1 %arg, label %loopentry.1.outer, label %loopentry.2
3232
loopentry.2: ; preds = %no_exit.2, %loopexit.1, %then.0
33-
br i1 undef, label %loopexit.2, label %no_exit.2
33+
br i1 %arg, label %loopexit.2, label %no_exit.2
3434
no_exit.2: ; preds = %loopentry.2
3535
br label %loopentry.2
3636
loopexit.2: ; preds = %loopentry.2

‎llvm/test/Transforms/SimplifyCFG/2006-06-12-InfLoop.ll‎

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -disable-output
22
; END.
33

4-
define void @main(i32 %c) {
4+
define void @main(i32 %c, i1 %arg) {
55
entry:
66
%tmp.9 = icmp eq i32 %c, 2 ; <i1> [#uses=1]
77
br i1 %tmp.9, label %endif.0, label %then.0
@@ -186,21 +186,21 @@ no_exit.0.i31.preheader: ; preds = %loopentry.1.i30
186186
no_exit.0.i31: ; preds = %loopexit.3.i, %no_exit.0.i31.preheader
187187
br i1 false, label %then.1.i, label %else.0.i
188188
then.1.i: ; preds = %no_exit.0.i31
189-
br i1 undef, label %then.0.i29, label %loopentry.0.i31
189+
br i1 %arg, label %then.0.i29, label %loopentry.0.i31
190190
then.0.i29: ; preds = %then.1.i
191191
unreachable
192192
loopentry.0.i31: ; preds = %then.1.i
193193
br i1 false, label %no_exit.0.i38.preheader, label %loopentry.1.i.preheader
194194
no_exit.0.i38.preheader: ; preds = %loopentry.0.i31
195195
br label %no_exit.0.i38
196196
no_exit.0.i38: ; preds = %no_exit.0.i38, %no_exit.0.i38.preheader
197-
br i1 undef, label %no_exit.0.i38, label %loopentry.1.i.preheader.loopexit
197+
br i1 %arg, label %no_exit.0.i38, label %loopentry.1.i.preheader.loopexit
198198
loopentry.1.i.preheader.loopexit: ; preds = %no_exit.0.i38
199199
br label %loopentry.1.i.preheader
200200
loopentry.1.i.preheader: ; preds = %loopentry.1.i.preheader.loopexit, %loopentry.0.i31
201201
br label %loopentry.1.i
202202
loopentry.1.i: ; preds = %endif.2.i, %loopentry.1.i.preheader
203-
br i1 undef, label %loopentry.2.i39.preheader, label %loopexit.1.i79.loopexit2
203+
br i1 %arg, label %loopentry.2.i39.preheader, label %loopexit.1.i79.loopexit2
204204
loopentry.2.i39.preheader: ; preds = %loopentry.1.i
205205
br label %loopentry.2.i39
206206
loopentry.2.i39: ; preds = %loopexit.5.i77, %loopentry.2.i39.preheader
@@ -212,61 +212,61 @@ loopentry.3.i40: ; preds = %loopexit.3.i51, %loopentry.3.i40.preheader
212212
no_exit.3.preheader.i42: ; preds = %loopentry.3.i40
213213
br label %no_exit.3.i49
214214
no_exit.3.i49: ; preds = %no_exit.3.i49, %no_exit.3.preheader.i42
215-
br i1 undef, label %no_exit.3.i49, label %loopexit.3.i51.loopexit
215+
br i1 %arg, label %no_exit.3.i49, label %loopexit.3.i51.loopexit
216216
loopexit.3.i51.loopexit: ; preds = %no_exit.3.i49
217217
br label %loopexit.3.i51
218218
loopexit.3.i51: ; preds = %loopexit.3.i51.loopexit, %loopentry.3.i40
219-
br i1 undef, label %loopentry.3.i40, label %loopentry.4.i52
219+
br i1 %arg, label %loopentry.3.i40, label %loopentry.4.i52
220220
loopentry.4.i52: ; preds = %loopexit.3.i51
221221
br i1 false, label %no_exit.4.i54.preheader, label %hamming.exit.i71
222222
no_exit.4.i54.preheader: ; preds = %loopentry.4.i52
223223
br label %no_exit.4.i54
224224
no_exit.4.i54: ; preds = %no_exit.4.backedge.i, %no_exit.4.i54.preheader
225-
br i1 undef, label %then.1.i55, label %endif.1.i56
225+
br i1 %arg, label %then.1.i55, label %endif.1.i56
226226
then.1.i55: ; preds = %no_exit.4.i54
227-
br i1 undef, label %no_exit.4.backedge.i, label %loopexit.4.i57
227+
br i1 %arg, label %no_exit.4.backedge.i, label %loopexit.4.i57
228228
no_exit.4.backedge.i: ; preds = %endif.1.i56, %then.1.i55
229229
br label %no_exit.4.i54
230230
endif.1.i56: ; preds = %no_exit.4.i54
231-
br i1 undef, label %no_exit.4.backedge.i, label %loopexit.4.i57
231+
br i1 %arg, label %no_exit.4.backedge.i, label %loopexit.4.i57
232232
loopexit.4.i57: ; preds = %endif.1.i56, %then.1.i55
233233
br i1 false, label %no_exit.i.i69.preheader, label %hamming.exit.i71
234234
no_exit.i.i69.preheader: ; preds = %loopexit.4.i57
235235
br label %no_exit.i.i69
236236
no_exit.i.i69: ; preds = %no_exit.i.i69, %no_exit.i.i69.preheader
237-
br i1 undef, label %no_exit.i.i69, label %hamming.exit.i71.loopexit
237+
br i1 %arg, label %no_exit.i.i69, label %hamming.exit.i71.loopexit
238238
hamming.exit.i71.loopexit: ; preds = %no_exit.i.i69
239239
br label %hamming.exit.i71
240240
hamming.exit.i71: ; preds = %hamming.exit.i71.loopexit, %loopexit.4.i57, %loopentry.4.i52, %loopentry.2.i39
241-
br i1 undef, label %endif.2.i, label %loopentry.5.i72
241+
br i1 %arg, label %endif.2.i, label %loopentry.5.i72
242242
loopentry.5.i72: ; preds = %hamming.exit.i71
243243
br i1 false, label %shortcirc_next.i74.preheader, label %loopexit.5.i77
244244
shortcirc_next.i74.preheader: ; preds = %loopentry.5.i72
245245
br label %shortcirc_next.i74
246246
shortcirc_next.i74: ; preds = %no_exit.5.i76, %shortcirc_next.i74.preheader
247-
br i1 undef, label %no_exit.5.i76, label %loopexit.5.i77.loopexit
247+
br i1 %arg, label %no_exit.5.i76, label %loopexit.5.i77.loopexit
248248
no_exit.5.i76: ; preds = %shortcirc_next.i74
249-
br i1 undef, label %shortcirc_next.i74, label %loopexit.5.i77.loopexit
249+
br i1 %arg, label %shortcirc_next.i74, label %loopexit.5.i77.loopexit
250250
loopexit.5.i77.loopexit: ; preds = %no_exit.5.i76, %shortcirc_next.i74
251251
br label %loopexit.5.i77
252252
loopexit.5.i77: ; preds = %loopexit.5.i77.loopexit, %loopentry.5.i72
253-
br i1 undef, label %loopentry.2.i39, label %loopexit.1.i79.loopexit
253+
br i1 %arg, label %loopentry.2.i39, label %loopexit.1.i79.loopexit
254254
endif.2.i: ; preds = %hamming.exit.i71
255255
br label %loopentry.1.i
256256
loopexit.1.i79.loopexit: ; preds = %loopexit.5.i77
257257
br label %loopexit.1.i79
258258
loopexit.1.i79.loopexit2: ; preds = %loopentry.1.i
259259
br label %loopexit.1.i79
260260
loopexit.1.i79: ; preds = %loopexit.1.i79.loopexit2, %loopexit.1.i79.loopexit
261-
br i1 undef, label %then.3.i, label %loopentry.6.i80
261+
br i1 %arg, label %then.3.i, label %loopentry.6.i80
262262
then.3.i: ; preds = %loopexit.1.i79
263263
br i1 false, label %no_exit.6.i82.preheader, label %run.exit
264264
loopentry.6.i80: ; preds = %loopexit.1.i79
265265
br i1 false, label %no_exit.6.i82.preheader, label %run.exit
266266
no_exit.6.i82.preheader: ; preds = %loopentry.6.i80, %then.3.i
267267
br label %no_exit.6.i82
268268
no_exit.6.i82: ; preds = %no_exit.6.i82, %no_exit.6.i82.preheader
269-
br i1 undef, label %no_exit.6.i82, label %run.exit.loopexit
269+
br i1 %arg, label %no_exit.6.i82, label %run.exit.loopexit
270270
run.exit.loopexit: ; preds = %no_exit.6.i82
271271
br label %run.exit
272272
run.exit: ; preds = %run.exit.loopexit, %loopentry.6.i80, %then.3.i

‎llvm/test/Transforms/SimplifyCFG/branch-on-undef.ll‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,10 @@
33

44
declare void @foo(i32)
55

6-
define void @br_undef_simple() {
6+
define void @br_undef_simple(i1 %arg) {
77
; CHECK-LABEL: @br_undef_simple(
88
; CHECK-NEXT: call void @foo(i32 0)
9-
; CHECK-NEXT: br i1 undef, label [[IF:%.*]], label [[ELSE:%.*]]
9+
; CHECK-NEXT: br i1 %arg, label [[IF:%.*]], label [[ELSE:%.*]]
1010
; CHECK: common.ret:
1111
; CHECK-NEXT: ret void
1212
; CHECK: if:
@@ -17,7 +17,7 @@ define void @br_undef_simple() {
1717
; CHECK-NEXT: br label [[COMMON_RET]]
1818
;
1919
call void @foo(i32 0)
20-
br i1 undef, label %if, label %else
20+
br i1 %arg, label %if, label %else
2121

2222
if:
2323
call void @foo(i32 1)

‎llvm/test/Transforms/SimplifyCFG/fold-branch-to-common-dest.ll‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -939,7 +939,7 @@ if.end.loopexit:
939939
}
940940

941941
@f.b = external global i8, align 1
942-
define void @pr48450_3() {
942+
define void @pr48450_3(i1 %arg) {
943943
; CHECK-LABEL: @pr48450_3(
944944
; CHECK-NEXT: entry:
945945
; CHECK-NEXT: br label [[FOR_COND1:%.*]]
@@ -979,7 +979,7 @@ for.cond.cleanup:
979979
br label %cleanup
980980

981981
for.body4:
982-
br i1 undef, label %if.then6, label %if.end7
982+
br i1 %arg, label %if.then6, label %if.end7
983983

984984
if.then6:
985985
br label %cleanup

‎llvm/test/Transforms/SimplifyCFG/pr34131.ll‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -4,24 +4,24 @@
44
; Earlier version using auto-generated checks from utils/update_test_checks.py
55
; had bot problems though...
66

7-
define void @patatino() {
7+
define void @patatino(i1 %arg) {
88

99
; CHECK-LABEL: @patatino
1010

1111
br label %bb1
1212
bb1: ; preds = %bb36, %0
1313
br label %bb2
1414
bb2: ; preds = %bb3, %bb1
15-
br i1 undef, label %bb4, label %bb3
15+
br i1 %arg, label %bb4, label %bb3
1616
bb3: ; preds = %bb4, %bb2
17-
br i1 undef, label %bb2, label %bb5
17+
br i1 %arg, label %bb2, label %bb5
1818
bb4: ; preds = %bb2
1919
switch i32 undef, label %bb3 [
2020
]
2121
bb5: ; preds = %bb3
2222
br label %bb6
2323
bb6: ; preds = %bb5
24-
br i1 undef, label %bb7, label %bb9
24+
br i1 %arg, label %bb7, label %bb9
2525
bb7: ; preds = %bb6
2626
%tmp = or i64 undef, 1
2727
%tmp8 = icmp ult i64 %tmp, 0
@@ -58,17 +58,17 @@ bb27: ; preds = %bb24
5858
%tmp29 = icmp ult i64 %tmp28, 0
5959
br i1 %tmp29, label %bb30, label %bb9
6060
bb30: ; preds = %bb27
61-
br i1 undef, label %bb31, label %bb9
61+
br i1 %arg, label %bb31, label %bb9
6262
bb31: ; preds = %bb30
63-
br i1 undef, label %bb32, label %bb9
63+
br i1 %arg, label %bb32, label %bb9
6464
bb32: ; preds = %bb31
65-
br i1 undef, label %bb33, label %bb9
65+
br i1 %arg, label %bb33, label %bb9
6666
bb33: ; preds = %bb32
67-
br i1 undef, label %bb34, label %bb9
67+
br i1 %arg, label %bb34, label %bb9
6868
bb34: ; preds = %bb33
69-
br i1 undef, label %bb35, label %bb9
69+
br i1 %arg, label %bb35, label %bb9
7070
bb35: ; preds = %bb34
71-
br i1 undef, label %bb36, label %bb9
71+
br i1 %arg, label %bb36, label %bb9
7272
bb36: ; preds = %bb35
73-
br i1 undef, label %bb1, label %bb10
73+
br i1 %arg, label %bb1, label %bb10
7474
}

0 commit comments

Comments
 (0)