OSDN Git Service

[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)
commit0c47f856a1a27422c49e3021b162f382b6191940
tree3f0192eae89999d4bcfcc7b46a643a258f502cdc
parent903ed71cb90eb2a189ca2b5ffd4d1238b7da3c0c
[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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@330698 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/LoopInfo.h
include/llvm/Analysis/LoopInfoImpl.h