Searched refs:invno (Results 1 – 3 of 3) sorted by relevance
103 unsigned invno; member529 inv->eqto = tmp->invno; in find_identical_invariants()531 if (tmp->invno != inv->invno && inv->always_executed) in find_identical_invariants()537 inv->invno, inv->eqto); in find_identical_invariants()748 inv->invno = invariants.length (); in create_new_invariant()755 def->invno = inv->invno; in create_new_invariant()905 inv = invariants[def->invno]; in inv_can_prop_to_addr_use()1548 if (inv->eqto != inv->invno) in best_gain_for_invariant()1590 invno, gain); in set_move_mark()1593 invno); in set_move_mark()[all …]
103 unsigned invno; member528 inv->eqto = tmp->invno; in find_identical_invariants()530 if (tmp->invno != inv->invno && inv->always_executed) in find_identical_invariants()536 inv->invno, inv->eqto); in find_identical_invariants()747 inv->invno = invariants.length (); in create_new_invariant()754 def->invno = inv->invno; in create_new_invariant()904 inv = invariants[def->invno]; in inv_can_prop_to_addr_use()1558 if (inv->eqto != inv->invno) in best_gain_for_invariant()1600 invno, gain); in set_move_mark()1603 invno); in set_move_mark()[all …]