Lines Matching refs:assumption
2314 rtx assumption, may_not_xform;
2460 assumption = simplify_gen_relational (EQ, SImode, mode, tmp,
2462 if (assumption == const_true_rtx)
2470 assumption = simplify_gen_relational (EQ, SImode, mode, tmp,
2472 if (assumption == const_true_rtx)
2478 if (assumption != const0_rtx)
2480 alloc_EXPR_LIST (0, assumption, desc->noloop_assumptions);
2580 completely senseless. This is OK, as we would need this assumption
2624 assumption = simplify_gen_relational (reverse_condition (cond),
2626 if (assumption == const_true_rtx)
2628 else if (assumption != const0_rtx)
2630 alloc_EXPR_LIST (0, assumption, desc->noloop_assumptions);
2667 assumption = simplify_gen_relational (NE, SImode, mode, tmp, const0_rtx);
2668 desc->infinite = alloc_EXPR_LIST (0, assumption, desc->infinite);
2698 assumption = simplify_gen_relational (reverse_condition (cond),
2705 assumption = simplify_gen_binary (AND, SImode, assumption, tmp);
2707 alloc_EXPR_LIST (0, assumption, desc->infinite);
2711 assumption = simplify_gen_relational (cond, SImode, mode,
2714 alloc_EXPR_LIST (0, assumption, desc->assumptions);
2719 assumption = simplify_gen_relational (reverse_condition (cond),
2742 assumption = simplify_gen_relational (reverse_condition (cond),
2749 assumption = simplify_gen_binary (AND, SImode, assumption, tmp);
2751 alloc_EXPR_LIST (0, assumption, desc->infinite);
2755 assumption = simplify_gen_relational (cond, SImode, mode,
2758 alloc_EXPR_LIST (0, assumption, desc->assumptions);
2763 assumption = simplify_gen_relational (reverse_condition (cond),
2769 if (assumption == const_true_rtx)
2771 else if (assumption != const0_rtx)
2773 alloc_EXPR_LIST (0, assumption, desc->noloop_assumptions);
2801 noloop assumption. */
Indexes created Sun May 03 00:22:47 UTC 2026