Max Kazantsev a3ca8ce0e5 [LoopSimplifyCFG] Form LCSSA when a parent loop becomes a sibling ...

During the transforms in LoopSimplifyCFG, when we remove a dead exiting edge, the
parent loop may stop being reachable from the child loop, and therefore they become
siblings. If the former child loop had uses of some values from its former parent loop,
now such uses will require LCSSA Phis, even if they weren't needed before. So we must
form LCSSA for all loops that stopped being ancestors of the current loop in this case.

Differential Revision: https://reviews.llvm.org/D56144
Reviewed By: fedor.sergeev


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

2019-01-17 12:51:10 +00:00

..

constant-fold-branch.ll

[LoopSimplifyCFG] Fix order of deletion of complex dead subloops

2019-01-17 12:25:40 +00:00

irreducible_cfg.ll

[LoopSimplifyCFG] Do not deal with loops with irreducible CFG inside

2018-12-07 05:44:45 +00:00

lcssa.ll

[LoopSimplifyCFG] Form LCSSA when a parent loop becomes a sibling

2019-01-17 12:51:10 +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

[NFC] Verify memoryssa in test for PR39783

2018-12-05 05:20:08 +00:00

scev.ll

Update MemorySSA in LoopSimplifyCFG.

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