diff --git a/llvm/test/Transforms/SCCP/ipsccp-branch-unresolved-undef.ll b/llvm/test/Transforms/SCCP/ipsccp-branch-unresolved-undef.ll index 38809ea4733faa..202fcf3a4f4a3f 100644 --- a/llvm/test/Transforms/SCCP/ipsccp-branch-unresolved-undef.ll +++ b/llvm/test/Transforms/SCCP/ipsccp-branch-unresolved-undef.ll @@ -1,9 +1,9 @@ -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature ; RUN: opt < %s -S -passes=ipsccp | FileCheck %s define void @main() { -; CHECK-LABEL: @main( -; CHECK: %call = call i1 @patatino(i1 undef) +; CHECK-LABEL: define {{[^@]+}}@main() { +; CHECK-NEXT: [[CALL:%.*]] = call i1 @patatino(i1 undef) ; CHECK-NEXT: ret void ; %call = call i1 @patatino(i1 undef) @@ -11,11 +11,12 @@ define void @main() { } define internal i1 @patatino(i1 %a) { -; CHECK-LABEL: define internal i1 @patatino( +; CHECK-LABEL: define {{[^@]+}}@patatino +; CHECK-SAME: (i1 [[A:%.*]]) { ; CHECK-NEXT: br label [[ONFALSE:%.*]] -; CHECK-EMPTY: -; CHECK-NEXT: onfalse: +; CHECK: onfalse: ; CHECK-NEXT: ret i1 undef +; br i1 %a, label %ontrue, label %onfalse ontrue: ret i1 false diff --git a/llvm/test/Transforms/SCCP/switch-undef-constantfoldterminator.ll b/llvm/test/Transforms/SCCP/switch-undef-constantfoldterminator.ll index 62f15855e99885..f9a12f9f7667b6 100644 --- a/llvm/test/Transforms/SCCP/switch-undef-constantfoldterminator.ll +++ b/llvm/test/Transforms/SCCP/switch-undef-constantfoldterminator.ll @@ -1,4 +1,4 @@ -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature ; RUN: opt < %s -passes=ipsccp -S | FileCheck %s ; This test case used to end up like this: @@ -15,7 +15,7 @@ ; an unconditional branch when ConstantFoldTerminator returned true. define void @f4() { -; CHECK-LABEL: define void @f4( +; CHECK-LABEL: define {{[^@]+}}@f4() { ; CHECK-NEXT: entry: ; CHECK-NEXT: [[CALL:%.*]] = call i16 @f3(i16 undef) ; CHECK-NEXT: ret void @@ -26,7 +26,8 @@ entry: } define internal i16 @f3(i16 %p1) { -; CHECK-LABEL: define internal i16 @f3( +; CHECK-LABEL: define {{[^@]+}}@f3 +; CHECK-SAME: (i16 [[P1:%.*]]) { ; CHECK-NEXT: entry: ; CHECK-NEXT: br label [[LAND_END:%.*]] ; CHECK: land.end: