Home | History | Annotate | Download | only in gcc

Lines Matching refs:assumptions

723    niter information holds in ASSUMPTIONS.
729 vect_get_loop_niters (class loop *loop, tree *assumptions,
737 *assumptions = boolean_true_node;
750 niter_assumptions = niter_desc.assumptions;
761 /* Try to combine may_be_zero with assumptions, this can simplify
786 *assumptions = niter_assumptions;
1339 niter could be analyzed under some assumptions. */
1425 /* Don't support analyzing niter under assumptions for inner
1427 if (!integer_onep (inner.assumptions))
1467 = vect_get_loop_niters (loop, &info->assumptions,
1475 if (integer_zerop (info->assumptions)
1515 /* Also record the assumptions for versioning. */
1516 if (!integer_onep (info->assumptions) && !main_loop_info)
1517 LOOP_VINFO_NITERS_ASSUMPTIONS (loop_vinfo) = info->assumptions;
2977 if (!integer_onep (loop_form_info.assumptions))
2980 some assumptions. In order to do this, we need to clear
2985 analysis are done under the assumptions. */