Lines Matching refs:Dom
297 isl::set ScopBuilder::adjustDomainDimensions(isl::set Dom, Loop *OldL, in adjustDomainDimensions() argument
301 return Dom; in adjustDomainDimensions()
307 return Dom; in adjustDomainDimensions()
318 Dom = Dom.project_out(isl::dim::set, NewDepth, 1); in adjustDomainDimensions()
319 Dom = Dom.add_dims(isl::dim::set, 1); in adjustDomainDimensions()
326 Dom = Dom.add_dims(isl::dim::set, 1); in adjustDomainDimensions()
330 int NumDim = Dom.n_dim(); in adjustDomainDimensions()
332 Dom = Dom.project_out(isl::dim::set, NumDim - Diff, Diff); in adjustDomainDimensions()
335 return Dom; in adjustDomainDimensions()
1503 isl_set *Dom = scop->getDomainConditions(AS.BB).release(); in addRecordedAssumptions() local
1504 if (!Dom) in addRecordedAssumptions()
1518 S = isl_set_params(isl_set_intersect(S, Dom)); in addRecordedAssumptions()
1520 S = isl_set_params(isl_set_subtract(Dom, S)); in addRecordedAssumptions()
1561 auto *Dom = InScop ? isl_set_copy(scop->getDomainConditions(BB).get()) in addUserAssumptions() local
1563 assert(Dom && "Cannot propagate a nullptr."); in addUserAssumptions()
1564 bool Valid = buildConditionSets(BB, Val, TI, L, Dom, InvalidDomainMap, in addUserAssumptions()
1566 isl_set_free(Dom); in addUserAssumptions()