Skip to content

Commit 80ece91

Browse files
committed
Remove br i1 undef in Lower* directory
1 parent bcab090 commit 80ece91

File tree

4 files changed

+10
-10
lines changed

4 files changed

+10
-10
lines changed

llvm/test/Transforms/LowerConstantIntrinsics/stale-worklist-phi.ll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313

1414
%s = type { [2 x i16] }
1515

16-
define fastcc void @foo(ptr %p) unnamed_addr {
16+
define fastcc void @foo(ptr %p, i1 %arg) unnamed_addr {
1717
entry:
1818
%0 = tail call i32 @llvm.objectsize.i32.p0(ptr %p, i1 false, i1 false, i1 false) #2
1919
%1 = icmp ne i32 %0, 0
@@ -24,7 +24,7 @@ for.cond: ; preds = %entry
2424
br label %cont.i
2525

2626
cont.i: ; preds = %for.cond
27-
br i1 undef, label %cont2.i, label %cont2.thread.i
27+
br i1 %arg, label %cont2.i, label %cont2.thread.i
2828

2929
cont2.thread.i: ; preds = %cont.i
3030
br label %handler.type_mismatch3.i

llvm/test/Transforms/LowerSwitch/condition-phi-unreachable-default.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ entry:
1010

1111
sw.epilog: ; preds = %sw.epilog.outer, %for.body
1212
%i = phi i32 [ undef, %for.body ], [ 0, %entry ]
13-
br i1 undef, label %for.body, label %for.end
13+
br i1 true, label %for.body, label %for.end
1414

1515
for.body: ; preds = %sw.epilog
1616
switch i32 %i, label %sw.epilog [

llvm/test/Transforms/LowerSwitch/do-not-handle-impossible-values.ll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -584,7 +584,7 @@ exit:
584584

585585
; Check that we do not generate redundant comparisons that would have results
586586
; known at compile time due to limited range of the value being switch'ed over.
587-
define void @test12() {
587+
define void @test12(i1 %arg) {
588588
; CHECK-LABEL: @test12(
589589
; CHECK-NEXT: entry:
590590
; CHECK-NEXT: br label [[FOR_BODY:%.*]]
@@ -603,7 +603,7 @@ define void @test12() {
603603
; CHECK-NEXT: br label [[LATCH]]
604604
; CHECK: latch:
605605
; CHECK-NEXT: [[INC]] = add nuw nsw i32 [[INDVAR]], 1
606-
; CHECK-NEXT: br i1 undef, label [[EXIT:%.*]], label [[FOR_BODY]]
606+
; CHECK-NEXT: br i1 %arg, label [[EXIT:%.*]], label [[FOR_BODY]]
607607
; CHECK: exit:
608608
; CHECK-NEXT: ret void
609609
;
@@ -626,7 +626,7 @@ case.2:
626626

627627
latch:
628628
%inc = add nuw nsw i32 %indvar, 1
629-
br i1 undef, label %exit, label %for.body
629+
br i1 %arg, label %exit, label %for.body
630630

631631
exit:
632632
ret void

llvm/test/Transforms/LowerSwitch/phi-in-dead-block.ll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22

33
; CHECK-LABEL: @phi_in_dead_block(
44
; CHECK-NOT: switch
5-
define void @phi_in_dead_block() {
5+
define void @phi_in_dead_block(i1 %arg) {
66
bb:
7-
br i1 undef, label %bb2, label %bb3
7+
br i1 %arg, label %bb2, label %bb3
88

99
bb1: ; No predecessors!
1010
switch i32 undef, label %bb2 [
@@ -21,9 +21,9 @@ bb3: ; preds = %bb1, %bb
2121

2222
; CHECK-LABEL: @phi_in_dead_block_br_to_self(
2323
; CHECK-NOT: switch
24-
define void @phi_in_dead_block_br_to_self() {
24+
define void @phi_in_dead_block_br_to_self(i1 %arg) {
2525
bb:
26-
br i1 undef, label %bb2, label %bb3
26+
br i1 %arg, label %bb2, label %bb3
2727

2828
bb1: ; No predecessors!
2929
switch i32 undef, label %bb2 [

0 commit comments

Comments
 (0)