Lines Matching defs:Domain

325 static bool isMatMulOperandAcc(isl::set Domain, isl::map AccMap, int &FirstPos,
347     AccMap = AccMap.intersect_domain(Domain);
348     PossibleMatMul = PossibleMatMul.intersect_domain(Domain);
805   isl::set Domain = Stmt->getDomain();
822   ScopStmt *CopyStmt = S->addScopStmt(AccRelB, AccRelPackedB, Domain);
831   ExtMap = ExtMap.intersect_range(Domain);
843   isl::set Domain = Stmt->getDomain();
844   isl::id DomainId = Domain.get_tuple_id();
867   isl::set ScatterDomain = MapOldIndVar.intersect_domain(Domain).range();
1037   auto Domain = Node.get_universe_domain();
1038   assert(isl_union_set_n_set(Domain.get()) == 1);
1040       (unsignedFromIslSize(isl::set(Domain).tuple_dim()) !=
1044   auto PartialSchedulePwAff = Domain.identity_union_pw_multi_aff();
1144 /// @param Domain     The domain of the access relation.
1149 static bool isCorrectAccessMap(isl::set Domain, isl::map AccMap,
1168   AccMap = AccMap.intersect_domain(Domain);
1169   PossibleTensor = PossibleTensor.intersect_domain(Domain);
1183 /// @param Domain         The domain of the access relation.
1190 static bool isTCOperandAcc(isl::set Domain, isl::map AccMap,
1239   return isCorrectAccessMap(Domain, AccMap, Dimensions);
1282 /// @param Domain        The domain of the statement.
1288 static MemoryAccess *getWriteAccess(isl::set Domain, ScopStmt *Stmt,
1302     if (!isTCOperandAcc(Domain, AccMap, IandJIndexSet, TCI.DimensionSizes,
1364 /// @param Domain        The domain of the statement.
1370 static bool setReadAccesses(isl::set Domain, ScopStmt *Stmt, TCInfoTy &TCI,
1388       if (!Domain.is_subset(AccMap.domain()))
1405     if (!isTCOperandAcc(Domain, AccMap, IndexSet, TCI.DimensionSizes,
1424 /// @param  Domain          The domain of the SCoP statement.
1430 static bool containsOnlyTCAcc(isl::set Domain, isl::map PartialSchedule,
1444   TCI.WriteToC = getWriteAccess(Domain, Stmt, TCI, IandJIndexSet);
1451   if (!setReadAccesses(Domain, Stmt, TCI, IandJIndexSet))
1530 /// Domain / Domain ∩ S(…, max(kn),…) ∩ S(…, max(k(i + 1)),…),
1531 /// where Domain is the domain of the statement S.
1558 /// @param  Domain       The domain of the statement.
1561 ///                      the @p Domain.
1565 static bool areDepsOverCompleteDomain(isl::set Domain, isl::map DepsForStmt,
1571   isl::set DomainRed = isl::manage(Domain.copy());
1579   return DepsForStmt.domain().intersect(Domain).is_equal(
1580       Domain.subtract(DomainRed));
1596 /// @param  Domain   The domain of the statement.
1601                                SmallDenseSet<int> &IndexSet, isl::set Domain) {
1612   isl::pw_multi_aff LowerBound = Domain.lexmin_pw_multi_aff();
1613   isl::pw_multi_aff UpperBound = Domain.lexmax_pw_multi_aff();
1636   return areDepsOverCompleteDomain(Domain, DepsForStmt, UpperBound, IndexSet);
1664 /// @param  Domain          The domain of the statement.
1668                              TCInfoTy &TCI, isl::set Domain) {
1669   if (!containsOnlyTcDeps(PartialSchedule, D, TCI.P, Domain))
1676   if (!containsOnlyTCAcc(Domain, PartialSchedule, TCI))
1745   isl::union_set Domain = Node.domain();
1750   if (isl_union_set_n_set(Domain.get()) != 1)
1815   if (containsTCInfoTy(PartialScheduleMap, D, TCI, isl::set(Domain)))