Searched refs:AssumptionCtx (Results 1 – 1 of 1) sorted by relevance
1409 isl_set *AssumptionCtx = nullptr; in addUserAssumptions() local1411 AssumptionCtx = isl_set_complement(isl_set_params(ConditionSets[1])); in addUserAssumptions()1414 AssumptionCtx = isl_set_complement(ConditionSets[1]); in addUserAssumptions()1415 AssumptionCtx = isl_set_intersect(AssumptionCtx, ConditionSets[0]); in addUserAssumptions()1420 for (isl_size u = 0; u < isl_set_n_param(AssumptionCtx); u++) { in addUserAssumptions()1421 auto *Id = isl_set_get_dim_id(AssumptionCtx, isl_dim_param, u); in addUserAssumptions()1428 AssumptionCtx = in addUserAssumptions()1429 isl_set_project_out(AssumptionCtx, isl_dim_param, u--, 1); in addUserAssumptions()1434 << stringFromIslObj(AssumptionCtx, "null")); in addUserAssumptions()1436 scop->getContext().intersect(isl::manage(AssumptionCtx)); in addUserAssumptions()