diff options
Diffstat (limited to 'llvm/test/Transforms/Util/MemorySSA/load-invariant.ll')
| -rw-r--r-- | llvm/test/Transforms/Util/MemorySSA/load-invariant.ll | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/llvm/test/Transforms/Util/MemorySSA/load-invariant.ll b/llvm/test/Transforms/Util/MemorySSA/load-invariant.ll index e387ff4c530..3c55db11597 100644 --- a/llvm/test/Transforms/Util/MemorySSA/load-invariant.ll +++ b/llvm/test/Transforms/Util/MemorySSA/load-invariant.ll @@ -1,4 +1,3 @@ -; XFAIL: * ; RUN: opt -basicaa -print-memoryssa -verify-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 ; @@ -12,6 +11,7 @@ declare void @clobberAllTheThings() +; CHECK-LABEL: define i32 @foo define i32 @foo() { ; CHECK: 1 = MemoryDef(liveOnEntry) ; CHECK-NEXT: call void @clobberAllTheThings() @@ -22,4 +22,20 @@ define i32 @foo() { ret i32 %1 } +; CHECK-LABEL: define i32 @bar +define i32 @bar(i32* %a) { +; CHECK: 1 = MemoryDef(liveOnEntry) +; CHECK-NEXT: call void @clobberAllTheThings() + call void @clobberAllTheThings() + +; CHECK: 2 = MemoryDef(1) +; CHECK-NEXT: %1 = load atomic i32 + %1 = load atomic i32, i32* %a acquire, align 4, !invariant.load !0 + +; CHECK: MemoryUse(2) +; CHECK-NEXT: %2 = load i32 + %2 = load i32, i32* %a, align 4 + ret i32 %2 +} + !0 = !{} |
