Remove br i1 undef in Inline directory

Author: leewei05

llvm/test/Transforms/Inline/infinite-loop-two-predecessors.ll

@@ -1,6 +1,6 @@
 ; RUN: opt -S -o - %s -passes=inline | FileCheck %s
 
-define void @f1() {
+define void @f1(i1 %arg) {
 bb.0:
   br i1 false, label %bb.2, label %bb.1
 
@@ -12,15 +12,15 @@ bb.2:                                             ; preds = %bb.0, %bb.1
   br i1 %tmp0, label %bb.4, label %bb.3
 
 bb.3:                                             ; preds = %bb.3, %bb.3
-  br i1 undef, label %bb.3, label %bb.3
+  br i1 %arg, label %bb.3, label %bb.3
 
 bb.4:                                             ; preds = %bb.2
   ret void
 }
 
 define void @f2() {
 bb.0:
-  call void @f1()
+  call void @f1(i1 1)
   ret void
 }
 

llvm/test/Transforms/Inline/inline-indirect-chain.ll

@@ -1,23 +1,23 @@
 ; RUN: opt  -passes=inline,early-cse -earlycse-debug-hash < %s
 ; This test used to crash (PR35469).
 
-define void @func1() {
-  tail call void @func2()
+define void @func1(i1 %arg) {
+  tail call void @func2(i1 %arg)
   ret void
 }
 
-define void @func2() {
-  tail call void @func3()
+define void @func2(i1 %arg) {
+  tail call void @func3(i1 %arg)
   ret void
 }
 
-define void @func3() {
-  tail call void @func4()
+define void @func3(i1 %arg) {
+  tail call void @func4(i1 %arg)
   ret void
 }
 
-define void @func4() {
-  br i1 undef, label %left, label %right
+define void @func4(i1 %arg) {
+  br i1 %arg, label %left, label %right
 
 left:
   tail call void @func5()

llvm/test/Transforms/Inline/inline-invoke-with-asm-call.ll

@@ -9,8 +9,8 @@ target triple = "x86_64-apple-darwin"
 ; Make sure we are generating "call asm" instead of "invoke asm".
 ; CHECK: call void asm
 ; CHECK-LABEL: @callee_with_asm
-define void @caller() personality ptr @__objc_personality_v0 {
-  br i1 undef, label %1, label %4
+define void @caller(i1 %arg) personality ptr @__objc_personality_v0 {
+  br i1 %arg, label %1, label %4
 
 ; <label>:1
   invoke void @callee_with_asm()

llvm/test/Transforms/Inline/inline_cleanup.ll

@@ -138,9 +138,9 @@ entry:
   ret void
 }
 
-define void @PR12470_inner(i16 signext %p1) nounwind uwtable {
+define void @PR12470_inner(i16 signext %p1, i1 %arg) nounwind uwtable {
 entry:
-  br i1 undef, label %cond.true, label %cond.false
+  br i1 %arg, label %cond.true, label %cond.false
 
 cond.true:
   br label %cond.end
@@ -161,7 +161,7 @@ if.end5:
   ret void
 }
 
-define void @PR12470_outer() {
+define void @PR12470_outer(i1 %arg) {
 ; This previously crashed during inliner cleanup and folding inner return
 ; instructions. Check that we don't crash and we produce a function with a single
 ; return instruction due to merging the returns of the inlined function.
@@ -172,16 +172,16 @@ define void @PR12470_outer() {
 ; CHECK: }
 
 entry:
-  call void @PR12470_inner(i16 signext 1)
+  call void @PR12470_inner(i16 signext 1, i1 1)
   ret void
 }
 
-define void @crasher_inner() nounwind uwtable {
+define void @crasher_inner(i1 %arg) nounwind uwtable {
 entry:
   br i1 false, label %for.end28, label %for.body6
 
 for.body6:
-  br i1 undef, label %for.body6, label %for.cond12.for.inc26_crit_edge
+  br i1 %arg, label %for.body6, label %for.cond12.for.inc26_crit_edge
 
 for.cond12.for.inc26_crit_edge:
   br label %for.body6.1
@@ -190,13 +190,13 @@ for.end28:
   ret void
 
 for.body6.1:
-  br i1 undef, label %for.body6.1, label %for.cond12.for.inc26_crit_edge.1
+  br i1 %arg, label %for.body6.1, label %for.cond12.for.inc26_crit_edge.1
 
 for.cond12.for.inc26_crit_edge.1:
   br label %for.body6.2
 
 for.body6.2:
-  br i1 undef, label %for.body6.2, label %for.cond12.for.inc26_crit_edge.2
+  br i1 %arg, label %for.body6.2, label %for.cond12.for.inc26_crit_edge.2
 
 for.cond12.for.inc26_crit_edge.2:
   br label %for.end28
@@ -209,6 +209,6 @@ define void @crasher_outer() {
 ; CHECK-NOT: ret
 ; CHECK: }
 entry:
-  tail call void @crasher_inner()
+  tail call void @crasher_inner(i1 1)
   ret void
 }

llvm/test/Transforms/Inline/pr33637.ll

@@ -1,13 +1,13 @@
 ; RUN: opt -passes=inline < %s
 
-define void @patatino() {
+define void @patatino(i1 %arg) {
 for.cond:
   br label %for.body
 
 for.body:
   %tobool = icmp eq i32 5, 0
   %sel = select i1 %tobool, i32 0, i32 2
-  br i1 undef, label %cleanup1.thread, label %cleanup1
+  br i1 %arg, label %cleanup1.thread, label %cleanup1
 
 cleanup1.thread:
   ret void

llvm/test/Transforms/Inline/pr53206.ll

@@ -4,7 +4,7 @@
 ; Check that the exception handling code is fully pruned, and does not
 ; leave behind invalid IR.
 
-define internal void @foo() personality ptr undef {
+define internal void @foo(i1 %arg) personality ptr undef {
 entry:
   br i1 false, label %join, label %split
 
@@ -25,7 +25,7 @@ cleanup1:
   br label %cleanup1.cont
 
 cleanup1.cont:
-  br i1 undef, label %cleanupret, label %invoke2
+  br i1 %arg, label %cleanupret, label %invoke2
 
 invoke2:
   invoke void undef() [ "funclet"(token %pad1) ]
@@ -46,6 +46,6 @@ define void @test() personality ptr undef {
 ; CHECK-LABEL: @test(
 ; CHECK-NEXT:    ret void
 ;
-  call void @foo()
+  call void @foo(i1 1)
   ret void
 }