362     BasicBlock *BB, Value *Condition, __isl_keep isl_set *Domain,  in buildUnsignedConditionSets()  argument
392     BasicBlock *BB, SwitchInst *SI, Loop *L, __isl_keep isl_set *Domain,  in buildConditionSets()  argument
413         isl_set_intersect(CaseConditionSet, isl_set_copy(Domain)));  in buildConditionSets()
421   ConditionSets[0] = isl_set_subtract(isl_set_copy(Domain), ConditionSetUnion);  in buildConditionSets()
430     __isl_keep isl_set *Domain,  in buildConditionSets()  argument
452       ConsequenceCondSet = isl_set_empty(isl_set_get_space(Domain));  in buildConditionSets()
454       ConsequenceCondSet = isl_set_universe(isl_set_get_space(Domain));  in buildConditionSets()
457       ConsequenceCondSet = isl_set_empty(isl_set_get_space(Domain));  in buildConditionSets()
459       ConsequenceCondSet = isl_set_universe(isl_set_get_space(Domain));  in buildConditionSets()
464     bool Valid = buildConditionSets(BB, BinOp->getOperand(0), TI, L, Domain,  in buildConditionSets()
466                  buildConditionSets(BB, BinOp->getOperand(1), TI, L, Domain,  in buildConditionSets()
504           buildUnsignedConditionSets(BB, Condition, Domain, LeftOperand,  in buildConditionSets()
509           buildUnsignedConditionSets(BB, Condition, Domain, LeftOperand,  in buildConditionSets()
514           buildUnsignedConditionSets(BB, Condition, Domain, RightOperand,  in buildConditionSets()
519           buildUnsignedConditionSets(BB, Condition, Domain, RightOperand,  in buildConditionSets()
538       isl_set_intersect(ConsequenceCondSet, isl_set_copy(Domain)));  in buildConditionSets()
545     AlternativeCondSet = isl_set_subtract(isl_set_copy(Domain),  in buildConditionSets()
566     BasicBlock *BB, Instruction *TI, Loop *L, __isl_keep isl_set *Domain,  in buildConditionSets()  argument
570     return buildConditionSets(BB, SI, L, Domain, InvalidDomainMap,  in buildConditionSets()
576     ConditionSets.push_back(isl_set_copy(Domain));  in buildConditionSets()
583   return buildConditionSets(BB, Condition, TI, L, Domain, InvalidDomainMap,  in buildConditionSets()
612     isl::set &Domain = scop->getOrInitEmptyDomain(BB);  in propagateDomainConstraints()  local
613     assert(!Domain.is_null());  in propagateDomainConstraints()
616     isl::set PredDom = getPredecessorDomainConstraints(BB, Domain);  in propagateDomainConstraints()
617     Domain = Domain.intersect(PredDom).coalesce();  in propagateDomainConstraints()
618     Domain = Domain.align_params(scop->getParamSpace());  in propagateDomainConstraints()
653   isl::set Domain = scop->getOrInitEmptyDomain(BB);  in propagateDomainConstraintsToRegionExit()  local
654   assert(!Domain.is_null() && "Cannot propagate a nullptr");  in propagateDomainConstraintsToRegionExit()
660   isl::set AdjustedDomain = adjustDomainDimensions(Domain, BBLoop, ExitBBLoop);  in propagateDomainConstraintsToRegionExit()
675                                                       isl::set Domain) {  in getPredecessorDomainConstraints()  argument
678     return isl::set::universe(Domain.get_space());  in getPredecessorDomainConstraints()
687   isl::set PredDom = isl::set::empty(Domain.get_space());  in getPredecessorDomainConstraints()
840   isl::set Domain = isl::manage(S);  in buildDomains()  local
841   scop->setDomain(EntryBB, Domain);  in buildDomains()
909     isl::set Domain = scop->getDomainConditions(BB);  in buildDomainsWithBranchConstraints()  local
911     scop->updateMaxLoopDepth(unsignedFromIslSize(Domain.tuple_dim()));  in buildDomainsWithBranchConstraints()
936       ConditionSets.push_back(Domain.copy());  in buildDomainsWithBranchConstraints()
937     else if (!buildConditionSets(BB, TI, BBLoop, Domain.get(), InvalidDomainMap,  in buildDomainsWithBranchConstraints()
1015     isl::set &Domain = scop->getOrInitEmptyDomain(BB);  in propagateInvalidStmtDomains()  local
1016     assert(!Domain.is_null() && "Cannot propagate a nullptr");  in propagateInvalidStmtDomains()
1020     bool IsInvalidBlock = ContainsErrorBlock || Domain.is_subset(InvalidDomain);  in propagateInvalidStmtDomains()
1023       InvalidDomain = InvalidDomain.intersect(Domain);  in propagateInvalidStmtDomains()
1025       InvalidDomain = Domain;  in propagateInvalidStmtDomains()
1026       isl::set DomPar = Domain.params();  in propagateInvalidStmtDomains()
1029       Domain = isl::set::empty(Domain.get_space());  in propagateInvalidStmtDomains()
1293       isl::union_set Domain = Schedule.get_domain();  in buildSchedule()  local
1294       isl::multi_union_pw_aff MUPA = mapToDimension(Domain, Dimension);  in buildSchedule()
2453   Stmt.Domain = scop->getDomainConditions(&Stmt);  in buildDomain()
2454   Stmt.Domain = Stmt.Domain.set_tuple_id(Id);  in buildDomain()
2458   isl::set Domain = Stmt.getDomain();  in collectSurroundingLoops()  local
3172   isl::set Domain = MA->getStatement()->getDomain();  in getAccessDomain()  local
3173   Domain = Domain.project_out(isl::dim::set, 0,  in getAccessDomain()
3174                               unsignedFromIslSize(Domain.tuple_dim()));  in getAccessDomain()
3175   return Domain.reset_tuple_id();  in getAccessDomain()