Searched refs:num_backedges (Results 1 – 2 of 2) sorted by relevance
26 cur_states = env->explored_states_size + env->free_list_size + env->num_backedges; in update_peak_states()218 env->num_backedges -= visit->num_backedges; in maybe_exit_scc()219 visit->num_backedges = 0; in maybe_exit_scc()249 visit->num_backedges++; in add_scc_backedge()250 env->num_backedges++; in add_scc_backedge()
892 u32 num_backedges; member1006 u32 num_backedges; member