diff options
| -rw-r--r-- | llvm/test/Transforms/Util/MemorySSA/livein.ll | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/llvm/test/Transforms/Util/MemorySSA/livein.ll b/llvm/test/Transforms/Util/MemorySSA/livein.ll new file mode 100644 index 00000000000..c6d78149a67 --- /dev/null +++ b/llvm/test/Transforms/Util/MemorySSA/livein.ll @@ -0,0 +1,29 @@ +; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s +define void @F(i8*) { + br i1 true, label %left, label %right +left: +; CHECK: 1 = MemoryDef(liveOnEntry) + store i8 16, i8* %0 + br label %merge +right: + br label %merge + +merge: +; CHECK-NOT: 2 = MemoryPhi +ret void +} + +define void @F2(i8*) { + br i1 true, label %left, label %right +left: +; CHECK: 1 = MemoryDef(liveOnEntry) + store i8 16, i8* %0 + br label %merge +right: + br label %merge + +merge: +; CHECK: 2 = MemoryPhi({left,1},{right,liveOnEntry}) +%c = load i8, i8* %0 +ret void +} |
