Searched refs:reduceConditionals (Results 1 – 1 of 1) sorted by relevance
37 static void reduceConditionals(Oracle &O, ReducerWorkItem &WorkItem, in reduceConditionals() function66 reduceConditionals(O, WorkItem, true); in reduceConditionalsTrueDeltaPass()75 reduceConditionals(O, WorkItem, false); in reduceConditionalsFalseDeltaPass()