reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/polly/lib/Analysis/ScopBuilder.cpp
 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));