| /llvm-project/polly/lib/External/isl/ |
| H A D | isl_map_simplify.c | 31 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()
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() local
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()
183 __isl_take isl_basic_map *bmap, int div) in reduce_div_coefficients_of_div()
213 __isl_take isl_basic_map *bmap) in reduce_div_coefficients()
247 __isl_take isl_basic_map *bmap, int div) in normalize_div_expression()
284 __isl_take isl_basic_map *bmap) in normalize_div_expressions()
[all …]
|
| H A D | isl_map.c | 80 isl_size isl_basic_map_dim(__isl_keep isl_basic_map *bmap, in isl_basic_map_dim()
144 isl_size isl_basic_map_var_offset(__isl_keep isl_basic_map *bmap, in isl_basic_map_var_offset()
177 unsigned isl_basic_map_offset(__isl_keep isl_basic_map *bmap, in isl_basic_map_offset()
232 isl_size isl_basic_map_total_dim(__isl_keep const isl_basic_map *bmap) in isl_basic_map_total_dim()
247 isl_size isl_basic_map_n_equality(__isl_keep isl_basic_map *bmap) in isl_basic_map_n_equality()
265 isl_size isl_basic_map_n_inequality(__isl_keep isl_basic_map *bmap) in isl_basic_map_n_inequality()
314 static isl_bool isl_basic_map_set_tuple_is_equal(__isl_keep isl_basic_map *bmap, in isl_basic_map_set_tuple_is_equal()
345 isl_bool isl_basic_map_compatible_domain(__isl_keep isl_basic_map *bmap, in isl_basic_map_compatible_domain()
369 isl_bool isl_basic_map_compatible_range(__isl_keep isl_basic_map *bmap, in isl_basic_map_compatible_range()
381 isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap) in isl_basic_map_get_ctx()
[all …]
|
| H A D | isl_map_subtract.c | 50 __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()
308 static isl_stat basic_map_collect_diff(__isl_take isl_basic_map *bmap, 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()
714 isl_bool isl_basic_map_plain_is_singleton(__isl_keep isl_basic_map *bmap) in isl_basic_map_plain_is_singleton()
746 __isl_keep isl_basic_map *bmap) in singleton_extract_point()
[all …]
|
| H A D | isl_aff_map.c | 71 isl_basic_map *bmap = NULL; in isl_basic_map_from_aff2() local
120 isl_basic_map *bmap; in isl_map_from_aff() local
137 isl_basic_map *bmap; in isl_basic_map_from_multi_aff2() local
214 isl_basic_map *bmap; in isl_map_from_multi_aff_internal() local
270 isl_basic_map *bmap; in isl_basic_map_from_aff_list() local
309 isl_basic_map *bmap; in isl_map_from_pw_aff_internal() local
374 isl_basic_map *bmap; in isl_map_from_pw_multi_aff_internal() local
|
| H A D | bset_from_bmap.c | 5 static __isl_give isl_basic_set *bset_from_bmap(__isl_take isl_basic_map *bmap) in bset_from_bmap()
|
| H A D | isl_affine_hull.c | 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()
904 __isl_take isl_basic_map *bmap) in isl_basic_map_detect_equalities()
972 __isl_take isl_basic_map *bmap) in isl_basic_map_plain_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()
1091 __isl_take isl_basic_map *bmap) in isl_basic_map_make_strides_explicit()
|
| H A D | isl_constraint.c | 89 __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()
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() local
708 struct isl_basic_map *bmap; in isl_basic_map_from_constraint() local
764 __isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos, in isl_basic_map_has_defining_equality()
|
| H A D | isl_dim_map.c | 98 __isl_keep isl_basic_map *bmap, unsigned dst_pos) in isl_dim_map_div()
196 __isl_keep isl_basic_map *bmap) in isl_dim_map_extend()
|
| H A D | isl_lp.c | 25 static enum isl_lp_result isl_tab_solve_lp(__isl_keep isl_basic_map *bmap, in isl_tab_solve_lp()
66 enum isl_lp_result isl_basic_map_solve_lp(__isl_keep isl_basic_map *bmap, in isl_basic_map_solve_lp()
|
| H A D | isl_coalesce.c | 198 isl_basic_map *bmap; member
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()
675 isl_basic_map *bmap = info->bmap; in contains() local
858 static isl_bool is_affected(__isl_keep isl_basic_map *bmap, int ineq, in is_affected()
1348 isl_basic_map *bmap = info->bmap; in add_selected_wraps() local
1472 static __isl_give isl_set *set_from_updated_bmap(__isl_keep isl_basic_map *bmap, in set_from_updated_bmap()
3005 static isl_stat copy_ineq(struct isl_tab *tab, __isl_keep isl_basic_map *bmap) in copy_ineq()
3135 int n, struct isl_expanded *expanded, __isl_take isl_basic_map *bmap) in tab_insert_divs()
3215 __isl_take isl_basic_map *bmap) in expand_tab()
[all …]
|
| H A D | isl_tab_pip.c | 810 isl_basic_map *bmap; in sol_map_add() local
2300 static __isl_give struct isl_tab *tab_for_lexmin(__isl_keep isl_basic_map *bmap, in tab_for_lexmin()
3679 static isl_stat sol_init(struct isl_sol *sol, __isl_keep isl_basic_map *bmap, in sol_init()
3703 static struct isl_sol *sol_map_init(__isl_keep isl_basic_map *bmap, in sol_map_init()
4316 static int find_context_div(__isl_keep isl_basic_map *bmap, in find_context_div()
4362 __isl_take isl_basic_map *bmap, __isl_keep isl_basic_set *dom) in align_context_divs()
4420 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in basic_map_partial_lexopt_base_sol()
4422 struct isl_sol *(*init)(__isl_keep isl_basic_map *bmap, in basic_map_partial_lexopt_base_sol()
4467 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, in basic_map_partial_lexopt_base()
4490 static __isl_give int *count_occurrences(__isl_keep isl_basic_map *bmap, in count_occurrences()
[all …]
|
| H A D | isl_output.c | 64 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()
1262 static __isl_give isl_basic_map *get_aff(__isl_take isl_basic_map *bmap) in get_aff()
[all …]
|
| H A D | isl_transitive_closure.c | 58 struct isl_basic_map *bmap; in set_path_length() local
681 struct isl_basic_map *bmap; in equate_parameter_to_length() local
947 __isl_take isl_set *dom, __isl_keep isl_basic_map *bmap, in q_closure()
1490 isl_basic_map *bmap; in increment() local
2176 isl_basic_map *bmap = NULL; in box_closure_on_domain() local
2899 isl_basic_map *bmap; in deltas_map() local
|
| H A D | isl_tab.c | 1905 struct isl_basic_map *bmap = tab->bmap; in isl_tab_add_ineq() local
2200 static __isl_give isl_vec *ineq_for_div(__isl_keep isl_basic_map *bmap, in ineq_for_div()
2385 __isl_keep isl_basic_map *bmap, int track) in isl_tab_from_basic_map()
2625 __isl_take isl_basic_map *bmap, struct isl_tab *tab) in isl_basic_map_update_from_tab()
3155 static __isl_give isl_basic_map *gauss_if_shared(__isl_take isl_basic_map *bmap, in gauss_if_shared()
3202 __isl_take isl_basic_map *bmap) in isl_tab_make_equalities_explicit()
4140 isl_stat isl_tab_track_bmap(struct isl_tab *tab, __isl_take isl_basic_map *bmap) in isl_tab_track_bmap()
|
| H A D | isl_input.c | 2267 static isl_size polylib_pos_to_isl_pos(__isl_keep isl_basic_map *bmap, int pos) in polylib_pos_to_isl_pos()
2297 __isl_keep isl_stream *s, __isl_take isl_basic_map *bmap) in basic_map_read_polylib_constraint()
2367 struct isl_basic_map *bmap = NULL; in basic_map_read_polylib() local
3239 struct isl_basic_map *bmap; in isl_stream_read_basic_map() local
3271 isl_basic_map *bmap; in isl_stream_read_basic_set() local
3287 struct isl_basic_map *bmap; in isl_basic_map_read_from_file() local
|
| H A D | isl_tab.h | 160 struct isl_basic_map *bmap; member
|
| H A D | isl_local_space.c | 750 static int bmap_cmp_row(__isl_keep isl_basic_map *bmap, int i, int j, in bmap_cmp_row()
763 __isl_take isl_basic_map *bmap) in isl_basic_map_sort_divs()
|
| H A D | isl_point.c | 616 isl_bool isl_basic_map_contains_point(__isl_keep isl_basic_map *bmap, in isl_basic_map_contains_point()
|
| H A D | isl_sample.c | 1243 __isl_give isl_basic_map *isl_basic_map_sample(__isl_take isl_basic_map *bmap) in isl_basic_map_sample()
|
| H A D | isl_convex_hull.c | 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()
|
| H A D | isl_ast_codegen.c | 1624 static isl_stat basic_map_check_scaled(__isl_take isl_basic_map *bmap, in basic_map_check_scaled()
1908 isl_basic_map *bmap; in add_split_on() local
2641 isl_basic_map *bmap; in foreach_iteration() local
|
| H A D | isl_aff.c | 4898 __isl_keep isl_basic_map *bmap, int pos, int eq, int div, int ineq, in extract_aff_from_equality()
4972 __isl_keep isl_basic_map *bmap, int pos, __isl_keep isl_multi_aff *ma) in extract_isl_aff_from_basic_map()
4995 __isl_take isl_basic_map *bmap) in extract_isl_multi_aff_from_basic_map()
5051 __isl_take isl_set *domain, __isl_take isl_basic_map *bmap) in plain_pw_multi_aff_from_map()
5089 isl_basic_map *bmap; in pw_multi_aff_from_map_base() local
|
| H A D | isl_test.c | 1296 struct isl_basic_map *bmap; in test_application_case() local
3087 isl_basic_map *bmap; in test_lexmin() local
4151 isl_basic_map *bmap; in test_lift() local
10337 isl_basic_map *bmap; in test_partial_lexmin() local
|
| H A D | isl_flow.c | 558 struct isl_basic_map *bmap; in after_at_level() local
|
| H A D | isl_polynomial.c | 5186 isl_basic_map *bmap = NULL; in isl_basic_map_from_qpolynomial() local
|