diff options
author | Daniel Berlin <dberlin@dberlin.org> | 2016-09-26 17:22:54 +0000 |
---|---|---|
committer | Daniel Berlin <dberlin@dberlin.org> | 2016-09-26 17:22:54 +0000 |
commit | 1e98c0422640cfe512c0ef529ed2e3f2ecec3f67 (patch) | |
tree | e432ba8c425fabd00a3ac0243514161f4b85005f /llvm/test/Transforms/Util | |
parent | b764aba2aba7465421e33d761df5b94c50a2f415 (diff) | |
download | bcm5719-llvm-1e98c0422640cfe512c0ef529ed2e3f2ecec3f67.tar.gz bcm5719-llvm-1e98c0422640cfe512c0ef529ed2e3f2ecec3f67.zip |
Remove pruning of phi nodes in MemorySSA - it makes updating harder
Reviewers: george.burgess.iv
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D24923
llvm-svn: 282419
Diffstat (limited to 'llvm/test/Transforms/Util')
-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 -} |