Searched refs:find_identical_invariants (Results 1 – 6 of 6) sorted by relevance
503 find_identical_invariants (invariant_htab_type *eq, struct invariant *inv) in find_identical_invariants() function518 find_identical_invariants (eq, dep); in find_identical_invariants()549 find_identical_invariants (&eq, inv); in merge_identical_invariants()
4116 find_identical_invariants, merge_identical_invariants,
18207 * loop-invariant.c (find_identical_invariants): Fix dump formating.
410 find_identical_invariants, merge_identical_invariants): New functions.
32634 (find_identical_invariants): Update eqno;
504 find_identical_invariants (invariant_htab_type *eq, struct invariant *inv) in find_identical_invariants() function519 find_identical_invariants (eq, dep); in find_identical_invariants()550 find_identical_invariants (&eq, inv); in merge_identical_invariants()