Searched refs:BBCycle (Results 1 – 1 of 1) sorted by relevance
154 auto *BBCycle = CI.getCycle(BB); in verify() local155 if (!BBCycle) in verify()159 if (DefBB == BB || BBCycle->contains(DefBB)) { in verify()169 {Context.print(User), CI.print(BBCycle)}); in verify()172 auto *Parent = BBCycle->getParentCycle(); in verify()175 BBCycle = Parent; in verify()178 Check(BBCycle->isReducible() && BB == BBCycle->getHeader(), in verify()181 Check(!CycleHearts.count(BBCycle), in verify()184 {Context.print(User), Context.print(CycleHearts[BBCycle]), in verify()185 CI.print(BBCycle)}); in verify()[all …]