/netbsd-current/external/mit/isl/dist/ |
H A D | bset_from_bmap.c | 3 /* Return the basic set that was treated as the basic map "bmap". 5 static __isl_give isl_basic_set *bset_from_bmap(__isl_take isl_basic_map *bmap) argument 7 return (isl_basic_set *) bmap;
|
H A D | isl_map_simplify.c | 31 static void swap_equality(__isl_keep isl_basic_map *bmap, int a, int b) argument 33 isl_int *t = bmap->eq[a]; 34 bmap->eq[a] = bmap->eq[b]; 35 bmap->eq[b] = t; 38 static void swap_inequality(__isl_keep isl_basic_map *bmap, int a, int b) argument 41 isl_int *t = bmap->ineq[a]; 42 bmap->ineq[a] = bmap->ineq[b]; 43 bmap 47 isl_basic_map_normalize_constraints( __isl_take isl_basic_map *bmap) argument 110 isl_basic_map *bmap = bset_to_bmap(bset); local 134 reduce_coefficient_in_div( __isl_take isl_basic_map *bmap, int div, int pos) argument 160 needs_reduction(__isl_keep isl_basic_map *bmap, int div, int pos) argument 182 reduce_div_coefficients_of_div( __isl_take isl_basic_map *bmap, int div) argument 212 reduce_div_coefficients( __isl_take isl_basic_map *bmap) argument 246 normalize_div_expression( __isl_take isl_basic_map *bmap, int div) argument 283 normalize_div_expressions( __isl_take isl_basic_map *bmap) argument 301 eliminate_var_using_equality( __isl_take isl_basic_map *bmap, unsigned pos, isl_int *eq, int keep_divs, int *progress) argument 366 eliminate_div(__isl_take isl_basic_map *bmap, isl_int *eq, unsigned div, int keep_divs) argument 386 ok_to_eliminate_div(__isl_keep isl_basic_map *bmap, isl_int *eq, unsigned div) argument 415 eliminate_divs_eq( __isl_take isl_basic_map *bmap, int *progress) argument 457 eliminate_divs_ineq( __isl_take isl_basic_map *bmap, int *progress) argument 497 bmap_eq_involves_unknown_divs(__isl_keep isl_basic_map *bmap, int eq, unsigned first, unsigned n) argument 545 set_div_from_eq(__isl_take isl_basic_map *bmap, int div, int eq, int *progress) argument 596 isl_basic_map_gauss5(__isl_take isl_basic_map *bmap, int *progress, isl_stat (*swap)(unsigned a, unsigned b, void *user), isl_stat (*drop)(unsigned n, void *user), void *user) argument 661 isl_basic_map_gauss(__isl_take isl_basic_map *bmap, int *progress) argument 703 create_constraint_index(struct isl_constraint_index *ci, __isl_keep isl_basic_map *bmap) argument 757 hash_index(struct isl_constraint_index *ci, __isl_keep isl_basic_map *bmap, int k) argument 816 remove_duplicate_divs( __isl_take isl_basic_map *bmap, int *progress) argument 897 n_pure_div_eq(__isl_keep isl_basic_map *bmap) argument 964 normalize_divs(__isl_take isl_basic_map *bmap, int *progress) argument 1117 set_div_from_lower_bound( __isl_take isl_basic_map *bmap, int div, int ineq) argument 1137 ok_to_set_div_from_bound(__isl_keep isl_basic_map *bmap, int div, int ineq) argument 1174 better_div_constraint(__isl_keep isl_basic_map *bmap, int div, int ineq) argument 1207 check_for_div_constraints( __isl_take isl_basic_map *bmap, int k, int l, isl_int sum, int *progress) argument 1239 isl_basic_map_remove_duplicate_constraints( __isl_take isl_basic_map *bmap, int *progress, int detect_divs) argument 1309 isl_basic_map_detect_inequality_pairs( __isl_take isl_basic_map *bmap, int *progress) argument 1360 eliminate_unit_div( __isl_take isl_basic_map *bmap, int div, int *progress) argument 1422 eliminate_selected_unit_divs( __isl_take isl_basic_map *bmap, isl_bool (*select)(__isl_keep isl_basic_map *bmap, int div), int *progress) argument 1455 is_any_div(__isl_keep isl_basic_map *bmap, int div) argument 1465 eliminate_unit_divs( __isl_take isl_basic_map *bmap, int *progress) argument 1476 is_pure_unit_div(__isl_keep isl_basic_map *bmap, int div) argument 1510 isl_basic_map_eliminate_pure_unit_divs( __isl_take isl_basic_map *bmap) argument 1516 isl_basic_map_simplify(__isl_take isl_basic_map *bmap) argument 1555 isl_basic_map_is_div_constraint(__isl_keep isl_basic_map *bmap, isl_int *constraint, unsigned div) argument 1599 div_is_redundant(__isl_keep isl_basic_map *bmap, int div) argument 1638 remove_redundant_divs( __isl_take isl_basic_map *bmap) argument 1667 isl_basic_map_mark_final( __isl_take isl_basic_map *bmap) argument 1678 isl_basic_map_finalize(__isl_take isl_basic_map *bmap) argument 1695 remove_dependent_vars( __isl_take isl_basic_map *bmap, int pos) argument 1718 isl_basic_map_eliminate_vars( __isl_take isl_basic_map *bmap, unsigned pos, unsigned n) argument 1825 isl_basic_map_eliminate( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n) argument 1870 isl_basic_map_drop_constraints_involving_unknown_divs( __isl_take isl_basic_map *bmap) argument 1912 isl_basic_map *bmap; local 1958 compute_elimination_index(__isl_keep isl_basic_map *bmap, int *elim, unsigned len) argument 1981 reduced_using_equalities(isl_int *dst, isl_int *src, __isl_keep isl_basic_map *bmap, int *elim, unsigned total) argument 2139 isl_basic_map_remove_shifted_constraints( __isl_take isl_basic_map *bmap, __isl_take isl_basic_map *context) argument 2190 drop_unrelated_constraints( __isl_take isl_basic_map *bmap, int *relevant) argument 2290 isl_basic_map_drop_unrelated_constraints( __isl_take isl_basic_map *bmap, __isl_take int *group) argument 2873 n_div_eq(__isl_keep isl_basic_map *bmap) argument 2906 isl_basic_map *bmap = NULL; local 2961 isl_basic_map *bmap; local 3022 extract_compressed_stride_constraints( __isl_keep isl_basic_map *bmap, int bmap_n_eq, __isl_keep isl_basic_map *context, int context_n_eq) argument 3153 reduce_stride_constraints( __isl_take isl_basic_map *bmap, int n, __isl_keep isl_mat *A) argument 3214 gist_strides(__isl_take isl_basic_map *bmap, __isl_keep isl_basic_map *context) argument 3260 isl_basic_map_gist(__isl_take isl_basic_map *bmap, __isl_take isl_basic_map *context) argument 3390 drop_inequalities( __isl_take isl_basic_map *bmap, __isl_keep isl_basic_map *context) argument 3447 drop_equalities( __isl_take isl_basic_map *bmap, __isl_keep isl_basic_map *context) argument 3500 isl_basic_map_plain_gist( __isl_take isl_basic_map *bmap, __isl_take isl_basic_map *context) argument 3548 isl_basic_map *bmap; local 3765 isl_basic_map_gist_domain( __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *context) argument 4100 is_opposite_part(__isl_keep isl_basic_map *bmap, int i, int j, int first, int n) argument 4109 is_opposite(__isl_keep isl_basic_map *bmap, int i, int j) argument 4150 div_find_coalesce(__isl_keep isl_basic_map *bmap, int *pairs, unsigned div, unsigned l, unsigned u) argument 4270 test_ineq_is_satisfied(__isl_keep isl_basic_map *bmap, struct test_ineq_data *data) argument 4337 int_between_bounds(__isl_keep isl_basic_map *bmap, int i, int l, int u, struct test_ineq_data *data) argument 4391 drop_more_redundant_divs( __isl_take isl_basic_map *bmap, __isl_take int *pairs, int n) argument 4527 coalesce_divs(__isl_take isl_basic_map *bmap, unsigned div1, unsigned div2, unsigned l, unsigned u) argument 4586 coalesce_or_drop_more_redundant_divs( __isl_take isl_basic_map *bmap, int *pairs, int n) argument 4636 is_parallel_part(__isl_keep isl_basic_map *bmap, int i, int j, int first, int n) argument 4645 is_parallel_except(__isl_keep isl_basic_map *bmap, int i, int j, int pos) argument 4660 is_opposite_except(__isl_keep isl_basic_map *bmap, int i, int j, int pos) argument 4677 drop_redundant_divs_again( __isl_take isl_basic_map *bmap, __isl_take int *pairs, int simplify) argument 4690 single_unknown(__isl_keep isl_basic_map *bmap, int ineq, int div) argument 4725 has_coef_one(__isl_keep isl_basic_map *bmap, int div, int ineq) argument 4741 set_eq_and_try_again( __isl_take isl_basic_map *bmap, int ineq, __isl_take int *pairs) argument 4755 drop_div_and_try_again( __isl_take isl_basic_map *bmap, int div, int ineq1, int ineq2, __isl_take int *pairs) argument 4786 lower_bound_from_parallel(__isl_keep isl_basic_map *bmap, int ineq, int lower, int pos, isl_int *l) argument 4810 lower_bound_from_opposite(__isl_keep isl_basic_map *bmap, int ineq, int upper, int pos, isl_int *u) argument 4845 lower_bound_is_cst(__isl_keep isl_basic_map *bmap, int div, int ineq) argument 4915 fix_cst_lower(__isl_take isl_basic_map *bmap, int div, int ineq, int lower, int *pairs) argument 4938 any_div_involves_div(__isl_keep isl_basic_map *bmap, int div) argument 5005 isl_basic_map_drop_redundant_divs_ineq( __isl_take isl_basic_map *bmap) argument 5168 isl_basic_map_preimage_vars( __isl_take isl_basic_map *bmap, unsigned pos, __isl_take isl_mat *T) argument 5249 isl_basic_map_drop_redundant_divs( __isl_take isl_basic_map *bmap) argument 5313 has_multiple_var_equality(__isl_keep isl_basic_map *bmap) argument 5409 isl_basic_map_reduce_coefficients( __isl_take isl_basic_map *bmap) argument 5506 isl_basic_map_shift_div( __isl_take isl_basic_map *bmap, int div, int pos, isl_int shift) argument [all...] |
H A D | isl_tab_lexopt_templ.c | 50 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, 62 map_space = isl_basic_map_get_space(bmap); 65 bmap_in = isl_basic_map_dim(bmap, isl_dim_in); 66 bmap_param = isl_basic_map_dim(bmap, isl_dim_param); 67 bmap_all = isl_basic_map_dim(bmap, isl_dim_all); 73 ctx = isl_basic_map_get_ctx(bmap); 74 list = isl_alloc_array(ctx, int, bmap->n_ineq); 76 if ((bmap->n_ineq && !list) || (n_out && !var)) 81 isl_seq_cpy(var->el, bmap->ineq[first] + 1 + n_in, n_out); 82 for (i = second + 1, n = 2; i < bmap [all...] |
H A D | isl_map.c | 81 isl_size isl_basic_map_dim(__isl_keep isl_basic_map *bmap, argument 84 if (!bmap) 90 case isl_dim_out: return isl_space_dim(bmap->dim, type); 91 case isl_dim_div: return bmap->n_div; 92 case isl_dim_all: return isl_basic_map_total_dim(bmap); 143 * within the sequence of variables of "bmap". 145 isl_size isl_basic_map_var_offset(__isl_keep isl_basic_map *bmap, argument 150 space = isl_basic_map_peek_space(bmap); 159 isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid, 174 * within the sequence of coefficients of "bmap" 176 isl_basic_map_offset(__isl_keep isl_basic_map *bmap, enum isl_dim_type type) argument 231 isl_basic_map_total_dim(__isl_keep const isl_basic_map *bmap) argument 246 isl_basic_map_n_equality(__isl_keep isl_basic_map *bmap) argument 264 isl_basic_map_n_inequality(__isl_keep isl_basic_map *bmap) argument 313 isl_basic_map_set_tuple_is_equal(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, __isl_keep isl_basic_set *bset) argument 344 isl_basic_map_compatible_domain(__isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset) argument 368 isl_basic_map_compatible_range(__isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset) argument 380 isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap) argument 402 isl_basic_map_peek_space( __isl_keep const isl_basic_map *bmap) argument 415 isl_basic_map_get_space(__isl_keep isl_basic_map *bmap) argument 434 isl_basic_map_take_space( __isl_keep isl_basic_map *bmap) argument 453 isl_basic_map_restore_space( __isl_take isl_basic_map *bmap, __isl_take isl_space *space) argument 479 isl_basic_map_get_divs(__isl_keep isl_basic_map *bmap) argument 510 isl_basic_map_get_local_space( __isl_keep isl_basic_map *bmap) argument 535 add_known_div_constraints( __isl_take isl_basic_map *bmap) argument 564 isl_basic_map *bmap; local 660 isl_basic_map_set_tuple_name( __isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s) argument 678 isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap, enum isl_dim_type type) argument 712 isl_basic_map_set_tuple_id( __isl_take isl_basic_map *bmap, enum isl_dim_type type, __isl_take isl_id *id) argument 873 isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos) argument 917 isl_basic_map_set_dim_name( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, const char *s) argument 970 isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos) argument 1044 isl_basic_map_find_dim_by_name(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, const char *name) argument 1134 isl_basic_map_is_rational(__isl_keep isl_basic_map *bmap) argument 1196 isl_basic_map_has_rational(__isl_keep isl_basic_map *bmap) argument 1287 basic_map_init(isl_ctx *ctx, __isl_take isl_basic_map *bmap, unsigned extra, unsigned n_eq, unsigned n_ineq) argument 1349 struct isl_basic_map *bmap; local 1363 struct isl_basic_map *bmap; local 1377 struct isl_basic_map *bmap; local 1396 struct isl_basic_map *bmap; local 1440 isl_basic_map_dup(__isl_keep isl_basic_map *bmap) argument 1478 isl_basic_map_copy(__isl_keep isl_basic_map *bmap) argument 1502 isl_basic_map_free(__isl_take isl_basic_map *bmap) argument 1527 room_for_con(__isl_keep isl_basic_map *bmap, unsigned n) argument 1630 isl_basic_map_alloc_equality(__isl_keep isl_basic_map *bmap) argument 1670 isl_basic_map_free_equality( __isl_take isl_basic_map *bmap, unsigned n) argument 1693 isl_basic_map_drop_equality(__isl_keep isl_basic_map *bmap, unsigned pos) argument 1718 isl_basic_map_inequality_to_equality( __isl_keep isl_basic_map *bmap, unsigned pos) argument 1736 room_for_ineq(__isl_keep isl_basic_map *bmap, unsigned n) argument 1741 isl_basic_map_alloc_inequality(__isl_keep isl_basic_map *bmap) argument 1765 isl_basic_map_free_inequality( __isl_take isl_basic_map *bmap, unsigned n) argument 1785 isl_basic_map_drop_inequality(__isl_keep isl_basic_map *bmap, unsigned pos) argument 1807 isl_basic_map_add_eq(__isl_take isl_basic_map *bmap, isl_int *eq) argument 1841 isl_basic_map_add_ineq(__isl_take isl_basic_map *bmap, isl_int *ineq) argument 1868 isl_basic_map_alloc_div(__isl_keep isl_basic_map *bmap) argument 1907 isl_basic_map_insert_div( __isl_take isl_basic_map *bmap, int pos, __isl_keep isl_vec *div) argument 1937 isl_basic_map_free_div(__isl_keep isl_basic_map *bmap, unsigned n) argument 2041 isl_basic_map *bmap = bset_to_bmap(base); local 2051 isl_basic_map_cow(__isl_take isl_basic_map *bmap) argument 2115 isl_basic_map_swap_vars( __isl_take isl_basic_map *bmap, unsigned pos, unsigned n1, unsigned n2) argument 2166 isl_basic_map_set_to_empty( __isl_take isl_basic_map *bmap) argument 2214 isl_basic_map_set_rational( __isl_take isl_basic_map *bmap) argument 2282 swap_div(__isl_keep isl_basic_map *bmap, int a, int b) argument 2292 isl_basic_map_swap_div(__isl_take isl_basic_map *bmap, int a, int b) argument 2338 move_divs_last(__isl_take isl_basic_map *bmap, unsigned first, unsigned n) argument 2386 isl_basic_map_drop_core( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n) argument 2436 isl_basic_map_drop(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n) argument 2515 isl_basic_map_drop_div( __isl_take isl_basic_map *bmap, unsigned div) argument 2571 isl_basic_map_remove_divs( __isl_take isl_basic_map *bmap) argument 2621 isl_basic_map_remove_dims( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n) argument 2642 div_involves_vars(__isl_keep isl_basic_map *bmap, int div, unsigned first, unsigned n) argument 2714 insert_bounds_on_div_from_ineq( __isl_take isl_basic_map *bmap, int div, int i, unsigned total, isl_int v, int lb, int ub) argument 2813 insert_bounds_on_div( __isl_take isl_basic_map *bmap, int div) argument 2862 isl_basic_map_remove_divs_involving_dims( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n) argument 2940 isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n) argument 3032 isl_basic_map_drop_constraints_involving( __isl_take isl_basic_map *bmap, unsigned first, unsigned n) argument 3075 isl_basic_map_drop_constraints_not_involving_dims( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n) argument 3127 isl_basic_map_drop_constraints_involving_dims( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n) argument 3159 drop_constraints(__isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n, __isl_give isl_basic_map *(*drop)(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n)) argument 3240 isl_basic_map_div_is_known(__isl_keep isl_basic_map *bmap, int div) argument 3265 isl_basic_map_remove_unknown_divs( __isl_take isl_basic_map *bmap) argument 3326 isl_basic_map *bmap = bset_to_bmap(bset); local 3394 isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap, FILE *out, int indent) argument 3420 isl_inequality_negate(__isl_take isl_basic_map *bmap, unsigned pos) argument 3498 isl_map_from_basic_map(__isl_take isl_basic_map *bmap) argument 3564 isl_basic_map_check_compatible_domain( __isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset) argument 3579 isl_basic_map_intersect_domain( __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset) argument 3613 isl_basic_map_check_compatible_range( __isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset) argument 3628 isl_basic_map_intersect_range( __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset) argument 3664 isl_basic_map_contains(__isl_keep isl_basic_map *bmap, __isl_keep isl_vec *vec) argument 3991 isl_basic_map_reverse(__isl_take isl_basic_map *bmap) argument 4015 isl_basic_map_reverse_wrapped( __isl_take isl_basic_map *bmap, enum isl_dim_type type) argument 4040 isl_basic_map_domain_reverse( __isl_take isl_basic_map *bmap) argument 4056 isl_basic_map_range_reverse( __isl_take isl_basic_map *bmap) argument 4072 isl_basic_map_set_reverse( __isl_take isl_basic_map *bmap) argument 4085 basic_map_space_reset( __isl_take isl_basic_map *bmap, enum isl_dim_type type) argument 4101 isl_basic_map_insert_dims( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, unsigned n) argument 4170 isl_basic_map_add_dims(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned n) argument 4265 isl_basic_map_move_dims( __isl_take isl_basic_map *bmap, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n) argument 4364 isl_basic_map *bmap = bset_to_bmap(bset); local 4432 move_last(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n) argument 4489 insert_div_rows(__isl_take isl_basic_map *bmap, int n) argument 4532 drop_irrelevant_constraints( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n) argument 4572 isl_basic_map_project_out( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n) argument 4752 add_divs(__isl_take isl_basic_map *bmap, unsigned n) argument 4806 struct isl_basic_map *bmap; local 4854 isl_basic_set_apply(__isl_take isl_basic_set *bset, __isl_take isl_basic_map *bmap) argument 4895 struct isl_basic_map *bmap = NULL; local 4992 isl_basic_map_neg(__isl_take isl_basic_map *bmap) argument 5052 isl_basic_map_floordiv(__isl_take isl_basic_map *bmap, isl_int d) argument 5148 var_equal(__isl_take isl_basic_map *bmap, unsigned pos) argument 5175 var_less(__isl_take isl_basic_map *bmap, unsigned pos) argument 5203 var_less_or_equal( __isl_take isl_basic_map *bmap, unsigned pos) argument 5230 var_more(__isl_take isl_basic_map *bmap, unsigned pos) argument 5258 var_more_or_equal( __isl_take isl_basic_map *bmap, unsigned pos) argument 5287 struct isl_basic_map *bmap; local 5302 struct isl_basic_map *bmap; local 5319 isl_basic_map *bmap; local 5334 struct isl_basic_map *bmap; local 5351 isl_basic_map *bmap; local 5556 add_upper_div_constraint( __isl_take isl_basic_map *bmap, unsigned div) argument 5581 add_lower_div_constraint( __isl_take isl_basic_map *bmap, unsigned div) argument 5613 isl_basic_map_add_div_constraints( __isl_take isl_basic_map *bmap, unsigned pos) argument 5629 isl_basic_map_add_known_div_constraints( __isl_take isl_basic_map *bmap) argument 5659 isl_basic_map_add_div_constraint( __isl_take isl_basic_map *bmap, unsigned div, int sign) argument 5668 isl_basic_map_underlying_set( __isl_take isl_basic_map *bmap) argument 5717 isl_basic_map *bmap; local 5734 struct isl_basic_map *bmap; local 5845 isl_basic_map_reset_space( __isl_take isl_basic_map *bmap, __isl_take isl_space *space) argument 6032 isl_basic_map_domain(__isl_take isl_basic_map *bmap) argument 6047 isl_basic_map_may_be_set(__isl_keep isl_basic_map *bmap) argument 6058 isl_basic_map_is_set(__isl_keep isl_basic_map *bmap) argument 6065 isl_basic_map_range(__isl_take isl_basic_map *bmap) argument 6080 isl_basic_map_domain_map( __isl_take isl_basic_map *bmap) argument 6110 isl_basic_map_range_map( __isl_take isl_basic_map *bmap) argument 6176 isl_map_transform(__isl_take isl_map *map, __isl_give isl_space *(*fn_space)(__isl_take isl_space *space), __isl_give isl_basic_map *(*fn_bmap)(__isl_take isl_basic_map *bmap)) argument 6318 struct isl_basic_map *bmap; local 6334 struct isl_basic_map *bmap; local 6353 isl_basic_map *bmap; local 6446 isl_map_add_basic_map(__isl_take isl_map *map, __isl_take isl_basic_map *bmap) argument 6490 isl_basic_map_fix_pos_si( __isl_take isl_basic_map *bmap, unsigned pos, int value) argument 6515 isl_basic_map_fix_pos( __isl_take isl_basic_map *bmap, unsigned pos, isl_int value) argument 6540 isl_basic_map_fix_si(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, int value) argument 6549 isl_basic_map_fix(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, isl_int value) argument 6561 isl_basic_map_fix_val(__isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, __isl_take isl_val *v) argument 6638 isl_map_inline_foreach_basic_map(__isl_take isl_map *map, __isl_give isl_basic_map *(*fn)(__isl_take isl_basic_map *bmap)) argument 6641 struct isl_basic_map *bmap; local 6770 basic_map_bound_si( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, int value, int upper) argument 6803 isl_basic_map_lower_bound_si( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, int value) argument 6812 isl_basic_map_upper_bound_si( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, int value) argument 6868 basic_map_bound( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, isl_int value, int upper) argument 7459 isl_basic_map_lexmax(__isl_take isl_basic_map *bmap) argument 7492 basic_map_dim_opt(__isl_keep isl_basic_map *bmap, int max) argument 7867 insert_divs_from_local_space( __isl_take isl_basic_map *bmap, __isl_keep isl_local_space *ls) argument 7899 basic_replace_space_by_local_space( __isl_take isl_basic_map *bmap, __isl_take isl_local_space *ls) argument 7971 compute_divs(__isl_take isl_basic_map *bmap) argument 8026 isl_basic_map_mark_div_unknown( __isl_take isl_basic_map *bmap, int div) argument 8051 isl_basic_map_div_is_marked_unknown(__isl_keep isl_basic_map *bmap, int div) argument 8065 isl_basic_map_first_unknown_div(__isl_keep isl_basic_map *bmap) argument 8092 isl_basic_map_divs_known(__isl_keep isl_basic_map *bmap) argument 8128 isl_basic_map_compute_divs(__isl_take isl_basic_map *bmap) argument 8360 map_intersect_set(__isl_take isl_map *map, __isl_take isl_space *space, __isl_take isl_set *set, __isl_give isl_basic_map *fn(__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset)) argument 8736 isl_basic_map_is_transformation(__isl_keep isl_basic_map *bmap) argument 8747 isl_basic_map_check_transformation( __isl_keep isl_basic_map *bmap) argument 8764 isl_basic_map_deltas(__isl_take isl_basic_map *bmap) argument 8888 isl_basic_map_deltas_map( __isl_take isl_basic_map *bmap) argument 9370 isl_basic_map_plain_is_universe(__isl_keep isl_basic_map *bmap) argument 9410 isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap) argument 9464 isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap) argument 9509 isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap) argument 9527 isl_basic_map_plain_is_non_empty(__isl_keep isl_basic_map *bmap) argument 9576 isl_basic_map_order_divs( __isl_take isl_basic_map *bmap) argument 9643 isl_basic_map_expand_divs( __isl_take isl_basic_map *bmap, __isl_take isl_mat *div, int *exp) argument 9866 isl_basic_map *bmap; local 9882 isl_basic_map_list_align_divs_to_basic_map( __isl_take isl_basic_map_list *list, __isl_keep isl_basic_map *bmap) argument 10057 isl_basic_map *bmap; local 10120 isl_basic_map_plain_has_fixed_var( __isl_keep isl_basic_map *bmap, unsigned pos, isl_int *val) argument 10185 isl_basic_map_plain_is_fixed(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, isl_int *val) argument 10198 isl_basic_map_plain_get_val_if_fixed( __isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos) argument 10360 isl_basic_map_constraint_cmp(__isl_keep isl_basic_map *bmap, isl_int *c1, isl_int *c2) argument 10373 isl_basic_map_sort_constraints( __isl_take isl_basic_map *bmap) argument 10399 isl_basic_map *bmap = bset_to_bmap(bset); local 10403 isl_basic_map_normalize( __isl_take isl_basic_map *bmap) argument 10562 isl_basic_map *bmap; local 10590 struct isl_basic_map *bmap; local 10675 isl_basic_map *bmap; local 10692 isl_basic_map *bmap; local 10796 struct isl_basic_map *bmap; local 10858 isl_basic_map *bmap; local 10905 isl_basic_map *bmap; local 11263 isl_basic_map_get_hash(__isl_keep isl_basic_map *bmap) argument 11347 isl_map_foreach_basic_map(__isl_keep isl_map *map, isl_stat (*fn)(__isl_take isl_basic_map *bmap, void *user), void *user) argument 11516 basic_map_dim_is_bounded(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, int lower, int upper) argument 11548 isl_basic_map_dim_is_bounded(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos) argument 11554 isl_basic_map_dim_has_lower_bound(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos) argument 11560 isl_basic_map_dim_has_upper_bound(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos) argument 11595 has_any_bound(__isl_keep isl_map *map, enum isl_dim_type type, unsigned pos, isl_bool (*fn)(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos)) argument 11635 has_bound(__isl_keep isl_map *map, enum isl_dim_type type, unsigned pos, isl_bool (*fn)(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos)) argument 11757 div_may_involve_output(__isl_keep isl_basic_map *bmap, int div) argument 11797 first_div_may_involve_output(__isl_keep isl_basic_map *bmap, isl_int *c, int first, int n) argument 11835 find_modulo_constraint_pair(__isl_keep isl_basic_map *bmap, int pos, isl_int m) argument 11913 isl_basic_map_output_defining_equality(__isl_keep isl_basic_map *bmap, int pos, int *div, int *ineq) argument 11969 isl_basic_map_plain_is_single_valued(__isl_keep isl_basic_map *bmap) argument 11999 isl_basic_map_is_single_valued(__isl_keep isl_basic_map *bmap) argument 12282 isl_basic_map_wrap(__isl_take isl_basic_map *bmap) argument 12329 isl_basic_map_reset(__isl_take isl_basic_map *bmap, enum isl_dim_type type) argument 12375 isl_basic_map_flatten(__isl_take isl_basic_map *bmap) argument 12393 isl_basic_map_flatten_domain( __isl_take isl_basic_map *bmap) argument 12407 isl_basic_map_flatten_range( __isl_take isl_basic_map *bmap) argument 12483 isl_basic_map_realign(__isl_take isl_basic_map *bmap, __isl_take isl_space *space, __isl_take struct isl_dim_map *dim_map) argument 12601 isl_basic_map_align_params( __isl_take isl_basic_map *bmap, __isl_take isl_space *model) argument 12930 isl_basic_map_equalities_matrix( __isl_keep isl_basic_map *bmap, enum isl_dim_type c1, enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4, enum isl_dim_type c5) argument 12963 isl_basic_map_inequalities_matrix( __isl_keep isl_basic_map *bmap, enum isl_dim_type c1, enum isl_dim_type c2, enum isl_dim_type c3, enum isl_dim_type c4, enum isl_dim_type c5) argument 13003 isl_basic_map *bmap = NULL; local 13105 isl_basic_map *bmap; local 13111 isl_basic_map_can_zip(__isl_keep isl_basic_map *bmap) argument 13130 isl_basic_map_zip(__isl_take isl_basic_map *bmap) argument 13184 isl_basic_map_can_curry(__isl_keep isl_basic_map *bmap) argument 13206 isl_basic_map_curry(__isl_take isl_basic_map *bmap) argument 13262 isl_basic_map_can_uncurry(__isl_keep isl_basic_map *bmap) argument 13284 isl_basic_map_uncurry(__isl_take isl_basic_map *bmap) argument 13324 isl_basic_map *bmap = NULL; local 13357 isl_basic_map_equate(__isl_take isl_basic_map *bmap, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2) argument 13374 isl_basic_map *bmap; local 13388 isl_basic_map *bmap = NULL; local 13449 isl_basic_map_order_ge(__isl_take isl_basic_map *bmap, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2) argument 13497 isl_basic_map *bmap = NULL; local 13531 isl_basic_map_order_gt(__isl_take isl_basic_map *bmap, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2) argument 13549 isl_basic_map *bmap; local 13567 isl_basic_map_get_div(__isl_keep isl_basic_map *bmap, int pos) argument 13611 check_basic_map_compatible_range_multi_aff( __isl_keep isl_basic_map *bmap, enum isl_dim_type type, __isl_keep isl_multi_aff *ma) argument 13645 set_ma_divs(__isl_take isl_basic_map *bmap, __isl_keep isl_multi_aff *ma, int n_before, int n_after, int n_div) argument 13727 add_ma_strides( __isl_take isl_basic_map *bmap, __isl_keep isl_multi_aff *ma, int n_before, int n_after, int n_div_ma) argument 13841 isl_basic_map_preimage_multi_aff( __isl_take isl_basic_map *bmap, enum isl_dim_type type, __isl_take isl_multi_aff *ma) argument 13962 isl_basic_map_preimage_domain_multi_aff( __isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma) argument 13974 isl_basic_map_preimage_range_multi_aff( __isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma) argument 14329 isl_basic_map_inequality_extract_output_upper_bound( __isl_keep isl_basic_map *bmap, int ineq, int pos) argument 14371 is_potential_div_constraint(__isl_keep isl_basic_map *bmap, isl_int *c, int v_out, int d, int v_div, int total) argument 14426 isl_basic_map_find_output_upper_div_constraint( __isl_keep isl_basic_map *bmap, int pos) argument 14545 isl_basic_map_set_div_expr_constant_num_si_inplace( __isl_take isl_basic_map *bmap, int div, int value) argument 14630 isl_basic_map_transform_dims( __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, __isl_take isl_mat *trans) argument [all...] |
H A D | isl_map_subtract.c | 46 /* Add all constraints of bmap to tab. The equalities of bmap 50 __isl_keep isl_basic_map *bmap, int *div_map) 59 if (!tab || !bmap) 62 tab_total = isl_basic_map_dim(tab->bmap, isl_dim_all); 63 bmap_total = isl_basic_map_dim(bmap, isl_dim_all); 64 bmap_n_div = isl_basic_map_dim(bmap, isl_dim_div); 69 if (isl_tab_extend_cons(tab, 2 * bmap->n_eq + bmap->n_ineq) < 0) 72 v = isl_vec_alloc(bmap 49 tab_add_constraints(struct isl_tab *tab, __isl_keep isl_basic_map *bmap, int *div_map) argument 113 tab_add_constraint(struct isl_tab *tab, __isl_keep isl_basic_map *bmap, int *div_map, int c, int oppose) argument 170 tab_add_divs(struct isl_tab *tab, __isl_keep isl_basic_map *bmap, int **div_map) argument 308 basic_map_collect_diff(__isl_take isl_basic_map *bmap, __isl_take isl_map *map, struct isl_diff_collector *dc) argument 485 basic_map_subtract_add(struct isl_diff_collector *dc, __isl_take isl_basic_map *bmap) argument 499 basic_map_subtract(__isl_take isl_basic_map *bmap, __isl_take isl_map *map) argument 655 basic_map_is_empty_add(struct isl_diff_collector *dc, __isl_take isl_basic_map *bmap) argument 670 basic_map_diff_is_empty(__isl_keep isl_basic_map *bmap, __isl_keep isl_map *map) argument 714 isl_basic_map_plain_is_singleton(__isl_keep isl_basic_map *bmap) argument 745 singleton_extract_point( __isl_keep isl_basic_map *bmap) argument 910 struct isl_basic_map *bmap = isl_basic_map_copy(map->p[i]); local [all...] |
H A D | isl_aff_map.c | 71 isl_basic_map *bmap = NULL; local 83 bmap = isl_basic_map_from_local_space(ls); 84 bmap = isl_basic_map_extend_constraints(bmap, 1, 0); 85 k = isl_basic_map_alloc_equality(bmap); 89 pos = isl_basic_map_offset(bmap, isl_dim_out); 90 isl_seq_cpy(bmap->eq[k], aff->v->el + 1, pos); 91 isl_int_neg(bmap->eq[k][pos], aff->v->el[0]); 92 isl_seq_cpy(bmap->eq[k] + pos + 1, aff->v->el + 1 + pos, 97 bmap 120 isl_basic_map *bmap; local 137 isl_basic_map *bmap; local 214 isl_basic_map *bmap; local 270 isl_basic_map *bmap; local 309 isl_basic_map *bmap; local 374 isl_basic_map *bmap; local [all...] |
H A D | isl_coalesce.c | 179 * "bmap" is the basic map itself (or NULL if "removed" is set) 181 * "hull_hash" identifies the affine space in which "bmap" lives. 194 * is twice the number of equalities in the "bmap", corresponding 198 isl_basic_map *bmap; member in struct:isl_coalesce_info 216 n_eq = isl_basic_map_n_equality(info->bmap); 228 n_ineq = isl_basic_map_n_inequality(info->bmap); 243 n_eq = isl_basic_map_n_equality(info->bmap); 256 n_ineq = isl_basic_map_n_inequality(info->bmap); 268 n_eq = isl_basic_map_n_equality(info->bmap); 280 n_ineq = isl_basic_map_n_inequality(info->bmap); 428 add_valid_constraints( __isl_take isl_basic_map *bmap, struct isl_coalesce_info *info, unsigned len) argument 473 number_of_constraints_increases(int i, int j, struct isl_coalesce_info *info, __isl_keep isl_basic_map *bmap, struct isl_tab *tab) argument 675 isl_basic_map *bmap = info->bmap; local 858 is_affected(__isl_keep isl_basic_map *bmap, int ineq, int *affected, int total) argument 1348 isl_basic_map *bmap = info->bmap; local 1472 set_from_updated_bmap(__isl_keep isl_basic_map *bmap, struct isl_tab *tab) argument 3005 copy_ineq(struct isl_tab *tab, __isl_keep isl_basic_map *bmap) argument 3134 tab_insert_divs(struct isl_coalesce_info *info, int n, struct isl_expanded *expanded, __isl_take isl_basic_map *bmap) argument 3214 expand_tab(struct isl_coalesce_info *info, int *exp, __isl_take isl_basic_map *bmap) argument 3293 coalesce_expand_tab_divs(__isl_take isl_basic_map *bmap, int i, int j, struct isl_coalesce_info *info, __isl_keep isl_mat *div, int *exp) argument 3356 coalesce_with_expanded_divs( __isl_keep isl_basic_map *bmap, int i, int j, struct isl_coalesce_info *info, __isl_keep isl_mat *div, int *exp) argument 3589 has_nested_div(__isl_keep isl_basic_map *bmap) argument [all...] |
H A D | isl_affine_hull.c | 33 __isl_take isl_basic_map *bmap) 37 if (!bmap) 38 return bmap; 40 bmap = isl_basic_map_gauss(bmap, NULL); 41 if (ISL_F_ISSET(bmap, ISL_BASIC_MAP_EMPTY)) 42 return bmap; 43 if (ISL_F_ISSET(bmap, ISL_BASIC_MAP_NO_IMPLICIT)) 44 return bmap; 45 if (bmap 32 isl_basic_map_implicit_equalities( __isl_take isl_basic_map *bmap) argument 854 equalities_in_underlying_set( __isl_take isl_basic_map *bmap) argument 903 isl_basic_map_detect_equalities( __isl_take isl_basic_map *bmap) argument 971 isl_basic_map_plain_affine_hull( __isl_take isl_basic_map *bmap) argument 994 isl_basic_map_affine_hull( __isl_take isl_basic_map *bmap) argument 1026 add_strides(__isl_take isl_basic_map *bmap, __isl_keep isl_mat *M, int n_known) argument 1090 isl_basic_map_make_strides_explicit( __isl_take isl_basic_map *bmap) argument [all...] |
H A D | isl_map_private.h | 135 __isl_take isl_basic_map *bmap); 137 __isl_take isl_basic_map *bmap); 141 __isl_take isl_basic_map *bmap); 147 __isl_take isl_basic_map *bmap); 158 __isl_give isl_basic_map *isl_basic_map_reset(__isl_take isl_basic_map *bmap, 164 __isl_keep const isl_basic_map *bmap); 172 __isl_take isl_basic_map *bmap, __isl_take isl_space *space); 178 isl_size isl_basic_map_var_offset(__isl_keep isl_basic_map *bmap, 182 unsigned isl_basic_map_offset(__isl_keep isl_basic_map *bmap, 187 isl_bool isl_basic_map_may_be_set(__isl_keep isl_basic_map *bmap); [all...] |
H A D | isl_map_lexopt_templ.c | 21 * ISL_OPT_MAX) of "bmap" over the domain "dom" and return the result. 25 * should be computed over the domain of "bmap". "empty" is also NULL 27 * If "bmap" is marked as rational (ISL_BASIC_MAP_RATIONAL), 32 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, 35 return SF(isl_tab_basic_map_partial_lexopt,SUFFIX)(bmap, dom, empty, 40 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, 44 return SF(isl_basic_map_partial_lexopt,SUFFIX)(bmap, dom, empty, flags); 48 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, 52 return SF(isl_basic_map_partial_lexopt,SUFFIX)(bmap, dom, empty, flags); 69 /* Given a basic map "bmap", comput [all...] |
H A D | isl_constraint.c | 89 __isl_take isl_basic_map *bmap, isl_int **line) 98 if (!bmap || !line) 101 eq = line >= bmap->eq; 103 ctx = isl_basic_map_get_ctx(bmap); 104 ls = isl_basic_map_get_local_space(bmap); 114 isl_basic_map_free(bmap); 118 isl_basic_map_free(bmap); 185 /* Return the number of constraints in "bmap", i.e., the 189 isl_size isl_basic_map_n_constraint(__isl_keep isl_basic_map *bmap) argument 191 if (!bmap) 88 isl_basic_map_constraint( __isl_take isl_basic_map *bmap, isl_int **line) argument 206 isl_basic_map_foreach_constraint(__isl_keep isl_basic_map *bmap, isl_stat (*fn)(__isl_take isl_constraint *c, void *user), void *user) argument 269 isl_basic_map_get_constraint_list( __isl_keep isl_basic_map *bmap) argument 320 isl_basic_map_add_constraint( __isl_take isl_basic_map *bmap, __isl_take isl_constraint *constraint) argument 355 isl_basic_map *bmap; local 708 struct isl_basic_map *bmap; local 763 isl_basic_map_has_defining_equality( __isl_keep isl_basic_map *bmap, enum isl_dim_type type, int pos, __isl_give isl_constraint **c) argument [all...] |
H A D | isl_dim_map.c | 98 __isl_keep isl_basic_map *bmap, unsigned dst_pos) 103 if (!dim_map || !bmap) 106 src_pos = isl_basic_map_offset(bmap, isl_dim_div); 107 for (i = 0; i < bmap->n_div; ++i) { 193 /* Extend the given dim_map with mappings for the divs in bmap. 196 __isl_keep isl_basic_map *bmap) 205 offset = isl_basic_map_offset(bmap, isl_dim_div); 207 res = isl_dim_map_alloc(bmap->ctx, dim_map->len - 1 + bmap->n_div); 213 for (i = 0; i < bmap 97 isl_dim_map_div(__isl_keep isl_dim_map *dim_map, __isl_keep isl_basic_map *bmap, unsigned dst_pos) argument 195 isl_dim_map_extend(__isl_keep isl_dim_map *dim_map, __isl_keep isl_basic_map *bmap) argument [all...] |
H A D | isl_dim_map.h | 23 __isl_keep isl_basic_map *bmap, unsigned dst_pos); 32 __isl_keep isl_basic_map *bmap);
|
H A D | isl_tab_pip.c | 836 isl_basic_map *bmap; local 841 bmap = isl_basic_map_from_multi_aff2(ma, sol->sol.rational); 842 bmap = isl_basic_map_intersect_domain(bmap, dom); 844 sol->map = isl_map_add_basic_map(sol->map, bmap); 1661 if (tab->bmap) { 1662 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); 1666 tab->bmap = isl_basic_map_add_ineq(tab->bmap, e 2326 tab_for_lexmin(__isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *dom, unsigned M, int max) argument 3705 sol_init(struct isl_sol *sol, __isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *dom, int max) argument 3729 sol_map_init(__isl_keep isl_basic_map *bmap, __isl_take isl_basic_set *dom, int track_empty, int max) argument 4342 find_context_div(__isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *dom, unsigned div) argument 4387 align_context_divs( __isl_take isl_basic_map *bmap, __isl_keep isl_basic_set *dom) argument 4445 basic_map_partial_lexopt_base_sol( __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty, int max, struct isl_sol *(*init)(__isl_keep isl_basic_map *bmap, __isl_take isl_basic_set *dom, int track_empty, int max)) argument 4492 basic_map_partial_lexopt_base( __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty, int max) argument 4516 count_occurrences(__isl_keep isl_basic_map *bmap, int n) argument 4562 all_single_occurrence(__isl_keep isl_basic_map *bmap, int ineq, int n) argument 4615 parallel_constraints(__isl_keep isl_basic_map *bmap, int *first, int *second) argument 4773 need_split_basic_map(__isl_keep isl_basic_map *bmap, __isl_keep isl_mat *cst) argument 4932 basic_map_partial_lexopt_symm_core( __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty, int max, __isl_take isl_mat *cst, __isl_take isl_space *map_space, __isl_take isl_space *set_space) argument 4978 extract_domain(__isl_keep isl_basic_map *bmap, unsigned flags) argument 5761 sol_pma_init(__isl_keep isl_basic_map *bmap, __isl_take isl_basic_set *dom, int track_empty, int max) argument 5804 basic_map_partial_lexopt_base_pw_multi_aff( __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty, int max) argument 6006 basic_map_partial_lexopt_symm_core_pw_multi_aff( __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty, int max, __isl_take isl_mat *cst, __isl_take isl_space *map_space, __isl_take isl_space *set_space) argument [all...] |
H A D | isl_output.c | 64 struct isl_basic_map *bmap, int ineq, int n, __isl_take isl_printer *p) 67 isl_size n_in = isl_basic_map_dim(bmap, isl_dim_in); 68 isl_size n_out = isl_basic_map_dim(bmap, isl_dim_out); 69 isl_size nparam = isl_basic_map_dim(bmap, isl_dim_param); 70 isl_int *c = ineq ? bmap->ineq[n] : bmap->eq[n]; 85 for (i = 0; i < bmap->n_div; ++i) { 100 struct isl_basic_map *bmap, __isl_take isl_printer *p) 106 for (i = 0; i < bmap->n_eq; ++i) 107 p = print_constraint_polylib(bmap, 63 print_constraint_polylib( struct isl_basic_map *bmap, int ineq, int n, __isl_take isl_printer *p) argument 99 print_constraints_polylib( struct isl_basic_map *bmap, __isl_take isl_printer *p) argument 120 isl_basic_map_print_polylib( __isl_keep isl_basic_map *bmap, __isl_take isl_printer *p, int ext) argument 505 next_is_opposite(__isl_keep isl_basic_map *bmap, int i, int last) argument 777 print_constraints(__isl_keep isl_basic_map *bmap, __isl_keep isl_space *space, __isl_keep isl_mat *div, __isl_take isl_printer *p, int latex) argument 993 print_disjunct(__isl_keep isl_basic_map *bmap, __isl_keep isl_space *space, __isl_take isl_printer *p, int latex) argument 1023 print_optional_disjunct( __isl_keep isl_basic_map *bmap, __isl_keep isl_space *space, __isl_take isl_printer *p, int latex) argument 1036 basic_map_print_omega( __isl_keep isl_basic_map *bmap, __isl_take isl_printer *p) argument 1106 isl_basic_map_print_isl( __isl_keep isl_basic_map *bmap, __isl_take isl_printer *p, int latex) argument 1262 get_aff(__isl_take isl_basic_map *bmap) argument 1306 drop_aff(__isl_take isl_basic_map *bmap, __isl_keep isl_basic_map *aff) argument 1348 isl_basic_map *bmap; local 1559 isl_printer_print_basic_map(__isl_take isl_printer *p, __isl_keep isl_basic_map *bmap) argument [all...] |
H A D | isl_transitive_closure.c | 58 struct isl_basic_map *bmap; local 74 bmap = isl_basic_map_alloc_space(space, 0, 1, 1); 76 k = isl_basic_map_alloc_equality(bmap); 79 c = bmap->eq[k]; 81 k = isl_basic_map_alloc_inequality(bmap); 84 c = bmap->ineq[k]; 91 bmap = isl_basic_map_finalize(bmap); 92 map = isl_map_intersect(map, isl_map_from_basic_map(bmap)); 96 isl_basic_map_free(bmap); 681 struct isl_basic_map *bmap; local 946 q_closure(__isl_take isl_space *space, __isl_take isl_set *dom, __isl_keep isl_basic_map *bmap, isl_bool *exact) argument 1490 isl_basic_map *bmap; local 2176 isl_basic_map *bmap = NULL; local 2899 isl_basic_map *bmap; local [all...] |
H A D | isl_tab.c | 211 isl_basic_map_free(tab->bmap); 1904 if (tab->bmap) { 1905 struct isl_basic_map *bmap = tab->bmap; local 1907 isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq, 1910 tab->n_con == bmap->n_eq + bmap->n_ineq, 1912 tab->bmap = isl_basic_map_add_ineq(tab->bmap, ineq); 1915 if (!tab->bmap) 2200 ineq_for_div(__isl_keep isl_basic_map *bmap, unsigned div) argument 2384 isl_tab_from_basic_map( __isl_keep isl_basic_map *bmap, int track) argument 2624 isl_basic_map_update_from_tab( __isl_take isl_basic_map *bmap, struct isl_tab *tab) argument 3155 gauss_if_shared(__isl_take isl_basic_map *bmap, struct isl_tab *tab) argument 3201 isl_tab_make_equalities_explicit(struct isl_tab *tab, __isl_take isl_basic_map *bmap) argument 4140 isl_tab_track_bmap(struct isl_tab *tab, __isl_take isl_basic_map *bmap) argument [all...] |
H A D | isl_lp_private.h | 8 enum isl_lp_result isl_basic_map_solve_lp(__isl_keep isl_basic_map *bmap,
|
H A D | isl_tab.h | 160 struct isl_basic_map *bmap; member in struct:isl_tab 191 __isl_keep isl_basic_map *bmap, int track); 198 __isl_take isl_basic_map *bmap, struct isl_tab *tab); 203 __isl_take isl_basic_map *bmap); 217 isl_stat isl_tab_track_bmap(struct isl_tab *tab, __isl_take isl_basic_map *bmap) 258 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, 261 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom,
|
/netbsd-current/external/gpl3/gcc.old/dist/gcc/ |
H A D | sbitmap.c | 45 sbitmap bmap; local 51 bmap = (sbitmap) xmalloc (amt); 52 bmap->n_bits = n_elms; 53 bmap->size = size; 54 return bmap; 62 sbitmap_resize (sbitmap bmap, unsigned int n_elms, int def) argument 69 if (bytes > sbitmap_size_bytes (bmap)) 73 bmap = (sbitmap) xrealloc (bmap, amt); 76 if (n_elms > bmap 118 sbitmap bmap; local 201 bitmap_empty_p(const_sbitmap bmap) argument 214 bitmap_clear_range(sbitmap bmap, unsigned int start, unsigned int count) argument 272 bitmap_set_range(sbitmap bmap, unsigned int start, unsigned int count) argument 333 bitmap_bit_in_range_p(const_sbitmap bmap, unsigned int start, unsigned int end) argument 408 bitmap_count_bits(const_sbitmap bmap) argument 432 bitmap_clear(sbitmap bmap) argument 440 bitmap_ones(sbitmap bmap) argument 455 bitmap_vector_clear(sbitmap *bmap, unsigned int n_vecs) argument 466 bitmap_vector_ones(sbitmap *bmap, unsigned int n_vecs) argument 722 bitmap_first_set_bit(const_sbitmap bmap) argument 735 bitmap_last_set_bit(const_sbitmap bmap) argument 765 dump_bitmap(FILE *file, const_sbitmap bmap) argument 801 dump_bitmap_file(FILE *file, const_sbitmap bmap) argument 824 debug_bitmap(const_sbitmap bmap) argument [all...] |
H A D | gcse-common.c | 112 compute_transp (const_rtx x, int indx, sbitmap *bmap, argument 137 bitmap_clear_bit (bmap[DF_REF_BB (def)->index], indx); 156 bitmap_clear_bit (bmap[bb_index], indx); 178 bitmap_clear_bit (bmap[bb_index], indx); 215 compute_transp (XEXP (x, i), indx, bmap, blocks_with_calls, local 220 compute_transp (XVECEXP (x, i, j), indx, bmap, blocks_with_calls, local
|
/netbsd-current/external/gpl3/gcc/dist/gcc/ |
H A D | sbitmap.cc | 45 sbitmap bmap; local 51 bmap = (sbitmap) xmalloc (amt); 52 bmap->n_bits = n_elms; 53 bmap->size = size; 54 return bmap; 62 sbitmap_resize (sbitmap bmap, unsigned int n_elms, int def) argument 69 if (bytes > sbitmap_size_bytes (bmap)) 73 bmap = (sbitmap) xrealloc (bmap, amt); 76 if (n_elms > bmap 118 sbitmap bmap; local 201 bitmap_empty_p(const_sbitmap bmap) argument 214 bitmap_clear_range(sbitmap bmap, unsigned int start, unsigned int count) argument 272 bitmap_set_range(sbitmap bmap, unsigned int start, unsigned int count) argument 333 bitmap_bit_in_range_p(const_sbitmap bmap, unsigned int start, unsigned int end) argument 408 bitmap_count_bits(const_sbitmap bmap) argument 432 bitmap_clear(sbitmap bmap) argument 440 bitmap_ones(sbitmap bmap) argument 455 bitmap_vector_clear(sbitmap *bmap, unsigned int n_vecs) argument 466 bitmap_vector_ones(sbitmap *bmap, unsigned int n_vecs) argument 722 bitmap_first_set_bit(const_sbitmap bmap) argument 735 bitmap_last_set_bit(const_sbitmap bmap) argument 765 dump_bitmap(FILE *file, const_sbitmap bmap) argument 801 dump_bitmap_file(FILE *file, const_sbitmap bmap) argument 824 debug_bitmap(const_sbitmap bmap) argument [all...] |
H A D | gcse-common.cc | 112 compute_transp (const_rtx x, int indx, sbitmap *bmap, argument 137 bitmap_clear_bit (bmap[DF_REF_BB (def)->index], indx); 156 bitmap_clear_bit (bmap[bb_index], indx); 178 bitmap_clear_bit (bmap[bb_index], indx); 214 compute_transp (XEXP (x, i), indx, bmap, blocks_with_calls, local 219 compute_transp (XVECEXP (x, i, j), indx, bmap, blocks_with_calls, local
|
/netbsd-current/external/mit/isl/dist/include/isl/ |
H A D | map.h | 33 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, 43 isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap); 45 __isl_give isl_space *isl_basic_map_get_space(__isl_keep isl_basic_map *bmap); 49 __isl_give isl_aff *isl_basic_map_get_div(__isl_keep isl_basic_map *bmap, 53 __isl_keep isl_basic_map *bmap); 56 __isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s); 57 const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap, 65 const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap, 72 __isl_take isl_basic_map *bmap, [all...] |
/netbsd-current/external/apache2/mDNSResponder/dist/mDNSCore/ |
H A D | nsec3.c | 300 mDNSu8 *bmap; local 307 NSEC3Parse(&cr->resrec, mDNSNULL, mDNSNULL, mDNSNULL, &bmaplen, &bmap); 308 if (BitmapTypeCheck(bmap, bmaplen, kDNSType_DNAME)) 314 if (BitmapTypeCheck(bmap, bmaplen, kDNSType_NS) && 315 !BitmapTypeCheck(bmap, bmaplen, kDNSType_SOA)) 524 mDNSu8 *bmap; local 527 NSEC3Parse(&(*closestEncloser)->resrec, mDNSNULL, mDNSNULL, mDNSNULL, &bmaplen, &bmap); 528 if (BitmapTypeCheck(bmap, bmaplen, qtype) || BitmapTypeCheck(bmap, bmaplen, kDNSType_CNAME)) 533 ns = BitmapTypeCheck(bmap, bmaple 605 mDNSu8 *bmap; local 731 mDNSu8 *bmap; local [all...] |