Searched refs:buildPartialUnswitchConditionalBranch (Results 1 – 1 of 1) sorted by relevance
272 static void buildPartialUnswitchConditionalBranch( in buildPartialUnswitchConditionalBranch() function 651 buildPartialUnswitchConditionalBranch( in unswitchTrivialBranch() 2470 buildPartialUnswitchConditionalBranch( in unswitchNontrivialInvariants()