Searched refs:implies_p (Results 1 – 1 of 1) 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()