Searched refs:prod_node_is_elementary (Results 1 – 1 of 1) sorted by relevance
623 static bool prod_node_is_elementary(bvc_dag_t *dag, bvc_prod_t *d) { in prod_node_is_elementary() function664 return prod_node_is_elementary(dag, prod_node(d)); in node_is_elementary()986 if (prod_node_is_elementary(dag, d)) { in bvc_dag_mk_prod()3096 if (prod_node_is_elementary(dag, p)) { in alias_node_in_product()3549 if (prod_node_is_elementary(dag, p)) { in try_reduce_prod()3610 if (prod_node_is_elementary(dag, p)) { in try_reduce_square()4190 assert(!prod_node_is_elementary(dag, p)); in bvc_dag_force_elem_node()