projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44d6f9e) | patch
[LCSSA] Add expensive verification of LCSSA form for sub-loops.
authorFlorian Hahn <flo@fhahn.com>
Sat, 2 Feb 2019 14:42:27 +0000 (14:42 +0000)
committerFlorian Hahn <flo@fhahn.com>
Sat, 2 Feb 2019 14:42:27 +0000 (14:42 +0000)
commit509b48a64a1baf497a85a2a1f86d9141b18cb1e1
tree521b1590f282a012db62014a6f1708c5f0502361tree | snapshot
parent44d6f9e131980f7e061dfb42a7a8bc622cfe4273commit | diff
[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

llvm-svn: 352958
llvm/lib/Transforms/Utils/LCSSA.cpp diff | blob | history
Domain: System / Toolchain;