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)))