|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/polly/include/polly/Support/ISLTools.h 222 isl::map shiftDim(isl::map Map, isl::dim Dim, int Pos, int Amount);
234 isl::union_map shiftDim(isl::union_map UMap, isl::dim Dim, int Pos, int Amount);
420 isl::union_map convertZoneToTimepoints(isl::union_map Zone, isl::dim Dim,
425 isl::map convertZoneToTimepoints(isl::map Zone, isl::dim Dim, bool InclStart,
tools/polly/lib/Analysis/DependenceInfo.cpp 192 for (unsigned i = 0; i < Zero.dim(isl::dim::set); i++)
193 Zero = Zero.fix_si(isl::dim::set, i, 0);
670 for (unsigned i = 0; i < Zero.dim(isl::dim::set); i++)
671 Zero = Zero.fix_si(isl::dim::set, i, 0);
tools/polly/lib/Analysis/ScopBuilder.cpp 199 for (unsigned u = 0; u < NextIterationMap.dim(isl::dim::in); u++)
202 NextIterationMap.equate(isl::dim::in, u, isl::dim::out, u);
202 NextIterationMap.equate(isl::dim::in, u, isl::dim::out, u);
206 C = C.set_coefficient_si(isl::dim::in, Dim, 1);
207 C = C.set_coefficient_si(isl::dim::out, Dim, -1);
228 S = S.lower_bound_si(isl::dim::set, u, 0);
235 OnlyDimS = OnlyDimS.project_out(isl::dim::set, Dim + 1, NumDimsS - Dim - 1);
239 OnlyDimS = OnlyDimS.insert_dims(isl::dim::param, 0, Dim);
244 C = C.set_coefficient_si(isl::dim::param, u, 1);
245 C = C.set_coefficient_si(isl::dim::set, u, -1);
254 BoundedParts.insert_dims(isl::dim::set, Dim + 1, NumDimsS - Dim - 1);
257 BoundedParts = BoundedParts.remove_dims(isl::dim::param, 0, Dim);
313 Dom = Dom.project_out(isl::dim::set, NewDepth, 1);
314 Dom = Dom.add_dims(isl::dim::set, 1);
321 Dom = Dom.add_dims(isl::dim::set, 1);
327 Dom = Dom.project_out(isl::dim::set, NumDim - Diff, Diff);
771 isl::dim::set, LoopDepth + 1, LatchLoopDepth - LoopDepth);
777 ForwardMap = ForwardMap.equate(isl::dim::in, i, isl::dim::out, i);
777 ForwardMap = ForwardMap.equate(isl::dim::in, i, isl::dim::out, i);
782 UnionBackedgeConditionComplement.lower_bound_si(isl::dim::set, LoopDepth,
1160 int Dim = S.dim(isl::dim::set);
1161 auto PMA = isl::pw_multi_aff::project_out_map(S.get_space(), isl::dim::set,
1164 PMA = PMA.drop_dims(isl::dim::out, 0, N - 1);
2367 int Dims = Elements.dim(isl::dim::set);
2369 isl::set DimOnly = isl::set(Elements).project_out(isl::dim::set, 0, i);
2370 DimOnly = DimOnly.project_out(isl::dim::set, 1, Dims - i - 1);
2371 DimOnly = DimOnly.lower_bound_si(isl::dim::set, 0, 0);
2377 Transform = Transform.equate(isl::dim::in, i, isl::dim::out, i);
2377 Transform = Transform.equate(isl::dim::in, i, isl::dim::out, i);
2381 if (DimHull.dim(isl::dim::div) == 1) {
2396 C = C.set_coefficient_si(isl::dim::out, i, ValInt);
2397 C = C.set_coefficient_si(isl::dim::in, i, -1);
2403 ZeroSet = ZeroSet.fix_si(isl::dim::set, 0, 0);
2411 Transform = Transform.equate(isl::dim::in, i, isl::dim::out, i);
2411 Transform = Transform.equate(isl::dim::in, i, isl::dim::out, i);
2791 NumTotalDims += BSet.dim(isl::dim::div);
2792 NumTotalDims += BSet.dim(isl::dim::set);
2821 if (Space.dim(isl::dim::param) != UserContext.dim(isl::dim::param)) {
2821 if (Space.dim(isl::dim::param) != UserContext.dim(isl::dim::param)) {
2830 for (unsigned i = 0; i < Space.dim(isl::dim::param); i++) {
2832 scop->getContext().get_dim_name(isl::dim::param, i);
2833 std::string NameUserContext = UserContext.get_dim_name(isl::dim::param, i);
2847 UserContext = UserContext.set_dim_id(isl::dim::param, i,
2848 Space.get_dim_id(isl::dim::param, i));
2885 if (AccessRelation.involves_dims(isl::dim::in, 0, Stmt.getNumIterators()))
3004 int Dim = DomainCtx.find_dim_by_id(isl::dim::param, ParamId);
3006 DomainCtx = DomainCtx.eliminate(isl::dim::param, Dim, 1);
3168 Map = Map.set_tuple_id(isl::dim::out, Id);
3258 if (Set.involves_dims(isl::dim::param, u, 1))
3278 Pos = MaxPMA.dim(isl::dim::out) - 1;
3319 Domain = Domain.project_out(isl::dim::set, 0, Domain.n_dim());
tools/polly/lib/Analysis/ScopInfo.cpp 167 int dim, isl::dim type) {
251 Space = Space.set_tuple_id(isl::dim::set, Id);
314 Space = Space.set_dim_id(isl::dim::param, 0, IdPwAff);
316 isl::aff::var_on_domain(isl::local_space(Space), isl::dim::param, 0);
401 isl::id Id = PMA.get_tuple_id(isl::dim::out);
437 isl::aff Var = isl::aff::var_on_domain(LArraySpace, isl::dim::set, i);
439 isl::aff::var_on_domain(LArraySpace, isl::dim::set, i - 1);
470 auto DimsArray = ArraySpace.dim(isl::dim::set);
471 auto DimsAccess = AccessSpace.dim(isl::dim::set);
483 Map = Map.fix_si(isl::dim::out, i, 0);
486 Map = Map.equate(isl::dim::in, i - DimsMissing, isl::dim::out, i);
486 Map = Map.equate(isl::dim::in, i - DimsMissing, isl::dim::out, i);
527 Map = Map.equate(isl::dim::in, i, isl::dim::out, i);
527 Map = Map.equate(isl::dim::in, i, isl::dim::out, i);
537 C = C.set_coefficient_si(isl::dim::in, DimsArray - 1, 1);
538 C = C.set_coefficient_si(isl::dim::out, DimsArray - 1, -1);
542 C = C.set_coefficient_si(isl::dim::in, DimsArray - 1, -1);
543 C = C.set_coefficient_si(isl::dim::out, DimsArray - 1, 1);
585 return AccessRelation.get_tuple_id(isl::dim::out);
591 return NewAccessRelation.get_tuple_id(isl::dim::out);
670 for (int i = 1, Size = Space.dim(isl::dim::set); i < Size; ++i) {
672 isl::pw_aff Var = isl::pw_aff::var_on_domain(LS, isl::dim::set, i);
677 SizeE = SizeE.add_dims(isl::dim::in, Space.dim(isl::dim::set));
677 SizeE = SizeE.add_dims(isl::dim::in, Space.dim(isl::dim::set));
678 SizeE = SizeE.set_tuple_id(isl::dim::in, Space.get_tuple_id(isl::dim::set));
678 SizeE = SizeE.set_tuple_id(isl::dim::in, Space.get_tuple_id(isl::dim::set));
719 LengthMap = LengthMap.lower_bound_si(isl::dim::out, 0, 0);
724 LengthMap.set_tuple_id(isl::dim::in, getStatement()->getDomainId());
768 isl::dim::set);
786 isl::id ParamId = SpaceSize.get_dim_id(isl::dim::param, 0);
792 int ParamLocation = Space.find_dim_by_id(isl::dim::param, ParamId);
796 MapOne = MapOne.equate(isl::dim::in, j, isl::dim::out, j);
796 MapOne = MapOne.equate(isl::dim::in, j, isl::dim::out, j);
797 MapOne = MapOne.lower_bound_si(isl::dim::in, i + 1, 0);
802 MapTwo = MapTwo.equate(isl::dim::in, j, isl::dim::out, j);
802 MapTwo = MapTwo.equate(isl::dim::in, j, isl::dim::out, j);
808 C = C.set_coefficient_si(isl::dim::in, i, 1);
809 C = C.set_coefficient_si(isl::dim::out, i, -1);
812 C = C.set_coefficient_si(isl::dim::in, i + 1, 1);
813 C = C.set_coefficient_si(isl::dim::out, i + 1, -1);
814 C = C.set_coefficient_si(isl::dim::param, ParamLocation, 1);
816 MapTwo = MapTwo.upper_bound_si(isl::dim::in, i + 1, -1);
825 isl::dim::in, Space.get_tuple_id(isl::dim::set));
825 isl::dim::in, Space.get_tuple_id(isl::dim::set));
826 NewAccessRelation = NewAccessRelation.set_tuple_id(isl::dim::out, BaseAddrId);
852 AccessRelation = AccessRelation.set_tuple_id(isl::dim::out, BaseAddrId);
864 AccessRelation = AccessRelation.set_tuple_id(isl::dim::out, BaseAddrId);
879 isl::dim::in, Space.get_tuple_id(isl::dim::set));
879 isl::dim::in, Space.get_tuple_id(isl::dim::set));
880 AccessRelation = AccessRelation.set_tuple_id(isl::dim::out, BaseAddrId);
908 isl::id ArrayInfoId = NewAccessRelation.get_tuple_id(isl::dim::out);
1002 unsigned lastDimension = Map.dim(isl::dim::in) - 1;
1009 Map = Map.equate(isl::dim::in, i, isl::dim::out, i);
1009 Map = Map.equate(isl::dim::in, i, isl::dim::out, i);
1015 Map = Map.order_lt(isl::dim::in, lastDimension, isl::dim::out, lastDimension);
1015 Map = Map.order_lt(isl::dim::in, lastDimension, isl::dim::out, lastDimension);
1042 for (unsigned i = 0; i < StrideX.dim(isl::dim::set) - 1; i++)
1043 StrideX = StrideX.fix_si(isl::dim::set, i, 0);
1044 StrideX = StrideX.fix_si(isl::dim::set, StrideX.dim(isl::dim::set) - 1,
1044 StrideX = StrideX.fix_si(isl::dim::set, StrideX.dim(isl::dim::set) - 1,
1088 isl::id NewArrayId = NewAccessSpace.get_tuple_id(isl::dim::set);
1210 TargetRel = TargetRel.set_tuple_id(isl::dim::in, Id);
1215 SourceRel = SourceRel.set_tuple_id(isl::dim::in, Id);
1559 Context = addRangeBoundsToSet(Context, SRange, PDim++, isl::dim::param);
1575 isl::id Id = PwAff.get_dim_id(isl::dim::param, 0);
1591 int dim = Context.find_dim_by_id(isl::dim::param, Id);
1592 Context = Context.lower_bound_si(isl::dim::param, dim, 0);
1918 Space = Space.set_dim_id(isl::dim::param, PDim++, Id);
1922 Space = Space.set_dim_id(isl::dim::param, PDim++, Id);
tools/polly/lib/CodeGen/BlockGenerators.cpp 689 int DomDims = ScheduleMultiPwAff.dim(isl::dim::out);
tools/polly/lib/CodeGen/IslAst.cpp 357 isl::id Left = AFirst.get_tuple_id(isl::dim::set);
358 isl::id Right = BFirst.get_tuple_id(isl::dim::set);
tools/polly/lib/Exchange/JSONExporter.cpp 233 unsigned OldContextDim = OldContext.dim(isl::dim::param);
234 unsigned NewContextDim = NewContext.dim(isl::dim::param);
245 isl::id Id = OldContext.get_dim_id(isl::dim::param, i);
246 NewContext = NewContext.set_dim_id(isl::dim::param, i, Id);
tools/polly/lib/External/isl/include/isl/isl-noexceptions.h 253 inline aff add_coefficient_si(isl::dim type, int pos, int v) const;
254 inline aff add_coefficient_val(isl::dim type, int pos, val v) const;
258 inline aff add_dims(isl::dim type, unsigned int n) const;
261 inline int coefficient_sgn(isl::dim type, int pos) const;
262 inline int dim(isl::dim type) const;
264 inline aff drop_dims(isl::dim type, unsigned int first, unsigned int n) const;
268 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
273 inline val get_coefficient_val(isl::dim type, int pos) const;
276 inline std::string get_dim_name(isl::dim type, unsigned int pos) const;
287 inline aff insert_dims(isl::dim type, unsigned int first, unsigned int n) const;
288 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) const;
296 inline aff move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
296 inline aff move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
311 inline aff set_coefficient_si(isl::dim type, int pos, int v) const;
312 inline aff set_coefficient_val(isl::dim type, int pos, val v) const;
315 inline aff set_dim_id(isl::dim type, unsigned int pos, id id) const;
316 inline aff set_tuple_id(isl::dim type, id id) const;
318 static inline aff var_on_domain(local_space ls, isl::dim type, unsigned int pos);
626 inline basic_map add_dims(isl::dim type, unsigned int n) const;
638 inline unsigned int dim(isl::dim type) const;
642 inline basic_map drop_constraints_involving_dims(isl::dim type, unsigned int first, unsigned int n) const;
643 inline basic_map drop_constraints_not_involving_dims(isl::dim type, unsigned int first, unsigned int n) const;
645 inline basic_map eliminate(isl::dim type, unsigned int first, unsigned int n) const;
648 inline mat equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const;
648 inline mat equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const;
648 inline mat equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const;
648 inline mat equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const;
648 inline mat equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const;
649 inline basic_map equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
649 inline basic_map equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
650 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
651 inline basic_map fix_si(isl::dim type, unsigned int pos, int value) const;
652 inline basic_map fix_val(isl::dim type, unsigned int pos, val v) const;
668 inline std::string get_dim_name(isl::dim type, unsigned int pos) const;
672 inline std::string get_tuple_name(isl::dim type) const;
675 inline boolean has_dim_id(isl::dim type, unsigned int pos) const;
678 inline mat inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const;
678 inline mat inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const;
678 inline mat inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const;
678 inline mat inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const;
678 inline mat inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const;
679 inline basic_map insert_dims(isl::dim type, unsigned int pos, unsigned int n) const;
683 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) const;
696 inline basic_map lower_bound_si(isl::dim type, unsigned int pos, int value) const;
698 inline basic_map move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
698 inline basic_map move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
702 inline basic_map order_ge(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
702 inline basic_map order_ge(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
703 inline basic_map order_gt(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
703 inline basic_map order_gt(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
704 inline val plain_get_val_if_fixed(isl::dim type, unsigned int pos) const;
710 inline basic_map project_out(isl::dim type, unsigned int first, unsigned int n) const;
714 inline basic_map remove_dims(isl::dim type, unsigned int first, unsigned int n) const;
716 inline basic_map remove_divs_involving_dims(isl::dim type, unsigned int first, unsigned int n) const;
720 inline basic_map set_tuple_id(isl::dim type, id id) const;
721 inline basic_map set_tuple_name(isl::dim type, const std::string &s) const;
726 inline basic_map upper_bound_si(isl::dim type, unsigned int pos, int value) const;
810 inline unsigned int dim(isl::dim type) const;
812 inline basic_set drop_constraints_involving_dims(isl::dim type, unsigned int first, unsigned int n) const;
813 inline basic_set drop_constraints_not_involving_dims(isl::dim type, unsigned int first, unsigned int n) const;
815 inline basic_set eliminate(isl::dim type, unsigned int first, unsigned int n) const;
817 inline mat equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const;
817 inline mat equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const;
817 inline mat equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const;
817 inline mat equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const;
818 inline basic_set fix_si(isl::dim type, unsigned int pos, int value) const;
819 inline basic_set fix_val(isl::dim type, unsigned int pos, val v) const;
822 inline stat foreach_bound_pair(isl::dim type, unsigned int pos, const std::function<stat(constraint, constraint, basic_set)> &fn) const;
828 inline id get_dim_id(isl::dim type, unsigned int pos) const;
829 inline std::string get_dim_name(isl::dim type, unsigned int pos) const;
835 inline mat inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const;
835 inline mat inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const;
835 inline mat inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const;
835 inline mat inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const;
836 inline basic_set insert_dims(isl::dim type, unsigned int pos, unsigned int n) const;
839 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) const;
850 inline basic_set lower_bound_val(isl::dim type, unsigned int pos, val value) const;
852 inline basic_set move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
852 inline basic_set move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
863 inline basic_set project_out(isl::dim type, unsigned int first, unsigned int n) const;
865 inline basic_set remove_dims(isl::dim type, unsigned int first, unsigned int n) const;
867 inline basic_set remove_divs_involving_dims(isl::dim type, unsigned int first, unsigned int n) const;
878 inline basic_set upper_bound_val(isl::dim type, unsigned int pos, val value) const;
956 inline aff get_bound(isl::dim type, int pos) const;
957 inline val get_coefficient_val(isl::dim type, int pos) const;
959 inline std::string get_dim_name(isl::dim type, unsigned int pos) const;
963 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) const;
965 inline boolean is_lower_bound(isl::dim type, unsigned int pos) const;
966 inline boolean is_upper_bound(isl::dim type, unsigned int pos) const;
968 inline constraint set_coefficient_si(isl::dim type, int pos, int v) const;
969 inline constraint set_coefficient_val(isl::dim type, int pos, val v) const;
1189 inline local_space add_dims(isl::dim type, unsigned int n) const;
1190 inline int dim(isl::dim type) const;
1192 inline local_space drop_dims(isl::dim type, unsigned int first, unsigned int n) const;
1193 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
1197 inline id get_dim_id(isl::dim type, unsigned int pos) const;
1198 inline std::string get_dim_name(isl::dim type, unsigned int pos) const;
1201 inline boolean has_dim_id(isl::dim type, unsigned int pos) const;
1202 inline boolean has_dim_name(isl::dim type, unsigned int pos) const;
1203 inline local_space insert_dims(isl::dim type, unsigned int first, unsigned int n) const;
1209 inline local_space set_dim_id(isl::dim type, unsigned int pos, id id) const;
1211 inline local_space set_tuple_id(isl::dim type, id id) const;
1246 inline map add_dims(isl::dim type, unsigned int n) const;
1262 inline unsigned int dim(isl::dim type) const;
1271 inline map drop_constraints_involving_dims(isl::dim type, unsigned int first, unsigned int n) const;
1272 inline map drop_constraints_not_involving_dims(isl::dim type, unsigned int first, unsigned int n) const;
1274 inline map eliminate(isl::dim type, unsigned int first, unsigned int n) const;
1276 inline map equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
1276 inline map equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
1279 inline int find_dim_by_id(isl::dim type, const id &id) const;
1280 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
1281 inline map fix_si(isl::dim type, unsigned int pos, int value) const;
1282 inline map fix_val(isl::dim type, unsigned int pos, val v) const;
1302 inline id get_dim_id(isl::dim type, unsigned int pos) const;
1303 inline std::string get_dim_name(isl::dim type, unsigned int pos) const;
1307 inline id get_tuple_id(isl::dim type) const;
1308 inline std::string get_tuple_name(isl::dim type) const;
1314 inline boolean has_dim_id(isl::dim type, unsigned int pos) const;
1315 inline boolean has_dim_name(isl::dim type, unsigned int pos) const;
1317 inline boolean has_tuple_id(isl::dim type) const;
1318 inline boolean has_tuple_name(isl::dim type) const;
1320 inline map insert_dims(isl::dim type, unsigned int pos, unsigned int n) const;
1327 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) const;
1355 inline map lower_bound_si(isl::dim type, unsigned int pos, int value) const;
1356 inline map move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
1356 inline map move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
1360 inline map oppose(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
1360 inline map oppose(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
1361 inline map order_ge(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
1361 inline map order_ge(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
1362 inline map order_gt(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
1362 inline map order_gt(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
1363 inline map order_le(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
1363 inline map order_le(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
1364 inline map order_lt(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
1364 inline map order_lt(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
1366 inline val plain_get_val_if_fixed(isl::dim type, unsigned int pos) const;
1380 inline map project_out(isl::dim type, unsigned int first, unsigned int n) const;
1388 inline map remove_dims(isl::dim type, unsigned int first, unsigned int n) const;
1390 inline map remove_divs_involving_dims(isl::dim type, unsigned int first, unsigned int n) const;
1393 inline map reset_tuple_id(isl::dim type) const;
1397 inline map set_dim_id(isl::dim type, unsigned int pos, id id) const;
1398 inline map set_tuple_id(isl::dim type, id id) const;
1399 inline map set_tuple_name(isl::dim type, const std::string &s) const;
1410 inline map upper_bound_si(isl::dim type, unsigned int pos, int value) const;
1558 inline multi_aff add_dims(isl::dim type, unsigned int n) const;
1560 inline unsigned int dim(isl::dim type) const;
1562 inline multi_aff drop_dims(isl::dim type, unsigned int first, unsigned int n) const;
1564 inline int find_dim_by_id(isl::dim type, const id &id) const;
1565 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
1573 inline id get_dim_id(isl::dim type, unsigned int pos) const;
1576 inline id get_tuple_id(isl::dim type) const;
1577 inline std::string get_tuple_name(isl::dim type) const;
1580 inline boolean has_tuple_id(isl::dim type) const;
1582 inline multi_aff insert_dims(isl::dim type, unsigned int first, unsigned int n) const;
1583 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) const;
1590 inline multi_aff move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
1590 inline multi_aff move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
1597 static inline multi_aff project_out_map(space space, isl::dim type, unsigned int first, unsigned int n);
1605 inline multi_aff reset_tuple_id(isl::dim type) const;
1612 inline multi_aff set_dim_id(isl::dim type, unsigned int pos, id id) const;
1613 inline multi_aff set_tuple_id(isl::dim type, id id) const;
1614 inline multi_aff set_tuple_name(isl::dim type, const std::string &s) const;
1653 inline multi_pw_aff add_dims(isl::dim type, unsigned int n) const;
1656 inline unsigned int dim(isl::dim type) const;
1658 inline multi_pw_aff drop_dims(isl::dim type, unsigned int first, unsigned int n) const;
1661 inline int find_dim_by_id(isl::dim type, const id &id) const;
1662 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
1667 inline id get_dim_id(isl::dim type, unsigned int pos) const;
1672 inline id get_tuple_id(isl::dim type) const;
1673 inline std::string get_tuple_name(isl::dim type) const;
1676 inline boolean has_tuple_id(isl::dim type) const;
1678 inline multi_pw_aff insert_dims(isl::dim type, unsigned int first, unsigned int n) const;
1681 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) const;
1688 inline multi_pw_aff move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
1688 inline multi_pw_aff move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
1701 inline multi_pw_aff reset_tuple_id(isl::dim type) const;
1707 inline multi_pw_aff set_dim_id(isl::dim type, unsigned int pos, id id) const;
1709 inline multi_pw_aff set_tuple_id(isl::dim type, id id) const;
1710 inline multi_pw_aff set_tuple_name(isl::dim type, const std::string &s) const;
1754 inline unsigned int dim(isl::dim type) const;
1756 inline multi_union_pw_aff drop_dims(isl::dim type, unsigned int first, unsigned int n) const;
1759 inline int find_dim_by_id(isl::dim type, const id &id) const;
1760 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
1768 inline id get_dim_id(isl::dim type, unsigned int pos) const;
1771 inline id get_tuple_id(isl::dim type) const;
1772 inline std::string get_tuple_name(isl::dim type) const;
1776 inline boolean has_tuple_id(isl::dim type) const;
1795 inline multi_union_pw_aff reset_tuple_id(isl::dim type) const;
1801 inline multi_union_pw_aff set_dim_id(isl::dim type, unsigned int pos, id id) const;
1802 inline multi_union_pw_aff set_tuple_id(isl::dim type, id id) const;
1803 inline multi_union_pw_aff set_tuple_name(isl::dim type, const std::string &s) const;
1840 inline multi_val add_dims(isl::dim type, unsigned int n) const;
1843 inline unsigned int dim(isl::dim type) const;
1844 inline multi_val drop_dims(isl::dim type, unsigned int first, unsigned int n) const;
1846 inline int find_dim_by_id(isl::dim type, const id &id) const;
1847 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
1852 inline id get_dim_id(isl::dim type, unsigned int pos) const;
1855 inline id get_tuple_id(isl::dim type) const;
1856 inline std::string get_tuple_name(isl::dim type) const;
1858 inline boolean has_tuple_id(isl::dim type) const;
1859 inline multi_val insert_dims(isl::dim type, unsigned int first, unsigned int n) const;
1860 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) const;
1874 inline multi_val reset_tuple_id(isl::dim type) const;
1880 inline multi_val set_dim_id(isl::dim type, unsigned int pos, id id) const;
1881 inline multi_val set_tuple_id(isl::dim type, id id) const;
1882 inline multi_val set_tuple_name(isl::dim type, const std::string &s) const;
1918 inline point add_ui(isl::dim type, int pos, unsigned int val) const;
1919 inline val get_coordinate_val(isl::dim type, int pos) const;
1921 inline point set_coordinate_val(isl::dim type, int pos, val v) const;
1922 inline point sub_ui(isl::dim type, int pos, unsigned int val) const;
1958 inline pw_aff add_dims(isl::dim type, unsigned int n) const;
1964 inline unsigned int dim(isl::dim type) const;
1967 inline pw_aff drop_dims(isl::dim type, unsigned int first, unsigned int n) const;
1973 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
1978 inline id get_dim_id(isl::dim type, unsigned int pos) const;
1979 inline std::string get_dim_name(isl::dim type, unsigned int pos) const;
1983 inline id get_tuple_id(isl::dim type) const;
1988 inline boolean has_dim_id(isl::dim type, unsigned int pos) const;
1989 inline boolean has_tuple_id(isl::dim type) const;
1990 inline pw_aff insert_dims(isl::dim type, unsigned int first, unsigned int n) const;
1993 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) const;
2004 inline pw_aff move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
2004 inline pw_aff move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
2020 inline pw_aff reset_tuple_id(isl::dim type) const;
2024 inline pw_aff set_dim_id(isl::dim type, unsigned int pos, id id) const;
2025 inline pw_aff set_tuple_id(isl::dim type, id id) const;
2033 static inline pw_aff var_on_domain(local_space ls, isl::dim type, unsigned int pos);
2123 inline unsigned int dim(isl::dim type) const;
2125 inline pw_multi_aff drop_dims(isl::dim type, unsigned int first, unsigned int n) const;
2128 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
2129 inline pw_multi_aff fix_si(isl::dim type, unsigned int pos, int value) const;
2136 inline id get_dim_id(isl::dim type, unsigned int pos) const;
2137 inline std::string get_dim_name(isl::dim type, unsigned int pos) const;
2141 inline id get_tuple_id(isl::dim type) const;
2142 inline std::string get_tuple_name(isl::dim type) const;
2145 inline boolean has_tuple_id(isl::dim type) const;
2146 inline boolean has_tuple_name(isl::dim type) const;
2150 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) const;
2159 static inline pw_multi_aff project_out_map(space space, isl::dim type, unsigned int first, unsigned int n);
2164 inline pw_multi_aff reset_tuple_id(isl::dim type) const;
2169 inline pw_multi_aff set_dim_id(isl::dim type, unsigned int pos, id id) const;
2171 inline pw_multi_aff set_tuple_id(isl::dim type, id id) const;
2253 inline pw_qpolynomial add_dims(isl::dim type, unsigned int n) const;
2256 inline unsigned int dim(isl::dim type) const;
2258 inline pw_qpolynomial drop_dims(isl::dim type, unsigned int first, unsigned int n) const;
2261 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
2262 inline pw_qpolynomial fix_val(isl::dim type, unsigned int n, val v) const;
2272 inline pw_qpolynomial insert_dims(isl::dim type, unsigned int first, unsigned int n) const;
2275 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) const;
2280 inline pw_qpolynomial move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
2280 inline pw_qpolynomial move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
2291 inline pw_qpolynomial split_dims(isl::dim type, unsigned int first, unsigned int n) const;
2399 inline qpolynomial add_dims(isl::dim type, unsigned int n) const;
2402 inline unsigned int dim(isl::dim type) const;
2403 inline qpolynomial drop_dims(isl::dim type, unsigned int first, unsigned int n) const;
2407 static inline qpolynomial from_constraint(constraint c, isl::dim type, unsigned int pos);
2416 inline qpolynomial insert_dims(isl::dim type, unsigned int first, unsigned int n) const;
2417 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) const;
2422 inline qpolynomial move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
2422 inline qpolynomial move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
2436 static inline qpolynomial var_on_domain(space dim, isl::dim type, unsigned int pos);
2655 inline set add_dims(isl::dim type, unsigned int n) const;
2667 inline unsigned int dim(isl::dim type) const;
2668 inline boolean dim_has_any_lower_bound(isl::dim type, unsigned int pos) const;
2669 inline boolean dim_has_any_upper_bound(isl::dim type, unsigned int pos) const;
2670 inline boolean dim_has_lower_bound(isl::dim type, unsigned int pos) const;
2671 inline boolean dim_has_upper_bound(isl::dim type, unsigned int pos) const;
2672 inline boolean dim_is_bounded(isl::dim type, unsigned int pos) 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;
2678 inline set eliminate(isl::dim type, unsigned int first, unsigned int n) const;
2680 inline set equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
2680 inline set equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const;
2681 inline int find_dim_by_id(isl::dim type, const id &id) const;
2682 inline int find_dim_by_name(isl::dim type, const std::string &name) 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;
2697 inline id get_dim_id(isl::dim type, unsigned int pos) const;
2698 inline std::string get_dim_name(isl::dim type, unsigned int pos) const;
2706 inline boolean has_dim_id(isl::dim type, unsigned int pos) const;
2707 inline boolean has_dim_name(isl::dim type, unsigned int pos) const;
2713 inline set insert_dims(isl::dim type, unsigned int pos, unsigned int n) const;
2716 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) 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;
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;
2746 inline val plain_get_val_if_fixed(isl::dim type, unsigned int pos) const;
2757 inline map project_onto_map(isl::dim type, unsigned int first, unsigned int n) 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;
2761 inline set remove_divs_involving_dims(isl::dim type, unsigned int first, unsigned int n) const;
2769 inline set set_dim_id(isl::dim type, unsigned int pos, id id) const;
2775 inline set split_dims(isl::dim type, unsigned int first, unsigned int n) const;
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;
2862 inline space add_dims(isl::dim type, unsigned int n) const;
2870 inline unsigned int dim(isl::dim type) const;
2877 inline space drop_dims(isl::dim type, unsigned int first, unsigned int num) const;
2880 inline int find_dim_by_id(isl::dim type, const id &id) const;
2881 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
2886 inline id get_dim_id(isl::dim type, unsigned int pos) const;
2887 inline std::string get_dim_name(isl::dim type, unsigned int pos) const;
2888 inline id get_tuple_id(isl::dim type) const;
2889 inline std::string get_tuple_name(isl::dim type) const;
2890 inline boolean has_dim_id(isl::dim type, unsigned int pos) const;
2891 inline boolean has_dim_name(isl::dim type, unsigned int pos) const;
2894 inline boolean has_tuple_id(isl::dim type) const;
2895 inline boolean has_tuple_name(isl::dim type) const;
2896 inline space insert_dims(isl::dim type, unsigned int pos, unsigned int n) const;
2908 inline space move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
2908 inline space move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const;
2919 inline space reset_tuple_id(isl::dim type) const;
2922 inline space set_dim_id(isl::dim type, unsigned int pos, id id) const;
2924 inline space set_tuple_id(isl::dim type, id id) const;
2925 inline space set_tuple_name(isl::dim type, const std::string &s) const;
2926 inline boolean tuple_is_equal(isl::dim type1, const space &space2, isl::dim type2) const;
2926 inline boolean tuple_is_equal(isl::dim type1, const space &space2, isl::dim type2) const;
2959 inline unsigned int dim(isl::dim type) const;
2962 inline int get_exp(isl::dim type, unsigned int pos) const;
3079 inline unsigned int dim(isl::dim type) const;
3091 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
3101 inline id get_dim_id(isl::dim type, unsigned int pos) const;
3114 inline boolean involves_dims(isl::dim type, unsigned int first, unsigned int n) const;
3145 inline union_map project_out(isl::dim type, unsigned int first, unsigned int n) const;
3248 inline unsigned int dim(isl::dim type) const;
3250 inline union_pw_aff drop_dims(isl::dim type, unsigned int first, unsigned int n) const;
3253 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
3363 inline unsigned int dim(isl::dim type) const;
3365 inline union_pw_multi_aff drop_dims(isl::dim type, unsigned int first, unsigned int n) const;
3368 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
3469 inline unsigned int dim(isl::dim type) const;
3471 inline union_pw_qpolynomial drop_dims(isl::dim type, unsigned int first, unsigned int n) const;
3474 inline int find_dim_by_name(isl::dim type, const std::string &name) const;
3538 inline unsigned int dim(isl::dim type) const;
3573 inline union_set project_out(isl::dim type, unsigned int first, unsigned int n) const;
3909 aff aff::add_coefficient_si(isl::dim type, int pos, int v) const
3915 aff aff::add_coefficient_val(isl::dim type, int pos, val v) const
3939 aff aff::add_dims(isl::dim type, unsigned int n) const
3957 int aff::coefficient_sgn(isl::dim type, int pos) const
3963 int aff::dim(isl::dim type) const
3975 aff aff::drop_dims(isl::dim type, unsigned int first, unsigned int n) const
3999 int aff::find_dim_by_name(isl::dim type, const std::string &name) const
4029 val aff::get_coefficient_val(isl::dim type, int pos) const
4047 std::string aff::get_dim_name(isl::dim type, unsigned int pos) const
4114 aff aff::insert_dims(isl::dim type, unsigned int first, unsigned int n) const
4120 boolean aff::involves_dims(isl::dim type, unsigned int first, unsigned int n) const
4168 aff aff::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
4168 aff aff::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
4258 aff aff::set_coefficient_si(isl::dim type, int pos, int v) const
4264 aff aff::set_coefficient_val(isl::dim type, int pos, val v) const
4282 aff aff::set_dim_id(isl::dim type, unsigned int pos, id id) const
4288 aff aff::set_tuple_id(isl::dim type, id id) const
4300 aff aff::var_on_domain(local_space ls, isl::dim type, unsigned int pos)
5429 basic_map basic_map::add_dims(isl::dim type, unsigned int n) const
5501 unsigned int basic_map::dim(isl::dim type) const
5525 basic_map basic_map::drop_constraints_involving_dims(isl::dim type, unsigned int first, unsigned int n) const
5531 basic_map basic_map::drop_constraints_not_involving_dims(isl::dim type, unsigned int first, unsigned int n) const
5543 basic_map basic_map::eliminate(isl::dim type, unsigned int first, unsigned int n) const
5561 mat basic_map::equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const
5561 mat basic_map::equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const
5561 mat basic_map::equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const
5561 mat basic_map::equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const
5561 mat basic_map::equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const
5567 basic_map basic_map::equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const
5567 basic_map basic_map::equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const
5573 int basic_map::find_dim_by_name(isl::dim type, const std::string &name) const
5579 basic_map basic_map::fix_si(isl::dim type, unsigned int pos, int value) const
5585 basic_map basic_map::fix_val(isl::dim type, unsigned int pos, val v) const
5689 std::string basic_map::get_dim_name(isl::dim type, unsigned int pos) const
5714 std::string basic_map::get_tuple_name(isl::dim type) const
5733 boolean basic_map::has_dim_id(isl::dim type, unsigned int pos) const
5751 mat basic_map::inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const
5751 mat basic_map::inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const
5751 mat basic_map::inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const
5751 mat basic_map::inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const
5751 mat basic_map::inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4, isl::dim c5) const
5757 basic_map basic_map::insert_dims(isl::dim type, unsigned int pos, unsigned int n) const
5781 boolean basic_map::involves_dims(isl::dim type, unsigned int first, unsigned int n) const
5859 basic_map basic_map::lower_bound_si(isl::dim type, unsigned int pos, int value) const
5871 basic_map basic_map::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
5871 basic_map basic_map::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
5895 basic_map basic_map::order_ge(isl::dim type1, int pos1, isl::dim type2, int pos2) const
5895 basic_map basic_map::order_ge(isl::dim type1, int pos1, isl::dim type2, int pos2) const
5901 basic_map basic_map::order_gt(isl::dim type1, int pos1, isl::dim type2, int pos2) const
5901 basic_map basic_map::order_gt(isl::dim type1, int pos1, isl::dim type2, int pos2) const
5907 val basic_map::plain_get_val_if_fixed(isl::dim type, unsigned int pos) const
5943 basic_map basic_map::project_out(isl::dim type, unsigned int first, unsigned int n) const
5967 basic_map basic_map::remove_dims(isl::dim type, unsigned int first, unsigned int n) const
5979 basic_map basic_map::remove_divs_involving_dims(isl::dim type, unsigned int first, unsigned int n) const
6003 basic_map basic_map::set_tuple_id(isl::dim type, id id) const
6009 basic_map basic_map::set_tuple_name(isl::dim type, const std::string &s) const
6039 basic_map basic_map::upper_bound_si(isl::dim type, unsigned int pos, int value) const
6336 unsigned int basic_set::dim(isl::dim type) const
6348 basic_set basic_set::drop_constraints_involving_dims(isl::dim type, unsigned int first, unsigned int n) const
6354 basic_set basic_set::drop_constraints_not_involving_dims(isl::dim type, unsigned int first, unsigned int n) const
6366 basic_set basic_set::eliminate(isl::dim type, unsigned int first, unsigned int n) const
6378 mat basic_set::equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const
6378 mat basic_set::equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const
6378 mat basic_set::equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const
6378 mat basic_set::equalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const
6384 basic_set basic_set::fix_si(isl::dim type, unsigned int pos, int value) const
6390 basic_set basic_set::fix_val(isl::dim type, unsigned int pos, val v) const
6408 stat basic_set::foreach_bound_pair(isl::dim type, unsigned int pos, const std::function<stat(constraint, constraint, basic_set)> &fn) const
6460 id basic_set::get_dim_id(isl::dim type, unsigned int pos) const
6466 std::string basic_set::get_dim_name(isl::dim type, unsigned int pos) const
6504 mat basic_set::inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const
6504 mat basic_set::inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const
6504 mat basic_set::inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const
6504 mat basic_set::inequalities_matrix(isl::dim c1, isl::dim c2, isl::dim c3, isl::dim c4) const
6510 basic_set basic_set::insert_dims(isl::dim type, unsigned int pos, unsigned int n) const
6528 boolean basic_set::involves_dims(isl::dim type, unsigned int first, unsigned int n) const
6594 basic_set basic_set::lower_bound_val(isl::dim type, unsigned int pos, val value) const
6606 basic_set basic_set::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
6606 basic_set basic_set::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
6672 basic_set basic_set::project_out(isl::dim type, unsigned int first, unsigned int n) const
6684 basic_set basic_set::remove_dims(isl::dim type, unsigned int first, unsigned int n) const
6696 basic_set basic_set::remove_divs_involving_dims(isl::dim type, unsigned int first, unsigned int n) const
6762 basic_set basic_set::upper_bound_val(isl::dim type, unsigned int pos, val value) const
7022 aff constraint::get_bound(isl::dim type, int pos) const
7028 val constraint::get_coefficient_val(isl::dim type, int pos) const
7040 std::string constraint::get_dim_name(isl::dim type, unsigned int pos) const
7065 boolean constraint::involves_dims(isl::dim type, unsigned int first, unsigned int n) const
7077 boolean constraint::is_lower_bound(isl::dim type, unsigned int pos) const
7083 boolean constraint::is_upper_bound(isl::dim type, unsigned int pos) const
7095 constraint constraint::set_coefficient_si(isl::dim type, int pos, int v) const
7101 constraint constraint::set_coefficient_val(isl::dim type, int pos, val v) const
7802 local_space local_space::add_dims(isl::dim type, unsigned int n) const
7808 int local_space::dim(isl::dim type) const
7820 local_space local_space::drop_dims(isl::dim type, unsigned int first, unsigned int n) const
7826 int local_space::find_dim_by_name(isl::dim type, const std::string &name) const
7850 id local_space::get_dim_id(isl::dim type, unsigned int pos) const
7856 std::string local_space::get_dim_name(isl::dim type, unsigned int pos) const
7875 boolean local_space::has_dim_id(isl::dim type, unsigned int pos) const
7881 boolean local_space::has_dim_name(isl::dim type, unsigned int pos) const
7887 local_space local_space::insert_dims(isl::dim type, unsigned int first, unsigned int n) const
7923 local_space local_space::set_dim_id(isl::dim type, unsigned int pos, id id) const
7935 local_space local_space::set_tuple_id(isl::dim type, id id) const
8038 map map::add_dims(isl::dim type, unsigned int n) const
8134 unsigned int map::dim(isl::dim type) const
8188 map map::drop_constraints_involving_dims(isl::dim type, unsigned int first, unsigned int n) const
8194 map map::drop_constraints_not_involving_dims(isl::dim type, unsigned int first, unsigned int n) const
8206 map map::eliminate(isl::dim type, unsigned int first, unsigned int n) const
8218 map map::equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const
8218 map map::equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const
8236 int map::find_dim_by_id(isl::dim type, const id &id) const
8242 int map::find_dim_by_name(isl::dim type, const std::string &name) const
8248 map map::fix_si(isl::dim type, unsigned int pos, int value) const
8254 map map::fix_val(isl::dim type, unsigned int pos, val v) const
8382 id map::get_dim_id(isl::dim type, unsigned int pos) const
8388 std::string map::get_dim_name(isl::dim type, unsigned int pos) const
8413 id map::get_tuple_id(isl::dim type) const
8419 std::string map::get_tuple_name(isl::dim type) const
8456 boolean map::has_dim_id(isl::dim type, unsigned int pos) const
8462 boolean map::has_dim_name(isl::dim type, unsigned int pos) const
8474 boolean map::has_tuple_id(isl::dim type) const
8480 boolean map::has_tuple_name(isl::dim type) const
8492 map map::insert_dims(isl::dim type, unsigned int pos, unsigned int n) const
8534 boolean map::involves_dims(isl::dim type, unsigned int first, unsigned int n) const
8702 map map::lower_bound_si(isl::dim type, unsigned int pos, int value) const
8708 map map::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
8708 map map::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
8732 map map::oppose(isl::dim type1, int pos1, isl::dim type2, int pos2) const
8732 map map::oppose(isl::dim type1, int pos1, isl::dim type2, int pos2) const
8738 map map::order_ge(isl::dim type1, int pos1, isl::dim type2, int pos2) const
8738 map map::order_ge(isl::dim type1, int pos1, isl::dim type2, int pos2) const
8744 map map::order_gt(isl::dim type1, int pos1, isl::dim type2, int pos2) const
8744 map map::order_gt(isl::dim type1, int pos1, isl::dim type2, int pos2) const
8750 map map::order_le(isl::dim type1, int pos1, isl::dim type2, int pos2) const
8750 map map::order_le(isl::dim type1, int pos1, isl::dim type2, int pos2) const
8756 map map::order_lt(isl::dim type1, int pos1, isl::dim type2, int pos2) const
8756 map map::order_lt(isl::dim type1, int pos1, isl::dim type2, int pos2) const
8768 val map::plain_get_val_if_fixed(isl::dim type, unsigned int pos) const
8852 map map::project_out(isl::dim type, unsigned int first, unsigned int n) const
8900 map map::remove_dims(isl::dim type, unsigned int first, unsigned int n) const
8912 map map::remove_divs_involving_dims(isl::dim type, unsigned int first, unsigned int n) const
8930 map map::reset_tuple_id(isl::dim type) const
8954 map map::set_dim_id(isl::dim type, unsigned int pos, id id) const
8960 map map::set_tuple_id(isl::dim type, id id) const
8966 map map::set_tuple_name(isl::dim type, const std::string &s) const
9032 map map::upper_bound_si(isl::dim type, unsigned int pos, int value) const
9605 multi_aff multi_aff::add_dims(isl::dim type, unsigned int n) const
9617 unsigned int multi_aff::dim(isl::dim type) const
9629 multi_aff multi_aff::drop_dims(isl::dim type, unsigned int first, unsigned int n) const
9641 int multi_aff::find_dim_by_id(isl::dim type, const id &id) const
9647 int multi_aff::find_dim_by_name(isl::dim type, const std::string &name) const
9695 id multi_aff::get_dim_id(isl::dim type, unsigned int pos) const
9713 id multi_aff::get_tuple_id(isl::dim type) const
9719 std::string multi_aff::get_tuple_name(isl::dim type) const
9738 boolean multi_aff::has_tuple_id(isl::dim type) const
9750 multi_aff multi_aff::insert_dims(isl::dim type, unsigned int first, unsigned int n) const
9756 boolean multi_aff::involves_dims(isl::dim type, unsigned int first, unsigned int n) const
9798 multi_aff multi_aff::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
9798 multi_aff multi_aff::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
9840 multi_aff multi_aff::project_out_map(space space, isl::dim type, unsigned int first, unsigned int n)
9888 multi_aff multi_aff::reset_tuple_id(isl::dim type) const
9930 multi_aff multi_aff::set_dim_id(isl::dim type, unsigned int pos, id id) const
9936 multi_aff multi_aff::set_tuple_id(isl::dim type, id id) const
9942 multi_aff multi_aff::set_tuple_name(isl::dim type, const std::string &s) const
10067 multi_pw_aff multi_pw_aff::add_dims(isl::dim type, unsigned int n) const
10085 unsigned int multi_pw_aff::dim(isl::dim type) const
10097 multi_pw_aff multi_pw_aff::drop_dims(isl::dim type, unsigned int first, unsigned int n) const
10115 int multi_pw_aff::find_dim_by_id(isl::dim type, const id &id) const
10121 int multi_pw_aff::find_dim_by_name(isl::dim type, const std::string &name) const
10151 id multi_pw_aff::get_dim_id(isl::dim type, unsigned int pos) const
10181 id multi_pw_aff::get_tuple_id(isl::dim type) const
10187 std::string multi_pw_aff::get_tuple_name(isl::dim type) const
10206 boolean multi_pw_aff::has_tuple_id(isl::dim type) const
10218 multi_pw_aff multi_pw_aff::insert_dims(isl::dim type, unsigned int first, unsigned int n) const
10236 boolean multi_pw_aff::involves_dims(isl::dim type, unsigned int first, unsigned int n) const
10278 multi_pw_aff multi_pw_aff::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
10278 multi_pw_aff multi_pw_aff::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
10356 multi_pw_aff multi_pw_aff::reset_tuple_id(isl::dim type) const
10392 multi_pw_aff multi_pw_aff::set_dim_id(isl::dim type, unsigned int pos, id id) const
10404 multi_pw_aff multi_pw_aff::set_tuple_id(isl::dim type, id id) const
10410 multi_pw_aff multi_pw_aff::set_tuple_name(isl::dim type, const std::string &s) const
10565 unsigned int multi_union_pw_aff::dim(isl::dim type) const
10577 multi_union_pw_aff multi_union_pw_aff::drop_dims(isl::dim type, unsigned int first, unsigned int n) const
10595 int multi_union_pw_aff::find_dim_by_id(isl::dim type, const id &id) const
10601 int multi_union_pw_aff::find_dim_by_name(isl::dim type, const std::string &name) const
10649 id multi_union_pw_aff::get_dim_id(isl::dim type, unsigned int pos) const
10667 id multi_union_pw_aff::get_tuple_id(isl::dim type) const
10673 std::string multi_union_pw_aff::get_tuple_name(isl::dim type) const
10698 boolean multi_union_pw_aff::has_tuple_id(isl::dim type) const
10812 multi_union_pw_aff multi_union_pw_aff::reset_tuple_id(isl::dim type) const
10848 multi_union_pw_aff multi_union_pw_aff::set_dim_id(isl::dim type, unsigned int pos, id id) const
10854 multi_union_pw_aff multi_union_pw_aff::set_tuple_id(isl::dim type, id id) const
10860 multi_union_pw_aff multi_union_pw_aff::set_tuple_name(isl::dim type, const std::string &s) const
10977 multi_val multi_val::add_dims(isl::dim type, unsigned int n) const
10995 unsigned int multi_val::dim(isl::dim type) const
11001 multi_val multi_val::drop_dims(isl::dim type, unsigned int first, unsigned int n) const
11013 int multi_val::find_dim_by_id(isl::dim type, const id &id) const
11019 int multi_val::find_dim_by_name(isl::dim type, const std::string &name) const
11049 id multi_val::get_dim_id(isl::dim type, unsigned int pos) const
11067 id multi_val::get_tuple_id(isl::dim type) const
11073 std::string multi_val::get_tuple_name(isl::dim type) const
11086 boolean multi_val::has_tuple_id(isl::dim type) const
11092 multi_val multi_val::insert_dims(isl::dim type, unsigned int first, unsigned int n) const
11098 boolean multi_val::involves_dims(isl::dim type, unsigned int first, unsigned int n) const
11182 multi_val multi_val::reset_tuple_id(isl::dim type) const
11218 multi_val multi_val::set_dim_id(isl::dim type, unsigned int pos, id id) const
11224 multi_val multi_val::set_tuple_id(isl::dim type, id id) const
11230 multi_val multi_val::set_tuple_name(isl::dim type, const std::string &s) const
11340 point point::add_ui(isl::dim type, int pos, unsigned int val) const
11346 val point::get_coordinate_val(isl::dim type, int pos) const
11358 point point::set_coordinate_val(isl::dim type, int pos, val v) const
11364 point point::sub_ui(isl::dim type, int pos, unsigned int val) const
11471 pw_aff pw_aff::add_dims(isl::dim type, unsigned int n) const
11507 unsigned int pw_aff::dim(isl::dim type) const
11525 pw_aff pw_aff::drop_dims(isl::dim type, unsigned int first, unsigned int n) const
11561 int pw_aff::find_dim_by_name(isl::dim type, const std::string &name) const
11599 id pw_aff::get_dim_id(isl::dim type, unsigned int pos) const
11605 std::string pw_aff::get_dim_name(isl::dim type, unsigned int pos) const
11630 id pw_aff::get_tuple_id(isl::dim type) const
11660 boolean pw_aff::has_dim_id(isl::dim type, unsigned int pos) const
11666 boolean pw_aff::has_tuple_id(isl::dim type) const
11672 pw_aff pw_aff::insert_dims(isl::dim type, unsigned int first, unsigned int n) const
11690 boolean pw_aff::involves_dims(isl::dim type, unsigned int first, unsigned int n) const
11756 pw_aff pw_aff::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
11756 pw_aff pw_aff::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
11852 pw_aff pw_aff::reset_tuple_id(isl::dim type) const
11876 pw_aff pw_aff::set_dim_id(isl::dim type, unsigned int pos, id id) const
11882 pw_aff pw_aff::set_tuple_id(isl::dim type, id id) const
11930 pw_aff pw_aff::var_on_domain(local_space ls, isl::dim type, unsigned int pos)
12262 unsigned int pw_multi_aff::dim(isl::dim type) const
12274 pw_multi_aff pw_multi_aff::drop_dims(isl::dim type, unsigned int first, unsigned int n) const
12292 int pw_multi_aff::find_dim_by_name(isl::dim type, const std::string &name) const
12298 pw_multi_aff pw_multi_aff::fix_si(isl::dim type, unsigned int pos, int value) const
12348 id pw_multi_aff::get_dim_id(isl::dim type, unsigned int pos) const
12354 std::string pw_multi_aff::get_dim_name(isl::dim type, unsigned int pos) const
12379 id pw_multi_aff::get_tuple_id(isl::dim type) const
12385 std::string pw_multi_aff::get_tuple_name(isl::dim type) const
12404 boolean pw_multi_aff::has_tuple_id(isl::dim type) const
12410 boolean pw_multi_aff::has_tuple_name(isl::dim type) const
12434 boolean pw_multi_aff::involves_dims(isl::dim type, unsigned int first, unsigned int n) const
12488 pw_multi_aff pw_multi_aff::project_out_map(space space, isl::dim type, unsigned int first, unsigned int n)
12518 pw_multi_aff pw_multi_aff::reset_tuple_id(isl::dim type) const
12548 pw_multi_aff pw_multi_aff::set_dim_id(isl::dim type, unsigned int pos, id id) const
12560 pw_multi_aff pw_multi_aff::set_tuple_id(isl::dim type, id id) const
12846 pw_qpolynomial pw_qpolynomial::add_dims(isl::dim type, unsigned int n) const
12864 unsigned int pw_qpolynomial::dim(isl::dim type) const
12876 pw_qpolynomial pw_qpolynomial::drop_dims(isl::dim type, unsigned int first, unsigned int n) const
12894 int pw_qpolynomial::find_dim_by_name(isl::dim type, const std::string &name) const
12900 pw_qpolynomial pw_qpolynomial::fix_val(isl::dim type, unsigned int n, val v) const
12968 pw_qpolynomial pw_qpolynomial::insert_dims(isl::dim type, unsigned int first, unsigned int n) const
12986 boolean pw_qpolynomial::involves_dims(isl::dim type, unsigned int first, unsigned int n) const
13016 pw_qpolynomial pw_qpolynomial::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
13016 pw_qpolynomial pw_qpolynomial::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
13082 pw_qpolynomial pw_qpolynomial::split_dims(isl::dim type, unsigned int first, unsigned int n) const
13415 qpolynomial qpolynomial::add_dims(isl::dim type, unsigned int n) const
13441 unsigned int qpolynomial::dim(isl::dim type) const
13447 qpolynomial qpolynomial::drop_dims(isl::dim type, unsigned int first, unsigned int n) const
13479 qpolynomial qpolynomial::from_constraint(constraint c, isl::dim type, unsigned int pos)
13533 qpolynomial qpolynomial::insert_dims(isl::dim type, unsigned int first, unsigned int n) const
13539 boolean qpolynomial::involves_dims(isl::dim type, unsigned int first, unsigned int n) const
13569 qpolynomial qpolynomial::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
13569 qpolynomial qpolynomial::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
13653 qpolynomial qpolynomial::var_on_domain(space dim, isl::dim type, unsigned int pos)
14549 set set::add_dims(isl::dim type, unsigned int n) const
14621 unsigned int set::dim(isl::dim type) const
14627 boolean set::dim_has_any_lower_bound(isl::dim type, unsigned int pos) const
14633 boolean set::dim_has_any_upper_bound(isl::dim type, unsigned int pos) const
14639 boolean set::dim_has_lower_bound(isl::dim type, unsigned int pos) const
14645 boolean set::dim_has_upper_bound(isl::dim type, unsigned int pos) const
14651 boolean set::dim_is_bounded(isl::dim type, unsigned int pos) 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
14687 set set::eliminate(isl::dim type, unsigned int first, unsigned int n) const
14699 set set::equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const
14699 set set::equate(isl::dim type1, int pos1, isl::dim type2, int pos2) const
14705 int set::find_dim_by_id(isl::dim type, const id &id) const
14711 int set::find_dim_by_name(isl::dim type, const std::string &name) 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
14817 id set::get_dim_id(isl::dim type, unsigned int pos) const
14823 std::string set::get_dim_name(isl::dim type, unsigned int pos) const
14873 boolean set::has_dim_id(isl::dim type, unsigned int pos) const
14879 boolean set::has_dim_name(isl::dim type, unsigned int pos) const
14915 set set::insert_dims(isl::dim type, unsigned int pos, unsigned int n) const
14933 boolean set::involves_dims(isl::dim type, unsigned int first, unsigned int n) 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
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
15113 val set::plain_get_val_if_fixed(isl::dim type, unsigned int pos) const
15179 map set::project_onto_map(isl::dim type, unsigned int first, unsigned int n) 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
15203 set set::remove_divs_involving_dims(isl::dim type, unsigned int first, unsigned int n) const
15251 set set::set_dim_id(isl::dim type, unsigned int pos, id id) const
15287 set set::split_dims(isl::dim type, unsigned int first, unsigned int n) const
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
15602 space space::add_dims(isl::dim type, unsigned int n) const
15650 unsigned int space::dim(isl::dim type) const
15692 space space::drop_dims(isl::dim type, unsigned int first, unsigned int num) const
15710 int space::find_dim_by_id(isl::dim type, const id &id) const
15716 int space::find_dim_by_name(isl::dim type, const std::string &name) const
15746 id space::get_dim_id(isl::dim type, unsigned int pos) const
15752 std::string space::get_dim_name(isl::dim type, unsigned int pos) const
15759 id space::get_tuple_id(isl::dim type) const
15765 std::string space::get_tuple_name(isl::dim type) const
15772 boolean space::has_dim_id(isl::dim type, unsigned int pos) const
15778 boolean space::has_dim_name(isl::dim type, unsigned int pos) const
15796 boolean space::has_tuple_id(isl::dim type) const
15802 boolean space::has_tuple_name(isl::dim type) const
15808 space space::insert_dims(isl::dim type, unsigned int pos, unsigned int n) const
15880 space space::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
15880 space space::move_dims(isl::dim dst_type, unsigned int dst_pos, isl::dim src_type, unsigned int src_pos, unsigned int n) const
15946 space space::reset_tuple_id(isl::dim type) const
15964 space space::set_dim_id(isl::dim type, unsigned int pos, id id) const
15976 space space::set_tuple_id(isl::dim type, id id) const
15982 space space::set_tuple_name(isl::dim type, const std::string &s) const
15988 boolean space::tuple_is_equal(isl::dim type1, const space &space2, isl::dim type2) const
15988 boolean space::tuple_is_equal(isl::dim type1, const space &space2, isl::dim type2) const
16080 unsigned int term::dim(isl::dim type) const
16098 int term::get_exp(isl::dim type, unsigned int pos) const
16484 unsigned int union_map::dim(isl::dim type) const
16556 int union_map::find_dim_by_name(isl::dim type, const std::string &name) const
16624 id union_map::get_dim_id(isl::dim type, unsigned int pos) const
16702 boolean union_map::involves_dims(isl::dim type, unsigned int first, unsigned int n) const
16888 union_map union_map::project_out(isl::dim type, unsigned int first, unsigned int n) const
17298 unsigned int union_pw_aff::dim(isl::dim type) const
17310 union_pw_aff union_pw_aff::drop_dims(isl::dim type, unsigned int first, unsigned int n) const
17328 int union_pw_aff::find_dim_by_name(isl::dim type, const std::string &name) const
17784 unsigned int union_pw_multi_aff::dim(isl::dim type) const
17796 union_pw_multi_aff union_pw_multi_aff::drop_dims(isl::dim type, unsigned int first, unsigned int n) const
17814 int union_pw_multi_aff::find_dim_by_name(isl::dim type, const std::string &name) const
18224 unsigned int union_pw_qpolynomial::dim(isl::dim type) const
18236 union_pw_qpolynomial union_pw_qpolynomial::drop_dims(isl::dim type, unsigned int first, unsigned int n) const
18254 int union_pw_qpolynomial::find_dim_by_name(isl::dim type, const std::string &name) const
18537 unsigned int union_set::dim(isl::dim type) const
18763 union_set union_set::project_out(isl::dim type, unsigned int first, unsigned int n) const
tools/polly/lib/Support/ISLTools.cpp 58 unsigned Dims1 = FromSpace1.dim(isl::dim::set);
59 unsigned Dims2 = FromSpace2.dim(isl::dim::set);
68 Result = Result.equate(isl::dim::in, i, isl::dim::out, Dims2 + i);
68 Result = Result.equate(isl::dim::in, i, isl::dim::out, Dims2 + i);
70 Result = Result.equate(isl::dim::in, Dims1 + i, isl::dim::out, i);
70 Result = Result.equate(isl::dim::in, Dims1 + i, isl::dim::out, i);
163 Dims = std::max(Dims, Map.dim(isl::dim::out));
172 return ScatterSpace.add_dims(isl::dim::set, Dims);
205 int NumDims = Set.dim(isl::dim::set);
225 isl::map polly::shiftDim(isl::map Map, isl::dim Dim, int Pos, int Amount) {
232 case isl::dim::in:
235 case isl::dim::out:
245 case isl::dim::in:
247 case isl::dim::out:
254 isl::union_map polly::shiftDim(isl::union_map UMap, isl::dim Dim, int Pos,
401 isl::union_map polly::convertZoneToTimepoints(isl::union_map Zone, isl::dim Dim,
416 isl::map polly::convertZoneToTimepoints(isl::map Zone, isl::dim Dim,
438 unsigned DomainDims = DomainSpace.dim(isl::dim::set);
441 unsigned Range1Dims = Range1Space.dim(isl::dim::set);
443 unsigned Range2Dims = Range2Space.dim(isl::dim::set);
455 Translator = Translator.equate(isl::dim::in, i, isl::dim::out, i);
455 Translator = Translator.equate(isl::dim::in, i, isl::dim::out, i);
456 Translator = Translator.equate(isl::dim::in, i, isl::dim::out,
456 Translator = Translator.equate(isl::dim::in, i, isl::dim::out,
460 Translator = Translator.equate(isl::dim::in, DomainDims + i, isl::dim::out,
460 Translator = Translator.equate(isl::dim::in, DomainDims + i, isl::dim::out,
463 Translator = Translator.equate(isl::dim::in, DomainDims + Range1Dims + i,
464 isl::dim::out,
581 unsigned ALen = A.dim(isl::dim::set);
582 unsigned BLen = B.dim(isl::dim::set);
587 A.project_out(isl::dim::param, 0, A.dim(isl::dim::param))
587 A.project_out(isl::dim::param, 0, A.dim(isl::dim::param))
588 .project_out(isl::dim::set, i + 1, ALen - i - 1)
589 .project_out(isl::dim::set, 0, i);
591 B.project_out(isl::dim::param, 0, B.dim(isl::dim::param))
591 B.project_out(isl::dim::param, 0, B.dim(isl::dim::param))
592 .project_out(isl::dim::set, i + 1, BLen - i - 1)
593 .project_out(isl::dim::set, 0, i);
599 bool(isl::set(AHull).dim_has_any_lower_bound(isl::dim::set, 0));
601 bool(isl::set(BHull).dim_has_any_lower_bound(isl::dim::set, 0));
650 if (ASpace.has_tuple_name(isl::dim::set))
651 AName = ASpace.get_tuple_name(isl::dim::set);
654 if (BSpace.has_tuple_name(isl::dim::set))
655 BName = BSpace.get_tuple_name(isl::dim::set);
662 int LenCompare = BSpace.dim(isl::dim::set) - ASpace.dim(isl::dim::set);
662 int LenCompare = BSpace.dim(isl::dim::set) - ASpace.dim(isl::dim::set);
757 int Dims = BSet.dim(isl::dim::set);
764 BSet.project_out(isl::dim::param, 0, BSet.dim(isl::dim::param))
764 BSet.project_out(isl::dim::param, 0, BSet.dim(isl::dim::param))
765 .project_out(isl::dim::set, Dim + 1, Dims - Dim - 1)
766 .project_out(isl::dim::set, 0, Dim);
773 isl::val Val = P.get_coordinate_val(isl::dim::set, 0);
774 isl::basic_set FixBSet = BSet.fix_val(isl::dim::set, Dim, Val);
tools/polly/lib/Transform/DeLICM.cpp 424 convertZoneToTimepoints(Proposed.Known, isl::dim::in, true, false);
457 convertZoneToTimepoints(Existing.Known, isl::dim::in, true, false);
tools/polly/lib/Transform/FlattenAlgo.cpp 29 auto ParamDims = Set.dim(isl::dim::param);
30 Set = Set.project_out(isl::dim::param, 0, ParamDims);
31 Set = Set.project_out(isl::dim::set, 0, dim);
32 auto SetDims = Set.dim(isl::dim::set);
33 Set = Set.project_out(isl::dim::set, 1, SetDims - 1);
42 Set = Set.project_out(isl::dim::set, 0, dim);
43 auto SetDims = Set.dim(isl::dim::set);
44 Set = Set.project_out(isl::dim::set, 1, SetDims - 1);
50 auto FixedVal = BMap.plain_get_val_if_fixed(isl::dim::out, 0);
121 auto Outprojected = Map.project_out(isl::dim::out, first, n);
135 Dims = std::max(Dims, Map.dim(isl::dim::out));
143 unsigned MapDims = Map.dim(isl::dim::out);
144 isl::map SingleMap = Map.project_out(isl::dim::out, 0, pos);
145 SingleMap = SingleMap.project_out(isl::dim::out, 1, MapDims - pos - 1);
178 auto Dims = ScatterSet.dim(isl::dim::set);
196 auto ThisSet = ScatterSet.project_out(isl::dim::set, 1, Dims - 1);
198 auto ScatterFirst = ThisFirst.add_dims(isl::dim::set, Dims - 1);
268 auto SubExtentDims = SubExtent.dim(isl::dim::param);
269 SubExtent = SubExtent.project_out(isl::dim::param, 0, SubExtentDims);
270 SubExtent = SubExtent.project_out(isl::dim::set, 1, SubDims - 1);
tools/polly/lib/Transform/ForwardOpTree.cpp 202 convertZoneToTimepoints(Known, isl::dim::in, false, true).curry();
246 isl::id ArrayId = Map.get_tuple_id(isl::dim::out);
348 isl::id ArrayId = AccessRelation.get_tuple_id(isl::dim::out);
tools/polly/lib/Transform/MaximalStaticExpansion.cpp 120 auto ParamDims = Set.dim(isl::dim::param);
121 Set = Set.project_out(isl::dim::param, 0, ParamDims);
122 Set = Set.project_out(isl::dim::set, 0, dim);
123 auto SetDims = Set.dim(isl::dim::set);
124 Set = Set.project_out(isl::dim::set, 1, SetDims - 1);
147 Map.get_space().domain().unwrap().range().get_tuple_id(isl::dim::set);
341 NewAccessMap = NewAccessMap.set_tuple_id(isl::dim::out, Id);
352 unsigned in_dimensions = CurrentAccessMap.dim(isl::dim::in);
361 NewAccessMap = NewAccessMap.add_dims(isl::dim::out, in_dimensions);
368 auto CurrentOutId = CurrentAccessMap.get_tuple_id(isl::dim::out);
373 NewAccessMap = NewAccessMap.set_tuple_id(isl::dim::out, CurrentOutId);
402 NewAccessMap = NewAccessMap.set_tuple_id(isl::dim::out, NewOutId);
407 isl::basic_map::equal(SpaceMap, SpaceMap.dim(isl::dim::in));
tools/polly/lib/Transform/ScheduleOptimizer.cpp 306 unsigned Dims = IsolateDomain.dim(isl::dim::set);
313 IsolateRelation = IsolateRelation.move_dims(isl::dim::out, 0, isl::dim::in,
313 IsolateRelation = IsolateRelation.move_dims(isl::dim::out, 0, isl::dim::in,
346 UnrollIsolatedSetOption.set_tuple_id(isl::dim::in, DimInId);
348 UnrollIsolatedSetOption.set_tuple_id(isl::dim::out, DimOutId);
357 unsigned Dims = Set.dim(isl::dim::set);
362 ExtConstr = ExtConstr.set_coefficient_si(isl::dim::set, Dims - 1, 1);
366 ExtConstr = ExtConstr.set_coefficient_si(isl::dim::set, Dims - 1, -1);
371 unsigned Dims = ScheduleRange.dim(isl::dim::set);
373 ScheduleRange.drop_constraints_involving_dims(isl::dim::set, Dims - 1, 1);
376 BadPrefixes = BadPrefixes.project_out(isl::dim::set, Dims - 1, 1);
377 LoopPrefixes = LoopPrefixes.project_out(isl::dim::set, Dims - 1, 1);
403 auto ScheduleDimensions = Space.dim(isl::dim::set);
438 auto Dims = Space.dim(isl::dim::set);
504 auto Dims = Space.dim(isl::dim::set);
536 auto Dims = Space.dim(isl::dim::set);
557 isl::map permuteDimensions(isl::map Map, isl::dim DimType, unsigned DstPos,
565 auto FreeDim = DimType == isl::dim::in ? isl::dim::out : isl::dim::in;
565 auto FreeDim = DimType == isl::dim::in ? isl::dim::out : isl::dim::in;
565 auto FreeDim = DimType == isl::dim::in ? isl::dim::out : isl::dim::in;
565 auto FreeDim = DimType == isl::dim::in ? isl::dim::out : isl::dim::in;
599 if (Space.dim(isl::dim::out) != 2)
613 Universe.equate(isl::dim::in, FirstDims[i], isl::dim::out, 0)
613 Universe.equate(isl::dim::in, FirstDims[i], isl::dim::out, 0)
614 .equate(isl::dim::in, SecondDims[i], isl::dim::out, 1);
614 .equate(isl::dim::in, SecondDims[i], isl::dim::out, 1);
685 auto InputDimId = PartialSchedule.get_tuple_id(isl::dim::in);
687 unsigned OutDimNum = PartialSchedule.dim(isl::dim::out);
692 permuteDimensions(PartialSchedule, isl::dim::out, MMI.i, OutDimNum - 1);
694 permuteDimensions(PartialSchedule, isl::dim::out, MMI.j, OutDimNum - 1);
696 permuteDimensions(PartialSchedule, isl::dim::out, MMI.k, OutDimNum - 1);
733 int DeltasDimNum = Deltas.dim(isl::dim::set);
735 auto Val = Deltas.plain_get_val_if_fixed(isl::dim::set, i);
770 auto InputDimsId = PartialSchedule.get_tuple_id(isl::dim::in);
1047 AccessRel = AccessRel.equate(isl::dim::in, FirstDim, isl::dim::out, 0);
1047 AccessRel = AccessRel.equate(isl::dim::in, FirstDim, isl::dim::out, 0);
1048 AccessRel = AccessRel.equate(isl::dim::in, 5, isl::dim::out, 1);
1048 AccessRel = AccessRel.equate(isl::dim::in, 5, isl::dim::out, 1);
1049 AccessRel = AccessRel.equate(isl::dim::in, SecondDim, isl::dim::out, 2);
1049 AccessRel = AccessRel.equate(isl::dim::in, SecondDim, isl::dim::out, 2);
1097 auto InputDimsId = MapOldIndVar.get_tuple_id(isl::dim::in);
1111 AccRel = AccRel.set_tuple_id(isl::dim::out, SAI->getBasePtrId());
1114 auto ExtMap = MapOldIndVar.project_out(isl::dim::out, 2,
1115 MapOldIndVar.dim(isl::dim::out) - 2);
1117 ExtMap = ExtMap.fix_si(isl::dim::out, MMI.i, 0);
1125 ExtMap = ExtMap.set_tuple_id(isl::dim::out, DomainId);
1127 ExtMap = ExtMap.set_tuple_id(isl::dim::out, NewStmt->getDomainId());
1139 AccRel = AccRel.set_tuple_id(isl::dim::out, SAI->getBasePtrId());
1142 ExtMap = MapOldIndVar.project_out(isl::dim::out, 3,
1143 MapOldIndVar.dim(isl::dim::out) - 3);
1145 ExtMap = ExtMap.fix_si(isl::dim::out, MMI.j, 0);
1151 ExtMap = ExtMap.set_tuple_id(isl::dim::out, DomainId);
1153 ExtMap = ExtMap.set_tuple_id(isl::dim::out, NewStmt->getDomainId());
1177 if (MapOldIndVar.dim(isl::dim::out) > 9)
1178 return MapOldIndVar.project_out(isl::dim::out, 0,
1179 MapOldIndVar.dim(isl::dim::out) - 9);
1203 unsigned Dims = Prefix.dim(isl::dim::set);
1204 Prefix = Prefix.project_out(isl::dim::set, Dims - 1, 1);
1209 getIsolateOptions(Prefix.add_dims(isl::dim::set, 3), 3);
1262 (isl::set(Domain).dim(isl::dim::set) !=
1270 PartialScheduleMultiPwAff.reset_tuple_id(isl::dim::set);
tools/polly/lib/Transform/ScheduleTreeTransform.cpp 354 unsigned ExtDims = Ext.dim(isl::dim::in);
359 Ext.project_out(isl::dim::in, 0, OuterDims).reverse();
365 Ext.project_out(isl::dim::in, OuterDims, BandDims);
tools/polly/lib/Transform/Simplify.cpp 240 isl::space(Ctx, 0, 0).set_tuple_id(isl::dim::set, Id));
314 .get_tuple_id(isl::dim::out)
357 .get_tuple_id(isl::dim::out)
367 .get_tuple_id(isl::dim::out)
378 .set_tuple_id(isl::dim::set, MA->getId()));
407 isl::space(Ctx, 0, 0).set_tuple_id(isl::dim::set, Id));
tools/polly/lib/Transform/ZoneAlgo.cpp 248 return Space.has_tuple_id(isl::dim::set).is_false() &&
249 Space.is_wrapping().is_false() && Space.dim(isl::dim::set) == 0;
492 convertZoneToTimepoints(ReachDefZone, isl::dim::in, false, true);
685 for (unsigned i = 0, DefDims = DefDomain.dim(isl::dim::set); i < DefDims;
687 Result = Result.equate(isl::dim::in, i, isl::dim::out, i);
687 Result = Result.equate(isl::dim::in, i, isl::dim::out, i);
739 return Result.set_tuple_id(isl::dim::set, makeValueId(V));
777 auto ScevSpace = UseDomainSpace.drop_dims(isl::dim::set, 0, 0);
778 ScevSpace = ScevSpace.set_tuple_id(isl::dim::set, ScevId);
856 RangeSpace.unwrap().get_tuple_id(isl::dim::out).get_user()));
928 isl::id OutTupleId = Unwrapped.get_tuple_id(isl::dim::out);
935 isl::id InTupleId = Unwrapped.get_tuple_id(isl::dim::in);
tools/polly/unittests/DeLICM/DeLICMTest.cpp 54 if (!Map.has_tuple_name(isl::dim::out))
121 NewSpace = NewSpace.set_tuple_id(isl::dim::set, NewId);
tools/polly/unittests/Isl/IslTest.cpp 393 TestBMap = TestBMap.fix_si(isl::dim::out, 0, 0);
394 TestBMap = TestBMap.fix_si(isl::dim::out, 0, 0);