| /src/external/mit/isl/dist/ |
| isl_opt_mpa_templ.c | 30 isl_multi_pw_aff *mpa; local
32 mpa = isl_multi_pw_aff_alloc(FN(TYPE,get_space)(obj));
33 n = isl_multi_pw_aff_size(mpa);
35 mpa = isl_multi_pw_aff_free(mpa);
40 mpa = isl_multi_pw_aff_set_pw_aff(mpa, i, pa);
42 if (isl_multi_pw_aff_has_explicit_domain(mpa)) {
46 mpa = isl_multi_pw_aff_intersect_domain(mpa, dom)
[all...] |
| isl_ast_build_expr.c | 2486 /* Set the ids of the input dimensions of "mpa" to the iterator ids
2489 * The domain of "mpa" is assumed to live in the internal schedule domain.
2492 __isl_keep isl_ast_build *build, __isl_take isl_multi_pw_aff *mpa)
2497 n = isl_multi_pw_aff_dim(mpa, isl_dim_in);
2499 return isl_multi_pw_aff_free(mpa);
2504 mpa = isl_multi_pw_aff_set_dim_id(mpa, isl_dim_in, i, id);
2507 return mpa;
2511 * the remaining arguments derived from "mpa".
2513 * with arguments/indices specified by "mpa"
2634 isl_multi_pw_aff *mpa; local
2721 isl_multi_pw_aff *mpa; local
[all...] |
| isl_input.c | 3672 /* Set entry "pos" of "mpa" to the corresponding entry in "tuple",
3680 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_pw_aff *tuple_el,
3686 space = isl_multi_pw_aff_get_domain_space(mpa);
3688 return isl_multi_pw_aff_set_pw_aff(mpa, pos, pa);
3722 isl_multi_pw_aff *mpa; local
3738 mpa = isl_multi_pw_aff_from_tuple(isl_set_get_space(dom), tuple);
3739 if (!mpa)
3747 mpa = isl_multi_pw_aff_intersect_domain(mpa, dom);
3749 return mpa;
3765 isl_multi_pw_aff *mpa; local
[all...] |
| isl_output.c | 3133 isl_multi_pw_aff *mpa = data->user; local
3141 space = isl_multi_pw_aff_get_domain_space(mpa);
3147 pa = mpa->u.p[pos];
3154 space = isl_multi_pw_aff_get_domain_space(mpa);
3169 /* Print "mpa" to "p" in isl format.
3171 * If "mpa" is zero-dimensional and has a non-trivial explicit domain,
3175 __isl_keep isl_multi_pw_aff *mpa)
3180 if (!mpa)
3183 p = print_param_tuple(p, mpa->space, &data);
3186 data.user = mpa;
[all...] |
| isl_scheduler.c | 847 isl_multi_pw_aff *mpa; local
855 mpa = isl_multi_pw_aff_identity(isl_space_map_from_set(space));
856 mpa = isl_multi_pw_aff_range_splice(mpa, pos,
858 decompress = isl_pw_multi_aff_from_multi_pw_aff(mpa);
3808 isl_multi_pw_aff *mpa; local
3825 mpa = isl_multi_pw_aff_from_multi_aff(ma);
3826 mupa = isl_multi_union_pw_aff_from_multi_pw_aff(mpa);
3833 mpa = isl_multi_pw_aff_from_multi_aff(ma);
3834 mupa_i = isl_multi_union_pw_aff_from_multi_pw_aff(mpa);
4768 isl_multi_pw_aff *mpa; local
[all...] |
| isl_union_map.c | 3772 * "mpa" is the function under which the preimage should be taken.
3773 * "space" is the space of "mpa".
3780 isl_multi_pw_aff *mpa; member in struct:isl_union_map_preimage_mpa_data
3784 __isl_take isl_multi_pw_aff *mpa);
3788 * under the function represented by data->mpa, provided the domain/range
3789 * space of *entry matches the target space of data->mpa
3806 map = data->fn(map, isl_multi_pw_aff_copy(data->mpa));
3820 * represented by "mpa".
3821 * In other words, plug in "mpa" in the domain or range of "umap".
3826 __isl_take isl_union_map *umap, __isl_take isl_multi_pw_aff *mpa,
[all...] |
| isl_aff.c | 6784 /* Is every element of "mpa" defined over a single universe domain?
6786 isl_bool isl_multi_pw_aff_isa_multi_aff(__isl_keep isl_multi_pw_aff *mpa)
6788 return isl_multi_pw_aff_every(mpa, &isl_pw_aff_isa_aff);
6791 /* Given that every element of "mpa" is defined over a single universe domain,
6795 __isl_take isl_multi_pw_aff *mpa)
6801 n = isl_multi_pw_aff_size(mpa);
6803 mpa = isl_multi_pw_aff_free(mpa);
6804 ma = isl_multi_aff_alloc(isl_multi_pw_aff_get_space(mpa));
6808 aff = isl_pw_aff_as_aff(isl_multi_pw_aff_get_at(mpa, i))
7117 isl_multi_pw_aff *mpa; local
7160 isl_multi_pw_aff *mpa; local
8792 isl_multi_pw_aff *mpa; local
9921 isl_multi_pw_aff *mpa; local
[all...] |
| isl_test.c | 244 isl_multi_pw_aff *mpa; local
249 mpa = isl_multi_pw_aff_zero(space);
250 r = check_reparse_multi_pw_aff(ctx, mpa);
259 mpa = isl_multi_pw_aff_zero(space);
260 mpa = isl_multi_pw_aff_intersect_domain(mpa, dom);
261 r = check_reparse_multi_pw_aff(ctx, mpa);
267 mpa = isl_multi_pw_aff_from_pw_multi_aff(pma);
268 if (check_reparse_multi_pw_aff(ctx, mpa) < 0)
3277 isl_multi_pw_aff *mpa; local
5974 isl_multi_pw_aff *mpa, *res; local
8751 isl_multi_pw_aff *mpa, *mpa2; local
9302 isl_multi_pw_aff *mpa; local
10106 isl_multi_pw_aff *mpa, *mpa1, *mpa2; local
[all...] |
