Lines Matching refs:may_be_zero
1246 niter->may_be_zero = fold_build2 (TRUTH_OR_EXPR, boolean_type_node,
1247 niter->may_be_zero,
1448 niter->may_be_zero = fold_build2 (TRUTH_OR_EXPR, boolean_type_node,
1449 niter->may_be_zero, mbz);
1462 tree step, num, assumptions, may_be_zero, span;
1465 may_be_zero = fold_build2 (LE_EXPR, boolean_type_node, iv1->base, iv0->base);
1466 if (integer_onep (may_be_zero))
1499 may_be_zero = fold_build2 (EQ_EXPR, boolean_type_node,
1547 niter->may_be_zero = may_be_zero;
1641 niter->may_be_zero = fold_build2 (LT_EXPR, boolean_type_node,
1825 if may_be_zero then the loop does not roll, even if
1828 niter->may_be_zero = boolean_false_node;
1999 if (!integer_zerop (niter->may_be_zero))
2002 print_generic_expr (dump_file, niter->may_be_zero, TDF_SLIM);
2610 niter->may_be_zero = simplify_using_outer_evolutions (loop,
2611 niter->may_be_zero);
2618 niter->may_be_zero
2620 niter->may_be_zero);
2816 tree may_be_zero = fold_build2 (EQ_EXPR, boolean_type_node, src,
2818 niter->may_be_zero
2819 = simplify_using_initial_conditions (loop, may_be_zero);
2822 niter->may_be_zero = boolean_false_node;
2876 if (integer_nonzerop (desc.may_be_zero))
2885 if (!integer_zerop (desc.may_be_zero))
4418 if (TREE_CODE (niter_desc.may_be_zero) != INTEGER_CST)
4419 niter = build3 (COND_EXPR, type, niter_desc.may_be_zero,