#include <isl/aff.h>#include <isl/vec.h>#include <isl/mat.h>#include <isl/local_space.h>#include <isl_int.h>#include <isl_reordering.h>#include <isl/stream.h>#include <isl_list_templ.h>#include <isl_pw_templ.h>#include <isl_multi_templ.h>Go to the source code of this file.
Classes | |
| struct | isl_aff |
| struct | isl_pw_aff_piece |
| struct | isl_pw_aff |
| struct | isl_pw_multi_aff_piece |
| struct | isl_pw_multi_aff |
Macros | |
| #define | EL isl_aff |
| #define | PW isl_pw_aff |
| #define | EL isl_pw_aff |
| #define | PW isl_pw_multi_aff |
| #define | BASE aff |
| #define | EL isl_pw_multi_aff |
| #define | BASE pw_aff |
| #define | DOMBASE set |
| #define | EXPLICIT_DOMAIN |
| #define | EL isl_union_pw_aff |
| #define | BASE union_pw_aff |
| #define | DOMBASE union_set |
| #define | EXPLICIT_DOMAIN |
| #define | EL isl_union_pw_multi_aff |
Macro Definition Documentation
◆ BASE [1/3]
| #define BASE aff |
Definition at line 142 of file isl_aff_private.h.
◆ BASE [2/3]
| #define BASE pw_aff |
Definition at line 142 of file isl_aff_private.h.
◆ BASE [3/3]
| #define BASE union_pw_aff |
Definition at line 142 of file isl_aff_private.h.
◆ DOMBASE [1/2]
| #define DOMBASE set |
Definition at line 212 of file isl_aff_private.h.
◆ DOMBASE [2/2]
| #define DOMBASE union_set |
Definition at line 212 of file isl_aff_private.h.
◆ EL [1/5]
| #define EL isl_aff |
Definition at line 25 of file isl_aff_private.h.
Referenced by CAT(), dup(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), foreach_lifted_subset(), LIST(), LIST(), LIST(), MULTI(), MULTI(), MULTI(), S(), and S().
◆ EL [2/5]
| #define EL isl_pw_aff |
Definition at line 25 of file isl_aff_private.h.
◆ EL [3/5]
| #define EL isl_pw_multi_aff |
Definition at line 25 of file isl_aff_private.h.
◆ EL [4/5]
| #define EL isl_union_pw_aff |
Definition at line 25 of file isl_aff_private.h.
◆ EL [5/5]
| #define EL isl_union_pw_multi_aff |
Definition at line 25 of file isl_aff_private.h.
◆ EXPLICIT_DOMAIN [1/2]
| #define EXPLICIT_DOMAIN |
Definition at line 213 of file isl_aff_private.h.
◆ EXPLICIT_DOMAIN [2/2]
| #define EXPLICIT_DOMAIN |
Definition at line 213 of file isl_aff_private.h.
◆ PW [1/2]
| #define PW isl_pw_aff |
Definition at line 46 of file isl_aff_private.h.
◆ PW [2/2]
| #define PW isl_pw_multi_aff |
Definition at line 46 of file isl_aff_private.h.
Function Documentation
◆ isl_aff_add_constant()
| __isl_give isl_aff * isl_aff_add_constant | ( | __isl_take isl_aff * | aff, |
| isl_int | v ) |
Definition at line 913 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_int_addmul, isl_int_is_zero, and isl_vec_cow().
Referenced by accept_affine_factor(), and isl_aff_add_constant_si().
◆ isl_aff_alloc()
| __isl_give isl_aff * isl_aff_alloc | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 124 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_alloc_vec(), isl_dim_all, isl_local_space_dim(), isl_local_space_free(), isl_local_space_get_ctx(), isl_vec_alloc(), and total().
Referenced by extract_aff_from_equality(), extract_div(), isl_aff_nan_on_domain(), isl_aff_pullback_multi_aff(), isl_aff_val_on_domain(), isl_aff_var_on_domain(), isl_aff_zero_on_domain(), isl_constraint_get_aff(), isl_constraint_get_bound(), isl_term_get_div(), pw_multi_aff_from_map_stride(), set_from_affine_matrix(), and set_minimum_pa().
◆ isl_aff_alloc_vec()
| __isl_give isl_aff * isl_aff_alloc_vec | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_vec * | v ) |
Definition at line 101 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_alloc_vec_validated(), isl_die, isl_error_invalid, isl_local_space_divs_known(), isl_local_space_free(), isl_local_space_get_ctx(), isl_local_space_is_set(), and isl_vec_free().
Referenced by isl_aff_alloc(), and isl_morph_get_var_multi_aff().
◆ isl_aff_check_match_domain_space()
| isl_stat isl_aff_check_match_domain_space | ( | __isl_keep isl_aff * | aff, |
| __isl_keep isl_space * | space ) |
Definition at line 3923 of file isl_aff.c.
References __isl_keep, aff, isl_aff_get_ctx(), isl_aff_get_domain_space(), isl_die, isl_dim_in, isl_dim_set, isl_error_invalid, isl_space_free(), isl_space_has_equal_params(), isl_space_tuple_is_equal(), isl_stat_error, isl_stat_ok, and match().
◆ isl_aff_domain_dim()
| isl_size isl_aff_domain_dim | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type ) |
Definition at line 439 of file isl_aff.c.
References __isl_keep, aff, isl_aff_peek_domain_local_space(), isl_local_space_dim(), and type.
Referenced by isl_aff_align_divs(), isl_aff_dim(), isl_aff_expand_divs(), isl_aff_remove_unused_divs(), isl_aff_substitute(), isl_aff_substitute_equalities(), plug_in_integral_divs(), plug_in_unit_divs(), print_aff_c(), and print_aff_num_base().
◆ isl_aff_domain_factor_domain()
| __isl_give isl_aff * isl_aff_domain_factor_domain | ( | __isl_take isl_aff * | aff | ) |
References __isl_give, __isl_keep, __isl_take, and aff.
Referenced by compute_size_in_direction(), and isl_map_get_range_stride_info().
◆ isl_aff_domain_offset()
| isl_size isl_aff_domain_offset | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type ) |
Definition at line 464 of file isl_aff.c.
References __isl_keep, aff, isl_aff_peek_domain_local_space(), isl_local_space_offset(), and type.
Referenced by isl_aff_expand_divs(), isl_aff_move_dims(), isl_aff_remove_unused_divs(), last_modulo(), merge_divs(), plug_in_integral_divs(), plug_in_unit_divs(), and swap_div().
◆ isl_aff_expand_divs()
| __isl_give isl_aff * isl_aff_expand_divs | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_mat * | div, | ||
| int * | exp ) |
Definition at line 1821 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_domain_dim(), isl_aff_domain_offset(), isl_aff_free(), isl_dim_div, isl_local_space_replace_divs(), isl_mat_free(), isl_mat_rows(), isl_vec_expand(), and offset.
Referenced by isl_aff_add(), isl_aff_align_divs(), isl_basic_set_opt(), and isl_basic_set_opt_lp_val_aligned().
◆ isl_aff_matching_params()
| isl_bool isl_aff_matching_params | ( | __isl_keep isl_aff * | aff, |
| __isl_keep isl_space * | space ) |
Definition at line 3904 of file isl_aff.c.
References __isl_keep, aff, isl_aff_get_domain_space(), isl_bool_error, isl_space_free(), isl_space_has_equal_params(), and match().
◆ isl_aff_normalize()
| __isl_give isl_aff * isl_aff_normalize | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1624 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_free(), isl_aff_remove_unused_divs(), isl_vec_normalize(), plug_in_integral_divs(), plug_in_unit_divs(), and sort_divs().
Referenced by add_expanded(), isl_aff_floor(), isl_aff_pullback_multi_aff(), isl_aff_substitute_equalities_lifted(), isl_constraint_get_bound(), isl_term_get_div(), and set_from_affine_matrix().
◆ isl_aff_plain_cmp()
| int isl_aff_plain_cmp | ( | __isl_keep isl_aff * | aff1, |
| __isl_keep isl_aff * | aff2 ) |
Definition at line 7610 of file isl_aff.c.
References __isl_keep, cmp(), isl_local_space_cmp(), isl_seq_cmp(), and isl_seq_last_non_zero().
Referenced by isl_pw_aff_plain_cmp().
◆ isl_aff_pos_basic_set()
| __isl_give isl_basic_set * isl_aff_pos_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2342 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_add_constant_num_si(), isl_aff_nonneg_basic_set(), and isl_basic_set.
Referenced by isl_aff_gt_basic_set(), and isl_aff_neg_basic_set().
◆ isl_aff_realign_domain()
| __isl_give isl_aff * isl_aff_realign_domain | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_reordering * | r ) |
Definition at line 630 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_local_space_realign(), isl_reordering_copy(), isl_reordering_extend(), isl_reordering_free(), and isl_vec_reorder().
Referenced by isl_aff_align_params().
◆ isl_aff_remove_unused_divs()
| __isl_give isl_aff * isl_aff_remove_unused_divs | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1403 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_domain_dim(), isl_aff_domain_offset(), isl_aff_free(), isl_dim_div, isl_local_space_drop_dims(), isl_seq_last_non_zero(), isl_vec_drop_els(), n, and pos().
Referenced by detect_stride(), extract_isl_aff_from_basic_map(), and isl_aff_normalize().
◆ isl_aff_reset_domain_space()
| __isl_give isl_aff * isl_aff_reset_domain_space | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_space * | space ) |
Definition at line 598 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_local_space_reset_space(), and isl_space_free().
Referenced by isl_aff_project_domain_on_params(), isl_aff_reset_space_and_domain(), and isl_multi_pw_aff_apply_aff_aligned().
◆ isl_aff_reset_space_and_domain()
| __isl_give isl_aff * isl_aff_reset_space_and_domain | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_space * | space, | ||
| __isl_take isl_space * | domain ) |
Definition at line 620 of file isl_aff.c.
References __isl_give, __isl_take, aff, domain, isl_aff_reset_domain_space(), and isl_space_free().
◆ isl_aff_scale_down()
| __isl_give isl_aff * isl_aff_scale_down | ( | __isl_take isl_aff * | aff, |
| isl_int | f ) |
Definition at line 2025 of file isl_aff.c.
References __isl_give, __isl_take, aff, f, gcd(), isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_error_invalid, isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_is_one, isl_int_is_zero, isl_int_mul, isl_seq_gcd(), isl_seq_scale_down(), and isl_vec_cow().
Referenced by isl_aff_div(), isl_aff_mul(), isl_aff_scale_down_ui(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_pw_aff_scale_down(), and subtract_initial().
◆ isl_aff_set_coefficient()
| __isl_give isl_aff * isl_aff_set_coefficient | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| isl_int | v ) |
Definition at line 1111 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_int_set, isl_local_space_check_range(), isl_local_space_offset(), isl_vec_cow(), pos(), and type.
Referenced by extract_schedule_row().
◆ isl_aff_set_constant()
| __isl_give isl_aff * isl_aff_set_constant | ( | __isl_take isl_aff * | aff, |
| isl_int | v ) |
Definition at line 836 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_int_set, and isl_vec_cow().
Referenced by extract_schedule_row().
◆ isl_aff_substitute_equalities()
| __isl_give isl_aff * isl_aff_substitute_equalities | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_basic_set * | eq ) |
Definition at line 2223 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_domain_dim(), isl_aff_free(), isl_aff_substitute_equalities_lifted(), isl_basic_set, isl_basic_set_add_dims(), isl_basic_set_free(), isl_dim_div, and isl_dim_set.
Referenced by harmonize_divs_with_hulls(), isl_multi_aff_substitute_equalities(), and set_up_substitutions().
◆ isl_map_intersect_multi_pw_aff_explicit_domain()
| __isl_give isl_map * isl_map_intersect_multi_pw_aff_explicit_domain | ( | __isl_take isl_map * | map, |
| __isl_keep isl_multi_pw_aff * | mpa ) |
Definition at line 6719 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, isl_map_intersect_domain(), isl_multi_pw_aff_domain(), isl_set, and map.
Referenced by map_from_multi_pw_aff().
◆ isl_multi_aff_align_divs()
| __isl_give isl_multi_aff * isl_multi_aff_align_divs | ( | __isl_take isl_multi_aff * | maff | ) |
Definition at line 6139 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_align_divs(), and n.
Referenced by FN(), isl_aff_pullback_multi_aff(), isl_basic_map_preimage_multi_aff(), isl_local_space_preimage_multi_aff(), isl_multi_aff_lift(), isl_multi_aff_pullback_multi_aff(), and map_preimage_multi_aff().
◆ isl_multi_aff_check_named_params()
| isl_stat isl_multi_aff_check_named_params | ( | __isl_keep isl_multi_aff * | ma | ) |
References __isl_keep, and ma.
◆ isl_multi_aff_dup()
| __isl_give isl_multi_aff * isl_multi_aff_dup | ( | __isl_keep isl_multi_aff * | multi | ) |
References __isl_give, __isl_keep, __isl_take, and isl_basic_set.
◆ isl_multi_aff_from_aff_mat()
| __isl_give isl_multi_aff * isl_multi_aff_from_aff_mat | ( | __isl_take isl_space * | space, |
| __isl_take isl_mat * | mat ) |
Definition at line 4009 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_vec::el, isl_aff_alloc_vec_validated(), isl_die, isl_dim_all, isl_dim_out, isl_error_invalid, isl_int_set, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_mat_cols(), isl_mat_free(), isl_mat_get_ctx(), isl_mat_rows(), isl_seq_cpy(), isl_space_copy(), isl_space_dim(), isl_space_domain(), isl_space_free(), isl_vec_alloc(), isl_vec_normalize(), ma, and total().
Referenced by add_non_trivial_lineality(), isl_basic_set_coefficients_morphed_product(), and isl_multi_aff_from_aff_mat_anonymous().
◆ isl_multi_aff_from_basic_set_equalities()
| __isl_give isl_multi_aff * isl_multi_aff_from_basic_set_equalities | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 5026 of file isl_aff.c.
References __isl_give, __isl_take, extract_isl_multi_aff_from_basic_map(), and isl_basic_set.
Referenced by isl_vertex_get_expr().
◆ isl_pw_aff_add_disjoint()
| __isl_give isl_pw_aff * isl_pw_aff_add_disjoint | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 ) |
References __isl_give, and __isl_take.
Referenced by isl_multi_pw_aff_apply_pw_aff_aligned(), isl_pw_aff_list_opt(), isl_pw_aff_select(), isl_set_indicator_function(), and set_minimum_pa().
◆ isl_pw_aff_alloc_size()
| __isl_give isl_pw_aff * isl_pw_aff_alloc_size | ( | __isl_take isl_space * | space, |
| int | n ) |
References __isl_give, __isl_take, and n.
Referenced by isl_pw_multi_aff_get_at(), and set_minimum_pa().
◆ isl_pw_aff_check_match_domain_space()
| isl_stat isl_pw_aff_check_match_domain_space | ( | __isl_keep isl_pw_aff * | pa, |
| __isl_keep isl_space * | space ) |
Definition at line 6617 of file isl_aff.c.
References __isl_keep, isl_die, isl_dim_in, isl_error_invalid, isl_pw_aff_get_ctx(), isl_pw_aff_get_space(), isl_space_free(), isl_space_has_equal_params(), isl_space_tuple_is_equal(), isl_stat_error, isl_stat_ok, match(), and pa.
◆ isl_pw_aff_check_named_params()
| isl_stat isl_pw_aff_check_named_params | ( | __isl_keep isl_pw_aff * | pa | ) |
References __isl_keep, and pa.
Referenced by isl_pw_multi_aff_set_pw_aff().
◆ isl_pw_aff_domain_factor_domain()
| __isl_give isl_pw_aff * isl_pw_aff_domain_factor_domain | ( | __isl_take isl_pw_aff * | pa | ) |
References __isl_give, __isl_take, aff, f, and pa.
Referenced by read_tuple_var_def(), and update_piecewise_affine_colon().
◆ isl_pw_aff_list_set_rational()
| __isl_give isl_pw_aff_list * isl_pw_aff_list_set_rational | ( | __isl_take isl_pw_aff_list * | list | ) |
Definition at line 3880 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_set_rational(), n, and pa.
Referenced by construct_constraints().
◆ isl_pw_aff_matching_params()
| isl_bool isl_pw_aff_matching_params | ( | __isl_keep isl_pw_aff * | pa, |
| __isl_keep isl_space * | space ) |
Definition at line 6598 of file isl_aff.c.
References __isl_keep, isl_bool_error, isl_pw_aff_get_space(), isl_space_free(), isl_space_has_equal_params(), match(), and pa.
◆ isl_pw_aff_peek_base_at()
| __isl_keep isl_aff * isl_pw_aff_peek_base_at | ( | __isl_keep isl_pw_aff * | pa, |
| int | pos ) |
References __isl_keep, pa, and pos().
◆ isl_pw_aff_reset_domain_space()
| __isl_give isl_pw_aff * isl_pw_aff_reset_domain_space | ( | __isl_take isl_pw_aff * | pwaff, |
| __isl_take isl_space * | space ) |
References __isl_give, and __isl_take.
Referenced by pw_aff_on_domain(), and separate_tuple_entry().
◆ isl_pw_aff_reset_space()
| __isl_give isl_pw_aff * isl_pw_aff_reset_space | ( | __isl_take isl_pw_aff * | pwaff, |
| __isl_take isl_space * | space ) |
References __isl_give, and __isl_take.
Referenced by reset_params().
◆ isl_pw_aff_scale()
| __isl_give isl_pw_aff * isl_pw_aff_scale | ( | __isl_take isl_pw_aff * | pwaff, |
| isl_int | f ) |
References __isl_give, __isl_take, and f.
Referenced by accept_affine_factor(), affine_mod(), and isl_pw_aff_mod().
◆ isl_pw_aff_scale_down()
| __isl_give isl_pw_aff * isl_pw_aff_scale_down | ( | __isl_take isl_pw_aff * | pwaff, |
| isl_int | f ) |
Definition at line 3255 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_scale_down(), isl_die, isl_error_invalid, isl_int_is_one, isl_int_is_pos, isl_pw_aff_free(), and isl_pw_aff_get_ctx().
Referenced by affine_mod(), isl_pw_aff_mod(), and pw_aff_div_by_cst().
◆ isl_pw_aff_set_rational()
| __isl_give isl_pw_aff * isl_pw_aff_set_rational | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3859 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_free(), and isl_set_set_rational().
Referenced by accept_extended_affine(), isl_pw_aff_list_set_rational(), map_from_tuple(), and update_piecewise_affine_colon().
◆ isl_pw_aff_union_opt()
| __isl_give isl_pw_aff * isl_pw_aff_union_opt | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2, | ||
| int | max ) |
Definition at line 2849 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_union_max(), and isl_pw_aff_union_min().
Referenced by map_dim_opt().
◆ isl_pw_multi_aff_add_disjoint()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_add_disjoint | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 ) |
References __isl_give, and __isl_take.
Referenced by pw_multi_aff_from_map_base(), sol_pma_add(), and split_domain_pma().
◆ isl_pw_multi_aff_check_named_params()
| isl_stat isl_pw_multi_aff_check_named_params | ( | __isl_keep isl_pw_multi_aff * | pma | ) |
References __isl_give, __isl_keep, __isl_take, aff, isl_basic_set, pa, and pma.
Referenced by isl_map_preimage_pw_multi_aff(), and isl_pw_multi_aff_set_pw_aff().
◆ isl_pw_multi_aff_move_dims()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_move_dims | ( | __isl_take isl_pw_multi_aff * | pma, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n ) |
References __isl_give, __isl_take, n, and pma.
◆ isl_pw_multi_aff_peek_base_at()
| __isl_keep isl_multi_aff * isl_pw_multi_aff_peek_base_at | ( | __isl_keep isl_pw_multi_aff * | pma, |
| int | pos ) |
References __isl_keep, pma, and pos().
◆ isl_pw_multi_aff_project_out()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_project_out | ( | __isl_take isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n ) |
References __isl_give, __isl_keep, __isl_take, aff, c1, c2, f, isl_basic_set, ma, n, pma, pos(), and type.
Referenced by split_domain_pma().
◆ isl_pw_multi_aff_reset_domain_space()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_reset_domain_space | ( | __isl_take isl_pw_multi_aff * | pwmaff, |
| __isl_take isl_space * | space ) |
References __isl_give, and __isl_take.
◆ isl_pw_multi_aff_reset_space()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_reset_space | ( | __isl_take isl_pw_multi_aff * | pwmaff, |
| __isl_take isl_space * | space ) |
References __isl_give, and __isl_take.
Referenced by isl_pw_multi_aff_from_multi_pw_aff(), project_out_fixed(), and reset_range_space().
◆ isl_pw_multi_aff_substitute()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_substitute | ( | __isl_take isl_pw_multi_aff * | pma, |
| unsigned | pos, | ||
| __isl_keep isl_pw_aff * | subs ) |
Definition at line 5811 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_in, isl_multi_aff_substitute(), isl_pw_multi_aff_free(), isl_set, isl_set_copy(), isl_set_free(), isl_set_intersect(), isl_set_plain_is_empty(), isl_set_substitute(), isl_space_copy(), n, pma, pos(), and res.
Referenced by split_domain_pma().
◆ isl_seq_preimage()
| isl_stat isl_seq_preimage | ( | isl_int * | dst, |
| isl_int * | src, | ||
| __isl_keep isl_multi_aff * | ma, | ||
| int | n_before, | ||
| int | n_after, | ||
| int | n_div_ma, | ||
| int | n_div_bmap, | ||
| isl_int | f, | ||
| isl_int | c1, | ||
| isl_int | c2, | ||
| isl_int | g, | ||
| int | has_denom ) |
Definition at line 5895 of file isl_aff.c.
References __isl_keep, c1, c2, f, isl_dim_in, isl_dim_out, isl_dim_param, isl_int_divexact, isl_int_gcd, isl_int_is_zero, isl_int_mul, isl_int_set, isl_int_set_si, isl_seq_clr(), isl_seq_combine(), isl_seq_cpy(), isl_seq_scale(), isl_stat_error, isl_stat_ok, ma, and offset.
Referenced by isl_aff_pullback_multi_aff(), isl_basic_map_preimage_multi_aff(), and isl_local_space_preimage_multi_aff().
◆ isl_stream_read_aff()
| __isl_give isl_aff * isl_stream_read_aff | ( | __isl_keep isl_stream * | s | ) |
Definition at line 3550 of file isl_input.c.
References __isl_give, __isl_keep, aff, isl_die, isl_dim_out, isl_error_invalid, isl_stream_read_multi_aff(), ma, and isl_token::s.
◆ isl_stream_read_pw_aff()
| __isl_give isl_pw_aff * isl_stream_read_pw_aff | ( | __isl_keep isl_stream * | s | ) |
References __isl_give, __isl_keep, and aff.
◆ isl_stream_read_pw_multi_aff()
| __isl_give isl_pw_multi_aff * isl_stream_read_pw_multi_aff | ( | __isl_keep isl_stream * | s | ) |
References __isl_give, and __isl_keep.
◆ isl_stream_read_union_pw_aff()
| __isl_give isl_union_pw_aff * isl_stream_read_union_pw_aff | ( | __isl_keep isl_stream * | s | ) |
References __isl_give, and __isl_keep.
Generated on for Polly by
1.14.0