Lines Matching defs:Domain

1105   isl::set Domain = getDomain();
1106   if (Domain.is_empty())
1111   Schedule = Schedule.intersect_domain(isl::union_set(Domain));
1116   M = M.gist_domain(Domain);
1122   assert(NewDomain.is_subset(Domain) &&
1124   Domain = NewDomain;
1167   simplify(Domain);
1171   Domain = Domain.gist_params(Ctx);
1177   Domain = Domain.align_params(CtxSpace);
1183     : Parent(parent), InvalidDomain(), Domain(), R(&R), Build(), BaseName(Name),
1189     : Parent(parent), InvalidDomain(), Domain(), BB(&bb), Build(),
1195     : Parent(parent), InvalidDomain(), Domain(NewDomain), Build() {
1199   Domain = Domain.set_tuple_id(Id);
1213 std::string ScopStmt::getDomainStr() const { return stringFromIslObj(Domain); }
1237 isl::set ScopStmt::getDomain() const { return Domain; }
1239 isl::space ScopStmt::getDomainSpace() const { return Domain.get_space(); }
1241 isl::id ScopStmt::getDomainId() const { return Domain.get_tuple_id(); }
1254   OS.indent(12) << "Domain :=\n";
1256   if (!Domain.is_null()) {
1263   if (!Domain.is_null()) {
1687     isl::set Domain = DomainMap.lookup(Stmt.getEntryBlock());
1688     if (Domain.is_null())
1690     return Domain.is_empty();
2200   isl_union_set *Domain = isl_union_set_empty(EmptySpace);
2203     Domain = isl_union_set_add_set(Domain, Stmt.getDomain().release());
2205   return isl::manage(Domain);
2223       isl::set Domain = Stmt.getDomain();
2225       AccessDomain = AccessDomain.intersect_domain(Domain);
2279 bool Scop::restrictDomains(isl::union_set Domain) {
2283     isl::union_set NewStmtDomain = StmtDomain.intersect(Domain);
2340                             isl::set Domain) {
2344   assert(Domain.is_subset(TargetDomain) &&
2346   assert(Domain.is_subset(SourceDomain) &&
2349   Stmts.emplace_back(*this, SourceRel, TargetRel, Domain);
2511     isl::set Domain = Stmt.getDomain().intersect_params(getContext());
2530           MA->getAccessRelation().intersect_domain(Domain).range();