diff options
Diffstat (limited to 'test/Transforms/Util/MemorySSA/assume.ll')
| -rw-r--r-- | test/Transforms/Util/MemorySSA/assume.ll | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/test/Transforms/Util/MemorySSA/assume.ll b/test/Transforms/Util/MemorySSA/assume.ll deleted file mode 100644 index d771c78eb1cf..000000000000 --- a/test/Transforms/Util/MemorySSA/assume.ll +++ /dev/null @@ -1,19 +0,0 @@ -; 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. - -declare void @llvm.assume(i1) - -define i32 @foo(i32* %a, i32* %b, i1 %c) { -; CHECK: 1 = MemoryDef(liveOnEntry) -; CHECK-NEXT: store i32 4 - store i32 4, i32* %a, align 4 -; CHECK-NOT: MemoryDef -; CHECK: call void @llvm.assume - call void @llvm.assume(i1 %c) -; CHECK: MemoryUse(1) -; CHECK-NEXT: %1 = load i32 - %1 = load i32, i32* %a, align 4 - ret i32 %1 -} |