Searched refs:LBRPO (Results 1 – 2 of 2) sorted by relevance
1452 LoopBlocksRPO LBRPO(L); in unswitchNontrivialCondition() local1453 LBRPO.perform(LI); in unswitchNontrivialCondition()1454 MSSAU->updateForClonedLoop(LBRPO, ExitBlocks, VMap); in unswitchNontrivialCondition()
2030 LoopBlocksRPO LBRPO(&L); in unswitchNontrivialInvariants() local2032 LBRPO.perform(&LI); in unswitchNontrivialInvariants()2167 MSSAU->updateForClonedLoop(LBRPO, ExitBlocks, *VMap, in unswitchNontrivialInvariants()2232 MSSAU->updateForClonedLoop(LBRPO, ExitBlocks, *VMap, in unswitchNontrivialInvariants()