diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-04-16 16:01:22 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-04-16 16:01:22 +0000 |
| commit | 71d5a2540a98c81f5bcaeb48805e0e2881f530ef (patch) | |
| tree | 5343938942df402b49ec7300a1c25a2d4ccd5821 /test/Analysis/MemorySSA/ptr-const-mem.ll | |
| parent | 31bbf64f3a4974a2d6c8b3b27ad2f519caf74057 (diff) | |
Diffstat (limited to 'test/Analysis/MemorySSA/ptr-const-mem.ll')
| -rw-r--r-- | test/Analysis/MemorySSA/ptr-const-mem.ll | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/Analysis/MemorySSA/ptr-const-mem.ll b/test/Analysis/MemorySSA/ptr-const-mem.ll new file mode 100644 index 000000000000..a326d8d717a1 --- /dev/null +++ b/test/Analysis/MemorySSA/ptr-const-mem.ll @@ -0,0 +1,23 @@ +; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze -memssa-check-limit=0 < %s 2>&1 | FileCheck %s +; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>' -verify-memoryssa -disable-output -memssa-check-limit=0 < %s 2>&1 | FileCheck %s +target datalayout = "e-p:32:32-p1:64:64-p2:64:64-p3:32:32-p4:64:64-p5:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64" +target triple = "amdgcn" + +@g4 = external unnamed_addr constant i8, align 1 + +define signext i8 @cmp_constant(i8* %q, i8 %v) local_unnamed_addr { +entry: + + store i8 %v, i8* %q, align 1 +; CHECK: 1 = MemoryDef(liveOnEntry) +; CHECK-NEXT: store i8 %v, i8* %q, align 1 + + %0 = load i8, i8* @g4, align 1 +; Make sure that this load is liveOnEntry just based on the fact that @g4 is +; constant memory. +; CHECK: MemoryUse(liveOnEntry) +; CHECK-NEXT: load i8, i8* @g4, align 1 + + ret i8 %0 +} + |