diff options
Diffstat (limited to 'llvm/test/Transforms/Util/MemorySSA/livein.ll')
-rw-r--r-- | llvm/test/Transforms/Util/MemorySSA/livein.ll | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/llvm/test/Transforms/Util/MemorySSA/livein.ll b/llvm/test/Transforms/Util/MemorySSA/livein.ll deleted file mode 100644 index 93072ea97da..00000000000 --- a/llvm/test/Transforms/Util/MemorySSA/livein.ll +++ /dev/null @@ -1,53 +0,0 @@ -; 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 -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 -} - -; Ensure we treat def-only blocks as though they have uses for phi placement. -; CHECK-LABEL: define void @F3 -define void @F3() { - %a = alloca i8 -; CHECK: 1 = MemoryDef(liveOnEntry) -; CHECK-NEXT: store i8 0, i8* %a - store i8 0, i8* %a - br i1 undef, label %if.then, label %if.end - -if.then: -; CHECK: 2 = MemoryDef(1) -; CHECK-NEXT: store i8 1, i8* %a - store i8 1, i8* %a - br label %if.end - -if.end: -; CHECK: 4 = MemoryPhi({%0,1},{if.then,2}) -; CHECK: 3 = MemoryDef(4) -; CHECK-NEXT: store i8 2, i8* %a - store i8 2, i8* %a - ret void -} |