Searched refs:buildPartialUnswitchConditionalBranch (Results 1 – 1 of 1) sorted by relevance
270 static void buildPartialUnswitchConditionalBranch( in buildPartialUnswitchConditionalBranch() function648 buildPartialUnswitchConditionalBranch( in unswitchTrivialBranch()2450 buildPartialUnswitchConditionalBranch( in unswitchNontrivialInvariants()