diff options
Diffstat (limited to 'llvm/test/Transforms/ArgumentPromotion/control-flow.ll')
| -rw-r--r-- | llvm/test/Transforms/ArgumentPromotion/control-flow.ll | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/llvm/test/Transforms/ArgumentPromotion/control-flow.ll b/llvm/test/Transforms/ArgumentPromotion/control-flow.ll index c3fe0c00e87..2835788e7a1 100644 --- a/llvm/test/Transforms/ArgumentPromotion/control-flow.ll +++ b/llvm/test/Transforms/ArgumentPromotion/control-flow.ll @@ -1,10 +1,19 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; RUN: opt < %s -argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; Don't promote around control flow. define internal i32 @callee(i1 %C, i32* %P) { -; CHECK-LABEL: define internal i32 @callee( -; CHECK: i1 %C, i32* %P) +; CHECK-LABEL: define {{[^@]+}}@callee +; CHECK-SAME: (i1 [[C:%.*]], i32* [[P:%.*]]) +; CHECK-NEXT: entry: +; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]] +; CHECK: T: +; CHECK-NEXT: ret i32 17 +; CHECK: F: +; CHECK-NEXT: [[X:%.*]] = load i32, i32* [[P]] +; CHECK-NEXT: ret i32 [[X]] +; entry: br i1 %C, label %T, label %F @@ -17,11 +26,13 @@ F: } define i32 @foo() { -; CHECK-LABEL: define i32 @foo( +; CHECK-LABEL: define {{[^@]+}}@foo() +; CHECK-NEXT: entry: +; CHECK-NEXT: [[X:%.*]] = call i32 @callee(i1 true, i32* null) +; CHECK-NEXT: ret i32 [[X]] +; entry: -; CHECK-NOT: load i32, i32* null %X = call i32 @callee(i1 true, i32* null) -; CHECK: call i32 @callee(i1 true, i32* null) ret i32 %X } |
