| /netbsd-src/external/mit/isl/dist/include/isl/ |
| H A D | val.h | 101 isl_bool isl_val_is_zero(__isl_keep isl_val *v);
103 isl_bool isl_val_is_one(__isl_keep isl_val *v);
105 isl_bool isl_val_is_negone(__isl_keep isl_val *v);
107 isl_bool isl_val_is_nonneg(__isl_keep isl_val *v);
109 isl_bool isl_val_is_nonpos(__isl_keep isl_val *v);
111 isl_bool isl_val_is_pos(__isl_keep isl_val *v);
113 isl_bool isl_val_is_neg(__isl_keep isl_val *v);
115 isl_bool isl_val_is_int(__isl_keep isl_val *v);
117 isl_bool isl_val_is_rat(__isl_keep isl_val *v);
119 isl_bool isl_val_is_nan(__isl_keep isl_val *v);
[all …]
|
| H A D | space.h | 33 isl_bool isl_space_is_params(__isl_keep isl_space *space);
34 isl_bool isl_space_is_set(__isl_keep isl_space *space);
35 isl_bool isl_space_is_map(__isl_keep isl_space *space);
43 isl_bool isl_space_has_tuple_name(__isl_keep isl_space *space,
58 isl_bool isl_space_has_domain_tuple_id(__isl_keep isl_space *space);
60 isl_bool isl_space_has_range_tuple_id(__isl_keep isl_space *space);
61 isl_bool isl_space_has_tuple_id(__isl_keep isl_space *space,
75 isl_bool isl_space_has_dim_id(__isl_keep isl_space *space,
85 isl_bool isl_space_has_dim_name(__isl_keep isl_space *space,
174 isl_bool isl_space_is_wrapping(__isl_keep isl_space *space);
[all …]
|
| H A D | map.h | 59 isl_bool isl_map_has_tuple_name(__isl_keep isl_map *map,
67 isl_bool isl_map_has_dim_name(__isl_keep isl_map *map,
82 isl_bool isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap,
84 isl_bool isl_map_has_dim_id(__isl_keep isl_map *map,
99 isl_bool isl_map_has_domain_tuple_id(__isl_keep isl_map *map);
101 isl_bool isl_map_has_range_tuple_id(__isl_keep isl_map *map);
102 isl_bool isl_map_has_tuple_id(__isl_keep isl_map *map, enum isl_dim_type type);
118 isl_bool isl_basic_map_is_rational(__isl_keep isl_basic_map *bmap);
241 isl_bool isl_basic_map_is_equal(__isl_keep isl_basic_map *bmap1,
243 isl_bool isl_basic_map_is_disjoint(__isl_keep isl_basic_map *bmap1,
[all …]
|
| H A D | polynomial.h | 25 isl_bool isl_qpolynomial_involves_dims(__isl_keep isl_qpolynomial *qp,
54 isl_bool isl_qpolynomial_plain_is_equal(__isl_keep isl_qpolynomial *qp1,
56 isl_bool isl_qpolynomial_is_zero(__isl_keep isl_qpolynomial *qp);
57 isl_bool isl_qpolynomial_is_nan(__isl_keep isl_qpolynomial *qp);
58 isl_bool isl_qpolynomial_is_infty(__isl_keep isl_qpolynomial *qp);
59 isl_bool isl_qpolynomial_is_neginfty(__isl_keep isl_qpolynomial *qp);
146 isl_bool isl_pw_qpolynomial_involves_nan(__isl_keep isl_pw_qpolynomial *pwqp);
147 isl_bool isl_pw_qpolynomial_plain_is_equal(__isl_keep isl_pw_qpolynomial *pwqp1,
161 isl_bool isl_pw_qpolynomial_is_zero(__isl_keep isl_pw_qpolynomial *pwqp);
171 isl_bool isl_pw_qpolynomial_involves_param_id(
[all …]
|
| H A D | set.h | 56 isl_bool isl_set_has_tuple_name(__isl_keep isl_set *set);
67 isl_bool isl_set_has_dim_name(__isl_keep isl_set *set,
80 isl_bool isl_set_has_dim_id(__isl_keep isl_set *set,
87 isl_bool isl_set_has_tuple_id(__isl_keep isl_set *set);
191 isl_bool isl_basic_set_is_equal(__isl_keep isl_basic_set *bset1,
193 isl_bool isl_basic_set_is_disjoint(__isl_keep isl_basic_set *bset1,
264 isl_bool isl_basic_set_plain_is_universe(__isl_keep isl_basic_set *bset);
265 isl_bool isl_basic_set_is_universe(__isl_keep isl_basic_set *bset);
266 isl_bool isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset);
268 isl_bool isl_basic_set_is_empty(__isl_keep isl_basic_set *bset);
[all …]
|
| H A D | union_map.h | 18 isl_bool isl_union_map_involves_dims(__isl_keep isl_union_map *umap,
271 isl_bool isl_union_map_plain_is_empty(__isl_keep isl_union_map *umap);
273 isl_bool isl_union_map_is_empty(__isl_keep isl_union_map *umap);
275 isl_bool isl_union_map_is_single_valued(__isl_keep isl_union_map *umap);
276 isl_bool isl_union_map_plain_is_injective(__isl_keep isl_union_map *umap);
278 isl_bool isl_union_map_is_injective(__isl_keep isl_union_map *umap);
280 isl_bool isl_union_map_is_bijective(__isl_keep isl_union_map *umap);
281 isl_bool isl_union_map_is_identity(__isl_keep isl_union_map *umap);
284 isl_bool isl_union_map_is_subset(__isl_keep isl_union_map *umap1,
287 isl_bool isl_union_map_is_equal(__isl_keep isl_union_map *umap1,
[all …]
|
| H A D | union_set.h | 115 isl_bool isl_union_set_is_params(__isl_keep isl_union_set *uset);
117 isl_bool isl_union_set_is_empty(__isl_keep isl_union_set *uset);
120 isl_bool isl_union_set_is_subset(__isl_keep isl_union_set *uset1,
123 isl_bool isl_union_set_is_equal(__isl_keep isl_union_set *uset1,
126 isl_bool isl_union_set_is_disjoint(__isl_keep isl_union_set *uset1,
129 isl_bool isl_union_set_is_strict_subset(__isl_keep isl_union_set *uset1,
139 isl_bool isl_union_set_every_set(__isl_keep isl_union_set *uset,
140 isl_bool (*test)(__isl_keep isl_set *set, void *user), void *user);
146 isl_bool isl_union_set_contains(__isl_keep isl_union_set *uset,
152 isl_bool isl_union_set_isa_set(__isl_keep isl_union_set *uset);
|
| H A D | constraint.h | 70 isl_bool isl_basic_map_has_defining_equality(
73 isl_bool isl_basic_set_has_defining_equality(
76 isl_bool isl_basic_set_has_defining_inequalities(
88 isl_bool isl_constraint_involves_dims(__isl_keep isl_constraint *constraint,
114 isl_bool isl_constraint_is_equality(__isl_keep isl_constraint *constraint);
115 isl_bool isl_constraint_is_div_constraint(
118 isl_bool isl_constraint_is_lower_bound(__isl_keep isl_constraint *constraint,
120 isl_bool isl_constraint_is_upper_bound(__isl_keep isl_constraint *constraint,
|
| H A D | schedule_node.h | 29 isl_bool isl_schedule_node_is_equal(__isl_keep isl_schedule_node *node1,
45 isl_bool (*fn)(__isl_keep isl_schedule_node *node, void *user),
48 isl_bool isl_schedule_node_every_descendant(__isl_keep isl_schedule_node *node,
49 isl_bool (*test)(__isl_keep isl_schedule_node *node, void *user),
65 isl_bool isl_schedule_node_has_parent(__isl_keep isl_schedule_node *node);
67 isl_bool isl_schedule_node_has_children(__isl_keep isl_schedule_node *node);
69 isl_bool isl_schedule_node_has_previous_sibling(
72 isl_bool isl_schedule_node_has_next_sibling(__isl_keep isl_schedule_node *node);
116 isl_bool isl_schedule_node_is_subtree_anchored(
158 isl_bool isl_schedule_node_band_member_get_coincident(
[all …]
|
| H A D | aff.h | 45 isl_bool isl_aff_involves_locals(__isl_keep isl_aff *aff);
48 isl_bool isl_aff_involves_dims(__isl_keep isl_aff *aff,
84 isl_bool isl_aff_is_cst(__isl_keep isl_aff *aff);
97 isl_bool isl_aff_plain_is_equal(__isl_keep isl_aff *aff1,
99 isl_bool isl_aff_plain_is_zero(__isl_keep isl_aff *aff);
100 isl_bool isl_aff_is_nan(__isl_keep isl_aff *aff);
251 isl_bool isl_pw_aff_has_dim_id(__isl_keep isl_pw_aff *pa,
261 isl_bool isl_pw_aff_is_empty(__isl_keep isl_pw_aff *pwaff);
262 isl_bool isl_pw_aff_involves_nan(__isl_keep isl_pw_aff *pa);
266 isl_bool isl_pw_aff_plain_is_equal(__isl_keep isl_pw_aff *pwaff1,
[all …]
|
| H A D | local_space.h | 26 isl_bool isl_local_space_is_params(__isl_keep isl_local_space *ls);
27 isl_bool isl_local_space_is_set(__isl_keep isl_local_space *ls);
35 isl_bool isl_local_space_has_dim_name(__isl_keep isl_local_space *ls,
42 isl_bool isl_local_space_has_dim_id(__isl_keep isl_local_space *ls,
79 isl_bool isl_local_space_is_equal(__isl_keep isl_local_space *ls1,
|
| /netbsd-src/external/mit/isl/dist/ |
| H A D | isl_map_private.h | 187 isl_bool isl_basic_map_may_be_set(__isl_keep isl_basic_map *bmap);
189 isl_bool isl_map_compatible_domain(__isl_keep isl_map *map,
191 isl_bool isl_basic_map_compatible_domain(__isl_keep isl_basic_map *bmap,
193 isl_bool isl_basic_map_compatible_range(__isl_keep isl_basic_map *bmap,
204 isl_bool isl_basic_set_contains(__isl_keep isl_basic_set *bset,
206 isl_bool isl_basic_map_contains(__isl_keep isl_basic_map *bmap,
257 isl_bool isl_basic_map_has_single_reference(__isl_keep isl_basic_map *bmap);
305 isl_bool isl_basic_map_plain_is_equal(__isl_keep isl_basic_map *bmap1,
395 isl_bool isl_map_is_rational(__isl_keep isl_map *map);
396 isl_bool isl_set_is_rational(__isl_keep isl_set *set);
[all …]
|
| H A D | isl_local_space_private.h | 41 isl_bool isl_local_space_involves_dims(__isl_keep isl_local_space *ls,
46 isl_bool isl_local_space_div_is_marked_unknown(__isl_keep isl_local_space *ls,
48 isl_bool isl_local_space_div_is_known(__isl_keep isl_local_space *ls, int div);
49 isl_bool isl_local_space_divs_known(__isl_keep isl_local_space *ls);
58 isl_bool isl_local_space_is_named_or_nested(__isl_keep isl_local_space *ls,
61 isl_bool isl_local_space_has_equal_space(__isl_keep isl_local_space *ls1,
69 isl_bool isl_local_space_is_div_constraint(__isl_keep isl_local_space *ls,
71 isl_bool isl_local_space_is_div_equality(__isl_keep isl_local_space *ls,
103 isl_bool isl_local_space_has_space(__isl_keep isl_local_space *ls,
|
| H A D | isl_space_private.h | 35 isl_bool isl_space_has_domain_tuples(__isl_keep isl_space *space1,
37 isl_bool isl_space_has_range_tuples(__isl_keep isl_space *space1,
41 isl_bool isl_space_is_domain_internal(__isl_keep isl_space *space1,
43 isl_bool isl_space_is_range_internal(__isl_keep isl_space *space1,
47 isl_bool isl_space_wrapped_tuple_is_equal(__isl_keep isl_space *space1,
61 isl_bool isl_space_may_be_set(__isl_keep isl_space *space);
62 isl_bool isl_space_is_named_or_nested(__isl_keep isl_space *space,
64 isl_bool isl_space_has_equal_ids(__isl_keep isl_space *space1,
66 isl_bool isl_space_has_named_params(__isl_keep isl_space *space);
|
| H A D | isl_union_map.c | 86 isl_bool isl_union_set_is_params(__isl_keep isl_union_set *uset) in isl_union_set_is_params()
89 isl_bool params; in isl_union_set_is_params()
106 isl_bool isl_union_map_is_params(__isl_keep isl_union_map *umap) in isl_union_map_is_params()
303 isl_bool equal_params; in isl_union_map_align_params()
439 isl_bool isl_union_map_space_has_equal_params(__isl_keep isl_union_map *umap, in isl_union_map_space_has_equal_params()
450 isl_bool isl_union_set_space_has_equal_params(__isl_keep isl_union_set *uset, in isl_union_set_space_has_equal_params()
458 static isl_bool has_space_tuples(const void *entry, const void *val) in has_space_tuples()
506 isl_bool aligned; in isl_union_map_add_map()
649 isl_bool (*test)(__isl_keep isl_map *map, void *user);
661 isl_bool r; in call_every()
[all …]
|
| H A D | isl_transitive_closure.c | 23 isl_bool isl_map_is_transitively_closed(__isl_keep isl_map *map) in isl_map_is_transitively_closed()
26 isl_bool closed; in isl_map_is_transitively_closed()
35 isl_bool isl_union_map_is_transitively_closed(__isl_keep isl_union_map *umap) in isl_union_map_is_transitively_closed()
38 isl_bool closed; in isl_union_map_is_transitively_closed()
118 static isl_bool check_power_exactness(__isl_take isl_map *map, in check_power_exactness()
121 isl_bool exact; in check_power_exactness()
173 static isl_bool check_exactness(__isl_take isl_map *map, in check_exactness()
177 isl_bool exact; in check_exactness()
297 static isl_bool parametric_constant_never_positive( in parametric_constant_never_positive()
306 isl_bool empty; in parametric_constant_never_positive()
[all …]
|
| H A D | isl_pw_locals_templ.c | 15 static isl_bool FN(PW,piece_no_local)(__isl_keep isl_set *set, in FN()
18 isl_bool involves; in FN()
29 isl_bool FN(PW,involves_locals)(__isl_keep PW *pw) in FN()
31 isl_bool no_locals; in FN()
|
| H A D | isl_local.c | 110 isl_bool isl_local_div_is_marked_unknown(__isl_keep isl_local *local, int pos) in isl_local_div_is_marked_unknown()
126 isl_bool isl_local_div_is_known(__isl_keep isl_local *local, int pos) in isl_local_div_is_known()
128 isl_bool marked; in isl_local_div_is_known()
147 isl_bool known; in isl_local_div_is_known()
161 isl_bool isl_local_divs_known(__isl_keep isl_local *local) in isl_local_divs_known()
171 isl_bool unknown = isl_local_div_is_marked_unknown(local, i); in isl_local_divs_known()
193 isl_bool unknown1, unknown2; in isl_local_cmp()
327 isl_bool isl_local_involves_vars(__isl_keep isl_local *local, in isl_local_involves_vars()
342 isl_bool unknown; in isl_local_involves_vars()
367 isl_bool known; in isl_local_extend_point_vec()
|
| H A D | isl_space.c | 70 isl_bool isl_space_is_set(__isl_keep isl_space *space) in isl_space_is_set()
85 isl_bool is_set; in isl_space_check_is_set()
98 isl_bool isl_space_is_map(__isl_keep isl_space *space) in isl_space_is_map()
113 isl_bool is_space; in isl_space_check_is_map()
128 isl_bool wrapping; in isl_space_check_is_wrapping()
144 isl_bool wrapping; in isl_space_check_domain_is_wrapping()
160 isl_bool wrapping; in isl_space_check_range_is_wrapping()
194 isl_bool isl_space_is_params(__isl_keep isl_space *space) in isl_space_is_params()
588 isl_bool isl_space_has_tuple_id(__isl_keep isl_space *space, in isl_space_has_tuple_id()
598 isl_bool isl_space_has_domain_tuple_id(__isl_keep isl_space *space) in isl_space_has_domain_tuple_id()
[all …]
|
| H A D | isl_val.c | 964 isl_bool isl_val_is_divisible_by(__isl_keep isl_val *v1, __isl_keep isl_val *v2) in isl_val_is_divisible_by()
1141 isl_bool isl_val_is_int(__isl_keep isl_val *v) in isl_val_is_int()
1151 isl_bool isl_val_is_rat(__isl_keep isl_val *v) in isl_val_is_rat()
1161 isl_bool isl_val_is_nan(__isl_keep isl_val *v) in isl_val_is_nan()
1171 isl_bool isl_val_is_infty(__isl_keep isl_val *v) in isl_val_is_infty()
1181 isl_bool isl_val_is_neginfty(__isl_keep isl_val *v) in isl_val_is_neginfty()
1191 isl_bool isl_val_is_zero(__isl_keep isl_val *v) in isl_val_is_zero()
1201 isl_bool isl_val_is_one(__isl_keep isl_val *v) in isl_val_is_one()
1214 isl_bool isl_val_is_negone(__isl_keep isl_val *v) in isl_val_is_negone()
1224 isl_bool isl_val_is_pos(__isl_keep isl_val *v) in isl_val_is_pos()
[all …]
|
| H A D | isl_ast_build_expr.c | 78 static isl_bool is_non_neg_after_stealing(__isl_keep isl_aff *aff, in is_non_neg_after_stealing()
83 isl_bool is_zero; in is_non_neg_after_stealing()
84 isl_bool non_neg; in is_non_neg_after_stealing()
216 isl_bool non_neg; in var_div()
275 static isl_bool ast_expr_is_zero(__isl_keep isl_ast_expr *expr) in ast_expr_is_zero()
538 static isl_bool is_even_test(struct isl_extract_mod_data *data, in is_even_test()
541 isl_bool res; in is_even_test()
587 isl_bool even; in extract_term_and_mod()
669 isl_bool mod; in extract_nonneg_mod()
750 isl_bool parallel = isl_bool_true, opposite = isl_bool_true; in check_parallel_or_opposite()
[all …]
|
| H A D | isl_local.h | 12 isl_bool isl_local_div_is_marked_unknown(__isl_keep isl_local *local, int pos);
13 isl_bool isl_local_div_is_known(__isl_keep isl_local *local, int pos);
14 isl_bool isl_local_divs_known(__isl_keep isl_local *local);
27 isl_bool isl_local_involves_vars(__isl_keep isl_local *local,
|
| H A D | isl_multi_param_templ.c | 12 isl_bool FN(MULTI(BASE),involves_param_id)(__isl_keep MULTI(BASE) *multi, in FN()
27 isl_bool involved = FN(EL,involves_param_id)(multi->u.p[i], id); in FN()
38 isl_bool FN(MULTI(BASE),involves_param_id_list)(__isl_keep MULTI(BASE) *multi, in FN()
48 isl_bool involves; in FN()
|
| H A D | isl_union_multi.c | 164 static isl_bool FN(UNION,has_space_tuples)(const void *entry, const void *val) in FN()
229 static isl_bool FN(UNION,group_has_same_domain_space_tuples)(const void *entry, in FN()
326 static isl_bool FN(UNION,disjoint_domain)(__isl_keep PART *part1, in FN()
330 isl_bool disjoint; in FN()
350 isl_bool equal; in FN()
351 isl_bool disjoint; in FN()
408 isl_bool disjoint; in FN()
466 isl_bool FN(UNION,plain_is_empty)(__isl_take UNION *u) in FN()
479 isl_bool *single = user; in FN()
492 isl_bool FN(FN(UNION,isa),BASE)(__isl_take UNION *u) in FN()
[all …]
|
| H A D | isl_map_subtract.c | 315 isl_bool empty; in basic_map_collect_diff()
600 isl_bool ok; in isl_map_subtract_domain()
625 isl_bool ok; in isl_map_subtract_range()
650 isl_bool empty;
670 static isl_bool basic_map_diff_is_empty(__isl_keep isl_basic_map *bmap, in basic_map_diff_is_empty()
673 isl_bool empty; in basic_map_diff_is_empty()
694 static isl_bool map_diff_is_empty(__isl_keep isl_map *map1, in map_diff_is_empty()
698 isl_bool is_empty = isl_bool_true; in map_diff_is_empty()
714 isl_bool isl_basic_map_plain_is_singleton(__isl_keep isl_basic_map *bmap) in isl_basic_map_plain_is_singleton()
732 isl_bool isl_map_plain_is_singleton(__isl_keep isl_map *map) in isl_map_plain_is_singleton()
[all …]
|