[PATCH] D116660: [LoopFlatten] Update MemorySSA state

[Sjoerd Meijer via Phabricator via llvm-commits]

SjoerdMeijer created this revision.
SjoerdMeijer added reviewers: nikic, asbirlea, lebedev.ri, reames.
Herald added subscribers: george.burgess.iv, hiraditya.
SjoerdMeijer requested review of this revision.
Herald added a project: LLVM.

I would like to move LoopFlatten from LoopPass Manager LPM2 to LPM1 (in D116612 <https://reviews.llvm.org/D116612>), but that is a LPM that is using MemorySSA and so LoopFlatten needs to preserve MemorySSA and this adds that. More specifically, LoopFlatten restructures the CFG and with this change the MSSA state is updated accordingly, where we also update the DomTree. LoopFlatten doesn't rewrite/optimise/delete load or store instructions, so I have not added any MSSA updates for that.


https://reviews.llvm.org/D116660

Files:
  llvm/lib/Transforms/Scalar/LoopFlatten.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D116660.397550.patch
Type: text/x-patch
Size: 4886 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220105/64dae94b/attachment.bin>