Lines Matching defs:Domain

363     BasicBlock *BB, Value *Condition, __isl_keep isl_set *Domain,
393     BasicBlock *BB, SwitchInst *SI, Loop *L, __isl_keep isl_set *Domain,
414         isl_set_intersect(CaseConditionSet, isl_set_copy(Domain)));
422   ConditionSets[0] = isl_set_subtract(isl_set_copy(Domain), ConditionSetUnion);
431     __isl_keep isl_set *Domain,
453       ConsequenceCondSet = isl_set_empty(isl_set_get_space(Domain));
455       ConsequenceCondSet = isl_set_universe(isl_set_get_space(Domain));
458       ConsequenceCondSet = isl_set_empty(isl_set_get_space(Domain));
460       ConsequenceCondSet = isl_set_universe(isl_set_get_space(Domain));
465     bool Valid = buildConditionSets(BB, BinOp->getOperand(0), TI, L, Domain,
467                  buildConditionSets(BB, BinOp->getOperand(1), TI, L, Domain,
505           buildUnsignedConditionSets(BB, Condition, Domain, LeftOperand,
510           buildUnsignedConditionSets(BB, Condition, Domain, LeftOperand,
515           buildUnsignedConditionSets(BB, Condition, Domain, RightOperand,
520           buildUnsignedConditionSets(BB, Condition, Domain, RightOperand,
539       isl_set_intersect(ConsequenceCondSet, isl_set_copy(Domain)));
546     AlternativeCondSet = isl_set_subtract(isl_set_copy(Domain),
567     BasicBlock *BB, Instruction *TI, Loop *L, __isl_keep isl_set *Domain,
571     return buildConditionSets(BB, SI, L, Domain, InvalidDomainMap,
577     ConditionSets.push_back(isl_set_copy(Domain));
584   return buildConditionSets(BB, Condition, TI, L, Domain, InvalidDomainMap,
613     isl::set &Domain = scop->getOrInitEmptyDomain(BB);
614     assert(!Domain.is_null());
617     isl::set PredDom = getPredecessorDomainConstraints(BB, Domain);
618     Domain = Domain.intersect(PredDom).coalesce();
619     Domain = Domain.align_params(scop->getParamSpace());
654   isl::set Domain = scop->getOrInitEmptyDomain(BB);
655   assert(!Domain.is_null() && "Cannot propagate a nullptr");
661   isl::set AdjustedDomain = adjustDomainDimensions(Domain, BBLoop, ExitBBLoop);
676                                                       isl::set Domain) {
679     return isl::set::universe(Domain.get_space());
688   isl::set PredDom = isl::set::empty(Domain.get_space());
841   isl::set Domain = isl::manage(S);
842   scop->setDomain(EntryBB, Domain);
910     isl::set Domain = scop->getDomainConditions(BB);
912     scop->updateMaxLoopDepth(unsignedFromIslSize(Domain.tuple_dim()));
937       ConditionSets.push_back(Domain.copy());
938     else if (!buildConditionSets(BB, TI, BBLoop, Domain.get(), InvalidDomainMap,
1016     isl::set &Domain = scop->getOrInitEmptyDomain(BB);
1017     assert(!Domain.is_null() && "Cannot propagate a nullptr");
1021     bool IsInvalidBlock = ContainsErrorBlock || Domain.is_subset(InvalidDomain);
1024       InvalidDomain = InvalidDomain.intersect(Domain);
1026       InvalidDomain = Domain;
1027       isl::set DomPar = Domain.params();
1030       Domain = isl::set::empty(Domain.get_space());
1149 //            Domain: { A[i,j]; B[i,j,k] }
1294       isl::union_set Domain = Schedule.get_domain();
1295       isl::multi_union_pw_aff MUPA = mapToDimension(Domain, Dimension);
2460   Stmt.Domain = scop->getDomainConditions(&Stmt);
2461   Stmt.Domain = Stmt.Domain.set_tuple_id(Id);
2465   isl::set Domain = Stmt.getDomain();
2528                              MemoryAccess *StoreMA, isl::set Domain,
2536     auto AccRel = MA->getAccessRelation().intersect_domain(Domain);
2553                                 isl::set Domain,
2566                      .intersect_domain(isl::manage(Domain.copy()));
2568                      .intersect_domain(isl::manage(Domain.copy()));
2582     AllAccsRel = AllAccsRel.intersect_domain(Domain);
2584     Valid = !hasIntersectingAccesses(AllAccs, LoadMA, StoreMA, Domain, MemAccs);
3345   isl::set Domain = MA->getStatement()->getDomain();
3346   Domain = Domain.project_out(isl::dim::set, 0,
3347                               unsignedFromIslSize(Domain.tuple_dim()));
3348   return Domain.reset_tuple_id();