projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb1053f) | patch
[LoopInfo] Verify BBMap tracks innermost loops for BBs.
authorFlorian Hahn <florian.hahn@arm.com>
Tue, 24 Apr 2018 09:10:05 +0000 (09:10 +0000)
committerFlorian Hahn <florian.hahn@arm.com>
Tue, 24 Apr 2018 09:10:05 +0000 (09:10 +0000)
commitf3561ffa878720c0cb8bc022a2d0d3a70aacb004
treee71eed3fb44a87af6be1112bd435e9c2155ed9detree | snapshot
parenteb1053f9d3679111c3261fc33a82b6e0a7001c72commit | diff
[LoopInfo] Verify BBMap tracks innermost loops for BBs.

By checking that none of the child loops contain a BB we make sure BBMap
contains the innermost loop defining BB. This invariant was violated in
LoopInterchange and got caught by this assertion.

Reviewers: chandlerc, mzolotukhin, sanjoy, mehdi_amini, efriedma

Reviewed By: efriedma

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

llvm-svn: 330698
llvm/include/llvm/Analysis/LoopInfo.h diff | blob | history
llvm/include/llvm/Analysis/LoopInfoImpl.h diff | blob | history
Domain: System / Toolchain;