Remove br i1 undef in remaining Transforms directory

Author: leewei05

llvm/test/Transforms/Sink/dead-user.ll

@@ -1,28 +1,27 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: -p --version 3
 ; Compiler should not be broken with a dead user.
 ; RUN: opt -passes=sink -S < %s | FileCheck %s
 
-define void @test(i16 %p1) {
-; CHECK-LABEL: define void @test(
-; CHECK-SAME: i16 [[P1:%.*]]) {
+define void @test(i16 %p1, i1 %arg) {
+; CHECK-LABEL: define void @test(i16 %p1, i1 %arg) {
 ; CHECK-NEXT:  bb.0:
-; CHECK-NEXT:    [[CONV:%.*]] = sext i16 [[P1]] to i32
-; CHECK-NEXT:    br i1 undef, label [[BB_1:%.*]], label [[BB_3:%.*]]
+; CHECK-NEXT:    %conv = sext i16 %p1 to i32
+; CHECK-NEXT:    br i1 %arg, label %bb.1, label %bb.3
 ; CHECK:       bb.1:
-; CHECK-NEXT:    br label [[BB_2:%.*]]
+; CHECK-NEXT:    br label %bb.2
 ; CHECK:       bb.2:
-; CHECK-NEXT:    [[AND_2:%.*]] = and i32 undef, [[CONV]]
-; CHECK-NEXT:    br label [[BB_2]]
+; CHECK-NEXT:    %and.2 = and i32 undef, %conv
+; CHECK-NEXT:    br label %bb.2
 ; CHECK:       bb.3:
-; CHECK-NEXT:    [[AND_3:%.*]] = and i32 undef, [[CONV]]
-; CHECK-NEXT:    br label [[BB_3]]
+; CHECK-NEXT:    %and.3 = and i32 undef, %conv
+; CHECK-NEXT:    br label %bb.3
 ; CHECK:       dead:
-; CHECK-NEXT:    [[AND_DEAD:%.*]] = and i32 undef, [[CONV]]
-; CHECK-NEXT:    br label [[DEAD:%.*]]
+; CHECK-NEXT:    %and.dead = and i32 undef, %conv
+; CHECK-NEXT:    br label %dead
 ;
 bb.0:
   %conv = sext i16 %p1 to i32
-  br i1 undef, label %bb.1, label %bb.3
+  br i1 %arg, label %bb.1, label %bb.3
 
 bb.1:                                             ; preds = %bb.0
   br label %bb.2

llvm/test/Transforms/SpeculativeExecution/PR46267.ll

@@ -27,11 +27,11 @@ end:                                 ; preds = %notnull, %entry
   ret ptr %i6
 }
 
-define void @f(i32 %i) {
+define void @f(i32 %i, i1 %arg) {
 entry:
 ; CHECK-LABEL: @f(
 ; CHECK:  %a2 = add i32 %i, 0
-  br i1 undef, label %land.rhs, label %land.end
+  br i1 %arg, label %land.rhs, label %land.end
 
 land.rhs:                                         ; preds = %entry
 ; CHECK: land.rhs:

llvm/test/Transforms/StructurizeCFG/loop-continue-phi.ll

@@ -1,24 +1,25 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: -p
 ; RUN: opt -S -o - -structurizecfg < %s | FileCheck %s
 
-define void @test1() {
+define void @test1(i1 %arg) {
 ; CHECK-LABEL: @test1(
 ; CHECK-NEXT:  entry:
-; CHECK-NEXT:    br label [[LOOP:%.*]]
+; CHECK-NEXT:    %arg.inv = xor i1 %arg, true
+; CHECK-NEXT:    br label %loop
 ; CHECK:       Flow:
-; CHECK-NEXT:    br label [[FLOW1:%.*]]
+; CHECK-NEXT:    br label %Flow1
 ; CHECK:       loop:
-; CHECK-NEXT:    [[CTR:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[TMP0:%.*]], [[FLOW1]] ]
-; CHECK-NEXT:    [[CTR_NEXT:%.*]] = add i32 [[CTR]], 1
-; CHECK-NEXT:    br i1 undef, label [[LOOP_A:%.*]], label [[FLOW1]]
+; CHECK-NEXT:    %ctr = phi i32 [ 0, %entry ], [ %0, %Flow1 ]
+; CHECK-NEXT:    %ctr.next = add i32 %ctr, 1
+; CHECK-NEXT:    br i1 %arg.inv, label %loop.a, label %Flow1
 ; CHECK:       loop.a:
-; CHECK-NEXT:    br i1 undef, label [[LOOP_B:%.*]], label [[FLOW:%.*]]
+; CHECK-NEXT:    br i1 %arg.inv, label %loop.b, label %Flow
 ; CHECK:       loop.b:
-; CHECK-NEXT:    br label [[FLOW]]
+; CHECK-NEXT:    br label %Flow
 ; CHECK:       Flow1:
-; CHECK-NEXT:    [[TMP0]] = phi i32 [ [[CTR_NEXT]], [[FLOW]] ], [ undef, [[LOOP]] ]
-; CHECK-NEXT:    [[TMP1:%.*]] = phi i1 [ false, [[FLOW]] ], [ true, [[LOOP]] ]
-; CHECK-NEXT:    br i1 [[TMP1]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK-NEXT:    %0 = phi i32 [ %ctr.next, %Flow ], [ undef, %loop ]
+; CHECK-NEXT:    %1 = phi i1 [ false, %Flow ], [ true, %loop ]
+; CHECK-NEXT:    br i1 %1, label %exit, label %loop
 ; CHECK:       exit:
 ; CHECK-NEXT:    ret void
 ;
@@ -28,10 +29,10 @@ entry:
 loop:
   %ctr = phi i32 [ 0, %entry ], [ %ctr.next, %loop.a ], [ %ctr.next, %loop.b ]
   %ctr.next = add i32 %ctr, 1
-  br i1 undef, label %exit, label %loop.a
+  br i1 %arg, label %exit, label %loop.a
 
 loop.a:
-  br i1 undef, label %loop, label %loop.b
+  br i1 %arg, label %loop, label %loop.b
 
 loop.b:
   br label %loop