diff options
Diffstat (limited to 'llvm/test/Transforms/ArgumentPromotion/2008-07-02-array-indexing.ll')
| -rw-r--r-- | llvm/test/Transforms/ArgumentPromotion/2008-07-02-array-indexing.ll | 27 |
1 files changed, 20 insertions, 7 deletions
diff --git a/llvm/test/Transforms/ArgumentPromotion/2008-07-02-array-indexing.ll b/llvm/test/Transforms/ArgumentPromotion/2008-07-02-array-indexing.ll index fac84d092df..f943930459d 100644 --- a/llvm/test/Transforms/ArgumentPromotion/2008-07-02-array-indexing.ll +++ b/llvm/test/Transforms/ArgumentPromotion/2008-07-02-array-indexing.ll @@ -1,11 +1,22 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; RUN: opt < %s -argpromotion -S | FileCheck %s ; PR2498 -; This test tries to convince argpromotion about promoting the load from %A + 2, +; This test tries to convince CHECK about promoting the load from %A + 2, ; because there is a load of %A in the entry block define internal i32 @callee(i1 %C, i32* %A) { -; CHECK-LABEL: define internal i32 @callee( -; CHECK: i1 %C, i32* %A) +; CHECK-LABEL: define {{[^@]+}}@callee +; CHECK-SAME: (i1 [[C:%.*]], i32* [[A:%.*]]) +; CHECK-NEXT: entry: +; CHECK-NEXT: [[A_0:%.*]] = load i32, i32* [[A]] +; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]] +; CHECK: T: +; CHECK-NEXT: ret i32 [[A_0]] +; CHECK: F: +; CHECK-NEXT: [[A_2:%.*]] = getelementptr i32, i32* [[A]], i32 2 +; CHECK-NEXT: [[R:%.*]] = load i32, i32* [[A_2]] +; CHECK-NEXT: ret i32 [[R]] +; entry: ; Unconditonally load the element at %A %A.0 = load i32, i32* %A @@ -22,9 +33,11 @@ F: } define i32 @foo() { -; CHECK-LABEL: define i32 @foo - %X = call i32 @callee(i1 false, i32* null) ; <i32> [#uses=1] -; CHECK: call i32 @callee(i1 false, i32* null) - ret i32 %X +; CHECK-LABEL: define {{[^@]+}}@foo() +; CHECK-NEXT: [[X:%.*]] = call i32 @callee(i1 false, i32* null) +; CHECK-NEXT: ret i32 [[X]] +; + %X = call i32 @callee(i1 false, i32* null) ; <i32> [#uses=1] + ret i32 %X } |
