Searched refs:LBRPO (Results 1 – 2 of 2) sorted by relevance
1352 LoopBlocksRPO LBRPO(L); in UnswitchNontrivialCondition() local1353 LBRPO.perform(LI); in UnswitchNontrivialCondition()1354 MSSAU->updateForClonedLoop(LBRPO, ExitBlocks, VMap); in UnswitchNontrivialCondition()
1940 LoopBlocksRPO LBRPO(&L); in unswitchNontrivialInvariants() local1942 LBRPO.perform(&LI); in unswitchNontrivialInvariants()2060 MSSAU->updateForClonedLoop(LBRPO, ExitBlocks, *VMap, in unswitchNontrivialInvariants()