Searched refs:boolean_value_refinements (Results 1 – 1 of 1) sorted by relevance
90 boolean_value_refinements) { in joinIfRefinements() argument117 if (boolean_value_refinements.count( in joinIfRefinements()119 boolean_value_refinements[if_node->outputs().at(i)] = in joinIfRefinements()120 boolean_value_refinements[non_throwing_block->outputs().at(i)]; in joinIfRefinements()133 if (!boolean_value_refinements.count(true_v) && in joinIfRefinements()134 !boolean_value_refinements.count(false_v) && in joinIfRefinements()167 boolean_value_refinements[false_v].false_refine(), in joinIfRefinements()171 boolean_value_refinements[false_v].true_refine(), in joinIfRefinements()177 boolean_value_refinements[true_v].false_refine(), in joinIfRefinements()181 boolean_value_refinements[true_v].true_refine(), in joinIfRefinements()[all …]