reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

  202 class set;

References

   40 struct DenseMapPair : public std::pair<KeyT, ValueT> {
   45   ValueT &getSecond() { return std::pair<KeyT, ValueT>::second; }
   46   const ValueT &getSecond() const { return std::pair<KeyT, ValueT>::second; }
   66   using mapped_type = ValueT;
   69   using iterator = DenseMapIterator<KeyT, ValueT, KeyInfoT, BucketT>;
   71       DenseMapIterator<KeyT, ValueT, KeyInfoT, BucketT, true>;
  185   ValueT lookup(const_arg_type_t<KeyT> Val) const {
  195   std::pair<iterator, bool> insert(const std::pair<KeyT, ValueT> &KV) {
  202   std::pair<iterator, bool> insert(std::pair<KeyT, ValueT> &&KV) {
  249   std::pair<iterator, bool> insert_as(std::pair<KeyT, ValueT> &&KV,
  299   ValueT &operator[](const KeyT &Key) {
  311   ValueT &operator[](KeyT &&Key) {
  380         ::new (&DestBucket->getSecond()) ValueT(std::move(B->getSecond()));
  392       const DenseMapBase<OtherBaseT, KeyT, ValueT, KeyInfoT, BucketT> &other) {
  520     ::new (&TheBucket->getSecond()) ValueT(std::forward<ValueArgs>(Values)...);
  526                                       ValueT &&Value, LookupKeyT &Lookup) {
  684 class DenseMap : public DenseMapBase<DenseMap<KeyT, ValueT, KeyInfoT, BucketT>,
  685                                      KeyT, ValueT, KeyInfoT, BucketT> {
  690   using BaseT = DenseMapBase<DenseMap, KeyT, ValueT, KeyInfoT, BucketT>;
  852           SmallDenseMap<KeyT, ValueT, InlineBuckets, KeyInfoT, BucketT>, KeyT,
  853           ValueT, KeyInfoT, BucketT> {
 1031           ::new (&TmpEnd->getSecond()) ValueT(std::move(P->getSecond()));
 1163   using ConstIterator = DenseMapIterator<KeyT, ValueT, KeyInfoT, Bucket, true>;
 1199       const DenseMapIterator<KeyT, ValueT, KeyInfoT, Bucket, IsConstSrc> &I)

   68     : public std::iterator<IteratorCategoryT, T, DifferenceTypeT, PointerT,

  348   Value *buildContainsCondition(ScopStmt &Stmt, const isl::set &Subdomain);
  361   void generateConditionalExecution(ScopStmt &Stmt, const isl::set &Subdomain,

  352 isl::set getPartialTilePrefixes(isl::set ScheduleRange, int VectorWidth);
  352 isl::set getPartialTilePrefixes(isl::set ScheduleRange, int VectorWidth);

  131   isl::set adjustDomainDimensions(isl::set Dom, Loop *OldL, Loop *NewL);
  131   isl::set adjustDomainDimensions(isl::set Dom, Loop *OldL, Loop *NewL);
  141                     DenseMap<BasicBlock *, isl::set> &InvalidDomainMap);
  152       Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap);
  161                           DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
  174                           DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
  184                           DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
  198       DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
  210       Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap);
  238       DenseMap<BasicBlock *, isl::set> &InvalidDomainMap);
  253       Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap);
  265   isl::set getPredecessorDomainConstraints(BasicBlock *BB, isl::set Domain);
  265   isl::set getPredecessorDomainConstraints(BasicBlock *BB, isl::set Domain);
  275       Loop *L, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap);
  289   getPwAff(BasicBlock *BB, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
  613                           DenseMap<BasicBlock *, isl::set> &InvalidDomainMap);
  711   isl::set getNonHoistableCtx(MemoryAccess *Access, isl::union_map Writes);

  531   isl::set InvalidDomain;
  909   isl::set getInvalidDomain() const { return InvalidDomain; }
  912   isl::set getInvalidContext() const { return getInvalidDomain().params(); }
  917   isl::set getStride(isl::map Schedule) const;
 1112   isl::set NonHoistableCtx;
 1134   isl::set ExecutionContext;
 1180            isl::set Domain);
 1198   isl::set InvalidDomain;
 1219   isl::set Domain;
 1291   isl::set getDomain() const;
 1319   isl::set getInvalidDomain() const { return InvalidDomain; }
 1322   isl::set getInvalidContext() const { return getInvalidDomain().params(); }
 1325   void setInvalidDomain(isl::set ID);
 1584   void restrictDomain(isl::set NewDomain);
 1636   isl::set Set;
 1655                         DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
 1670                            DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
 1680                         DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
 1793   DenseMap<BasicBlock *, isl::set> DomainMap;
 1796   isl::set Context = nullptr;
 1831   isl::set AssumedContext;
 1839   isl::set InvalidContext;
 1956   isl::set addNonEmptyDomainConstraints(isl::set C) const;
 1956   isl::set addNonEmptyDomainConstraints(isl::set C) const;
 2063                         isl::set Domain);
 2270   isl::set getContext() const;
 2290   isl::set getAssumedContext() const;
 2310   bool isEffectiveAssumption(isl::set Set, AssumptionSign Sign);
 2326   bool trackAssumption(AssumptionKind Kind, isl::set Set, DebugLoc Loc,
 2347   void addAssumption(AssumptionKind Kind, isl::set Set, DebugLoc Loc,
 2365   void recordAssumption(AssumptionKind Kind, isl::set Set, DebugLoc Loc,
 2383   isl::set getInvalidContext() const;
 2531   void setContext(isl::set NewContext);
 2606   isl::set getDomainConditions(const ScopStmt *Stmt) const;
 2611   isl::set getDomainConditions(BasicBlock *BB) const;
 2614   isl::set &getOrInitEmptyDomain(BasicBlock *BB) { return DomainMap[BB]; }
 2620   void setDomain(BasicBlock *BB, isl::set &Domain) { DomainMap[BB] = Domain; }

   30                                         list_element_type<ListT>> {
   30                                         list_element_type<ListT>> {
   32   using ElementT = list_element_type<ListT>;
   32   using ElementT = list_element_type<ListT>;
  154 isl::set singleton(isl::union_set USet, isl::space ExpectedSpace);
  207 isl::set shiftDim(isl::set Set, int Pos, int Amount);
  207 isl::set shiftDim(isl::set Set, int Pos, int Amount);
  237 void simplify(isl::set &Set);
  479 isl::map subtractParams(isl::map Map, isl::set Params);
  537 void dumpPw(const isl::set &Set);
  583 void dumpExpanded(const isl::set &Set);

   26 typedef std::pair<isl::pw_aff, isl::set> PWACtx;

  237   isl::map getScatterFor(isl::set Domain) const;
  240   isl::set getDomainFor(ScopStmt *Stmt) const;
  243   isl::set getDomainFor(MemoryAccess *MA) const;
  288   isl::map getScalarReachingDefinition(isl::set DomainDef);
  304   isl::set makeValueSet(llvm::Value *V);

  191 static void fixSetToZero(isl::set Zero, isl::union_set *User) {
  259   for (isl::set Set : isl::manage_copy(Universe).get_set_list())
  669   isl::set Zero = isl::set::universe(ScheduleSpace);
  669   isl::set Zero = isl::set::universe(ScheduleSpace);
  674   isl::set Deltas = singleton(UDeltas, ScheduleSpace);

  213 static isl::set collectBoundedParts(isl::set S) {
  213 static isl::set collectBoundedParts(isl::set S) {
  214   isl::set BoundedParts = isl::set::empty(S.get_space());
  214   isl::set BoundedParts = isl::set::empty(S.get_space());
  225 static std::pair<isl::set, isl::set> partitionSetParts(isl::set S,
  225 static std::pair<isl::set, isl::set> partitionSetParts(isl::set S,
  225 static std::pair<isl::set, isl::set> partitionSetParts(isl::set S,
  231   isl::set OnlyDimS = S;
  250   isl::set BoundedParts = collectBoundedParts(OnlyDimS);
  259   isl::set UnboundedParts = S.subtract(BoundedParts);
  264 static isl::set buildConditionSet(ICmpInst::Predicate Pred, isl::pw_aff L,
  292 isl::set ScopBuilder::adjustDomainDimensions(isl::set Dom, Loop *OldL,
  292 isl::set ScopBuilder::adjustDomainDimensions(isl::set Dom, Loop *OldL,
  345                       DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
  363     DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
  392     DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
  430     DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
  563     DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
  584     Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
  608     isl::set &Domain = scop->getOrInitEmptyDomain(BB);
  612     isl::set PredDom = getPredecessorDomainConstraints(BB, Domain);
  628     DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
  649   isl::set Domain = scop->getOrInitEmptyDomain(BB);
  656   isl::set AdjustedDomain = adjustDomainDimensions(Domain, BBLoop, ExitBBLoop);
  657   isl::set &ExitDomain = scop->getOrInitEmptyDomain(ExitBB);
  669 isl::set ScopBuilder::getPredecessorDomainConstraints(BasicBlock *BB,
  670                                                       isl::set Domain) {
  673     return isl::set::universe(Domain.get_space());
  682   isl::set PredDom = isl::set::empty(Domain.get_space());
  682   isl::set PredDom = isl::set::empty(Domain.get_space());
  713     isl::set PredBBDom = scop->getDomainConditions(PredBB);
  724     Loop *L, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
  730   isl::set &HeaderBBDom = scop->getOrInitEmptyDomain(HeaderBB);
  735   isl::set UnionBackedgeCondition = HeaderBBDom.empty(HeaderBBDom.get_space());
  745     isl::set LatchBBDom = scop->getDomainConditions(LatchBB);
  747     isl::set BackedgeCondition = nullptr;
  779   isl::set UnionBackedgeConditionComplement =
  798   isl::set UnboundedCtx = Parts.first.params();
  826     Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
  835   isl::noexceptions::set Domain = isl::manage(S);
  866     Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
  904     isl::set Domain = scop->getDomainConditions(BB);
  942       isl::set CondSet = isl::manage(ConditionSets[u]);
  966       isl::set &SuccDomain = scop->getOrInitEmptyDomain(SuccBB);
  994     Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
 1010     isl::set &Domain = scop->getOrInitEmptyDomain(BB);
 1013     isl::set InvalidDomain = InvalidDomainMap[BB];
 1021       isl::set DomPar = Domain.params();
 1025       Domain = isl::set::empty(Domain.get_space());
 1050       auto AdjustedInvalidDomain =
 1053       isl::set SuccInvalidDomain = InvalidDomainMap[SuccBB];
 1159   for (isl::set S : USet.get_set_list()) {
 1525     AssumptionCache &AC, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
 1594     isl::set newContext =
 2363     isl::set Elements = Accessed.extract_set(Space);
 2369       isl::set DimOnly = isl::set(Elements).project_out(isl::dim::set, 0, i);
 2414     isl::set MappedElements = isl::map(Transform).domain();
 2632   isl::set Domain = Stmt.getDomain();
 2711     isl::set AllAccs = AllAccsRel.range();
 2719       isl::set Accs = AccRel.range();
 2722         isl::set OverlapAccs = Accs.intersect(AllAccs);
 2765       if (isl::set NHCtx = getNonHoistableCtx(Access, Writes))
 2787 static bool isAccessRangeTooComplex(isl::set AccessRange) {
 2819   isl::set UserContext = isl::set(scop->getIslCtx(), UserContextStr.c_str());
 2850   isl::set newContext = scop->getContext().intersect(UserContext);
 2854 isl::set ScopBuilder::getNonHoistableCtx(MemoryAccess *Access,
 2889   isl::set SafeToLoad;
 2894     SafeToLoad = isl::set::universe(AccessRelation.get_space().range());
 2907   isl::set WrittenCtx = Written.params();
 2973   isl::set StmtInvalidCtx = Stmt.getInvalidContext();
 2978   isl::set DomainCtx = Stmt.getDomain().params();
 3014     isl::set NHCtx = InvMA.NonHoistableCtx;
 3023     isl::set MAInvalidCtx = MA->getInvalidContext();
 3027     isl::set MACtx;
 3031       MACtx = isl::set::universe(DomainCtx.get_space());
 3052         isl::set AR = MA->getAccessRelation().range();
 3053         isl::set LastAR = LastMA->getAccessRelation().range();
 3066       isl::set IAClassDomainCtx = IAClass.ExecutionContext;
 3228 static bool buildMinMaxAccess(isl::set Set,
 3308   for (isl::set Set : Locations.get_set_list()) {
 3317 static isl::set getAccessDomain(MemoryAccess *MA) {
 3318   isl::set Domain = MA->getStatement()->getDomain();
 3358     isl::set StmtDomain = Stmt.getDomain();
 3510     isl::set AGDomain = getAccessDomain(*AGI);
 3513       isl::set MADomain = getAccessDomain(MA);
 3662   DenseMap<BasicBlock *, isl::set> InvalidDomainMap;

  166 static isl::set addRangeBoundsToSet(isl::set S, const ConstantRange &Range,
  166 static isl::set addRangeBoundsToSet(isl::set S, const ConstantRange &Range,
  189     isl::set SLB = S.lower_bound_val(type, dim, V);
  193     isl::set SUB = S.upper_bound_val(type, dim, V);
  480       isl::set::universe(AccessSpace), isl::set::universe(ArraySpace));
  480       isl::set::universe(AccessSpace), isl::set::universe(ArraySpace));
  525         isl::set::universe(ArraySpace), isl::set::universe(ArraySpace));
  525         isl::set::universe(ArraySpace), isl::set::universe(ArraySpace));
  669   isl::set Outside = isl::set::empty(Space);
  669   isl::set Outside = isl::set::empty(Space);
  675     isl::set DimOutside = Var.lt_set(Zero);
  766   isl::set AccessRange = Relation.range();
  844   isl::set StmtInvalidDomain = getStatement()->getInvalidDomain();
  845   InvalidDomain = isl::set::empty(StmtInvalidDomain.get_space());
  925   isl::set Ctx = Statement->getParent()->getContext();
  980   isl::set StmtDom = getStatement()->getDomain();
  982   isl::set NewInvalidDom = StmtDom.intersect(PWAC.second);
 1019 isl::set MemoryAccess::getStride(isl::map Schedule) const {
 1032   isl::set Deltas = NextScatt.deltas();
 1037   isl::set Stride, StrideX;
 1041   StrideX = isl::set::universe(Stride.get_space());
 1077     isl::set StmtDomain = getStatement()->getDomain();
 1080     isl::set NewDomain = NewAccess.domain();
 1113   isl::set StmtDom = getStatement()->getDomain();
 1114   isl::set AccDom = getLatestAccessRelation().domain();
 1122   isl::set Domain = getDomain();
 1138 void ScopStmt::restrictDomain(isl::set NewDomain) {
 1183   isl::set Ctx = Parent.getContext();
 1203                    isl::set NewDomain)
 1234 void ScopStmt::setInvalidDomain(isl::set ID) { InvalidDomain = ID; }
 1252 isl::set ScopStmt::getDomain() const { return Domain; }
 1380 void Scop::setContext(isl::set NewContext) {
 1550   Context = isl::set::universe(Space);
 1551   InvalidContext = isl::set::empty(Space);
 1552   AssumedContext = isl::set::universe(Space);
 1585 static isl::set boundFortranArrayParams(isl::set Context,
 1585 static isl::set boundFortranArrayParams(isl::set Context,
 1620 static isl::set simplifyAssumptionContext(isl::set AssumptionContext,
 1620 static isl::set simplifyAssumptionContext(isl::set AssumptionContext,
 1629     auto DomainParameters = S.getDomains().params();
 1670 isl::set Scop::getDomainConditions(const ScopStmt *Stmt) const {
 1674 isl::set Scop::getDomainConditions(BasicBlock *BB) const {
 1759     isl::set Domain = DomainMap.lookup(Stmt.getEntryBlock());
 1904 isl::set Scop::getContext() const { return Context; }
 1927 isl::set Scop::getAssumedContext() const {
 1961   auto PositiveContext = getAssumedContext();
 1962   auto NegativeContext = getInvalidContext();
 1973   auto DomainContext = getDomains().params();
 1980 isl::set Scop::addNonEmptyDomainConstraints(isl::set C) const {
 1980 isl::set Scop::addNonEmptyDomainConstraints(isl::set C) const {
 1981   isl::set DomainContext = getDomains().params();
 2025 bool Scop::isEffectiveAssumption(isl::set Set, AssumptionSign Sign) {
 2042 bool Scop::trackAssumption(AssumptionKind Kind, isl::set Set, DebugLoc Loc,
 2049     isl::set Univ;
 2051       Univ = isl::set::universe(Set.get_space());
 2105 void Scop::addAssumption(AssumptionKind Kind, isl::set Set, DebugLoc Loc,
 2119 void Scop::recordAssumption(AssumptionKind Kind, isl::set Set, DebugLoc Loc,
 2128   addAssumption(Kind, isl::set::empty(getParamSpace()), Loc, AS_ASSUMPTION, BB);
 2131 isl::set Scop::getInvalidContext() const { return InvalidContext; }
 2290       isl::set Domain = Stmt.getDomain();
 2360       Stmt.restrictDomain(isl::set::empty(Stmt.getDomainSpace()));
 2407                             isl::set Domain) {
 2409   isl::set SourceDomain = SourceRel.domain();
 2410   isl::set TargetDomain = TargetRel.domain();
 2580     isl::set Domain = Stmt.getDomain().intersect_params(getContext());
 2598       isl::set AccSet =

  333   isl::set AccDom = MA.getAccessRelation().domain();
  564     auto StmtDom =
  566     auto AccDom = MA->getAccessRelation().domain();
  583                                               const isl::set &Subdomain) {
  585   isl::set Domain = Stmt.getDomain();
  593   isl::set ScheduledDomain = Schedule.range();
  594   isl::set ScheduledSet = Subdomain.apply(Schedule);
  607     ScopStmt &Stmt, const isl::set &Subdomain, StringRef Subject,
  609   isl::set StmtDom = Stmt.getDomain();
  669   isl::set Domain = Stmt.getDomain();
  768     isl::set AccDom = MA->getAccessRelation().domain();
 1716     isl::set AccDom = MA->getAccessRelation().domain();

  372   isl::set Params = S.getContext();

  275 static void addReferencesFromStmtSet(isl::set Set,
  299   for (isl::set Set : USet.get_set_list())
  752                isl::set StmtDom = Stmt->getDomain();
  887     isl::set AccDomain =
  889     isl::set Context = S.getContext();
 1343   isl::set &ExecutionCtx = IAClass.ExecutionContext;
 1354     isl::set BaseExecutionCtx = BaseIAClass->ExecutionContext;
 1371         isl::set BaseExecutionCtx = BaseIAClass->ExecutionContext;

  210   isl::set OldContext = S.getContext();
  218   isl::set NewContext =

  266   inline set eq_set(aff aff2) const;
  272   inline set ge_set(aff aff2) const;
  283   inline aff gist(set context) const;
  284   inline aff gist_params(set context) const;
  286   inline set gt_set(aff aff2) const;
  292   inline set le_set(aff aff2) const;
  294   inline set lt_set(aff aff2) const;
  299   inline set ne_set(aff aff2) const;
  397   inline ast_expr expr_from(set set) const;
  399   static inline ast_build from_context(set set);
  404   inline ast_build restrict(set set) const;
  848   inline set lexmax() const;
  849   inline set lexmin() const;
  875   inline set unite(basic_set bset2) const;
 1259   inline set deltas() const;
 1265   inline set domain() const;
 1293   static inline map from_domain(set set);
 1294   static inline map from_domain_and_range(set domain, set range);
 1294   static inline map from_domain_and_range(set domain, set range);
 1299   static inline map from_range(set set);
 1311   inline map gist_domain(set context) const;
 1312   inline map gist_params(set context) const;
 1313   inline map gist_range(set context) const;
 1322   inline map intersect_domain(set set) const;
 1324   inline map intersect_params(set params) const;
 1325   inline map intersect_range(set set) const;
 1365   inline set params() const;
 1381   inline set range() const;
 1402   inline map subtract_domain(set dom) const;
 1403   inline map subtract_range(set dom) const;
 1411   inline set wrap() const;
 1578   inline multi_aff gist(set context) const;
 1579   inline multi_aff gist_params(set context) const;
 1585   inline set lex_ge_set(multi_aff ma2) const;
 1586   inline set lex_gt_set(multi_aff ma2) const;
 1587   inline set lex_le_set(multi_aff ma2) const;
 1588   inline set lex_lt_set(multi_aff ma2) const;
 1657   inline set domain() const;
 1674   inline multi_pw_aff gist(set set) const;
 1675   inline multi_pw_aff gist_params(set set) const;
 1679   inline multi_pw_aff intersect_domain(set domain) const;
 1680   inline multi_pw_aff intersect_params(set set) const;
 1775   inline multi_union_pw_aff gist_params(set context) const;
 1778   inline multi_union_pw_aff intersect_params(set params) const;
 1779   inline multi_union_pw_aff intersect_range(set set) const;
 1943   inline explicit pw_aff(set domain, val v);
 1960   static inline pw_aff alloc(set set, aff aff);
 1966   inline set domain() const;
 1971   inline set eq_set(pw_aff pwaff2) const;
 1975   inline stat foreach_piece(const std::function<stat(set, aff)> &fn) const;
 1977   inline set ge_set(pw_aff pwaff2) const;
 1984   inline pw_aff gist(set context) const;
 1985   inline pw_aff gist_params(set context) const;
 1987   inline set gt_set(pw_aff pwaff2) const;
 1991   inline pw_aff intersect_domain(set set) const;
 1992   inline pw_aff intersect_params(set set) const;
 1998   inline set le_set(pw_aff pwaff2) const;
 2000   inline set lt_set(pw_aff pwaff2) const;
 2008   inline set ne_set(pw_aff pwaff2) const;
 2010   inline set non_zero_set() const;
 2011   inline set nonneg_set() const;
 2012   inline set params() const;
 2015   inline set pos_set() const;
 2027   inline pw_aff subtract_domain(set set) const;
 2034   inline set zero_set() const;
 2068   inline set eq_set(pw_aff_list list2) const;
 2071   inline set ge_set(pw_aff_list list2) const;
 2074   inline set gt_set(pw_aff_list list2) const;
 2076   inline set le_set(pw_aff_list list2) const;
 2077   inline set lt_set(pw_aff_list list2) const;
 2081   inline set ne_set(pw_aff_list list2) const;
 2121   static inline pw_multi_aff alloc(set set, multi_aff maff);
 2124   inline set domain() const;
 2131   inline stat foreach_piece(const std::function<stat(set, multi_aff)> &fn) const;
 2132   static inline pw_multi_aff from_domain(set set);
 2135   static inline pw_multi_aff from_set(set set);
 2143   inline pw_multi_aff gist(set set) const;
 2144   inline pw_multi_aff gist_params(set set) const;
 2148   inline pw_multi_aff intersect_domain(set set) const;
 2149   inline pw_multi_aff intersect_params(set set) const;
 2153   static inline pw_multi_aff multi_val_on_domain(set domain, multi_val mv);
 2173   inline pw_multi_aff subtract_domain(set set) const;
 2254   static inline pw_qpolynomial alloc(set set, qpolynomial qp);
 2257   inline set domain() const;
 2263   inline stat foreach_piece(const std::function<stat(set, qpolynomial)> &fn) const;
 2269   inline pw_qpolynomial gist(set context) const;
 2270   inline pw_qpolynomial gist_params(set context) const;
 2273   inline pw_qpolynomial intersect_domain(set set) const;
 2274   inline pw_qpolynomial intersect_params(set set) const;
 2294   inline pw_qpolynomial subtract_domain(set set) const;
 2412   inline qpolynomial gist(set context) const;
 2413   inline qpolynomial gist_params(set context) const;
 2475   inline schedule gist_domain_params(set context) const;
 2476   inline schedule insert_context(set context) const;
 2477   inline schedule insert_guard(set guard) const;
 2520   inline set get_context() const;
 2527   inline schedule_constraints set_context(set context) const;
 2566   inline set context_get_context() const;
 2596   inline set guard_get_guard() const;
 2601   inline schedule_node insert_context(set context) const;
 2603   inline schedule_node insert_guard(set context) const;
 2623 inline set manage(__isl_take isl_set *ptr);
 2624 inline set manage_copy(__isl_keep isl_set *ptr);
 2627   friend inline set manage(__isl_take isl_set *ptr);
 2628   friend inline set manage_copy(__isl_keep isl_set *ptr);
 2636   inline /* implicit */ set(const set &obj);
 2642   inline set &operator=(set obj);
 2642   inline set &operator=(set obj);
 2654   inline set add_constraint(constraint constraint) const;
 2655   inline set add_dims(isl::dim type, unsigned int n) const;
 2657   inline set align_params(space model) const;
 2658   inline set apply(map map) const;
 2660   static inline set box_from_points(point pnt1, point pnt2);
 2661   inline set coalesce() const;
 2663   inline set complement() const;
 2666   inline set detect_equalities() const;
 2675   inline set drop_constraints_involving_dims(isl::dim type, unsigned int first, unsigned int n) const;
 2676   inline set drop_constraints_not_involving_dims(isl::dim type, unsigned int first, unsigned int n) const;
 2677   inline set drop_unused_params() const;
 2678   inline set eliminate(isl::dim type, unsigned int first, unsigned int n) const;
 2679   static inline set empty(space space);
 2680   inline set equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
 2683   inline set fix_si(isl::dim type, unsigned int pos, int value) const;
 2684   inline set fix_val(isl::dim type, unsigned int pos, val v) const;
 2685   inline set flat_product(set set2) const;
 2685   inline set flat_product(set set2) const;
 2686   inline set flatten() const;
 2688   inline int follows_at(const set &set2, int pos) const;
 2691   static inline set from_multi_aff(multi_aff ma);
 2692   static inline set from_multi_pw_aff(multi_pw_aff mpa);
 2693   inline set from_params() const;
 2694   static inline set from_pw_aff(pw_aff pwaff);
 2695   static inline set from_pw_multi_aff(pw_multi_aff pma);
 2703   inline set gist(set context) const;
 2703   inline set gist(set context) const;
 2704   inline set gist_basic_set(basic_set context) const;
 2705   inline set gist_params(set context) const;
 2705   inline set gist_params(set context) const;
 2708   inline boolean has_equal_space(const set &set2) const;
 2713   inline set insert_dims(isl::dim type, unsigned int pos, unsigned int n) const;
 2714   inline set intersect(set set2) const;
 2714   inline set intersect(set set2) const;
 2715   inline set intersect_params(set params) const;
 2715   inline set intersect_params(set params) const;
 2719   inline boolean is_disjoint(const set &set2) const;
 2721   inline boolean is_equal(const set &set2) const;
 2724   inline boolean is_strict_subset(const set &set2) const;
 2725   inline boolean is_subset(const set &set2) const;
 2727   inline map lex_ge_set(set set2) const;
 2728   inline map lex_gt_set(set set2) const;
 2729   inline map lex_le_set(set set2) const;
 2730   inline map lex_lt_set(set set2) const;
 2731   inline set lexmax() const;
 2733   inline set lexmin() const;
 2735   inline set lower_bound_si(isl::dim type, unsigned int pos, int value) const;
 2736   inline set lower_bound_val(isl::dim type, unsigned int pos, val value) const;
 2739   inline set move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
 2742   static inline set nat_universe(space dim);
 2743   inline set neg() const;
 2744   inline set params() const;
 2745   inline int plain_cmp(const set &set2) const;
 2747   inline boolean plain_is_disjoint(const set &set2) const;
 2749   inline boolean plain_is_equal(const set &set2) const;
 2753   inline set preimage_multi_aff(multi_aff ma) const;
 2754   inline set preimage_multi_pw_aff(multi_pw_aff mpa) const;
 2755   inline set preimage_pw_multi_aff(pw_multi_aff pma) const;
 2756   inline set product(set set2) const;
 2756   inline set product(set set2) const;
 2758   inline set project_out(isl::dim type, unsigned int first, unsigned int n) const;
 2759   inline set remove_dims(isl::dim type, unsigned int first, unsigned int n) const;
 2760   inline set remove_divs() const;
 2761   inline set remove_divs_involving_dims(isl::dim type, unsigned int first, unsigned int n) const;
 2762   inline set remove_redundancies() const;
 2763   inline set remove_unknown_divs() const;
 2764   inline set reset_space(space dim) const;
 2765   inline set reset_tuple_id() const;
 2766   inline set reset_user() const;
 2769   inline set set_dim_id(isl::dim type, unsigned int pos, id id) const;
 2770   inline set set_tuple_id(id id) const;
 2771   inline set set_tuple_name(const std::string &s) const;
 2775   inline set split_dims(isl::dim type, unsigned int first, unsigned int n) const;
 2776   inline set subtract(set set2) const;
 2776   inline set subtract(set set2) const;
 2777   inline set sum(set set2) const;
 2777   inline set sum(set set2) const;
 2778   inline set unite(set set2) const;
 2778   inline set unite(set set2) const;
 2779   static inline set universe(space space);
 2783   inline set upper_bound_si(isl::dim type, unsigned int pos, int value) const;
 2784   inline set upper_bound_val(isl::dim type, unsigned int pos, val value) const;
 2815   inline set_list add(set el) const;
 2819   inline stat foreach(const std::function<stat(set)> &fn) const;
 2820   static inline set_list from_set(set el);
 2821   inline set get_at(int index) const;
 2822   inline set get_set(int index) const;
 2823   inline set_list insert(unsigned int pos, set el) const;
 2826   inline set_list set_set(int index, set el) const;
 2829   inline set unite() const;
 3107   inline union_map gist_params(set set) const;
 3111   inline union_map intersect_params(set set) const;
 3133   inline set params() const;
 3259   inline union_pw_aff gist_params(set context) const;
 3261   inline union_pw_aff intersect_params(set set) const;
 3376   inline union_pw_multi_aff gist_params(set context) const;
 3378   inline union_pw_multi_aff intersect_params(set set) const;
 3480   inline union_pw_qpolynomial gist_params(set context) const;
 3482   inline union_pw_qpolynomial intersect_params(set set) const;
 3514   inline /* implicit */ union_set(set set);
 3529   inline union_set add_set(set set) const;
 3540   inline set extract_set(space dim) const;
 3542   inline stat foreach_set(const std::function<stat(set)> &fn) const;
 3548   inline union_set gist_params(set set) const;
 3552   inline union_set intersect_params(set set) const;
 3567   inline set params() const;
 3987 set aff::eq_set(aff aff2) const
 4023 set aff::ge_set(aff aff2) const
 4090 aff aff::gist(set context) const
 4096 aff aff::gist_params(set context) const
 4108 set aff::gt_set(aff aff2) const
 4144 set aff::le_set(aff aff2) const
 4156 set aff::lt_set(aff aff2) const
 4186 set aff::ne_set(aff aff2) const
 4567 ast_expr ast_build::expr_from(set set) const
 4579 ast_build ast_build::from_context(set set)
 4609 ast_build ast_build::restrict(set set) const
 6582 set basic_set::lexmax() const
 6588 set basic_set::lexmin() const
 6744 set basic_set::unite(basic_set bset2) const
 8116 set map::deltas() const
 8152 set map::domain() const
 8328 map map::from_domain(set set)
 8334 map map::from_domain_and_range(set domain, set range)
 8334 map map::from_domain_and_range(set domain, set range)
 8364 map map::from_range(set set)
 8438 map map::gist_domain(set context) const
 8444 map map::gist_params(set context) const
 8450 map map::gist_range(set context) const
 8504 map map::intersect_domain(set set) const
 8516 map map::intersect_params(set params) const
 8522 map map::intersect_range(set set) const
 8762 set map::params() const
 8858 set map::range() const
 8984 map map::subtract_domain(set dom) const
 8990 map map::subtract_range(set dom) const
 9038 set map::wrap() const
 9726 multi_aff multi_aff::gist(set context) const
 9732 multi_aff multi_aff::gist_params(set context) const
 9768 set multi_aff::lex_ge_set(multi_aff ma2) const
 9774 set multi_aff::lex_gt_set(multi_aff ma2) const
 9780 set multi_aff::lex_le_set(multi_aff ma2) const
 9786 set multi_aff::lex_lt_set(multi_aff ma2) const
10091 set multi_pw_aff::domain() const
10194 multi_pw_aff multi_pw_aff::gist(set set) const
10200 multi_pw_aff multi_pw_aff::gist_params(set set) const
10224 multi_pw_aff multi_pw_aff::intersect_domain(set domain) const
10230 multi_pw_aff multi_pw_aff::intersect_params(set set) const
10692 multi_union_pw_aff multi_union_pw_aff::gist_params(set context) const
10710 multi_union_pw_aff multi_union_pw_aff::intersect_params(set params) const
10716 multi_union_pw_aff multi_union_pw_aff::intersect_range(set set) const
11404 pw_aff::pw_aff(set domain, val v)
11483 pw_aff pw_aff::alloc(set set, aff aff)
11519 set pw_aff::domain() const
11549 set pw_aff::eq_set(pw_aff pwaff2) const
11573 stat pw_aff::foreach_piece(const std::function<stat(set, aff)> &fn) const
11576     const std::function<stat(set, aff)> *func;
11593 set pw_aff::ge_set(pw_aff pwaff2) const
11636 pw_aff pw_aff::gist(set context) const
11642 pw_aff pw_aff::gist_params(set context) const
11654 set pw_aff::gt_set(pw_aff pwaff2) const
11678 pw_aff pw_aff::intersect_domain(set set) const
11684 pw_aff pw_aff::intersect_params(set set) const
11720 set pw_aff::le_set(pw_aff pwaff2) const
11732 set pw_aff::lt_set(pw_aff pwaff2) const
11780 set pw_aff::ne_set(pw_aff pwaff2) const
11792 set pw_aff::non_zero_set() const
11798 set pw_aff::nonneg_set() const
11804 set pw_aff::params() const
11822 set pw_aff::pos_set() const
11894 pw_aff pw_aff::subtract_domain(set set) const
11936 set pw_aff::zero_set() const
12032 set pw_aff_list::eq_set(pw_aff_list list2) const
12058 set pw_aff_list::ge_set(pw_aff_list list2) const
12076 set pw_aff_list::gt_set(pw_aff_list list2) const
12088 set pw_aff_list::le_set(pw_aff_list list2) const
12094 set pw_aff_list::lt_set(pw_aff_list list2) const
12118 set pw_aff_list::ne_set(pw_aff_list list2) const
12250 pw_multi_aff pw_multi_aff::alloc(set set, multi_aff maff)
12268 set pw_multi_aff::domain() const
12310 stat pw_multi_aff::foreach_piece(const std::function<stat(set, multi_aff)> &fn) const
12313     const std::function<stat(set, multi_aff)> *func;
12324 pw_multi_aff pw_multi_aff::from_domain(set set)
12342 pw_multi_aff pw_multi_aff::from_set(set set)
12392 pw_multi_aff pw_multi_aff::gist(set set) const
12398 pw_multi_aff pw_multi_aff::gist_params(set set) const
12422 pw_multi_aff pw_multi_aff::intersect_domain(set set) const
12428 pw_multi_aff pw_multi_aff::intersect_params(set set) const
12452 pw_multi_aff pw_multi_aff::multi_val_on_domain(set domain, multi_val mv)
12572 pw_multi_aff pw_multi_aff::subtract_domain(set set) const
12852 pw_qpolynomial pw_qpolynomial::alloc(set set, qpolynomial qp)
12870 set pw_qpolynomial::domain() const
12906 stat pw_qpolynomial::foreach_piece(const std::function<stat(set, qpolynomial)> &fn) const
12909     const std::function<stat(set, qpolynomial)> *func;
12950 pw_qpolynomial pw_qpolynomial::gist(set context) const
12956 pw_qpolynomial pw_qpolynomial::gist_params(set context) const
12974 pw_qpolynomial pw_qpolynomial::intersect_domain(set set) const
12980 pw_qpolynomial pw_qpolynomial::intersect_params(set set) const
13100 pw_qpolynomial pw_qpolynomial::subtract_domain(set set) const
13509 qpolynomial qpolynomial::gist(set context) const
13515 qpolynomial qpolynomial::gist_params(set context) const
13781 schedule schedule::gist_domain_params(set context) const
13787 schedule schedule::insert_context(set context) const
13793 schedule schedule::insert_guard(set guard) const
13945 set schedule_constraints::get_context() const
13987 schedule_constraints schedule_constraints::set_context(set context) const
14116 set schedule_node::context_get_context() const
14304 set schedule_node::guard_get_guard() const
14334 schedule_node schedule_node::insert_context(set context) const
14346 schedule_node schedule_node::insert_guard(set context) const
14449 set manage(__isl_take isl_set *ptr) {
14452 set manage_copy(__isl_keep isl_set *ptr) {
14460 set::set(const set &obj)
14493 set &set::operator=(set obj) {
14493 set &set::operator=(set obj) {
14543 set set::add_constraint(constraint constraint) const
14549 set set::add_dims(isl::dim type, unsigned int n) const
14561 set set::align_params(space model) const
14567 set set::apply(map map) const
14579 set set::box_from_points(point pnt1, point pnt2)
14585 set set::coalesce() const
14597 set set::complement() const
14615 set set::detect_equalities() const
14669 set set::drop_constraints_involving_dims(isl::dim type, unsigned int first, unsigned int n) const
14675 set set::drop_constraints_not_involving_dims(isl::dim type, unsigned int first, unsigned int n) const
14681 set set::drop_unused_params() const
14687 set set::eliminate(isl::dim type, unsigned int first, unsigned int n) const
14693 set set::empty(space space)
14699 set set::equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const
14717 set set::fix_si(isl::dim type, unsigned int pos, int value) const
14723 set set::fix_val(isl::dim type, unsigned int pos, val v) const
14729 set set::flat_product(set set2) const
14729 set set::flat_product(set set2) const
14735 set set::flatten() const
14747 int set::follows_at(const set &set2, int pos) const
14781 set set::from_multi_aff(multi_aff ma)
14787 set set::from_multi_pw_aff(multi_pw_aff mpa)
14793 set set::from_params() const
14799 set set::from_pw_aff(pw_aff pwaff)
14805 set set::from_pw_multi_aff(pw_multi_aff pma)
14855 set set::gist(set context) const
14855 set set::gist(set context) const
14861 set set::gist_basic_set(basic_set context) const
14867 set set::gist_params(set context) const
14867 set set::gist_params(set context) const
14885 boolean set::has_equal_space(const set &set2) const
14915 set set::insert_dims(isl::dim type, unsigned int pos, unsigned int n) const
14921 set set::intersect(set set2) const
14921 set set::intersect(set set2) const
14927 set set::intersect_params(set params) const
14927 set set::intersect_params(set params) const
14951 boolean set::is_disjoint(const set &set2) const
14963 boolean set::is_equal(const set &set2) const
14981 boolean set::is_strict_subset(const set &set2) const
14987 boolean set::is_subset(const set &set2) const
14999 map set::lex_ge_set(set set2) const
15005 map set::lex_gt_set(set set2) const
15011 map set::lex_le_set(set set2) const
15017 map set::lex_lt_set(set set2) const
15023 set set::lexmax() const
15035 set set::lexmin() const
15047 set set::lower_bound_si(isl::dim type, unsigned int pos, int value) const
15053 set set::lower_bound_val(isl::dim type, unsigned int pos, val value) const
15071 set set::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
15089 set set::nat_universe(space dim)
15095 set set::neg() const
15101 set set::params() const
15107 int set::plain_cmp(const set &set2) const
15119 boolean set::plain_is_disjoint(const set &set2) const
15131 boolean set::plain_is_equal(const set &set2) const
15155 set set::preimage_multi_aff(multi_aff ma) const
15161 set set::preimage_multi_pw_aff(multi_pw_aff mpa) const
15167 set set::preimage_pw_multi_aff(pw_multi_aff pma) const
15173 set set::product(set set2) const
15173 set set::product(set set2) const
15185 set set::project_out(isl::dim type, unsigned int first, unsigned int n) const
15191 set set::remove_dims(isl::dim type, unsigned int first, unsigned int n) const
15197 set set::remove_divs() const
15203 set set::remove_divs_involving_dims(isl::dim type, unsigned int first, unsigned int n) const
15209 set set::remove_redundancies() const
15215 set set::remove_unknown_divs() const
15221 set set::reset_space(space dim) const
15227 set set::reset_tuple_id() const
15233 set set::reset_user() const
15251 set set::set_dim_id(isl::dim type, unsigned int pos, id id) const
15257 set set::set_tuple_id(id id) const
15263 set set::set_tuple_name(const std::string &s) const
15287 set set::split_dims(isl::dim type, unsigned int first, unsigned int n) const
15293 set set::subtract(set set2) const
15293 set set::subtract(set set2) const
15299 set set::sum(set set2) const
15299 set set::sum(set set2) const
15305 set set::unite(set set2) const
15305 set set::unite(set set2) const
15311 set set::universe(space space)
15335 set set::upper_bound_si(isl::dim type, unsigned int pos, int value) const
15341 set set::upper_bound_val(isl::dim type, unsigned int pos, val value) const
15419 set_list set_list::add(set el) const
15443 stat set_list::foreach(const std::function<stat(set)> &fn) const
15446     const std::function<stat(set)> *func;
15457 set_list set_list::from_set(set el)
15463 set set_list::get_at(int index) const
15469 set set_list::get_set(int index) const
15475 set_list set_list::insert(unsigned int pos, set el) const
15493 set_list set_list::set_set(int index, set el) const
15511 set set_list::unite() const
16660 union_map union_map::gist_params(set set) const
16684 union_map union_map::intersect_params(set set) const
16816 set union_map::params() const
17372 union_pw_aff union_pw_aff::gist_params(set context) const
17384 union_pw_aff union_pw_aff::intersect_params(set set) const
17870 union_pw_multi_aff union_pw_multi_aff::gist_params(set context) const
17882 union_pw_multi_aff union_pw_multi_aff::intersect_params(set set) const
18298 union_pw_qpolynomial union_pw_qpolynomial::gist_params(set context) const
18310 union_pw_qpolynomial union_pw_qpolynomial::intersect_params(set set) const
18417 union_set::union_set(set set)
18483 union_set union_set::add_set(set set) const
18549 set union_set::extract_set(space dim) const
18569 stat union_set::foreach_set(const std::function<stat(set)> &fn) const
18572     const std::function<stat(set)> *func;
18613 union_set union_set::gist_params(set set) const
18637 union_set union_set::intersect_params(set set) const
18727 set union_set::params() const

  147 isl::set polly::singleton(isl::union_set USet, isl::space ExpectedSpace) {
  152     return isl::set::empty(ExpectedSpace);
  154   isl::set Result(USet);
  178   for (isl::set Set : USet.get_set_list()) {
  204 isl::set polly::shiftDim(isl::set Set, int Pos, int Amount) {
  204 isl::set polly::shiftDim(isl::set Set, int Pos, int Amount) {
  218   for (isl::set Set : USet.get_set_list()) {
  219     isl::set Shifted = shiftDim(Set, Pos, Amount);
  265 void polly::simplify(isl::set &Set) {
  506   isl::set RangeSet = Range.extract_set(Map.get_space().range());
  510 isl::map polly::subtractParams(isl::map Map, isl::set Params) {
  562 static void foreachPoint(const isl::set &Set,
  717   for (isl::set Set : USet.get_set_list()) {
  756 static void recursiveExpand(isl::basic_set BSet, int Dim, isl::set &Expanded) {
  788 static isl::set expand(const isl::set &Set) {
  788 static isl::set expand(const isl::set &Set) {
  789   isl::set Expanded = isl::set::empty(Set.get_space());
  789   isl::set Expanded = isl::set::empty(Set.get_space());
  800   for (isl::set Set : USet.get_set_list()) {
  801     isl::set SetExpanded = expand(Set);
  807 LLVM_DUMP_METHOD void polly::dumpPw(const isl::set &Set) {
  839 LLVM_DUMP_METHOD void polly::dumpExpanded(const isl::set &Set) {

  110   return std::make_pair(PWA, isl::set::empty(isl::space(Ctx, 0, NumIterators)));
  139   isl::set NotEqualSet = PWAC.first.ne_set(PWAMod);
  160   isl::set Domain = PWA.domain();

  121                                         isl::set Writes, bool InclPrevWrite,
  631     auto Writes = getDomainFor(DefMA);
  686     auto OrigDomain = getDomainFor(DefMA);
  687     auto MappedDomain = DefTarget.domain();
  705     auto EltZone = Lifetime.apply_domain(DefTarget).wrap();
  770       auto Domain = getDomainFor(MA);
  859     auto OrigDomain = getDomainFor(PHIRead);
  860     auto MappedDomain = PHITarget.domain();
  971       auto Domain = getDomainFor(MA);
 1009     auto TargetDom = getDomainFor(TargetStmt);
 1159     auto Set = Map.range();

   28 bool isDimBoundedByConstant(isl::set Set, unsigned dim) {
   41 bool isDimBoundedByParameter(isl::set Set, unsigned dim) {
   80             isl::pw_aff(isl::set::universe(PwAff.get_space().domain()), Val);
   99             isl::pw_aff(isl::set::universe(PwAff.get_space().domain()), Val);
  175   auto ScatterSet = isl::set(Schedule.range());
  196     auto ThisSet = ScatterSet.project_out(isl::dim::set, 1, Dims - 1);
  197     auto ThisFirst = ThisSet.lexmin();
  198     auto ScatterFirst = ThisFirst.add_dims(isl::dim::set, Dims - 1);
  209     auto FirstSubScatter = isl::set(FirstSubSchedule.range());
  227     auto One = isl::pw_aff(isl::set::universe(ParamSpace.set_from_params()),
  267   auto SubExtent = isl::set(SubSchedule.range());

  236   isl::map singleLocation(isl::union_map MustKnown, isl::set Domain) {
  254       isl::set MapDom = Map.domain();
  494         isl::set DefDomain = ValInsts.domain();

  119 static bool isDimBoundedByConstant(isl::set Set, unsigned dim) {
  135   auto AccessDomainSet = MA->getAccessRelation().domain();
  260         auto StmtDomain = Stmt.getDomain();
  263         auto ReadDomainSet = MA->getAccessRelation().domain();
  288         auto DepsDomainSet = isl::set(DepsDomain);
  323     auto DomainSet = MA->getAccessRelation().domain();
  355   auto Domain = CurrentAccessMap.domain();
  366   auto CurrentStmtDomain = MA->getStatement()->getDomain();

  304 static isl::union_set getIsolateOptions(isl::set IsolateDomain,
  315   isl::set IsolateOption = IsolateRelation.wrap();
  329   auto DimOption = isl::set::universe(Space);
  329   auto DimOption = isl::set::universe(Space);
  356 static isl::set addExtentConstraints(isl::set Set, int VectorWidth) {
  356 static isl::set addExtentConstraints(isl::set Set, int VectorWidth) {
  370 isl::set getPartialTilePrefixes(isl::set ScheduleRange, int VectorWidth) {
  370 isl::set getPartialTilePrefixes(isl::set ScheduleRange, int VectorWidth) {
  372   isl::set LoopPrefixes =
  374   auto ExtentPrefixes = addExtentConstraints(LoopPrefixes, VectorWidth);
  375   isl::set BadPrefixes = ExtentPrefixes.subtract(ScheduleRange);
  388   isl::set ScheduleRange = ScheduleRelation.range();
  389   isl::set IsolateDomain = getPartialTilePrefixes(ScheduleRange, VectorWidth);
  594 static bool isMatMulOperandAcc(isl::set Domain, isl::map AccMap, int &FirstPos,
  654   isl::set StmtDomain = MemAccess->getStatement()->getDomain();
  732   auto Deltas = Dep.extract_map(Space).deltas();
 1118   auto Domain = Stmt->getDomain();
 1202   isl::set Prefix = isl::map::from_union_map(UnMapOldIndVar).range();

  162       isl::set Domain = Stmt.getDomain();
  222       isl::set Domain = Stmt.getDomain().intersect_params(S->getContext());
  229       SmallDenseMap<Value *, isl::set> ValueSets;
  232         isl::set &Result = ValueSets[V];
  239           Result = isl::set::universe(
  263         isl::set AccRelWrapped = AccRel.wrap();
  266         isl::set ValSet;
  284           isl::set AccDomain = AccRel.domain();
  287           isl::set UndefDomain = Domain.subtract(AccDomain);
  290           isl::set ElementUniverse =
  291               isl::set::universe(AccRel.get_space().range());
  376           auto AccSet =
  377               isl::set::universe(isl::space(S->getIslCtx(), 0, 0)
  396       SmallDenseMap<Value *, isl::set> ValueSets;
  399         isl::set &Result = ValueSets[V];
  406           Result = isl::set::universe(
  412       isl::set Domain = Stmt.getDomain();
  433         isl::set AccRelWrapped = AccRel.wrap();
  477           isl::set AccRelUniv = isl::set::universe(AccRelWrapped.get_space());
  477           isl::set AccRelUniv = isl::set::universe(AccRelWrapped.get_space());

  215                                                 isl::set Writes, bool InclDef,
  239 static isl::map makeUnknownForDomain(isl::set Domain) {
  338     auto ArrayElts = isl::set::universe(AccRelMap.get_space().range());
  338     auto ArrayElts = isl::set::universe(AccRelMap.get_space().range());
  562   isl::set WriteTimes = singleton(PHIWriteScatter.range(), ScatterSpace);
  622 isl::map ZoneAlgorithm::getScatterFor(isl::set Domain) const {
  631 isl::set ZoneAlgorithm::getDomainFor(ScopStmt *Stmt) const {
  635 isl::set ZoneAlgorithm::getDomainFor(MemoryAccess *MA) const {
  640   auto Domain = getDomainFor(MA);
  680     isl::set DefDomain = getDomainFor(DefStmt);
  681     isl::set TargetDomain = getDomainFor(TargetStmt);
  704   auto Domain = getDomainFor(Stmt);
  711 isl::map ZoneAlgorithm::getScalarReachingDefinition(isl::set DomainDef) {
  742 isl::set ZoneAlgorithm::makeValueSet(Value *V) {
  744   return isl::set::universe(Space);
  755   auto DomainUse = getDomainFor(UserStmt);
  763     auto ValSet = makeValueSet(Val);
  791     auto ValSet = makeValueSet(Val);
  818     auto ValSet = makeValueSet(Val);
 1109       AllAccessedElts, isl::set::universe(ScatterSpace));

   27   for (isl::set Set : USet.get_set_list()) {
   29     isl::set Universe = isl::set::universe(Space);
   29     isl::set Universe = isl::set::universe(Space);
  122   auto NewSet = isl::set::universe(NewSpace);
  122   auto NewSet = isl::set::universe(NewSpace);

   54 static bool operator==(const isl::set &LHS, const isl::set &RHS) {
   54 static bool operator==(const isl::set &LHS, const isl::set &RHS) {
  400   isl::set TestSet = TestBSet;

   27     isl::set ScheduleRange = Schedule.range();
   28     isl::set Result = getPartialTilePrefixes(ScheduleRange, 2);
   39     isl::set ScheduleRange = Schedule.range();
   40     isl::set Result = getPartialTilePrefixes(ScheduleRange, 2);
   51     isl::set ScheduleRange = Schedule.range();
   52     isl::set Result = getPartialTilePrefixes(ScheduleRange, 2);

   20   isl::set S = A.unite(B);

  474 	construct(allocator_type& __a, _Up* __p, _Args&&... __args)

   72     constexpr _Tp&&
   73     forward(typename std::remove_reference<_Tp>::type& __t) noexcept
   83     constexpr _Tp&&
   84     forward(typename std::remove_reference<_Tp>::type&& __t) noexcept
   98     move(_Tp&& __t) noexcept

   62     : std::unary_function<_T1, _Res> { };
   67     : std::binary_function<_T1, _T2, _Res> { };
  299       _M_invoke(const _Any_data& __functor, _ArgTypes&&... __args)
  302 	    std::forward<_ArgTypes>(__args)...);
  390     : public _Maybe_unary_or_binary_function<_Res, _ArgTypes...>,
  595       _Res operator()(_ArgTypes... __args) const;
  628       using _Invoker_type = _Res (*)(const _Any_data&, _ArgTypes&&...);
  689 	typedef _Function_handler<_Res(_ArgTypes...), _Functor> _My_handler;
  706       return _M_invoker(_M_functor, std::forward<_ArgTypes>(__args)...);

  108       typedef _Arg 	argument_type;   
  121       typedef _Arg1 	first_argument_type; 

  123       typedef _Tp        value_type;

  570 	_M_create_node(_Args&&... __args)
 1131 	emplace_back(_Args&&... __args)
 1799        _M_insert(iterator __position, _Args&&... __args)

  100 	return __and_<is_constructible<_T1, const _U1&>,
  100 	return __and_<is_constructible<_T1, const _U1&>,
  101 		      is_constructible<_T2, const _U2&>>::value;
  101 		      is_constructible<_T2, const _U2&>>::value;
  107 	return __and_<is_convertible<const _U1&, _T1>,
  107 	return __and_<is_convertible<const _U1&, _T1>,
  108 		      is_convertible<const _U2&, _T2>>::value;
  108 		      is_convertible<const _U2&, _T2>>::value;
  114 	return __and_<is_constructible<_T1, _U1&&>,
  114 	return __and_<is_constructible<_T1, _U1&&>,
  115 		      is_constructible<_T2, _U2&&>>::value;
  115 		      is_constructible<_T2, _U2&&>>::value;
  121 	return __and_<is_convertible<_U1&&, _T1>,
  121 	return __and_<is_convertible<_U1&&, _T1>,
  122 		      is_convertible<_U2&&, _T2>>::value;
  122 		      is_convertible<_U2&&, _T2>>::value;
  128 	using __do_converts = __and_<is_convertible<const _U1&, _T1>,
  128 	using __do_converts = __and_<is_convertible<const _U1&, _T1>,
  129 				  is_convertible<_U2&&, _T2>>;
  129 				  is_convertible<_U2&&, _T2>>;
  133 	return __and_<is_constructible<_T1, const _U1&>,
  133 	return __and_<is_constructible<_T1, const _U1&>,
  134 		      is_constructible<_T2, _U2&&>,
  134 		      is_constructible<_T2, _U2&&>,
  142 	using __do_converts = __and_<is_convertible<_U1&&, _T1>,
  142 	using __do_converts = __and_<is_convertible<_U1&&, _T1>,
  143 				  is_convertible<const _U2&, _T2>>;
  143 				  is_convertible<const _U2&, _T2>>;
  147 	return __and_<is_constructible<_T1, _U1&&>,
  147 	return __and_<is_constructible<_T1, _U1&&>,
  148 		      is_constructible<_T2, const _U2&&>,
  148 		      is_constructible<_T2, const _U2&&>,
  209     : private __pair_base<_T1, _T2>
  209     : private __pair_base<_T1, _T2>
  211       typedef _T1 first_type;    /// @c first_type is the first bound type
  212       typedef _T2 second_type;   /// @c second_type is the second bound type
  214       _T1 first;                 /// @c first is a copy of the first object
  215       _T2 second;                /// @c second is a copy of the second object
  252       using _PCCP = _PCC<true, _T1, _T2>;
  252       using _PCCP = _PCC<true, _T1, _T2>;
  260       constexpr pair(const _T1& __a, const _T2& __b)
  260       constexpr pair(const _T1& __a, const _T2& __b)
  269       explicit constexpr pair(const _T1& __a, const _T2& __b)
  269       explicit constexpr pair(const _T1& __a, const _T2& __b)
  283 			    _T1, _T2>;
  283 			    _T1, _T2>;
  311        constexpr pair(_U1&& __x, const _T2& __y)
  311        constexpr pair(_U1&& __x, const _T2& __y)
  318        explicit constexpr pair(_U1&& __x, const _T2& __y)
  325        constexpr pair(const _T1& __x, _U2&& __y)
  325        constexpr pair(const _T1& __x, _U2&& __y)
  332        explicit pair(const _T1& __x, _U2&& __y)
  341 	constexpr pair(_U1&& __x, _U2&& __y)
  341 	constexpr pair(_U1&& __x, _U2&& __y)
  342 	: first(std::forward<_U1>(__x)), second(std::forward<_U2>(__y)) { }
  379 		__and_<is_copy_assignable<_T1>,
  380 		       is_copy_assignable<_T2>>::value,
  390 		__and_<is_move_assignable<_T1>,
  391 		       is_move_assignable<_T2>>::value,
  403 				is_assignable<_T2&, const _U2&>>::value,
  403 				is_assignable<_T2&, const _U2&>>::value,
  405 	operator=(const pair<_U1, _U2>& __p)
  414 				is_assignable<_T2&, _U2&&>>::value,
  414 				is_assignable<_T2&, _U2&&>>::value,
  416 	operator=(pair<_U1, _U2>&& __p)
  523                    typename __decay_and_strip<_T2>::__type>
  524     make_pair(_T1&& __x, _T2&& __y)
  524     make_pair(_T1&& __x, _T2&& __y)
  527       typedef typename __decay_and_strip<_T2>::__type __ds_type2;
  529       return __pair_type(std::forward<_T1>(__x), std::forward<_T2>(__y));

  135 	construct(_Up* __p, _Args&&... __args)

  215     : public __is_void_helper<typename remove_cv<_Tp>::type>::type
  326     : public __is_integral_helper<typename remove_cv<_Tp>::type>::type
  354     : public __is_floating_point_helper<typename remove_cv<_Tp>::type>::type
  381     : public __is_pointer_helper<typename remove_cv<_Tp>::type>::type
  567     : public __is_null_pointer_helper<typename remove_cv<_Tp>::type>::type
  581     : public __or_<is_lvalue_reference<_Tp>,
  582                    is_rvalue_reference<_Tp>>::type
  588     : public __or_<is_integral<_Tp>, is_floating_point<_Tp>>::type
  588     : public __or_<is_integral<_Tp>, is_floating_point<_Tp>>::type
  601     : public __not_<__or_<is_function<_Tp>, is_reference<_Tp>,
  601     : public __not_<__or_<is_function<_Tp>, is_reference<_Tp>,
  602                           is_void<_Tp>>>::type
  611     : public __or_<is_arithmetic<_Tp>, is_enum<_Tp>, is_pointer<_Tp>,
  611     : public __or_<is_arithmetic<_Tp>, is_enum<_Tp>, is_pointer<_Tp>,
  611     : public __or_<is_arithmetic<_Tp>, is_enum<_Tp>, is_pointer<_Tp>,
  612                    is_member_pointer<_Tp>, is_null_pointer<_Tp>>::type
  612                    is_member_pointer<_Tp>, is_null_pointer<_Tp>>::type
  631     : public __is_member_pointer_helper<typename remove_cv<_Tp>::type>::type
  638     : public __or_<is_object<_Tp>, is_reference<_Tp>>::type
  638     : public __or_<is_object<_Tp>, is_reference<_Tp>>::type
  762     typename add_rvalue_reference<_Tp>::type declval() noexcept;
  777     : public __and_<is_array<_Tp>, __not_<extent<_Tp>>>
  777     : public __and_<is_array<_Tp>, __not_<extent<_Tp>>>
  798       typedef decltype(__test<_Tp>(0)) type;
  811                remove_all_extents<_Tp>::type>::type
  825     : public __is_destructible_safe<_Tp>::type
  889       typedef decltype(__test<_Tp>(0)) type;
  894     : public __and_<__not_<is_void<_Tp>>,
  895                     __is_default_constructible_impl<_Tp>>
  915     : public __is_default_constructible_atom<_Tp>::type
  921     : public __is_default_constructible_safe<_Tp>::type
  984       typedef decltype(__test<_Tp, _Arg>(0)) type;
  989     : public __and_<is_destructible<_Tp>,
  990                     __is_direct_constructible_impl<_Tp, _Arg>>
 1072 			 __is_direct_constructible_ref_cast<_Tp, _Arg>,
 1073 			 __is_direct_constructible_new_safe<_Tp, _Arg>
 1079     : public __is_direct_constructible_new<_Tp, _Arg>::type
 1119     : public __is_direct_constructible<_Tp, _Arg>
 1130     : public __is_constructible_impl<_Tp, _Args...>::type
 1286     : public is_assignable<_Tp&, const _Tp&>
 1286     : public is_assignable<_Tp&, const _Tp&>
 1292     : public __is_copy_assignable_impl<_Tp>
 1304     : public is_assignable<_Tp&, _Tp&&>
 1304     : public is_assignable<_Tp&, _Tp&&>
 1310     : public __is_move_assignable_impl<_Tp>
 1377     static void __helper(const _Tp&);
 1380     static true_type __test(const _Tp&,
 1381                             decltype(__helper<const _Tp&>({}))* = 0);
 1390     typedef decltype(__test(declval<_Tp>())) type;
 1395       : public __is_implicitly_default_constructible_impl<_Tp>::type
 1400       : public __and_<is_default_constructible<_Tp>,
 1401                       __is_implicitly_default_constructible_safe<_Tp>>
 1526 	static void __test_aux(_To1);
 1538       typedef decltype(__test<_From, _To>(0)) type;
 1545     : public __is_convertible_helper<_From, _To>::type
 1554     { typedef _Tp     type; };
 1563     { typedef _Tp     type; };
 1574       remove_const<typename remove_volatile<_Tp>::type>::type     type;
 1629     { typedef _Tp   type; };
 1633     { typedef _Tp   type; };
 1659     { typedef _Tp&&   type; };
 1664     : public __add_rvalue_reference_helper<_Tp>
 1955     { typedef _Tp     type; };
 2104     { typedef typename remove_cv<_Up>::type __type; };
 2118       typedef typename remove_reference<_Tp>::type __remove_type;
 2131       typedef _Tp __type;
 2144 	typename decay<_Tp>::type>::__type __type;
 2253     inline typename add_rvalue_reference<_Tp>::type
 2428       std::declval<_Fn>()(std::declval<_Args>()...)
 2439       typedef decltype(_S_test<_Functor, _ArgTypes...>(0)) type;
 2452 	_Functor, _ArgTypes...
 2458     : public __invoke_result<_Functor, _ArgTypes...>

  140   static void PrintValue(const T& value, ::std::ostream* os) {
  205     ::std::basic_ostream<Char, CharTraits>& os, const T& x) {
  206   TypeWithoutFormatter<T,
  207       (internal::IsAProtocolMessage<T>::value ? kProtobuf :
  208        internal::ImplicitlyConvertible<const T&, internal::BiggestInt>::value ?
  223 void DefaultPrintNonContainerTo(const T& value, ::std::ostream* os) {
  276   static ::std::string Format(const ToPrint& value) {
  351     const T1& value, const T2& /* other_operand */) {
  351     const T1& value, const T2& /* other_operand */) {
  352   return FormatForComparison<T1, T2>::Format(value);
  352   return FormatForComparison<T1, T2>::Format(value);
  366 void UniversalPrint(const T& value, ::std::ostream* os);
  373                     const C& container, ::std::ostream* os) {
  439                     const T& value, ::std::ostream* os) {
  455 void PrintTo(const T& value, ::std::ostream* os) {
  478   DefaultPrintTo(IsContainerTest<T>(0), is_pointer<T>(), value, os);
  699   static void Print(const T& value, ::std::ostream* os) {
  784   static void Print(const T& value, ::std::ostream* os) {
  856   typedef T T1;
  983   internal::UniversalTersePrinter<T>::Print(value, &ss);

 1377                                    const T1& lhs, const T2& rhs) {
 1377                                    const T1& lhs, const T2& rhs) {
 1389                             const T1& lhs,
 1390                             const T2& rhs) {
 1419                                  const T1& lhs,
 1420                                  const T2& rhs) {

   29   static const T& printable(const T& V) { return V; }
   29   static const T& printable(const T& V) { return V; }
   35 auto printable(const T &V) -> decltype(StreamSwitch<T>::printable(V)) {
   35 auto printable(const T &V) -> decltype(StreamSwitch<T>::printable(V)) {
   37   return StreamSwitch<T>::printable(V);

   94 ::std::string PrintToString(const T& value);