tree 2d33182f4dd0df2809c8d0821391f9715fefbeec
parent 5cbc524c2581f2494c8ec486a5a28949d71979ee
author Florian Hahn <flo@fhahn.com> 1549118547 +0000
committer Florian Hahn <flo@fhahn.com> 1549118547 +0000

[LCSSA] Add expensive verification of LCSSA form for sub-loops.

This assertion makes sure all sub-loops are in LCSSA form before
bringing their parent in LCSSA form. This precondition was added to
formLCSSA in D56848.

Reviewers: davide, efriedma, mzolotukhin

Reviewed By: davide

Differential Revision: https://reviews.llvm.org/D56921

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