reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1571 AssumptionCtx = isl_set_complement(isl_set_params(ConditionSets[1])); 1574 AssumptionCtx = isl_set_complement(ConditionSets[1]); 1575 AssumptionCtx = isl_set_intersect(AssumptionCtx, ConditionSets[0]); 1575 AssumptionCtx = isl_set_intersect(AssumptionCtx, ConditionSets[0]); 1580 for (unsigned u = 0; u < isl_set_n_param(AssumptionCtx); u++) { 1581 auto *Id = isl_set_get_dim_id(AssumptionCtx, isl_dim_param, u); 1588 AssumptionCtx = 1589 isl_set_project_out(AssumptionCtx, isl_dim_param, u--, 1); 1593 << "Use user assumption: " << stringFromIslObj(AssumptionCtx)); 1595 scop->getContext().intersect(isl::manage(AssumptionCtx));