test: tweak inlined-allocs test
authorSaleem Abdulrasool <compnerd@compnerd.org>
Wed, 29 Oct 2014 06:31:11 +0000 (06:31 +0000)
committerSaleem Abdulrasool <compnerd@compnerd.org>
Wed, 29 Oct 2014 06:31:11 +0000 (06:31 +0000)
Remove pointless checks for storage of uninteresting values.  Ensure that we
perform basic alias analysis to make the test more correct.  Finally, apply a
stylistic change to the test.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@220839 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/Inline/inlined-allocas.ll

index e294281..254989b 100644 (file)
@@ -1,4 +1,4 @@
-; RUN: opt -dse -inline -S %s | FileCheck %s
+; RUN: opt -basicaa -dse -inline -S %s | FileCheck %s
 
 declare void @external(i32* byval)
 declare i32 @identity(i32* byval)
@@ -19,7 +19,6 @@ define void @inliner_without_alloca() {
 
 ; CHECK-LABEL: inliner_without_alloca
 ; CHECK-NEXT: %local.i = alloca i32
-; CHECK: store i32 42, i32* %local.i
 ; CHECK: tail call void @external
 ; CHECK: ret
 
@@ -34,7 +33,6 @@ define i32 @inliner_with_alloca() {
 
 ; CHECK-LABEL: inliner_with_alloca
 ; CHECK: %local = alloca i32
-; CHECK: store i32 42, i32* %local
 ; CHECK: %1 = tail call i32 @identity
 ; CHECK: ret i32 %1
 
@@ -53,6 +51,6 @@ define void @strip_tail(i32* %value) {
 
 ; CHECK-LABEL: strip_tail
 ; CHECK: %value1 = alloca i32
-; CHECK: {{^ *}}call void @external
+; CHECK-NOT: tail call void @external
 ; CHECK: ret void