Lines Matching refs:Dom
293 isl::set ScopBuilder::adjustDomainDimensions(isl::set Dom, Loop *OldL, in adjustDomainDimensions() argument
297 return Dom; in adjustDomainDimensions()
303 return Dom; in adjustDomainDimensions()
314 Dom = Dom.project_out(isl::dim::set, NewDepth, 1); in adjustDomainDimensions()
315 Dom = Dom.add_dims(isl::dim::set, 1); in adjustDomainDimensions()
322 Dom = Dom.add_dims(isl::dim::set, 1); in adjustDomainDimensions()
326 unsigned NumDim = unsignedFromIslSize(Dom.tuple_dim()); in adjustDomainDimensions()
328 Dom = Dom.project_out(isl::dim::set, NumDim - Diff, Diff); in adjustDomainDimensions()
331 return Dom; in adjustDomainDimensions()
1340 isl_set *Dom = scop->getDomainConditions(AS.BB).release(); in addRecordedAssumptions() local
1341 if (!Dom) in addRecordedAssumptions()
1355 S = isl_set_params(isl_set_intersect(S, Dom)); in addRecordedAssumptions()
1357 S = isl_set_params(isl_set_subtract(Dom, S)); in addRecordedAssumptions()
1399 auto *Dom = InScop ? isl_set_copy(scop->getDomainConditions(BB).get()) in addUserAssumptions() local
1401 assert(Dom && "Cannot propagate a nullptr."); in addUserAssumptions()
1402 bool Valid = buildConditionSets(BB, Val, TI, L, Dom, InvalidDomainMap, in addUserAssumptions()
1404 isl_set_free(Dom); in addUserAssumptions()