diff options
Diffstat (limited to 'llvm/test/Transforms/Util/MemorySSA')
16 files changed, 32 insertions, 16 deletions
diff --git a/llvm/test/Transforms/Util/MemorySSA/assume.ll b/llvm/test/Transforms/Util/MemorySSA/assume.ll index 8496eb9c12d..d771c78eb1c 100644 --- a/llvm/test/Transforms/Util/MemorySSA/assume.ll +++ b/llvm/test/Transforms/Util/MemorySSA/assume.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s ; ; Ensures that assumes are treated as not reading or writing memory. diff --git a/llvm/test/Transforms/Util/MemorySSA/atomic-clobber.ll b/llvm/test/Transforms/Util/MemorySSA/atomic-clobber.ll index d1a10d90cb2..84c079af3fe 100644 --- a/llvm/test/Transforms/Util/MemorySSA/atomic-clobber.ll +++ b/llvm/test/Transforms/Util/MemorySSA/atomic-clobber.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s ; ; Ensures that atomic loads count as MemoryDefs diff --git a/llvm/test/Transforms/Util/MemorySSA/cyclicphi.ll b/llvm/test/Transforms/Util/MemorySSA/cyclicphi.ll index 6367f6b7329..357ed7d08cf 100644 --- a/llvm/test/Transforms/Util/MemorySSA/cyclicphi.ll +++ b/llvm/test/Transforms/Util/MemorySSA/cyclicphi.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s %struct.hoge = type { i32, %struct.widget } %struct.widget = type { i64 } diff --git a/llvm/test/Transforms/Util/MemorySSA/function-clobber.ll b/llvm/test/Transforms/Util/MemorySSA/function-clobber.ll index 937ab245191..869f7d78713 100644 --- a/llvm/test/Transforms/Util/MemorySSA/function-clobber.ll +++ b/llvm/test/Transforms/Util/MemorySSA/function-clobber.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s ; ; Ensuring that external functions without attributes are MemoryDefs diff --git a/llvm/test/Transforms/Util/MemorySSA/function-mem-attrs.ll b/llvm/test/Transforms/Util/MemorySSA/function-mem-attrs.ll index ab36f039740..e3328d9257e 100644 --- a/llvm/test/Transforms/Util/MemorySSA/function-mem-attrs.ll +++ b/llvm/test/Transforms/Util/MemorySSA/function-mem-attrs.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s ; ; Test that various function attributes give us sane results. diff --git a/llvm/test/Transforms/Util/MemorySSA/livein.ll b/llvm/test/Transforms/Util/MemorySSA/livein.ll index 92d09f9c681..704121a9833 100644 --- a/llvm/test/Transforms/Util/MemorySSA/livein.ll +++ b/llvm/test/Transforms/Util/MemorySSA/livein.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s define void @F(i8*) { br i1 true, label %left, label %right left: diff --git a/llvm/test/Transforms/Util/MemorySSA/load-invariant.ll b/llvm/test/Transforms/Util/MemorySSA/load-invariant.ll index 188a4c46d32..669fc88599c 100644 --- a/llvm/test/Transforms/Util/MemorySSA/load-invariant.ll +++ b/llvm/test/Transforms/Util/MemorySSA/load-invariant.ll @@ -1,5 +1,6 @@ ; XFAIL: * -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>' -verify-memoryssa -disable-output < %s 2>&1 | FileCheck %s ; ; Invariant loads should be considered live on entry, because, once the ; location is known to be dereferenceable, the value can never change. diff --git a/llvm/test/Transforms/Util/MemorySSA/many-dom-backedge.ll b/llvm/test/Transforms/Util/MemorySSA/many-dom-backedge.ll index 49f9145b9d3..9db660b84bf 100644 --- a/llvm/test/Transforms/Util/MemorySSA/many-dom-backedge.ll +++ b/llvm/test/Transforms/Util/MemorySSA/many-dom-backedge.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s ; ; many-dom.ll, with an added back-edge back into the switch. ; Because people love their gotos. diff --git a/llvm/test/Transforms/Util/MemorySSA/many-doms.ll b/llvm/test/Transforms/Util/MemorySSA/many-doms.ll index 733accd3dd1..44f64b5126b 100644 --- a/llvm/test/Transforms/Util/MemorySSA/many-doms.ll +++ b/llvm/test/Transforms/Util/MemorySSA/many-doms.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s ; ; Testing many dominators, specifically from a switch statement in C. diff --git a/llvm/test/Transforms/Util/MemorySSA/multi-edges.ll b/llvm/test/Transforms/Util/MemorySSA/multi-edges.ll index 882a35ddf10..68830e6bf3b 100644 --- a/llvm/test/Transforms/Util/MemorySSA/multi-edges.ll +++ b/llvm/test/Transforms/Util/MemorySSA/multi-edges.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s ; ; Makes sure we have a sane model if both successors of some block is the same ; block. diff --git a/llvm/test/Transforms/Util/MemorySSA/multiple-backedges-hal.ll b/llvm/test/Transforms/Util/MemorySSA/multiple-backedges-hal.ll index 7afd7c4940f..554e9d144e0 100644 --- a/llvm/test/Transforms/Util/MemorySSA/multiple-backedges-hal.ll +++ b/llvm/test/Transforms/Util/MemorySSA/multiple-backedges-hal.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s ; hfinkel's case ; [entry] diff --git a/llvm/test/Transforms/Util/MemorySSA/multiple-locations.ll b/llvm/test/Transforms/Util/MemorySSA/multiple-locations.ll index f4fe1d1a0b5..b70eaf200f6 100644 --- a/llvm/test/Transforms/Util/MemorySSA/multiple-locations.ll +++ b/llvm/test/Transforms/Util/MemorySSA/multiple-locations.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s ; ; Checks that basicAA is doing some amount of disambiguation for us diff --git a/llvm/test/Transforms/Util/MemorySSA/no-disconnected.ll b/llvm/test/Transforms/Util/MemorySSA/no-disconnected.ll index f302f2bffc6..7562ca21af7 100644 --- a/llvm/test/Transforms/Util/MemorySSA/no-disconnected.ll +++ b/llvm/test/Transforms/Util/MemorySSA/no-disconnected.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -analyze -verify-memoryssa < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s ; ; This test ensures we don't end up with multiple reaching defs for a single ; use/phi edge If we were to optimize defs, we would end up with 2= diff --git a/llvm/test/Transforms/Util/MemorySSA/optimize-use.ll b/llvm/test/Transforms/Util/MemorySSA/optimize-use.ll index fccdc6450b6..0ac07b0f0d0 100644 --- a/llvm/test/Transforms/Util/MemorySSA/optimize-use.ll +++ b/llvm/test/Transforms/Util/MemorySSA/optimize-use.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -analyze -verify-memoryssa < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s ; Function Attrs: ssp uwtable define i32 @main() { diff --git a/llvm/test/Transforms/Util/MemorySSA/phi-translation.ll b/llvm/test/Transforms/Util/MemorySSA/phi-translation.ll index f0f5da99617..f2019fc119f 100644 --- a/llvm/test/Transforms/Util/MemorySSA/phi-translation.ll +++ b/llvm/test/Transforms/Util/MemorySSA/phi-translation.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s ; %ptr can't alias %local, so we should be able to optimize the use of %local to ; point to the store to %local. diff --git a/llvm/test/Transforms/Util/MemorySSA/volatile-clobber.ll b/llvm/test/Transforms/Util/MemorySSA/volatile-clobber.ll index 78b6e8fcd6a..2a8af317699 100644 --- a/llvm/test/Transforms/Util/MemorySSA/volatile-clobber.ll +++ b/llvm/test/Transforms/Util/MemorySSA/volatile-clobber.ll @@ -1,4 +1,5 @@ -; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -basicaa -memoryssa -analyze < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s ; ; Ensures that volatile stores/loads count as MemoryDefs |
