diff options
Diffstat (limited to 'llvm/test/Transforms/ArgumentPromotion/invalidation.ll')
-rw-r--r-- | llvm/test/Transforms/ArgumentPromotion/invalidation.ll | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/llvm/test/Transforms/ArgumentPromotion/invalidation.ll b/llvm/test/Transforms/ArgumentPromotion/invalidation.ll deleted file mode 100644 index fd7168e35a3..00000000000 --- a/llvm/test/Transforms/ArgumentPromotion/invalidation.ll +++ /dev/null @@ -1,50 +0,0 @@ -; Check that when argument promotion changes a function in some parent node of -; the call graph, any analyses that happened to be cached for that function are -; actually invalidated. We are using `demanded-bits` here because when printed -; it will end up caching a value for every instruction, making it easy to -; detect the instruction-level changes that will fail here. With improper -; invalidation this will crash in the second printer as it tries to reuse -; now-invalid demanded bits. -; -; RUN: opt < %s -passes='function(print<demanded-bits>),cgscc(argpromotion,function(print<demanded-bits>))' -S | FileCheck %s - -@G = constant i32 0 - -define internal i32 @a(i32* %x) { -; CHECK-LABEL: define internal i32 @a( -; CHECK-SAME: i32 %[[V:.*]]) { -; CHECK-NEXT: entry: -; CHECK-NEXT: ret i32 %[[V]] -; CHECK-NEXT: } -entry: - %v = load i32, i32* %x - ret i32 %v -} - -define i32 @b() { -; CHECK-LABEL: define i32 @b() -; CHECK-NEXT: entry: -; CHECK-NEXT: %[[L:.*]] = load i32, i32* @G -; CHECK-NEXT: %[[V:.*]] = call i32 @a(i32 %[[L]]) -; CHECK-NEXT: ret i32 %[[V]] -; CHECK-NEXT: } -entry: - %v = call i32 @a(i32* @G) - ret i32 %v -} - -define i32 @c() { -; CHECK-LABEL: define i32 @c() -; CHECK-NEXT: entry: -; CHECK-NEXT: %[[L:.*]] = load i32, i32* @G -; CHECK-NEXT: %[[V1:.*]] = call i32 @a(i32 %[[L]]) -; CHECK-NEXT: %[[V2:.*]] = call i32 @b() -; CHECK-NEXT: %[[RESULT:.*]] = add i32 %[[V1]], %[[V2]] -; CHECK-NEXT: ret i32 %[[RESULT]] -; CHECK-NEXT: } -entry: - %v1 = call i32 @a(i32* @G) - %v2 = call i32 @b() - %result = add i32 %v1, %v2 - ret i32 %result -} |