Skip to content

Commit 66e0394

Browse files
committed
Revert changes for br i1 undef
Revert changes until clarifying why update_test_check generates br i1 false even if we replaced undef with %arg2.
1 parent 413f56e commit 66e0394

File tree

1 file changed

+3
-4
lines changed

1 file changed

+3
-4
lines changed

llvm/test/Transforms/NewGVN/stale-loop-info.ll

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -25,15 +25,14 @@ define hidden zeroext i1 @eggs(ptr %arg, i1 %arg2) unnamed_addr align 2 {
2525
; CHECK: bb6:
2626
; CHECK-NEXT: br label [[BB7:%.*]]
2727
; CHECK: bb7:
28-
; CHECK-NEXT: br i1 false, label [[BB11:%.*]], label [[BB8:%.*]]
28+
; CHECK-NEXT: br i1 undef, label [[BB11:%.*]], label [[BB8:%.*]]
2929
; CHECK: bb8:
3030
; CHECK-NEXT: [[TMP9:%.*]] = load ptr, ptr [[TMP]], align 8
3131
; CHECK-NEXT: br label [[BB12:%.*]]
3232
; CHECK: bb11:
33-
; CHECK-NEXT: store i8 poison, ptr null, align 1
3433
; CHECK-NEXT: br label [[BB12]]
3534
; CHECK: bb12:
36-
; CHECK-NEXT: [[TMP13:%.*]] = phi ptr [ poison, [[BB11]] ], [ [[TMP9]], [[BB8]] ]
35+
; CHECK-NEXT: [[TMP13:%.*]] = phi ptr [ [[TMP]], [[BB11]] ], [ [[TMP9]], [[BB8]] ]
3736
; CHECK-NEXT: call void @snork.1(ptr [[TMP13]]) #[[ATTR1:[0-9]+]]
3837
; CHECK-NEXT: br label [[BB6]]
3938
; CHECK: bb14:
@@ -50,7 +49,7 @@ bb6: ; preds = %bb12, %bb3
5049
br label %bb7
5150

5251
bb7: ; preds = %bb6
53-
br i1 %arg2, label %bb11, label %bb8
52+
br i1 undef, label %bb11, label %bb8
5453

5554
bb8: ; preds = %bb7
5655
%tmp9 = load ptr, ptr %tmp, align 8

0 commit comments

Comments
 (0)