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