Page MenuHomePhabricator

[LoopSimplifyCFG] Support blocks that are live, but no longer a part of current loop
Needs ReviewPublic

Authored by mkazantsev on Nov 20 2018, 3:51 AM.

Details

Summary

Adds support for situations when block don't become dead after the
folding, but stop being a part of the current loop. In this case, we
should do proper upates to Loop Info to keep it consistent.

Diff Detail

Event Timeline

Still WIP, some bug with subloops.

mkazantsev retitled this revision from [WIP][LoopSimplifyCFG] Support blocks that are live, but no longer a part of current loop to [LoopSimplifyCFG] Support blocks that are live, but no longer a part of current loop.
mkazantsev edited the summary of this revision. (Show Details)
mkazantsev added a subscriber: llvm-commits.
mkazantsev planned changes to this revision.Nov 22 2018, 4:16 AM

Just setting "Plan changes" to not confuse reviewers too much with amount of patches in progress.

Rebased, ready for review since underlying patches are now merged.

mkazantsev planned changes to this revision.Jan 29 2019, 10:23 PM

I plan to hold it off before current implementation is enabled and works without issues for some time.

Herald added a project: Restricted Project. · View Herald TranscriptFeb 17 2019, 10:28 AM