Max Kazantsev 24b8fd959e [LoopSimplifyCFG] Update MemorySSA in terminator folding. PR39783 ...

Terminator folding transform lacks MemorySSA update for memory Phis,
while they exist within MemorySSA analysis. They need exactly the same
type of updates as regular Phis. Failing to update them properly ends up
with inconsistent MemorySSA and manifests in various assertion failures.

This patch adds Memory Phi updates to this transform.

Thanks to @jonpa for finding this!

Differential Revision: https://reviews.llvm.org/D55050
Reviewed By: asbirlea


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@347979 91177308-0d34-0410-b5e6-96231b3b80d8

2018-11-30 10:06:23 +00:00

..

constant-fold-branch.ll

Disable LoopSimplifyCFG terminator folding by default

2018-11-23 09:14:53 +00:00

lcssa.ll

Disable LoopSimplifyCFG terminator folding by default

2018-11-23 09:14:53 +00:00

merge-header.ll

Update MemorySSA in LoopSimplifyCFG.

2018-08-22 20:10:21 +00:00

phi_with_duplicating_inputs.ll

Add missing REQUIRES: asserts

2018-11-27 07:51:18 +00:00

pr39783.ll

[LoopSimplifyCFG] Update MemorySSA in terminator folding. PR39783

2018-11-30 10:06:23 +00:00

scev.ll

Update MemorySSA in LoopSimplifyCFG.

2018-08-22 20:10:21 +00:00