Lines Matching defs:build
23 __isl_keep isl_ast_build *build, __isl_take isl_set *set)
30 if (!build)
33 map = isl_map_equate(map, isl_dim_in, build->depth, isl_dim_out, 0);
34 map = isl_map_eliminate(map, isl_dim_in, build->depth, 1);
46 __isl_take isl_ast_build *build, __isl_take isl_space *space)
51 build = isl_ast_build_cow(build);
52 if (!build || !build->domain)
55 ctx = isl_ast_build_get_ctx(build);
59 isl_vec_free(build->strides);
60 build->strides = strides;
63 isl_multi_aff_free(build->offsets);
64 build->offsets = isl_multi_aff_zero(isl_space_copy(space));
65 isl_multi_aff_free(build->values);
66 build->values = isl_multi_aff_identity(space);
68 if (!build->iterators || !build->domain || !build->generated ||
69 !build->pending || !build->values ||
70 !build->strides || !build->offsets || !build->options)
71 return isl_ast_build_free(build);
73 return build;
76 return isl_ast_build_free(build);
81 * in build->domain, then adjust the name to "c%d_%d".
84 __isl_keep isl_ast_build *build)
88 isl_set *dom = build->domain;
108 isl_ast_build *build;
116 build = isl_calloc_type(ctx, isl_ast_build);
117 if (!build)
120 build->ref = 1;
121 build->domain = set;
122 build->generated = isl_set_copy(build->domain);
123 build->pending = isl_set_universe(isl_set_get_space(build->domain));
124 build->options = isl_union_map_empty(isl_space_params_alloc(ctx, 0));
126 build->depth = n;
127 build->iterators = isl_id_list_alloc(ctx, n);
133 id = generate_name(ctx, i, build);
134 build->iterators = isl_id_list_add(build->iterators, id);
140 return isl_ast_build_init_derived(build, space);
146 __isl_give isl_ast_build *isl_ast_build_copy(__isl_keep isl_ast_build *build)
148 if (!build)
151 build->ref++;
152 return build;
155 __isl_give isl_ast_build *isl_ast_build_dup(__isl_keep isl_ast_build *build)
160 if (!build)
163 ctx = isl_ast_build_get_ctx(build);
169 dup->outer_pos = build->outer_pos;
170 dup->depth = build->depth;
171 dup->iterators = isl_id_list_copy(build->iterators);
172 dup->domain = isl_set_copy(build->domain);
173 dup->generated = isl_set_copy(build->generated);
174 dup->pending = isl_set_copy(build->pending);
175 dup->values = isl_multi_aff_copy(build->values);
176 dup->value = isl_pw_aff_copy(build->value);
177 dup->strides = isl_vec_copy(build->strides);
178 dup->offsets = isl_multi_aff_copy(build->offsets);
179 dup->executed = isl_union_map_copy(build->executed);
180 dup->single_valued = build->single_valued;
181 dup->options = isl_union_map_copy(build->options);
182 dup->at_each_domain = build->at_each_domain;
183 dup->at_each_domain_user = build->at_each_domain_user;
184 dup->before_each_for = build->before_each_for;
185 dup->before_each_for_user = build->before_each_for_user;
186 dup->after_each_for = build->after_each_for;
187 dup->after_each_for_user = build->after_each_for_user;
188 dup->create_leaf = build->create_leaf;
189 dup->create_leaf_user = build->create_leaf_user;
194 (build->executed && !dup->executed) ||
195 (build->value && !dup->value))
201 /* Align the parameters of "build" to those of "model", introducing
205 __isl_take isl_ast_build *build, __isl_take isl_space *model)
207 build = isl_ast_build_cow(build);
208 if (!build)
211 build->domain = isl_set_align_params(build->domain,
213 build->generated = isl_set_align_params(build->generated,
215 build->pending = isl_set_align_params(build->pending,
217 build->values = isl_multi_aff_align_params(build->values,
219 build->offsets = isl_multi_aff_align_params(build->offsets,
221 build->options = isl_union_map_align_params(build->options,
225 if (!build->domain || !build->values || !build->offsets ||
226 !build->options)
227 return isl_ast_build_free(build);
229 return build;
235 __isl_give isl_ast_build *isl_ast_build_cow(__isl_take isl_ast_build *build)
237 if (!build)
240 if (build->ref == 1)
241 return build;
242 build->ref--;
243 return isl_ast_build_dup(build);
246 void *isl_ast_build_free(__isl_take isl_ast_build *build)
248 if (!build)
251 if (--build->ref > 0)
254 isl_id_list_free(build->iterators);
255 isl_set_free(build->domain);
256 isl_set_free(build->generated);
257 isl_set_free(build->pending);
258 isl_multi_aff_free(build->values);
259 isl_pw_aff_free(build->value);
260 isl_vec_free(build->strides);
261 isl_multi_aff_free(build->offsets);
262 isl_multi_aff_free(build->schedule_map);
263 isl_union_map_free(build->executed);
264 isl_union_map_free(build->options);
266 free(build);
271 isl_ctx *isl_ast_build_get_ctx(__isl_keep isl_ast_build *build)
273 return build ? isl_set_get_ctx(build->domain) : NULL;
276 /* Replace build->options by "options".
279 __isl_take isl_ast_build *build, __isl_take isl_union_map *options)
281 build = isl_ast_build_cow(build);
283 if (!build || !options)
286 isl_union_map_free(build->options);
287 build->options = options;
289 return build;
292 return isl_ast_build_free(build);
302 __isl_take isl_ast_build *build, __isl_take isl_id_list *iterators)
306 build = isl_ast_build_cow(build);
307 if (!build)
310 dim = isl_set_dim(build->domain, isl_dim_set);
311 n_it = isl_id_list_n_id(build->iterators);
313 isl_die(isl_ast_build_get_ctx(build), isl_error_internal,
316 build->iterators = isl_id_list_drop(build->iterators,
318 build->iterators = isl_id_list_concat(build->iterators, iterators);
319 if (!build->iterators)
320 return isl_ast_build_free(build);
322 return build;
325 return isl_ast_build_free(build);
328 /* Set the "at_each_domain" callback of "build" to "fn".
331 __isl_take isl_ast_build *build,
333 __isl_keep isl_ast_build *build, void *user), void *user)
335 build = isl_ast_build_cow(build);
337 if (!build)
340 build->at_each_domain = fn;
341 build->at_each_domain_user = user;
343 return build;
346 /* Set the "before_each_for" callback of "build" to "fn".
349 __isl_take isl_ast_build *build,
350 __isl_give isl_id *(*fn)(__isl_keep isl_ast_build *build,
353 build = isl_ast_build_cow(build);
355 if (!build)
358 build->before_each_for = fn;
359 build->before_each_for_user = user;
361 return build;
364 /* Set the "after_each_for" callback of "build" to "fn".
367 __isl_take isl_ast_build *build,
369 __isl_keep isl_ast_build *build, void *user), void *user)
371 build = isl_ast_build_cow(build);
373 if (!build)
376 build->after_each_for = fn;
377 build->after_each_for_user = user;
379 return build;
382 /* Set the "create_leaf" callback of "build" to "fn".
385 __isl_take isl_ast_build *build,
386 __isl_give isl_ast_node *(*fn)(__isl_take isl_ast_build *build,
389 build = isl_ast_build_cow(build);
391 if (!build)
394 build->create_leaf = fn;
395 build->create_leaf_user = user;
397 return build;
404 __isl_take isl_ast_build *build)
408 build = isl_ast_build_cow(build);
409 if (!build)
412 space = isl_union_map_get_space(build->options);
413 isl_union_map_free(build->options);
414 build->options = isl_union_map_empty(space);
416 build->at_each_domain = NULL;
417 build->at_each_domain_user = NULL;
418 build->before_each_for = NULL;
419 build->before_each_for_user = NULL;
420 build->after_each_for = NULL;
421 build->after_each_for_user = NULL;
422 build->create_leaf = NULL;
423 build->create_leaf_user = NULL;
425 if (!build->options)
426 return isl_ast_build_free(build);
428 return build;
435 static int any_eliminated(isl_ast_build *build)
439 for (i = 0; i < build->depth; ++i)
440 if (isl_ast_build_has_affine_value(build, i))
446 /* Clear build->schedule_map.
452 static void isl_ast_build_reset_schedule_map(__isl_keep isl_ast_build *build)
454 if (!build)
456 isl_multi_aff_free(build->schedule_map);
457 build->schedule_map = NULL;
468 __isl_give int isl_ast_build_need_schedule_map(__isl_keep isl_ast_build *build)
472 if (!build)
475 dim = isl_set_dim(build->domain, isl_dim_set);
476 return build->depth != dim || any_eliminated(build);
493 * We cache a copy of the schedule_map in build->schedule_map.
498 __isl_keep isl_ast_build *build)
503 if (!build)
505 if (build->schedule_map)
506 return isl_multi_aff_copy(build->schedule_map);
508 space = isl_ast_build_get_space(build, 1);
511 if (isl_ast_build_need_schedule_map(build)) {
513 int dim = isl_set_dim(build->domain, isl_dim_set);
515 build->depth, dim - build->depth);
516 for (i = build->depth - 1; i >= 0; --i)
517 if (isl_ast_build_has_affine_value(build, i))
522 build->schedule_map = ma;
523 return isl_multi_aff_copy(build->schedule_map);
530 __isl_keep isl_ast_build *build)
534 ma = isl_ast_build_get_schedule_map_multi_aff(build);
538 /* Return the position of the dimension in build->domain for which
541 int isl_ast_build_get_depth(__isl_keep isl_ast_build *build)
543 return build ? build->depth : -1;
551 __isl_take isl_ast_build *build)
553 build = isl_ast_build_cow(build);
554 if (!build)
556 build->depth++;
557 isl_ast_build_reset_schedule_map(build);
558 build->value = isl_pw_aff_free(build->value);
559 return build;
562 void isl_ast_build_dump(__isl_keep isl_ast_build *build)
564 if (!build)
568 isl_set_dump(build->domain);
570 isl_set_dump(build->generated);
572 isl_set_dump(build->pending);
574 isl_id_list_dump(build->iterators);
576 isl_multi_aff_dump(build->values);
577 if (build->value) {
579 isl_pw_aff_dump(build->value);
582 isl_vec_dump(build->strides);
584 isl_multi_aff_dump(build->offsets);
587 /* Initialize "build" for AST construction in schedule space "space"
588 * in the case that build->domain is a parameter set.
590 * build->iterators is assumed to have been updated already.
593 __isl_take isl_ast_build *build, __isl_take isl_space *space)
597 build = isl_ast_build_cow(build);
598 if (!build)
602 build->domain = isl_set_intersect_params(isl_set_copy(set),
603 build->domain);
604 build->pending = isl_set_intersect_params(isl_set_copy(set),
605 build->pending);
606 build->generated = isl_set_intersect_params(set, build->generated);
608 return isl_ast_build_init_derived(build, space);
610 isl_ast_build_free(build);
633 * If so, we record it in build->value.
635 * then we also update build->values, effectively marking the current
640 * account the domain constraints in the original AST build and
647 __isl_take isl_ast_build *build, __isl_take isl_basic_set *bounds)
656 set = isl_set_intersect(set, isl_set_copy(build->domain));
657 it_map = isl_ast_build_map_to_iterator(build, set);
661 build = isl_ast_build_free(build);
662 if (!build || !sv) {
664 return build;
668 build->value = isl_pw_multi_aff_get_pw_aff(pma, 0);
669 build->value = isl_ast_build_compute_gist_pw_aff(build, build->value);
670 build->value = isl_pw_aff_coalesce(build->value);
673 if (!build->value)
674 return isl_ast_build_free(build);
676 if (isl_pw_aff_n_piece(build->value) != 1)
677 return build;
679 isl_pw_aff_foreach_piece(build->value, &extract_single_piece, &aff);
681 build->values = isl_multi_aff_set_aff(build->values, build->depth, aff);
682 if (!build->values)
683 return isl_ast_build_free(build);
684 isl_ast_build_reset_schedule_map(build);
685 return build;
688 /* Update the AST build based on the given loop bounds for
700 * would restrict the build domain to this subset, while this
702 * build->domain may, however, already refer to the current dimension
705 * Finally, we intersect build->domain with the updated bounds.
708 * us to intersect the bounds with the current build domain.
709 * When we intersect build->domain with the updated bounds in
711 * not been intersected with the old build->domain.
712 * Otherwise, we would indirectly intersect the build domain with itself,
713 * which can lead to inefficiencies, in particular if the build domain
717 __isl_take isl_ast_build *build, __isl_take isl_basic_set *bounds)
721 build = isl_ast_build_cow(build);
722 if (!build)
726 isl_multi_aff_copy(build->values));
727 build = update_values(build, isl_basic_set_copy(bounds));
728 if (!build)
731 if (isl_ast_build_has_affine_value(build, build->depth)) {
732 set = isl_set_eliminate(set, isl_dim_set, build->depth, 1);
734 build->pending = isl_set_intersect(build->pending,
736 if (isl_ast_build_has_stride(build, build->depth)) {
737 build->domain = isl_set_eliminate(build->domain,
738 isl_dim_set, build->depth, 1);
739 build->domain = isl_set_compute_divs(build->domain);
746 isl_dim_set, build->depth, 1);
747 build->pending = isl_set_intersect(build->pending,
751 generated, isl_dim_set, build->depth, 1);
752 build->generated = isl_set_intersect(build->generated,
757 build->domain = isl_set_intersect(build->domain, set);
758 if (!build->domain || !build->pending || !build->generated)
759 return isl_ast_build_free(build);
761 return build;
763 isl_ast_build_free(build);
768 /* Update build->domain based on the constraints enforced by inner loops.
770 * The constraints in build->pending may end up not getting generated
772 * build->domain from build->generated and build->pending, dropping
773 * those constraint in build->pending that may not get generated.
776 __isl_take isl_ast_build *build, __isl_take isl_basic_set *enforced)
780 build = isl_ast_build_cow(build);
781 if (!build)
785 set = isl_set_gist(isl_set_copy(build->pending), set);
786 set = isl_set_intersect(isl_set_copy(build->generated), set);
788 isl_set_free(build->domain);
789 build->domain = set;
791 if (!build->domain)
792 return isl_ast_build_free(build);
794 return build;
797 return isl_ast_build_free(build);
800 /* Intersect build->domain with "set", where "set" is specified
804 __isl_take isl_ast_build *build, __isl_take isl_set *set)
806 build = isl_ast_build_cow(build);
807 if (!build)
811 build->domain = isl_set_intersect(build->domain, set);
812 build->domain = isl_set_coalesce(build->domain);
814 if (!build->domain)
815 return isl_ast_build_free(build);
817 return build;
819 isl_ast_build_free(build);
824 /* Intersect build->generated and build->domain with "set",
828 __isl_take isl_ast_build *build, __isl_take isl_set *set)
831 build = isl_ast_build_restrict_internal(build, isl_set_copy(set));
832 build = isl_ast_build_cow(build);
833 if (!build)
836 build->generated = isl_set_intersect(build->generated, set);
837 build->generated = isl_set_coalesce(build->generated);
839 if (!build->generated)
840 return isl_ast_build_free(build);
842 return build;
844 isl_ast_build_free(build);
849 /* Intersect build->pending and build->domain with "set",
853 __isl_take isl_ast_build *build, __isl_take isl_set *set)
856 build = isl_ast_build_restrict_internal(build, isl_set_copy(set));
857 build = isl_ast_build_cow(build);
858 if (!build)
861 build->pending = isl_set_intersect(build->pending, set);
862 build->pending = isl_set_coalesce(build->pending);
864 if (!build->pending)
865 return isl_ast_build_free(build);
867 return build;
869 isl_ast_build_free(build);
874 /* Intersect build->domain with "set", where "set" is specified
878 __isl_take isl_ast_build *build, __isl_take isl_set *set)
881 return isl_ast_build_restrict_generated(build, set);
883 if (isl_ast_build_need_schedule_map(build)) {
885 ma = isl_ast_build_get_schedule_map_multi_aff(build);
888 return isl_ast_build_restrict_generated(build, set);
891 /* Replace build->executed by "executed".
894 __isl_take isl_ast_build *build, __isl_take isl_union_map *executed)
896 build = isl_ast_build_cow(build);
897 if (!build)
900 isl_union_map_free(build->executed);
901 build->executed = executed;
903 return build;
905 isl_ast_build_free(build);
912 __isl_give isl_set *isl_ast_build_get_domain(__isl_keep isl_ast_build *build)
914 return build ? isl_set_copy(build->domain) : NULL;
917 /* Return the (schedule) space of "build".
926 __isl_give isl_space *isl_ast_build_get_space(__isl_keep isl_ast_build *build,
933 if (!build)
936 space = isl_set_get_space(build->domain);
940 if (!isl_ast_build_need_schedule_map(build))
943 dim = isl_set_dim(build->domain, isl_dim_set);
945 build->depth, dim - build->depth);
946 for (i = build->depth - 1; i >= 0; --i)
947 if (isl_ast_build_has_affine_value(build, i))
953 /* Return the external representation of the schedule space of "build",
958 __isl_keep isl_ast_build *build)
963 if (!build)
966 space = isl_ast_build_get_space(build, 0);
969 for (i = 0; i < build->depth; ++i) {
972 if (isl_ast_build_has_affine_value(build, i)) {
977 id = isl_ast_build_get_iterator_id(build, i);
984 /* Return the current schedule, as stored in build->executed, in terms
988 __isl_keep isl_ast_build *build)
993 if (!build)
996 executed = isl_union_map_copy(build->executed);
997 if (isl_ast_build_need_schedule_map(build)) {
998 isl_map *proj = isl_ast_build_get_schedule_map(build);
1010 __isl_keep isl_ast_build *build, int pos)
1012 if (!build)
1015 return isl_id_list_get_id(build->iterators, pos);
1045 static __isl_give isl_ast_build *set_stride(__isl_take isl_ast_build *build,
1050 build = isl_ast_build_cow(build);
1051 if (!build || !stride || !offset)
1054 pos = build->depth;
1056 if (isl_ast_build_has_stride(build, pos)) {
1060 stride2 = isl_vec_get_element_val(build->strides, pos);
1069 offset2 = isl_multi_aff_get_aff(build->offsets, pos);
1075 build->strides = isl_vec_set_element_val(build->strides, pos, stride);
1076 build->offsets = isl_multi_aff_set_aff(build->offsets, pos, offset);
1077 if (!build->strides || !build->offsets)
1078 return isl_ast_build_free(build);
1080 return build;
1084 return isl_ast_build_free(build);
1099 __isl_keep isl_ast_build *build)
1106 if (!build)
1109 pos = build->depth;
1111 if (!isl_ast_build_has_stride(build, pos))
1112 return isl_set_universe(isl_ast_build_get_space(build, 1));
1114 stride = isl_ast_build_get_stride(build, pos);
1115 aff = isl_ast_build_get_offset(build, pos);
1135 __isl_keep isl_ast_build *build)
1143 if (!build)
1146 pos = isl_ast_build_get_depth(build);
1147 space = isl_ast_build_get_space(build, 1);
1151 if (!isl_ast_build_has_stride(build, pos))
1154 offset = isl_ast_build_get_offset(build, pos);
1155 stride = isl_ast_build_get_stride(build, pos);
1165 * stride on the current dimension to build->domain.
1168 __isl_take isl_ast_build *build)
1172 if (!build)
1174 if (!isl_ast_build_has_stride(build, build->depth))
1175 return build;
1176 build = isl_ast_build_cow(build);
1177 if (!build)
1180 set = isl_ast_build_get_stride_constraint(build);
1182 build->domain = isl_set_intersect(build->domain, isl_set_copy(set));
1183 build->generated = isl_set_intersect(build->generated, set);
1184 if (!build->domain || !build->generated)
1185 return isl_ast_build_free(build);
1187 return build;
1192 * "build" may be updated by detect_stride to include stride information.
1193 * "pos" is equal to build->depth.
1196 isl_ast_build *build;
1201 * and, if so, update the stride information in data->build.
1277 data->build = set_stride(data->build, stride, aff);
1289 * dimension and, if so, record the stride information in "build"
1290 * and return the updated "build".
1301 __isl_take isl_ast_build *build, __isl_take isl_set *set)
1306 if (!build)
1309 data.build = build;
1310 data.pos = isl_ast_build_get_depth(build);
1314 data.build = isl_ast_build_free(data.build);
1317 return data.build;
1344 int isl_ast_build_options_involve_depth(__isl_keep isl_ast_build *build)
1348 if (!build)
1351 data.depth = build->depth;
1354 if (isl_union_map_foreach_map(build->options,
1460 * The main difficulty is updating build->options to reflect the
1470 __isl_take isl_ast_build *build, int pos)
1477 build = isl_ast_build_cow(build);
1478 if (!build)
1481 ctx = isl_ast_build_get_ctx(build);
1483 space = isl_ast_build_get_space(build, 1);
1484 build->iterators = isl_id_list_insert(build->iterators, pos, id);
1485 build->domain = isl_set_insert_dims(build->domain,
1487 build->generated = isl_set_insert_dims(build->generated,
1489 build->pending = isl_set_insert_dims(build->pending,
1491 build->strides = isl_vec_insert_els(build->strides, pos, 1);
1492 build->strides = isl_vec_set_element_si(build->strides, pos, 1);
1493 ma_space = isl_space_params(isl_multi_aff_get_space(build->offsets));
1498 build->offsets = isl_multi_aff_splice(build->offsets, pos, pos, ma);
1500 build->values = isl_multi_aff_splice(build->values, pos, pos, ma);
1501 build->options = options_insert_dim(build->options, space, pos);
1503 if (!build->iterators || !build->domain || !build->generated ||
1504 !build->pending || !build->values ||
1505 !build->strides || !build->offsets || !build->options)
1506 return isl_ast_build_free(build);
1508 return build;
1519 * have been included in build->domain.
1523 __isl_take isl_ast_build *build, __isl_take isl_val *m,
1530 build = isl_ast_build_cow(build);
1531 if (!build || !umap || !m)
1534 depth = build->depth;
1536 v = isl_vec_get_element_val(build->strides, depth);
1538 build->strides = isl_vec_set_element_val(build->strides, depth, v);
1540 aff = isl_multi_aff_get_aff(build->offsets, depth);
1542 build->offsets = isl_multi_aff_set_aff(build->offsets, depth, aff);
1543 build->options = isl_union_map_apply_domain(build->options, umap);
1544 if (!build->strides || !build->offsets || !build->options)
1545 return isl_ast_build_free(build);
1547 return build;
1551 return isl_ast_build_free(build);
1556 * in build->domain, then adjust the name to "c%d_%d".
1559 __isl_keep isl_ast_build *build)
1568 id = generate_name(ctx, first + i, build);
1613 /* Update "build" for use in a (possibly nested) code generation. That is,
1614 * extend "build" from an AST build on some domain O to an AST build
1620 * If "keep_iterators" is set, then any extra ids in build->iterators
1623 * We first update build->outer_pos to the current depth.
1627 * equal to the dimension of the new build domain.
1633 * Otherwise, we adjust the fields of "build" to include "space".
1636 __isl_take isl_ast_build *build, __isl_take isl_space *space)
1644 build = isl_ast_build_cow(build);
1645 if (!build)
1648 build->outer_pos = build->depth;
1650 ctx = isl_ast_build_get_ctx(build);
1651 dim = isl_set_dim(build->domain, isl_dim_set);
1653 n_it = isl_id_list_n_id(build->iterators);
1656 l = generate_names(ctx, dim - n_it, n_it, build);
1657 build->iterators = isl_id_list_concat(build->iterators, l);
1660 if (isl_set_is_params(build->domain))
1661 return isl_ast_build_init(build, space);
1664 build->domain = isl_set_product(build->domain, isl_set_copy(set));
1665 build->pending = isl_set_product(build->pending, isl_set_copy(set));
1666 build->generated = isl_set_product(build->generated, set);
1670 build->strides = isl_vec_concat(build->strides, strides);
1673 build->offsets = isl_multi_aff_align_params(build->offsets,
1675 build->offsets = isl_multi_aff_product(build->offsets,
1677 build->values = isl_multi_aff_align_params(build->values,
1680 build->values = isl_multi_aff_product(build->values, embedding);
1682 space = isl_ast_build_get_space(build, 1);
1683 build->options = embed_options(build->options, space);
1685 if (!build->iterators || !build->domain || !build->generated ||
1686 !build->pending || !build->values ||
1687 !build->strides || !build->offsets || !build->options)
1688 return isl_ast_build_free(build);
1690 return build;
1692 isl_ast_build_free(build);
1697 /* Does "aff" only attain non-negative values over build->domain?
1700 int isl_ast_build_aff_is_nonneg(__isl_keep isl_ast_build *build,
1706 if (!build)
1711 test = isl_set_intersect(test, isl_set_copy(build->domain));
1720 int isl_ast_build_has_stride(__isl_keep isl_ast_build *build, int pos)
1725 if (!build)
1728 v = isl_vec_get_element_val(build->strides, pos);
1743 __isl_give isl_val *isl_ast_build_get_stride(__isl_keep isl_ast_build *build,
1746 if (!build)
1749 return isl_vec_get_element_val(build->strides, pos);
1759 __isl_keep isl_ast_build *build, int pos)
1761 if (!build)
1764 return isl_multi_aff_get_aff(build->offsets, pos);
1771 * If not, then the correponding affine expression in build->values
1776 int isl_ast_build_has_affine_value(__isl_keep isl_ast_build *build,
1782 if (!build)
1785 aff = isl_multi_aff_get_aff(build->values, pos);
1799 * We simply precompose "umap" with build->values.
1802 __isl_keep isl_ast_build *build, __isl_take isl_union_map *umap)
1806 if (!build)
1809 values = isl_multi_aff_copy(build->values);
1817 int isl_ast_build_has_value(__isl_keep isl_ast_build *build)
1819 if (!build)
1822 return build->value != NULL;
1831 __isl_keep isl_ast_build *build, __isl_take isl_basic_set *bset)
1833 if (!build)
1837 isl_multi_aff_copy(build->values));
1839 isl_set_simple_hull(isl_set_copy(build->domain)));
1853 __isl_keep isl_ast_build *build, __isl_take isl_set *set)
1855 if (!build)
1859 isl_multi_aff_copy(build->values));
1860 set = isl_set_gist(set, isl_set_copy(build->domain));
1874 __isl_keep isl_ast_build *build, __isl_take isl_map *map)
1876 if (!build)
1879 map = isl_map_gist_domain(map, isl_set_copy(build->domain));
1893 __isl_keep isl_ast_build *build, __isl_take isl_aff *aff)
1895 if (!build)
1898 aff = isl_aff_gist(aff, isl_set_copy(build->domain));
1912 __isl_keep isl_ast_build *build, __isl_take isl_pw_aff *pa)
1914 if (!build)
1917 if (!isl_set_is_params(build->domain))
1919 isl_multi_aff_copy(build->values));
1920 pa = isl_pw_aff_gist(pa, isl_set_copy(build->domain));
1934 __isl_keep isl_ast_build *build, __isl_take isl_pw_multi_aff *pma)
1936 if (!build)
1940 isl_multi_aff_copy(build->values));
1941 pma = isl_pw_multi_aff_gist(pma, isl_set_copy(build->domain));
1949 /* Extract the schedule domain of the given type from build->options
1952 * In particular, find the subset of build->options that is of
1960 * Note that the domain of build->options has been reformulated
1961 * in terms of the internal build space in embed_options,
1965 __isl_keep isl_ast_build *build,
1974 if (!build)
1978 local_pos = build->depth - build->outer_pos;
1980 space = isl_ast_build_get_space(build, 1);
1985 option = isl_union_map_extract_map(build->options, space);
1989 domain = isl_ast_build_eliminate(build, domain);
1996 * In particular, find and return the subset of build->options that is of
2003 * Note that the domain of build->options has been reformulated
2004 * in terms of the internal build space in embed_options,
2008 __isl_keep isl_ast_build *build)
2015 if (!build)
2018 local_pos = build->depth - build->outer_pos;
2019 ctx = isl_ast_build_get_ctx(build);
2024 space = isl_ast_build_get_space(build, 1);
2028 res = isl_union_map_extract_map(build->options, space);
2038 __isl_keep isl_ast_build *build, __isl_take isl_set *set)
2043 if (!build)
2047 depth = build->depth;
2062 __isl_keep isl_ast_build *build, __isl_take isl_set *set)
2066 if (!build)
2070 depth = build->depth;
2083 __isl_keep isl_ast_build *build, __isl_take isl_set *domain)
2085 domain = isl_ast_build_eliminate_inner(build, domain);
2086 domain = isl_ast_build_eliminate_divs(build, domain);
2090 /* Replace build->single_valued by "sv".
2093 __isl_take isl_ast_build *build, int sv)
2095 if (!build)
2096 return build;
2097 if (build->single_valued == sv)
2098 return build;
2099 build = isl_ast_build_cow(build);
2100 if (!build)
2101 return build;
2102 build->single_valued = sv;
2104 return build;