Searched refs:BuildCheckingBlockForSuccAndConds (Results 1 – 1 of 1) sorted by relevance
725 auto BuildCheckingBlockForSuccAndConds = in tracePredStateThroughCFG() local795 BuildCheckingBlockForSuccAndConds(MBB, Succ, SuccCount, CondBr, UncondBr, in tracePredStateThroughCFG()828 BuildCheckingBlockForSuccAndConds(MBB, *UncondSucc, /*SuccCount*/ 1, in tracePredStateThroughCFG()