[LoopSimplifyCFG] Delete current loop
Needs ReviewPublic
Actions

Authored by mkazantsev on Nov 22 2018, 3:54 AM.

Details

Reviewers

Summary

This patch lifts the final limitation posed on LoopSimplifyCFG by
teaching it to delete current loop.

(Not adding reviewers because it needs too many underlying patches merged first).

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

Rebased

mkazantsev planned changes to this revision.Nov 29 2018, 1:11 AM

Rebased.

			Path	Packages
M			llvm/lib/Transforms/Scalar/LoopSimplifyCFG.cpp (14 lines)
M			llvm/test/Transforms/LoopSimplifyCFG/constant-fold-branch.ll (244 lines)
M			llvm/test/Transforms/LoopSimplifyCFG/lcssa.ll (8 lines)
M			llvm/test/Transforms/LoopSimplifyCFG/live_block_marking.ll (8 lines)
M			llvm/test/Transforms/LoopSimplifyCFG/update_parents.ll (22 lines)

Status	Author	Revision
Needs Review	mkazantsev	D54831 [LoopSimplifyCFG] Delete current loop
Needs Review	mkazantsev	D54750 [LoopSimplifyCFG] Support blocks that are live, but no longer a part of current loop
Closed	mkazantsev	D54025 [LoopSimplifyCFG] Delete dead exiting edges
Closed	mkazantsev	D54023 [LoopSimplifyCFG] Delete dead in-loop blocks
Closed	mkazantsev	D54021 [LoopSimplifyCFG] Teach LoopSimplifyCFG to constant-fold branches and switches
Closed	mkazantsev	D55050 [LoopSimplifyCFG] Update MemorySSA in terminator folding. PR39783
Closed	mkazantsev	D55357 [LoopSimplifyCFG] Do not deal with loops with irreducible CFG inside