Lines Matching defs:Dom

294 isl::set ScopBuilder::adjustDomainDimensions(isl::set Dom, Loop *OldL,
298     return Dom;
304     return Dom;
315     Dom = Dom.project_out(isl::dim::set, NewDepth, 1);
316     Dom = Dom.add_dims(isl::dim::set, 1);
323     Dom = Dom.add_dims(isl::dim::set, 1);
327     unsigned NumDim = unsignedFromIslSize(Dom.tuple_dim());
329     Dom = Dom.project_out(isl::dim::set, NumDim - Diff, Diff);
332   return Dom;
1341     isl_set *Dom = scop->getDomainConditions(AS.BB).release();
1342     if (!Dom)
1350     //   Dom => S   <==>   A v B   <==>   A - B
1356       S = isl_set_params(isl_set_intersect(S, Dom));
1358       S = isl_set_params(isl_set_subtract(Dom, S));
1400     auto *Dom = InScop ? isl_set_copy(scop->getDomainConditions(BB).get())
1402     assert(Dom && "Cannot propagate a nullptr.");
1403     bool Valid = buildConditionSets(BB, Val, TI, L, Dom, InvalidDomainMap,
1405     isl_set_free(Dom);