Searched refs:BBCycle (Results 1 – 1 of 1) sorted by relevance
156 auto *BBCycle = CI.getCycle(BB); in verify() local157 if (!BBCycle) in verify()161 if (DefBB == BB || BBCycle->contains(DefBB)) { in verify()170 {Context.print(User), CI.print(BBCycle)}); in verify()173 auto *Parent = BBCycle->getParentCycle(); in verify()176 BBCycle = Parent; in verify()179 Check(BBCycle->isReducible() && BB == BBCycle->getHeader(), in verify()181 {Context.print(User), Context.printAsOperand(BB), CI.print(BBCycle)}); in verify()182 Check(!CycleHearts.count(BBCycle), in verify()185 {Context.print(User), Context.print(CycleHearts[BBCycle]), in verify()[all …]