Home
last modified time | relevance | path

Searched refs:isl_basic_map (Results 1 – 25 of 49) sorted by relevance

12

/external/llvm-project/polly/lib/External/isl/
Disl_map_private.h13 #define isl_basic_set isl_basic_map
36 struct isl_basic_map { struct
103 isl_basic_map *cached_simple_hull[2];
112 struct isl_basic_map *p[1];
131 __isl_give isl_basic_map *isl_basic_map_alloc(isl_ctx *ctx,
134 __isl_give isl_basic_map *isl_basic_map_mark_final(
135 __isl_take isl_basic_map *bmap);
136 __isl_give isl_basic_map *isl_basic_map_finalize(
137 __isl_take isl_basic_map *bmap);
138 __isl_give isl_basic_map *isl_basic_map_extend_constraints(
[all …]
Disl_map_simplify.c31 static void swap_equality(__isl_keep isl_basic_map *bmap, int a, int b) in swap_equality()
38 static void swap_inequality(__isl_keep isl_basic_map *bmap, int a, int b) in swap_inequality()
47 __isl_give isl_basic_map *isl_basic_map_normalize_constraints( in isl_basic_map_normalize_constraints()
48 __isl_take isl_basic_map *bmap) in isl_basic_map_normalize_constraints()
110 isl_basic_map *bmap = bset_to_bmap(bset); in isl_basic_set_normalize_constraints()
134 static __isl_give isl_basic_map *reduce_coefficient_in_div( in reduce_coefficient_in_div()
135 __isl_take isl_basic_map *bmap, int div, int pos) in reduce_coefficient_in_div()
160 static isl_bool needs_reduction(__isl_keep isl_basic_map *bmap, int div, in needs_reduction()
182 static __isl_give isl_basic_map *reduce_div_coefficients_of_div( in reduce_div_coefficients_of_div()
183 __isl_take isl_basic_map *bmap, int div) in reduce_div_coefficients_of_div()
[all …]
Disl_map.c60 static __isl_keep const isl_basic_map *const_bset_to_bmap( in const_bset_to_bmap()
63 return (const isl_basic_map *) bset; in const_bset_to_bmap()
67 #define TYPE isl_basic_map
80 isl_size isl_basic_map_dim(__isl_keep isl_basic_map *bmap, in isl_basic_map_dim()
123 isl_size isl_basic_map_var_offset(__isl_keep isl_basic_map *bmap, in isl_basic_map_var_offset()
156 unsigned isl_basic_map_offset(__isl_keep isl_basic_map *bmap, in isl_basic_map_offset()
211 isl_size isl_basic_map_total_dim(__isl_keep const isl_basic_map *bmap) in isl_basic_map_total_dim()
226 isl_size isl_basic_map_n_equality(__isl_keep isl_basic_map *bmap) in isl_basic_map_n_equality()
244 isl_size isl_basic_map_n_inequality(__isl_keep isl_basic_map *bmap) in isl_basic_map_n_inequality()
261 static isl_bool isl_basic_map_has_equal_params(__isl_keep isl_basic_map *bmap1, in isl_basic_map_has_equal_params()
[all …]
Disl_aff_map.c64 static __isl_give isl_basic_map *isl_basic_map_from_aff2( in isl_basic_map_from_aff2()
71 isl_basic_map *bmap = NULL; in isl_basic_map_from_aff2()
110 __isl_give isl_basic_map *isl_basic_map_from_aff(__isl_take isl_aff *aff) in isl_basic_map_from_aff()
120 isl_basic_map *bmap; in isl_map_from_aff()
131 __isl_give isl_basic_map *isl_basic_map_from_multi_aff2( in isl_basic_map_from_multi_aff2()
137 isl_basic_map *bmap; in isl_basic_map_from_multi_aff2()
154 isl_basic_map *bmap_i; in isl_basic_map_from_multi_aff2()
176 static __isl_give isl_basic_map *basic_map_from_multi_aff( in basic_map_from_multi_aff()
186 __isl_give isl_basic_map *isl_basic_map_from_multi_aff( in isl_basic_map_from_multi_aff()
214 isl_basic_map *bmap; in isl_map_from_multi_aff_internal()
[all …]
Disl_dim_map.h23 __isl_keep isl_basic_map *bmap, unsigned dst_pos);
27 __isl_give isl_basic_map *isl_basic_map_add_constraints_dim_map(
28 __isl_take isl_basic_map *dst, __isl_take isl_basic_map *src,
32 __isl_keep isl_basic_map *bmap);
Disl_tab.h159 struct isl_basic_map *bmap;
190 __isl_keep isl_basic_map *bmap, int track);
196 __isl_give isl_basic_map *isl_basic_map_update_from_tab(
197 __isl_take isl_basic_map *bmap, struct isl_tab *tab);
201 __isl_give isl_basic_map *isl_tab_make_equalities_explicit(struct isl_tab *tab,
202 __isl_take isl_basic_map *bmap);
216 isl_stat isl_tab_track_bmap(struct isl_tab *tab, __isl_take isl_basic_map *bmap)
257 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
260 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
Disl_map_lexopt_templ.c32 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
40 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
48 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
87 __isl_take isl_basic_map *bmap, __isl_take isl_set *dom, in SF()
146 __isl_take isl_basic_map *bmap, unsigned flags) in SF()
152 __isl_give TYPE *SF(isl_basic_map_lexmin,SUFFIX)(__isl_take isl_basic_map *bmap) in SF()
Disl_affine_hull.c32 __isl_give isl_basic_map *isl_basic_map_implicit_equalities( in isl_basic_map_implicit_equalities()
33 __isl_take isl_basic_map *bmap) in isl_basic_map_implicit_equalities()
855 __isl_take isl_basic_map *bmap) in equalities_in_underlying_set()
903 __isl_give isl_basic_map *isl_basic_map_detect_equalities( in isl_basic_map_detect_equalities()
904 __isl_take isl_basic_map *bmap) in isl_basic_map_detect_equalities()
971 __isl_give isl_basic_map *isl_basic_map_plain_affine_hull( in isl_basic_map_plain_affine_hull()
972 __isl_take isl_basic_map *bmap) in isl_basic_map_plain_affine_hull()
994 __isl_give isl_basic_map *isl_basic_map_affine_hull( in isl_basic_map_affine_hull()
995 __isl_take isl_basic_map *bmap) in isl_basic_map_affine_hull()
1026 static __isl_give isl_basic_map *add_strides(__isl_take isl_basic_map *bmap, in add_strides()
[all …]
Dbset_to_bmap.c7 static __isl_give isl_basic_map *bset_to_bmap(__isl_take isl_basic_set *bset) in bset_to_bmap()
9 return (isl_basic_map *) bset; in bset_to_bmap()
Disl_dim_map.c98 __isl_keep isl_basic_map *bmap, unsigned dst_pos) in isl_dim_map_div()
145 __isl_give isl_basic_map *isl_basic_map_add_constraints_dim_map( in isl_basic_map_add_constraints_dim_map()
146 __isl_take isl_basic_map *dst, __isl_take isl_basic_map *src, in isl_basic_map_add_constraints_dim_map()
196 __isl_keep isl_basic_map *bmap) in isl_dim_map_extend()
Disl_map_subtract.c50 __isl_keep isl_basic_map *bmap, int *div_map) in tab_add_constraints()
114 __isl_keep isl_basic_map *bmap, int *div_map, int c, int oppose) in tab_add_constraint()
171 __isl_keep isl_basic_map *bmap, int **div_map) in tab_add_divs()
276 __isl_take isl_basic_map *bmap);
308 static isl_stat basic_map_collect_diff(__isl_take isl_basic_map *bmap, in basic_map_collect_diff()
360 struct isl_basic_map *bm; in basic_map_collect_diff()
486 __isl_take isl_basic_map *bmap) in basic_map_subtract_add()
499 static __isl_give isl_map *basic_map_subtract(__isl_take isl_basic_map *bmap, in basic_map_subtract()
656 __isl_take isl_basic_map *bmap) in basic_map_is_empty_add()
670 static isl_bool basic_map_diff_is_empty(__isl_keep isl_basic_map *bmap, in basic_map_diff_is_empty()
[all …]
Disl_convex_hull.c51 __isl_give isl_basic_map *isl_basic_map_remove_redundancies( in isl_basic_map_remove_redundancies()
52 __isl_take isl_basic_map *bmap) in isl_basic_map_remove_redundancies()
829 isl_bool isl_basic_map_image_is_bounded(__isl_keep isl_basic_map *bmap) in isl_basic_map_image_is_bounded()
1915 static __isl_give isl_basic_map *replace_map_by_empty_basic_map( in replace_map_by_empty_basic_map()
1930 __isl_give isl_basic_map *isl_map_convex_hull(__isl_take isl_map *map) in isl_map_convex_hull()
1933 struct isl_basic_map *model = NULL; in isl_map_convex_hull()
1935 struct isl_basic_map *convex_hull = NULL; in isl_map_convex_hull()
1980 __isl_give isl_basic_map *isl_map_polyhedral_hull(__isl_take isl_map *map) in isl_map_polyhedral_hull()
1982 isl_basic_map *hull; in isl_map_polyhedral_hull()
2376 static __isl_give isl_basic_map *map_simple_hull_trivial( in map_simple_hull_trivial()
[all …]
Disl_tab_lexopt_templ.c50 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
150 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
200 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in SF()
Disl_transitive_closure.c58 struct isl_basic_map *bmap; in set_path_length()
228 struct isl_basic_map *path = NULL; in path_along_steps()
439 static isl_bool empty_path_is_identity(__isl_keep isl_basic_map *path, in empty_path_is_identity()
442 isl_basic_map *test = NULL; in empty_path_is_identity()
443 isl_basic_map *id = NULL; in empty_path_is_identity()
461 static __isl_give isl_basic_map *add_delta_constraints( in add_delta_constraints()
462 __isl_take isl_basic_map *path, in add_delta_constraints()
578 isl_basic_map *path = NULL; in path_along_delta()
681 struct isl_basic_map *bmap; in equate_parameter_to_length()
947 __isl_take isl_set *dom, __isl_keep isl_basic_map *bmap, in q_closure()
[all …]
Disl_coalesce.c67 static int *eq_status_in(__isl_keep isl_basic_map *bmap_i, in eq_status_in()
101 static int *ineq_status_in(__isl_keep isl_basic_map *bmap_i, in ineq_status_in()
198 isl_basic_map *bmap;
320 isl_basic_map *hull; in coalesce_info_set_hull_hash()
428 static __isl_give isl_basic_map *add_valid_constraints( in add_valid_constraints()
429 __isl_take isl_basic_map *bmap, struct isl_coalesce_info *info, in add_valid_constraints()
475 __isl_keep isl_basic_map *bmap, struct isl_tab *tab) in number_of_constraints_increases()
515 struct isl_basic_map *fused = NULL; in fuse()
675 isl_basic_map *bmap = info->bmap; in contains()
858 static isl_bool is_affected(__isl_keep isl_basic_map *bmap, int ineq, in is_affected()
[all …]
Disl_constraint.c89 __isl_take isl_basic_map *bmap, isl_int **line) in isl_basic_map_constraint()
189 isl_size isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap) in isl_basic_map_n_constraint()
206 isl_stat isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap, in isl_basic_map_foreach_constraint()
270 __isl_keep isl_basic_map *bmap) in isl_basic_map_get_constraint_list()
320 __isl_give isl_basic_map *isl_basic_map_add_constraint( in isl_basic_map_add_constraint()
321 __isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint) in isl_basic_map_add_constraint()
355 isl_basic_map *bmap; in isl_map_add_constraint()
721 __isl_give isl_basic_map *isl_basic_map_from_constraint( in isl_basic_map_from_constraint()
726 struct isl_basic_map *bmap; in isl_basic_map_from_constraint()
782 __isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos, in isl_basic_map_has_defining_equality()
Dbset_from_bmap.c5 static __isl_give isl_basic_set *bset_from_bmap(__isl_take isl_basic_map *bmap) in bset_from_bmap()
Disl_map_list.c5 #define EL isl_basic_map
Disl_lp_private.h8 enum isl_lp_result isl_basic_map_solve_lp(__isl_keep isl_basic_map *bmap,
Disl_output.c64 struct isl_basic_map *bmap, int ineq, int n, __isl_take isl_printer *p) in print_constraint_polylib()
100 struct isl_basic_map *bmap, __isl_take isl_printer *p) in print_constraints_polylib()
121 __isl_keep isl_basic_map *bmap, __isl_take isl_printer *p, int ext) in isl_basic_map_print_polylib()
505 static isl_bool next_is_opposite(__isl_keep isl_basic_map *bmap, int i, in next_is_opposite()
777 static __isl_give isl_printer *print_constraints(__isl_keep isl_basic_map *bmap, in print_constraints()
993 static __isl_give isl_printer *print_disjunct(__isl_keep isl_basic_map *bmap, in print_disjunct()
1024 __isl_keep isl_basic_map *bmap, __isl_keep isl_space *space, in print_optional_disjunct()
1037 __isl_keep isl_basic_map *bmap, __isl_take isl_printer *p) in basic_map_print_omega()
1107 __isl_keep isl_basic_map *bmap, __isl_take isl_printer *p, in isl_basic_map_print_isl()
1155 __isl_keep isl_space *space, __isl_take isl_basic_map *hull, in print_disjuncts_in_hull()
[all …]
/external/llvm-project/polly/lib/External/isl/include/isl/
Dmap.h33 isl_size isl_basic_map_total_dim(__isl_keep const isl_basic_map *bmap);
34 isl_size isl_basic_map_dim(__isl_keep isl_basic_map *bmap,
39 isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap);
41 __isl_give isl_space *isl_basic_map_get_space(__isl_keep isl_basic_map *bmap);
45 __isl_give isl_aff *isl_basic_map_get_div(__isl_keep isl_basic_map *bmap,
49 __isl_keep isl_basic_map *bmap);
51 __isl_give isl_basic_map *isl_basic_map_set_tuple_name(
52 __isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s);
53 const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap,
61 const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap,
[all …]
Dconstraint.h42 isl_size isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap);
44 isl_stat isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap,
49 __isl_keep isl_basic_map *bmap);
61 __isl_give isl_basic_map *isl_basic_map_add_constraint(
62 __isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint);
71 __isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos,
123 __isl_give isl_basic_map *isl_basic_map_from_constraint(
Dmap_type.h11 struct __isl_subclass(isl_map) isl_basic_map;
12 typedef struct isl_basic_map isl_basic_map; typedef
/external/llvm-project/clang/test/Analysis/
Dretain-release-inline.m275 } isl_basic_map; typedef
305 …ership_returns_retained"))) isl_basic_map *isl_basic_map_cow(__attribute__((annotate("rc_ownership…
308 …eter_checking_leak(__attribute__((annotate("rc_ownership_consumed"))) isl_basic_map *bmap) { // ex…
316 …trusted_implementation"))) isl_basic_map *isl_basic_map_free(__attribute__((annotate("rc_ownership…
331 …ibute__((annotate("rc_ownership_returns_retained"))) isl_basic_map *isl_basic_map_copy(isl_basic_m…
339 …tation_annotate_attribute(__attribute__((annotate("rc_ownership_consumed"))) isl_basic_map *bmap) {
343 isl_basic_map *temp = isl_basic_map_cow(isl_basic_map_copy(bmap));
345 isl_basic_map *temp2 = isl_basic_map_cow(bmap); // no-warning
350 …tation_annotate_attribute(__attribute__((annotate("rc_ownership_consumed"))) isl_basic_map *bmap) {
357 void callee_side_parameter_checking_incorrect_rc_decrement(isl_basic_map *bmap) {
[all …]
/external/llvm-project/polly/lib/External/isl/doc/
Duser.pod881 C<isl_basic_set>, C<isl_basic_map>, C<isl_set>, C<isl_map>,
883 C<isl_basic_set> and C<isl_basic_map> represent sets and relations that
886 C<isl_basic_set>s and C<isl_basic_map>s, respectively.
887 However, all C<isl_basic_set>s or C<isl_basic_map>s in the union need
1099 __isl_keep isl_basic_map *bmap);
1208 isl_size isl_basic_map_dim(__isl_keep isl_basic_map *bmap,
1358 __isl_keep isl_basic_map *bmap,
1369 __isl_keep isl_basic_map *bmap,
1532 __isl_keep isl_basic_map *bmap,
1638 __isl_give isl_basic_map *isl_basic_map_set_tuple_id(
[all …]

12