Searched refs:implies_nonnegative_p (Results 1 – 2 of 2) sorted by relevance
1510 implies_nonnegative_p (tree cond, tree val) in implies_nonnegative_p() function1581 && !implies_nonnegative_p (additional, op0)) in derive_constant_upper_bound()1606 || !implies_nonnegative_p (additional, op0)) in derive_constant_upper_bound()
4367 * tree-ssa-loop-niter.c (implies_nonnegative_p): New function.