Lines Matching defs:Dim

193 /// This map maps from SetSpace -> SetSpace where the dimensions @p Dim
197 /// if @p Dim is 2 and @p SetSpace has 4 dimensions.
198 static isl::map createNextIterationMap(isl::space SetSpace, unsigned Dim) {
202     if (u != Dim)
208   C = C.set_coefficient_si(isl::dim::in, Dim, 1);
209   C = C.set_coefficient_si(isl::dim::out, Dim, -1);
223 /// Compute the (un)bounded parts of @p S wrt. to dimension @p Dim.
226 ///          both with regards to the dimension @p Dim.
228                                                        unsigned Dim) {
235   // Remove dimensions that are greater than Dim as they are not interesting.
236   assert(NumDimsS >= Dim + 1);
237   OnlyDimS = OnlyDimS.project_out(isl::dim::set, Dim + 1, NumDimsS - Dim - 1);
239   // Create artificial parametric upper bounds for dimensions smaller than Dim
241   OnlyDimS = OnlyDimS.insert_dims(isl::dim::param, 0, Dim);
243   for (unsigned u = 0; u < Dim; u++) {
254   // Create the dimensions greater than Dim again.
256       BoundedParts.insert_dims(isl::dim::set, Dim + 1, NumDimsS - Dim - 1);
259   BoundedParts = BoundedParts.remove_dims(isl::dim::param, 0, Dim);
1165     unsigned Dim = unsignedFromIslSize(S.tuple_dim());
1166     assert(Dim >= N);
1168                                                   N, Dim - N);
3054           int Dim = DomainCtx.find_dim_by_id(isl::dim::param, ParamId);
3055           if (Dim >= 0)
3056             DomainCtx = DomainCtx.eliminate(isl::dim::param, Dim, 1);