Skip to content

Commit a67b2d0

Browse files
leewei05leewei05
committed
Remove br i1 undef in LoopRotate directory
1 parent 681914b commit a67b2d0

File tree

7 files changed

+32
-32
lines changed

7 files changed

+32
-32
lines changed

‎llvm/test/Transforms/LoopRotate/crash.ll‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -4,27 +4,27 @@ target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f3
44
target triple = "x86_64-apple-darwin10.0.0"
55

66
; PR8955 - Rotating an outer loop that has a condbr for a latch block.
7-
define void @test1() nounwind ssp {
7+
define void @test1(i1 %arg) nounwind ssp {
88
entry:
99
br label %lbl_283
1010

1111
lbl_283: ; preds = %if.end, %entry
12-
br i1 undef, label %if.else, label %if.then
12+
br i1 %arg, label %if.else, label %if.then
1313

1414
if.then: ; preds = %lbl_283
15-
br i1 undef, label %if.end, label %for.condthread-pre-split
15+
br i1 %arg, label %if.end, label %for.condthread-pre-split
1616

1717
for.condthread-pre-split: ; preds = %if.then
1818
br label %for.cond
1919

2020
for.cond: ; preds = %for.cond, %for.condthread-pre-split
21-
br i1 undef, label %lbl_281, label %for.cond
21+
br i1 %arg, label %lbl_281, label %for.cond
2222

2323
lbl_281: ; preds = %if.end, %for.cond
2424
br label %if.end
2525

2626
if.end: ; preds = %lbl_281, %if.then
27-
br i1 undef, label %lbl_283, label %lbl_281
27+
br i1 %arg, label %lbl_283, label %lbl_281
2828

2929
if.else: ; preds = %lbl_283
3030
ret void
@@ -140,12 +140,12 @@ bb17: ; preds = %bb15
140140

141141

142142
; PR9523 - Non-canonical loop.
143-
define void @test7(ptr %P) nounwind {
143+
define void @test7(ptr %P, i1 %arg) nounwind {
144144
entry:
145145
indirectbr ptr %P, [label %"3", label %"5"]
146146

147147
"3": ; preds = %"4", %entry
148-
br i1 undef, label %"5", label %"4"
148+
br i1 %arg, label %"5", label %"4"
149149

150150
"4": ; preds = %"3"
151151
br label %"3"

‎llvm/test/Transforms/LoopRotate/multiple-exits.ll‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -199,12 +199,12 @@ declare ptr @__cxa_begin_catch(ptr)
199199

200200
declare void @__cxa_end_catch()
201201

202-
define void @test4() nounwind uwtable {
202+
define void @test4(i1 %arg) nounwind uwtable {
203203
entry:
204204
br label %"7"
205205

206206
"3": ; preds = %"7"
207-
br i1 undef, label %"31", label %"4"
207+
br i1 %arg, label %"31", label %"4"
208208

209209
"4": ; preds = %"3"
210210
%. = select i1 undef, float 0x3F50624DE0000000, float undef
@@ -217,7 +217,7 @@ entry:
217217
br i1 %2, label %"3", label %"8"
218218

219219
"8": ; preds = %"7"
220-
br i1 undef, label %"9", label %"31"
220+
br i1 %arg, label %"9", label %"31"
221221

222222
"9": ; preds = %"8"
223223
br label %"33"
@@ -226,7 +226,7 @@ entry:
226226
unreachable
227227

228228
"31": ; preds = %"8", %"3"
229-
br i1 undef, label %"27", label %"32"
229+
br i1 %arg, label %"27", label %"32"
230230

231231
"32": ; preds = %"31"
232232
br label %"33"

‎llvm/test/Transforms/LoopRotate/pr22337.ll‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,17 +3,17 @@
33
@a = external global i8, align 4
44
@tmp = global ptr @a
55

6-
define void @f() {
6+
define void @f(i1 %arg) {
77
; CHECK-LABEL: define void @f(
88
; CHECK: getelementptr i8, ptr @a, i32 1
99
entry:
1010
br label %for.preheader
1111

1212
for.preheader:
13-
br i1 undef, label %if.then8, label %for.body
13+
br i1 %arg, label %if.then8, label %for.body
1414

1515
for.body:
16-
br i1 undef, label %if.end, label %if.then8
16+
br i1 %arg, label %if.end, label %if.then8
1717

1818
if.end:
1919
%arrayidx = getelementptr i8, ptr @a, i32 1

‎llvm/test/Transforms/LoopRotate/pr33701.ll‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
; RUN: opt < %s -passes=loop-rotate -verify-dom-info -verify-loop-info -verify-memoryssa -disable-output
22

3-
define void @func() {
3+
define void @func(i1 %arg) {
44
bb0:
55
br label %bb1
66

@@ -10,7 +10,7 @@ bb1: ; preds = %bb4, %bb0
1010
br i1 %1, label %bb2, label %bb5
1111

1212
bb2: ; preds = %bb1
13-
br i1 undef, label %bb6, label %bb4
13+
br i1 %arg, label %bb6, label %bb4
1414

1515
bb3: ; No predecessors!
1616
br label %bb6

‎llvm/test/Transforms/LoopRotate/pr37205.ll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -95,7 +95,7 @@ if.then: ; preds = %for.cond
9595
br label %for.cond1
9696

9797
for.cond1: ; preds = %for.cond4, %if.then
98-
br i1 undef, label %for.body, label %for.end6
98+
br i1 false, label %for.body, label %for.end6
9999

100100
for.body: ; preds = %for.cond1
101101
br i1 false, label %if.then3, label %if.end

‎llvm/test/Transforms/LoopRotate/preserve-loop-simplify.ll‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,15 +4,15 @@
44
; structures. We manually validate the CFG with FileCheck because currently we
55
; can't cause a failure when LoopSimplify fails to be preserved.
66

7-
define void @PR18643() {
7+
define void @PR18643(i1 %arg) {
88
; CHECK-LABEL: @PR18643(
99
entry:
1010
br label %outer.header
1111
; CHECK: br label %outer.header
1212

1313
outer.header:
1414
; CHECK: outer.header:
15-
br i1 undef, label %inner.header, label %outer.body
15+
br i1 %arg, label %inner.header, label %outer.body
1616
; CHECK-NEXT: br i1 {{[^,]*}}, label %[[INNER_PREROTATE_PREHEADER:[^,]*]], label %outer.body
1717

1818
; CHECK: [[INNER_PREROTATE_PREHEADER]]:
@@ -24,13 +24,13 @@ outer.header:
2424
inner.header:
2525
; Now the latch!
2626
; CHECK: inner.header:
27-
br i1 undef, label %return, label %inner.body
27+
br i1 %arg, label %return, label %inner.body
2828
; CHECK-NEXT: br i1 {{[^,]*}}, label %[[INNER_SPLIT_RETURN:[^,]*]], label %inner.body
2929

3030
inner.body:
3131
; Now the header!
3232
; CHECK: inner.body:
33-
br i1 undef, label %outer.latch, label %inner.latch
33+
br i1 %arg, label %outer.latch, label %inner.latch
3434
; CHECK-NEXT: br i1 {{[^,]*}}, label %[[INNER_SPLIT_OUTER_LATCH:[^,]*]], label %inner.header
3535

3636
inner.latch:

‎llvm/test/Transforms/LoopRotate/preserve-mssa.ll‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,15 @@
11
; RUN: opt -S -passes=loop-rotate -verify-memoryssa < %s | FileCheck %s
22

33
; CHECK-LABEL: @multiedge(
4-
define void @multiedge() {
4+
define void @multiedge(i1 %arg, i32 %arg2) {
55
entry:
66
br label %retry
77

88
retry: ; preds = %sw.epilog, %entry
9-
br i1 undef, label %cleanup, label %if.end
9+
br i1 %arg, label %cleanup, label %if.end
1010

1111
if.end: ; preds = %retry
12-
switch i32 undef, label %sw.epilog [
12+
switch i32 %arg2, label %sw.epilog [
1313
i32 -3, label %cleanup
1414
i32 -5, label %cleanup
1515
i32 -16, label %cleanup
@@ -24,14 +24,14 @@ cleanup: ; preds = %if.end, %if.end, %i
2424
}
2525

2626
; CHECK-LABEL: @read_line(
27-
define internal fastcc i32 @read_line(ptr nocapture %f) unnamed_addr {
27+
define internal fastcc i32 @read_line(ptr nocapture %f, i1 %arg) unnamed_addr {
2828
entry:
2929
br label %for.cond
3030

3131
for.cond: ; preds = %if.end, %entry
3232
%call = call ptr @prepbuffer(ptr nonnull undef)
3333
%call1 = call ptr @fgets(ptr %call, i32 8192, ptr %f)
34-
br i1 undef, label %if.then, label %if.end
34+
br i1 %arg, label %if.then, label %if.end
3535

3636
if.then: ; preds = %for.cond
3737
ret i32 undef
@@ -47,12 +47,12 @@ declare dso_local i64 @strlen(ptr nocapture) local_unnamed_addr
4747

4848

4949
; CHECK-LABEL: @loop3
50-
define dso_local fastcc void @loop3() unnamed_addr {
50+
define dso_local fastcc void @loop3(i1 %arg) unnamed_addr {
5151
entry:
5252
br label %for.cond
5353

5454
for.cond: ; preds = %for.body, %entry
55-
br i1 undef, label %for.body, label %for.end81
55+
br i1 %arg, label %for.body, label %for.end81
5656

5757
for.body: ; preds = %for.cond
5858
%.idx122.val = load i32, ptr undef, align 8
@@ -64,12 +64,12 @@ for.end81: ; preds = %for.cond
6464
}
6565

6666
; CHECK-LABEL: @loop4
67-
define dso_local fastcc void @loop4() unnamed_addr {
67+
define dso_local fastcc void @loop4(i1 %arg) unnamed_addr {
6868
entry:
6969
br label %while.cond
7070

7171
while.cond: ; preds = %while.body, %entry
72-
br i1 undef, label %while.end, label %while.body
72+
br i1 %arg, label %while.end, label %while.body
7373

7474
while.body: ; preds = %while.cond
7575
call fastcc void @cont()
@@ -87,7 +87,7 @@ declare dso_local fastcc void @cont() unnamed_addr
8787
@glob_array = internal unnamed_addr constant [3 x i32] [i32 1, i32 0, i32 2], align 4
8888
; Test against failure in MemorySSAUpdater, when rotate clones instructions as Value.
8989
; CHECK-LABEL: @loop5
90-
define dso_local fastcc void @loop5() unnamed_addr {
90+
define dso_local fastcc void @loop5(i1 %arg) unnamed_addr {
9191
entry:
9292
br label %for.body
9393

@@ -98,7 +98,7 @@ for.body: ; preds = %if.end, %entry
9898
%indvar = phi i64 [ %indvar.next, %if.end ], [ 0, %entry ]
9999
%array = getelementptr inbounds [3 x i32], ptr @glob_array, i64 0, i64 %indvar
100100
%0 = load i32, ptr %array, align 4
101-
br i1 undef, label %do.cond, label %if.end
101+
br i1 %arg, label %do.cond, label %if.end
102102

103103
if.end: ; preds = %for.body
104104
store i32 undef, ptr undef, align 4

0 commit comments

Comments
 (0)