Searched refs:implies_p (Results 1 – 3 of 3) sorted by relevance
1435 implies_p (rtx a, rtx b) in implies_p() function1623 if (implies_p (cond, exp)) in simplify_using_condition()1629 if (reve && implies_p (cond, reve)) in simplify_using_condition()1637 if (rev && implies_p (exp, rev)) in simplify_using_condition()1644 if (rev && reve && implies_p (reve, rev)) in simplify_using_condition()1665 if (implies_p (a, *b)) in eliminate_implied_condition()1671 if (implies_p (*b, a)) in eliminate_implied_condition()
232 * loop-iv.c (implies_p): Require the mode of the operands to be
29866 simple_rhs_p, simplify_using_assignment, implies_p): Likewise.32471 * loop-iv.c (implies_p): Handle A < B ==> A + 1 <= B.