| /src/external/mit/isl/dist/ |
| isl_multi_pw_aff_explicit_domain.c | 9 /* Initialize the explicit domain of "mpa".
15 __isl_take isl_multi_pw_aff *mpa)
17 if (isl_multi_pw_aff_check_has_explicit_domain(mpa) < 0)
18 return isl_multi_pw_aff_free(mpa);
19 mpa->u.dom = isl_set_universe(isl_multi_pw_aff_get_domain_space(mpa));
20 if (!mpa->u.dom)
21 return isl_multi_pw_aff_free(mpa);
22 return mpa;
57 /* Check whether the explicit domain of "mpa" has non-zero coefficient
[all...] |
| isl_multi_pw_aff_pullback_templ.c | 27 /* Compute the pullback of "mpa" by the function represented by "fn".
28 * In other words, plug in "fn" in "mpa".
30 * If "mpa" has an explicit domain, then it is this domain
34 __isl_take isl_multi_pw_aff *mpa, __isl_take TYPE *fn)
40 FN(isl_multi_pw_aff_align_params,BASE)(&mpa, &fn);
41 mpa = isl_multi_pw_aff_cow(mpa);
42 n = isl_multi_pw_aff_size(mpa);
47 isl_multi_pw_aff_get_space(mpa));
52 pa = isl_multi_pw_aff_take_at(mpa, i)
[all...] |
| 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_aff_map.c | 427 * of the piecewise affine expressions to the range of "mpa"
431 * If "mpa" has an explicit domain (i.e., it is zero-dimensional),
435 __isl_take isl_multi_pw_aff *mpa)
442 dim = isl_multi_pw_aff_dim(mpa, isl_dim_out);
446 if (isl_space_dim(mpa->space, isl_dim_out) != mpa->n)
447 isl_die(isl_multi_pw_aff_get_ctx(mpa), isl_error_internal,
450 space = isl_multi_pw_aff_get_domain_space(mpa);
453 for (i = 0; i < mpa->n; ++i) {
457 pa = isl_pw_aff_copy(mpa->u.p[i])
[all...] |
| isl_aff_lex_templ.c | 48 * have "mpa" values that lexicographically compare as "ORDER".
51 __isl_take isl_map *map, __isl_take isl_multi_pw_aff *mpa)
53 return isl_map_order_at_multi_pw_aff(map, mpa,
|
| 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_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...] |
| 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_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_aff_private.h | 220 __isl_take isl_map *map, __isl_keep isl_multi_pw_aff *mpa);
|
| 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_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...] |
| /src/sys/arch/xen/include/ |
| xenpmap.h | 83 xpmap_mtop_masked(paddr_t mpa)
86 (paddr_t)machine_to_phys_mapping[mpa >> PAGE_SHIFT] << PAGE_SHIFT);
90 xpmap_mtop(paddr_t mpa)
92 return (xpmap_mtop_masked(mpa) | (mpa & ~PTE_4KFRAME));
110 xpmap_ptom_map(paddr_t ppa, paddr_t mpa)
112 xpmap_phys_to_machine_mapping[ppa >> PAGE_SHIFT] = mpa >> PAGE_SHIFT;
|
| /src/external/mit/isl/dist/include/isl/ |
| ilp.h | 46 __isl_take isl_multi_pw_aff *mpa);
49 __isl_take isl_multi_pw_aff *mpa);
|
| aff.h | 413 __isl_take isl_pw_aff *pa, __isl_take isl_multi_pw_aff *mpa);
1125 uint32_t isl_multi_pw_aff_get_hash(__isl_keep isl_multi_pw_aff *mpa);
1139 __isl_give isl_set *isl_multi_pw_aff_domain(__isl_take isl_multi_pw_aff *mpa);
1142 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
1145 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *domain);
1149 __isl_take isl_multi_pw_aff *mpa);
1152 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
1155 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_set *set);
1157 isl_bool isl_multi_pw_aff_is_cst(__isl_keep isl_multi_pw_aff *mpa);
1163 __isl_take isl_multi_pw_aff *mpa, __isl_take isl_multi_aff *ma)
[all...] |
| ast_build.h | 110 __isl_keep isl_ast_build *build, __isl_take isl_multi_pw_aff *mpa);
116 __isl_keep isl_ast_build *build, __isl_take isl_multi_pw_aff *mpa);
|
| map.h | 386 __isl_take isl_map *map, __isl_take isl_multi_pw_aff *mpa);
745 __isl_take isl_multi_pw_aff *mpa);
748 __isl_take isl_multi_pw_aff *mpa);
751 __isl_take isl_multi_pw_aff *mpa);
754 __isl_take isl_multi_pw_aff *mpa);
757 __isl_take isl_multi_pw_aff *mpa);
|
| multi.h | 143 __isl_take isl_multi_##BASE *mpa, __isl_take isl_val *v); \
146 __isl_take isl_multi_##BASE *mpa, __isl_take isl_multi_val *mv);
|
| cpp-checked.h | 446 inline isl::checked::pw_aff pullback(const isl::checked::multi_pw_aff &mpa) const;
579 inline isl::checked::ast_expr access_from(isl::checked::multi_pw_aff mpa) const;
581 inline isl::checked::ast_expr call_from(isl::checked::multi_pw_aff mpa) const;
1455 inline isl::checked::map eq_at(const isl::checked::multi_pw_aff &mpa) const;
1518 inline isl::checked::map lex_ge_at(const isl::checked::multi_pw_aff &mpa) const;
1519 inline isl::checked::map lex_gt_at(const isl::checked::multi_pw_aff &mpa) const;
1520 inline isl::checked::map lex_le_at(const isl::checked::multi_pw_aff &mpa) const;
1521 inline isl::checked::map lex_lt_at(const isl::checked::multi_pw_aff &mpa) const;
1534 inline isl::checked::map preimage_domain(const isl::checked::multi_pw_aff &mpa) const;
1677 inline isl::checked::set preimage(const isl::checked::multi_pw_aff &mpa) const
[all...] |
| typed_cpp.h | 283 inline typed::pw_aff<Anonymous> pullback(const typed::multi_pw_aff<> &mpa) const = delete;
498 inline typed::pw_aff<Domain2, Anonymous> pullback(const typed::multi_pw_aff<Domain2, Domain> &mpa) const;
499 inline typed::pw_aff<Anonymous> pullback(const typed::multi_pw_aff<Domain> &mpa) const;
727 inline typed::pw_aff<Arg1, Anonymous> pullback(const typed::multi_pw_aff<Arg1, pair<Domain2, Range2>> &mpa) const;
728 inline typed::pw_aff<Anonymous> pullback(const typed::multi_pw_aff<pair<Domain2, Range2>> &mpa) const;
1073 inline typed::map<Domain, Range> eq_at(const typed::multi_pw_aff<> &mpa) const = delete;
1105 inline typed::map<Domain, Range> lex_ge_at(const typed::multi_pw_aff<> &mpa) const = delete;
1106 inline typed::map<Domain, Range> lex_gt_at(const typed::multi_pw_aff<> &mpa) const = delete;
1107 inline typed::map<Domain, Range> lex_le_at(const typed::multi_pw_aff<> &mpa) const = delete;
1108 inline typed::map<Domain, Range> lex_lt_at(const typed::multi_pw_aff<> &mpa) const = delete
[all...] |
| cpp.h | 511 inline isl::pw_aff pullback(const isl::multi_pw_aff &mpa) const;
645 inline isl::ast_expr access_from(isl::multi_pw_aff mpa) const;
647 inline isl::ast_expr call_from(isl::multi_pw_aff mpa) const;
1521 inline isl::map eq_at(const isl::multi_pw_aff &mpa) const;
1584 inline isl::map lex_ge_at(const isl::multi_pw_aff &mpa) const;
1585 inline isl::map lex_gt_at(const isl::multi_pw_aff &mpa) const;
1586 inline isl::map lex_le_at(const isl::multi_pw_aff &mpa) const;
1587 inline isl::map lex_lt_at(const isl::multi_pw_aff &mpa) const;
1600 inline isl::map preimage_domain(const isl::multi_pw_aff &mpa) const;
1743 inline isl::set preimage(const isl::multi_pw_aff &mpa) const
[all...] |
| union_map.h | 218 __isl_take isl_union_map *umap, __isl_take isl_multi_pw_aff *mpa);
|
| set.h | 356 __isl_take isl_multi_pw_aff *mpa);
|
| /src/sys/arch/hppa/stand/xxboot/ |
| Makefile | 18 COPTS+= -Os -fno-delete-null-pointer-checks -funsigned-char -mdisable-fpregs -mpa-risc-1-0
|
