| /src/external/mit/isl/dist/ |
| isl_pw_pullback_templ.c | 74 /* Compute the pullback of "pw" by the function represented by "pma".
75 * In other words, plug in "pma" in "pw".
78 __isl_take isl_pw_multi_aff *pma)
83 if (!pma)
86 if (pma->n == 0) {
88 space = isl_space_join(isl_pw_multi_aff_get_space(pma),
90 isl_pw_multi_aff_free(pma);
97 isl_multi_aff_copy(pma->p[0].maff));
98 res = FN(PW,intersect_domain)(res, isl_set_copy(pma->p[0].set));
100 for (i = 1; i < pma->n; ++i)
[all...] |
| isl_aff_map.c | 356 * If "pma" lives in a set space, then the result is actually a set.
358 * If the domain of "pma" is rational, then so is the constructed "map".
361 __isl_take isl_pw_multi_aff *pma)
366 if (!pma)
369 map = isl_map_empty(isl_pw_multi_aff_get_space(pma));
371 for (i = 0; i < pma->n; ++i) {
377 rational = isl_set_is_rational(pma->p[i].set);
380 maff = isl_multi_aff_copy(pma->p[i].maff);
384 isl_set_copy(pma->p[i].set));
388 isl_pw_multi_aff_free(pma);
[all...] |
| isl_aff.c | 4730 /* Generic function for extracting a factor from a product "pma".
4736 __isl_take isl_pw_multi_aff *pma,
4737 isl_stat (*check_space)(__isl_keep isl_pw_multi_aff *pma),
4745 if (check_space(pma) < 0)
4746 return isl_pw_multi_aff_free(pma);
4748 space = isl_pw_multi_aff_take_space(pma);
4751 for (i = 0; pma && i < pma->n; ++i) {
4754 ma = isl_pw_multi_aff_take_base_at(pma, i);
4756 pma = isl_pw_multi_aff_restore_base_at(pma, i, ma)
5177 isl_pw_multi_aff *pma; local
5292 isl_pw_multi_aff *pma; local
5518 isl_pw_multi_aff *pma, *id; local
5724 isl_pw_multi_aff *pma; local
5739 isl_pw_multi_aff *pma; local
6408 isl_pw_multi_aff *pma; local
6448 isl_pw_multi_aff *pma; member in struct:isl_union_pw_multi_aff_bin_data
7021 isl_pw_multi_aff *pma; local
7075 isl_pw_multi_aff *pma; local
7926 isl_pw_multi_aff *pma; local
8507 isl_pw_multi_aff *pma; local
9060 isl_pw_multi_aff *pma; local
[all...] |
| isl_aff_private.h | 163 __isl_keep isl_pw_multi_aff *pma, int pos);
166 __isl_take isl_pw_multi_aff *pma,
178 __isl_take isl_pw_multi_aff *pma,
189 __isl_take isl_pw_multi_aff *pma, unsigned pos,
200 isl_stat isl_pw_multi_aff_check_named_params(__isl_keep isl_pw_multi_aff *pma);
|
| pip.c | 341 isl_pw_multi_aff *pma = NULL; local
392 pma = isl_basic_set_partial_lexmax_pw_multi_aff(bset,
395 pma = isl_basic_set_partial_lexmin_pw_multi_aff(bset,
409 set = isl_set_from_pw_multi_aff(pma);
416 p = isl_printer_print_pw_multi_aff(p, pma);
425 isl_pw_multi_aff_free(pma);
|
| isl_union_map.c | 2415 isl_pw_multi_aff *pma; local
2418 pma = isl_pw_multi_aff_alloc(isl_map_wrap(map), ma);
2419 *res = isl_union_pw_multi_aff_add_pw_multi_aff(*res, pma);
2505 isl_pw_multi_aff *pma; local
2508 pma = isl_pw_multi_aff_identity(space);
2509 pma = isl_pw_multi_aff_intersect_domain(pma, set);
2510 *res = isl_union_pw_multi_aff_add_pw_multi_aff(*res, pma);
3597 * "pma" is the function under which the preimage should be taken.
3598 * "space" is the space of "pma"
3605 isl_pw_multi_aff *pma; member in struct:isl_union_map_preimage_data
[all...] |
| isl_test.c | 190 isl_pw_multi_aff *pma; local
193 pma = isl_pw_multi_aff_from_map(map);
194 if (check_reparse_pw_multi_aff(ctx, pma) < 0)
243 isl_pw_multi_aff *pma; local
266 pma = isl_pw_multi_aff_from_map(map);
267 mpa = isl_multi_pw_aff_from_pw_multi_aff(pma);
3092 isl_pw_multi_aff *pma; local
3140 pma = isl_basic_map_lexmin_pw_multi_aff(isl_basic_map_copy(bmap));
3141 map2 = isl_map_from_pw_multi_aff(pma);
3150 pma = isl_set_lexmin_pw_multi_aff(isl_set_copy(set))
3170 const char *pma; member in struct:__anon23699
3186 isl_pw_multi_aff *pma; local
3278 isl_pw_multi_aff *pma; local
6756 isl_pw_multi_aff *pma; local
7164 const char *pma; member in struct:__anon23729
7196 isl_pw_multi_aff *pma; local
7221 const char *pma; member in struct:__anon23730
7253 isl_pw_multi_aff *pma; local
8002 isl_pw_multi_aff *pma; local
9222 isl_pw_multi_aff *pma; local
9262 isl_pw_multi_aff *pma; local
[all...] |
| isl_tab_pip.c | 5691 isl_pw_multi_aff *pma; member in struct:isl_sol_pma
5698 isl_pw_multi_aff_free(sol_pma->pma);
5732 isl_pw_multi_aff *pma; local
5736 pma = isl_pw_multi_aff_alloc(isl_set_from_basic_set(dom), maff);
5737 sol->pma = isl_pw_multi_aff_add_disjoint(sol->pma, pma);
5738 if (!sol->pma)
5780 sol_pma->pma = isl_pw_multi_aff_empty(space);
5781 if (!sol_pma->pma)
5954 isl_pw_multi_aff *pma; local
[all...] |
| isl_ast_build.c | 780 isl_pw_multi_aff *pma; local
798 pma = isl_pw_multi_aff_from_map(it_map);
799 build->value = isl_pw_multi_aff_get_pw_aff(pma, 0);
802 isl_pw_multi_aff_free(pma);
2170 * The domain of "pma" is assumed to live in the (internal) schedule domain.
2173 __isl_keep isl_ast_build *build, __isl_take isl_pw_multi_aff *pma)
2178 pma = isl_pw_multi_aff_pullback_multi_aff(pma,
2180 pma = isl_pw_multi_aff_gist(pma, isl_set_copy(build->domain))
[all...] |
| isl_output.c | 3024 /* Print the unnamed, single-dimensional piecewise multi affine expression "pma"
3028 __isl_take isl_printer *p, __isl_keep isl_pw_multi_aff *pma)
3033 space = isl_pw_multi_aff_get_domain_space(pma);
3034 for (i = 0; i < pma->n - 1; ++i) {
3036 p = print_set_c(p, space, pma->p[i].set);
3038 p = print_aff_c(p, pma->p[i].maff->u.p[0]);
3043 return print_aff_c(p, pma->p[pma->n - 1].maff->u.p[0]);
3047 __isl_keep isl_pw_multi_aff *pma)
3052 if (!pma)
[all...] |
| isl_ast_build_expr.c | 2624 * the element specified by "pma".
2628 * The domain of "pma" is assumed to live in the internal schedule domain.
2632 __isl_take isl_pw_multi_aff *pma)
2636 mpa = isl_multi_pw_aff_from_pw_multi_aff(pma);
2711 * the element specified by "pma".
2715 * The domain of "pma" is assumed to live in the external schedule domain.
2719 __isl_take isl_pw_multi_aff *pma)
2723 mpa = isl_multi_pw_aff_from_pw_multi_aff(pma);
2727 /* Construct an isl_ast_expr that calls the domain element specified by "pma".
2731 * The domain of "pma" is assumed to live in the external schedule domain
[all...] |
| isl_ast_build_private.h | 288 __isl_keep isl_ast_build *build, __isl_take isl_pw_multi_aff *pma);
|
| isl_map.c | 7388 isl_pw_multi_aff *pma; local
7409 pma = isl_map_partial_lexopt_aligned_pw_multi_aff(map, dom, empty,
7411 return isl_map_from_pw_multi_aff_internal(pma);
7495 isl_pw_multi_aff *pma; local
7499 pma = isl_basic_map_lexopt_pw_multi_aff(bmap, max ? ISL_OPT_MAX : 0);
7500 pwaff = isl_pw_multi_aff_get_pw_aff(pma, 0);
7501 isl_pw_multi_aff_free(pma);
14119 /* Compute the preimage of "map" under the function represented by "pma".
14120 * In other words, plug in "pma" in the domain or range of "map".
14123 * the domain space of "pma"
14266 isl_pw_multi_aff *pma; local
[all...] |
| isl_ast_codegen.c | 487 isl_pw_multi_aff *pma; local
496 pma = isl_map_lexmax_pw_multi_aff(it_map);
498 pma = isl_map_lexmin_pw_multi_aff(it_map);
499 pa = isl_pw_multi_aff_get_pw_aff(pma, 0);
500 isl_pw_multi_aff_free(pma);
867 isl_pw_multi_aff *pma; local
879 pma = isl_pw_multi_aff_identity(space);
889 pma_i = isl_pw_multi_aff_copy(pma);
897 isl_pw_multi_aff_free(pma);
2408 isl_pw_multi_aff *pma; local
[all...] |
| isl_scheduler.c | 846 isl_pw_multi_aff *decompress, *pma; local
851 pma = isl_pw_multi_aff_from_map(map);
852 domain = isl_pw_multi_aff_domain(isl_pw_multi_aff_copy(pma));
853 pma = isl_pw_multi_aff_gist(pma, domain);
854 space = isl_pw_multi_aff_get_domain_space(pma);
857 isl_multi_pw_aff_from_pw_multi_aff(pma));
865 pma = isl_pw_multi_aff_pullback_multi_aff(
867 hull = isl_map_range(isl_map_from_pw_multi_aff(pma));
|
| /src/external/mit/isl/dist/include/isl/ |
| aff.h | 255 __isl_give isl_pw_aff *isl_pw_aff_set_dim_id(__isl_take isl_pw_aff *pma,
410 __isl_take isl_pw_aff *pa, __isl_take isl_pw_multi_aff *pma);
643 __isl_keep isl_pw_multi_aff *pma);
645 __isl_take isl_pw_multi_aff *pma);
647 isl_size isl_pw_multi_aff_dim(__isl_keep isl_pw_multi_aff *pma,
650 isl_bool isl_pw_multi_aff_involves_locals(__isl_keep isl_pw_multi_aff *pma);
651 isl_bool isl_pw_multi_aff_involves_param_id(__isl_keep isl_pw_multi_aff *pma,
653 isl_bool isl_pw_multi_aff_involves_dims(__isl_keep isl_pw_multi_aff *pma,
657 __isl_keep isl_pw_multi_aff *pma, int pos);
659 __isl_keep isl_pw_multi_aff *pma, int pos)
[all...] |
| ilp.h | 40 __isl_take isl_pw_multi_aff *pma);
43 __isl_take isl_pw_multi_aff *pma);
|
| ast_build.h | 107 __isl_keep isl_ast_build *build, __isl_take isl_pw_multi_aff *pma);
113 __isl_keep isl_ast_build *build, __isl_take isl_pw_multi_aff *pma);
|
| union_map.h | 212 __isl_take isl_union_map *umap, __isl_take isl_pw_multi_aff *pma);
215 __isl_take isl_union_map *umap, __isl_take isl_pw_multi_aff *pma);
|
| union_set.h | 97 __isl_take isl_union_set *uset, __isl_take isl_pw_multi_aff *pma);
|
| cpp-checked.h | 447 inline isl::checked::pw_aff pullback(const isl::checked::pw_multi_aff &pma) const;
580 inline isl::checked::ast_expr access_from(isl::checked::pw_multi_aff pma) const;
582 inline isl::checked::ast_expr call_from(isl::checked::pw_multi_aff pma) const;
1535 inline isl::checked::map preimage_domain(const isl::checked::pw_multi_aff &pma) const;
1538 inline isl::checked::map preimage_range(const isl::checked::pw_multi_aff &pma) const;
1678 inline isl::checked::set preimage(const isl::checked::pw_multi_aff &pma) const;
2054 inline isl::checked::map preimage_domain(isl::checked::pw_multi_aff pma) const;
2057 inline isl::checked::map preimage_range(isl::checked::pw_multi_aff pma) const;
2372 inline /* implicit */ multi_pw_aff(isl::checked::pw_multi_aff pma);
2444 inline isl::checked::multi_pw_aff pullback(isl::checked::pw_multi_aff pma) const
[all...] |
| cpp.h | 512 inline isl::pw_aff pullback(const isl::pw_multi_aff &pma) const;
646 inline isl::ast_expr access_from(isl::pw_multi_aff pma) const;
648 inline isl::ast_expr call_from(isl::pw_multi_aff pma) const;
1601 inline isl::map preimage_domain(const isl::pw_multi_aff &pma) const;
1604 inline isl::map preimage_range(const isl::pw_multi_aff &pma) const;
1744 inline isl::set preimage(const isl::pw_multi_aff &pma) const;
2120 inline isl::map preimage_domain(isl::pw_multi_aff pma) const;
2123 inline isl::map preimage_range(isl::pw_multi_aff pma) const;
2438 inline /* implicit */ multi_pw_aff(isl::pw_multi_aff pma);
2510 inline isl::multi_pw_aff pullback(isl::pw_multi_aff pma) const
[all...] |
| typed_cpp.h | 284 inline typed::pw_aff<Anonymous> pullback(const typed::pw_multi_aff<> &pma) const = delete;
501 inline typed::pw_aff<Domain2, Anonymous> pullback(const typed::pw_multi_aff<Domain2, Domain> &pma) const;
502 inline typed::pw_aff<Anonymous> pullback(const typed::pw_multi_aff<Domain> &pma) const;
730 inline typed::pw_aff<Arg1, Anonymous> pullback(const typed::pw_multi_aff<Arg1, pair<Domain2, Range2>> &pma) const;
731 inline typed::pw_aff<Anonymous> pullback(const typed::pw_multi_aff<pair<Domain2, Range2>> &pma) const;
1123 inline typed::map<Domain2, Range> preimage_domain(const typed::pw_multi_aff<Domain2, Domain> &pma) const;
1129 inline typed::map<Domain, Range2> preimage_range(const typed::pw_multi_aff<Range2, Range> &pma) const;
1338 inline typed::map<Domain2, Range2> preimage_domain(const typed::pw_multi_aff<Domain2, pair<Domain, Range>> &pma) const;
1344 inline typed::map<pair<Domain, Range>, Arg3> preimage_range(const typed::pw_multi_aff<Arg3, Range2> &pma) const;
1555 inline typed::map<Domain2, Domain> preimage_domain(const typed::pw_multi_aff<Domain2, Domain> &pma) const
[all...] |
| /src/external/gpl3/gcc/dist/gcc/ |
| graphite-sese-to-poly.cc | 1000 isl_pw_multi_aff *pma local
1003 data->res = isl_union_pw_multi_aff_add_pw_multi_aff (data->res, pma);
|
| /src/external/gpl3/gcc.old/dist/gcc/ |
| graphite-sese-to-poly.cc | 998 isl_pw_multi_aff *pma local
1001 data->res = isl_union_pw_multi_aff_add_pw_multi_aff (data->res, pma);
|
