diff options
| author | Alina Sbirlea <asbirlea@google.com> | 2019-02-21 19:54:05 +0000 |
|---|---|---|
| committer | Alina Sbirlea <asbirlea@google.com> | 2019-02-21 19:54:05 +0000 |
| commit | d2d3244363b705dc8edfff2a7cabf8433cf76fc5 (patch) | |
| tree | 460990b5c5801d877e66ee964b3225dd61b59f2b /llvm/test/Transforms/LoopSimplifyCFG/lcssa.ll | |
| parent | 73446cd567af35184e64577357efbd31996c4776 (diff) | |
| download | bcm5719-llvm-d2d3244363b705dc8edfff2a7cabf8433cf76fc5.tar.gz bcm5719-llvm-d2d3244363b705dc8edfff2a7cabf8433cf76fc5.zip | |
[LoopSimplifyCFG] Update MemorySSA after r353911.
Summary:
MemorySSA is not properly updated in LoopSimplifyCFG after recent changes. Use SplitBlock utility to resolve that and clear all updates once handleDeadExits is finished.
All updates that follow are removal of edges which are safe to handle via the removeEdge() API.
Also, deleting dead blocks is done correctly as is, i.e. delete from MemorySSA before updating the CFG and DT.
Reviewers: mkazantsev, rtereshin
Subscribers: sanjoy, jlebar, Prazek, george.burgess.iv, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D58524
llvm-svn: 354613
Diffstat (limited to 'llvm/test/Transforms/LoopSimplifyCFG/lcssa.ll')
| -rw-r--r-- | llvm/test/Transforms/LoopSimplifyCFG/lcssa.ll | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/llvm/test/Transforms/LoopSimplifyCFG/lcssa.ll b/llvm/test/Transforms/LoopSimplifyCFG/lcssa.ll index 11ee3ae8b4f..4673628181e 100644 --- a/llvm/test/Transforms/LoopSimplifyCFG/lcssa.ll +++ b/llvm/test/Transforms/LoopSimplifyCFG/lcssa.ll @@ -62,7 +62,7 @@ define void @test_01() { ; CHECK-NEXT: switch i32 0, label [[FOR_COND_SPLIT:%.*]] [ ; CHECK-NEXT: i32 1, label [[FOR_COND_LOOPEXIT]] ; CHECK-NEXT: ] -; CHECK: for.cond-split: +; CHECK: for.cond.split: ; CHECK-NEXT: [[INC41_LCSSA3_LCSSA:%.*]] = phi i16 [ [[INC41_LCSSA3]], [[FOR_COND]] ] ; CHECK-NEXT: br label [[WHILE_COND:%.*]] ; CHECK: while.cond: @@ -96,7 +96,7 @@ define void @bar() { ; CHECK-NEXT: switch i32 0, label [[BB_SPLIT:%.*]] [ ; CHECK-NEXT: i32 1, label [[BB10:%.*]] ; CHECK-NEXT: ] -; CHECK: bb-split: +; CHECK: bb.split: ; CHECK-NEXT: br label [[BB1:%.*]] ; CHECK: bb1: ; CHECK-NEXT: [[TMP:%.*]] = phi i32 [ [[TMP7:%.*]], [[BB6:%.*]] ], [ undef, [[BB_SPLIT]] ] @@ -161,7 +161,7 @@ define void @memlcssa() { ; CHECK-NEXT: switch i32 0, label [[ENTRY_SPLIT:%.*]] [ ; CHECK-NEXT: i32 1, label [[DEFAULT_BB:%.*]] ; CHECK-NEXT: ] -; CHECK: entry-split: +; CHECK: entry.split: ; CHECK-NEXT: br label [[FOR_BODY:%.*]] ; CHECK: for.body: ; CHECK-NEXT: call void @foo() |
