Lines Matching refs:assumptions
1810 /* Transforms invariant IV into MODE. Adds assumptions based on the fact
1871 some assumptions to DESC). */
2004 /* The meaning of these assumptions is this:
2005 if !assumptions
2010 desc->assumptions = NULL_RTX;
2072 assumptions) to shape subreg (base + i * step). This function also fills
2126 /* Some more condition normalization. We must record some assumptions
2271 desc->assumptions = alloc_EXPR_LIST (0, may_xform,
2272 desc->assumptions);
2390 desc->assumptions =
2391 alloc_EXPR_LIST (0, assumption, desc->assumptions);
2434 desc->assumptions =
2435 alloc_EXPR_LIST (0, assumption, desc->assumptions);
2457 simplify_using_initial_values (loop, AND, &desc->assumptions);
2458 if (desc->assumptions
2459 && XEXP (desc->assumptions, 0) == const0_rtx)
2480 simplify_using_initial_values (loop, AND, &desc->assumptions);
2481 if (desc->assumptions
2482 && XEXP (desc->assumptions, 0) == const0_rtx)
2516 /* Simplify the assumptions. */
2517 simplify_using_initial_values (loop, AND, &desc->assumptions);
2518 if (desc->assumptions
2519 && XEXP (desc->assumptions, 0) == const0_rtx)
2638 if (desc->assumptions)
2640 fprintf (dump_file, " assumptions: ");
2641 print_rtl (dump_file, desc->assumptions);
2688 if (desc->simple_p && (desc->assumptions || desc->infinite))
2705 if (desc->assumptions)
2718 desc->assumptions = NULL_RTX;