|
Polly 19.0.0git
|
#include <isl_ctx_private.h>#include <isl_map_private.h>#include <isl_union_map_private.h>#include <isl_aff_private.h>#include <isl_space_private.h>#include <isl_local_space_private.h>#include <isl_vec_private.h>#include <isl_mat_private.h>#include <isl_id_private.h>#include <isl/constraint.h>#include <isl_seq.h>#include <isl/set.h>#include <isl_val_private.h>#include <isl_point_private.h>#include <isl_config.h>#include <isl_list_templ.c>#include <isl_list_read_templ.c>#include "isl_unbind_params_templ.c"#include "check_type_range_templ.c"#include <isl_domain_factor_templ.c>#include <isl_pw_templ.c>#include <isl_pw_un_op_templ.c>#include <isl_pw_add_constant_val_templ.c>#include <isl_pw_add_disjoint_templ.c>#include <isl_pw_bind_domain_templ.c>#include <isl_pw_eval.c>#include <isl_pw_hash.c>#include <isl_pw_fix_templ.c>#include <isl_pw_from_range_templ.c>#include <isl_pw_insert_dims_templ.c>#include <isl_pw_insert_domain_templ.c>#include <isl_pw_move_dims_templ.c>#include <isl_pw_neg_templ.c>#include <isl_pw_pullback_templ.c>#include <isl_pw_scale_templ.c>#include <isl_pw_sub_templ.c>#include <isl_pw_union_opt.c>#include <isl_union_single.c>#include <isl_union_neg.c>#include <isl_union_sub_templ.c>#include <isl_union_pw_templ.c>#include <isl_multi_no_explicit_domain.c>#include <isl_multi_templ.c>#include <isl_multi_un_op_templ.c>#include <isl_multi_bin_val_templ.c>#include <isl_multi_add_constant_templ.c>#include <isl_multi_apply_set.c>#include <isl_multi_arith_templ.c>#include <isl_multi_bind_domain_templ.c>#include <isl_multi_cmp.c>#include <isl_multi_dim_id_templ.c>#include <isl_multi_dims.c>#include <isl_multi_floor.c>#include <isl_multi_from_base_templ.c>#include <isl_multi_identity_templ.c>#include <isl_multi_insert_domain_templ.c>#include <isl_multi_locals_templ.c>#include <isl_multi_move_dims_templ.c>#include <isl_multi_nan_templ.c>#include <isl_multi_product_templ.c>#include <isl_multi_splice_templ.c>#include <isl_multi_tuple_id_templ.c>#include <isl_multi_unbind_params_templ.c>#include <isl_multi_zero_templ.c>#include <isl_multi_gist.c>#include <isl_multi_bind_templ.c>#include <isl_pw_add_constant_multi_val_templ.c>#include <isl_pw_locals_templ.c>#include <isl_pw_range_tuple_id_templ.c>#include <isl_union_multi.c>#include "isl_union_locals_templ.c"#include <isl_multi_explicit_domain.c>#include <isl_multi_pw_aff_explicit_domain.c>#include <isl_multi_coalesce.c>#include <isl_multi_domain_templ.c>#include <isl_multi_hash.c>#include <isl_multi_align_set.c>#include <isl_multi_intersect.c>#include <isl_multi_min_max_templ.c>#include <isl_multi_param_templ.c>#include <isl_multi_union_add_templ.c>#include "isl_opt_mpa_templ.c"#include "isl_type_check_match_range_multi_val.c"#include "isl_multi_pw_aff_pullback_templ.c"#include "isl_aff_lex_templ.c"#include "isl_copy_tuple_id_templ.c"#include <isl_multi_union_pw_aff_explicit_domain.c>#include <isl_multi_apply_union_set.c>#include <isl_multi_align_union_set.c>#include <isl_multi_zero_space_templ.c>Go to the source code of this file.
Macros | |
| #define | EL_BASE aff |
| #define | EL_BASE pw_aff |
| #define | EL_BASE pw_multi_aff |
| #define | EL_BASE union_pw_aff |
| #define | EL_BASE union_pw_multi_aff |
| #define | TYPE isl_aff |
| #define | TYPE isl_aff |
| #define | TYPE isl_aff |
| #define | isl_aff_involves_nan isl_aff_is_nan |
| #define | PW isl_pw_aff |
| #define | BASE aff |
| #define | EL_IS_ZERO is_empty |
| #define | ZERO empty |
| #define | IS_ZERO is_empty |
| #define | FIELD aff |
| #define | DEFAULT_IS_ZERO 0 |
| #define | BASE pw_aff |
| #define | BASE aff |
| #define | TYPE isl_pw_aff |
| #define | BASE aff |
| #define | DOMBASE set |
| #define | DOMBASE basic_set |
| #define | isl_multi_aff_zero_in_space isl_multi_aff_zero |
| #define | PW isl_pw_multi_aff |
| #define | BASE multi_aff |
| #define | EL_IS_ZERO is_empty |
| #define | ZERO empty |
| #define | IS_ZERO is_empty |
| #define | FIELD maff |
| #define | DEFAULT_IS_ZERO 0 |
| #define | BASE pw_multi_aff |
| #define | BASE multi_aff |
| #define | TYPE isl_pw_multi_aff |
| #define | BASE pw_aff |
| #define | DOMBASE set |
| #define | BASE set |
| #define | BASE map |
| #define | TYPE isl_pw_multi_aff |
| #define | BASE multi_aff |
| #define | BASE pw_multi_aff |
| #define | BASE multi_pw_aff |
| #define | ORDER le |
| #define | STRICT_ORDER lt |
| #define | ORDER lt |
| #define | STRICT_ORDER lt |
| #define | ORDER ge |
| #define | STRICT_ORDER gt |
| #define | ORDER gt |
| #define | STRICT_ORDER gt |
| #define | TYPE isl_pw_multi_aff |
| #define | BASE union_pw_aff |
| #define | DOMBASE union_set |
| #define isl_aff_involves_nan isl_aff_is_nan |
| #define PW isl_pw_aff |
| #define PW isl_pw_multi_aff |
| #define TYPE isl_pw_aff |
| #define TYPE isl_pw_multi_aff |
| #define TYPE isl_pw_multi_aff |
| #define TYPE isl_pw_multi_aff |
|
static |
Definition at line 1849 of file isl_aff.c.
References f, gcd(), isl_aff_cow(), isl_aff_free(), isl_aff_normalize(), isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_mul, isl_seq_addmul(), isl_seq_scale(), and isl_vec_cow().
Referenced by isl_aff_add().
|
static |
Definition at line 6307 of file isl_aff.c.
References isl_pw_multi_aff_from_domain(), isl_stat_ok, isl_union_pw_multi_aff_add_pw_multi_aff(), pma, set, and user.
Referenced by isl_union_pw_multi_aff_from_domain().
|
static |
Definition at line 2967 of file isl_aff.c.
References aff, isl_aff_bind_id(), isl_aff_free(), isl_aff_get_ctx(), isl_die, isl_error_unsupported, isl_id_copy(), and user.
Referenced by isl_pw_aff_bind_id().
|
static |
Definition at line 2308 of file isl_aff.c.
References aff, isl_aff_free(), isl_aff_get_domain_space(), isl_aff_is_nan(), isl_basic_set_empty(), isl_basic_set_from_constraint(), isl_basic_set_set_rational(), isl_basic_set_simplify(), and isl_inequality_from_aff().
Referenced by isl_aff_nonneg_basic_set(), and isl_pw_aff_nonneg_set().
|
static |
Definition at line 2271 of file isl_aff.c.
References aff, isl_aff_free(), isl_aff_get_ctx(), isl_aff_get_domain_space(), isl_aff_is_nan(), isl_basic_set_empty(), isl_basic_set_from_constraint(), isl_basic_set_simplify(), isl_constraint_get_constant_val(), isl_constraint_set_constant_val(), isl_die, isl_error_unsupported, isl_inequality_from_aff(), and isl_val_sub_ui().
Referenced by isl_pw_aff_pos_set().
|
static |
Definition at line 2363 of file isl_aff.c.
References aff, isl_aff_free(), isl_aff_get_domain_space(), isl_aff_is_nan(), isl_basic_set_empty(), isl_basic_set_from_constraint(), isl_basic_set_set_rational(), isl_basic_set_simplify(), and isl_equality_from_aff().
Referenced by isl_aff_zero_basic_set(), isl_pw_aff_non_zero_set(), and isl_pw_aff_zero_set().
|
static |
Definition at line 6358 of file isl_aff.c.
References isl_union_pw_multi_aff_bin_data::fn, isl_pw_multi_aff_free(), isl_union_pw_multi_aff_foreach_pw_multi_aff(), isl_union_pw_multi_aff_bin_data::pma, pma, isl_union_pw_multi_aff_bin_data::upma2, and user.
Referenced by bin_op().
|
static |
Definition at line 6376 of file isl_aff.c.
References bin_entry(), fn, isl_union_pw_multi_aff_align_params(), isl_union_pw_multi_aff_foreach_pw_multi_aff(), isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_get_space(), isl_union_pw_multi_aff_bin_data::res, and isl_union_pw_multi_aff_bin_data::upma2.
|
static |
Definition at line 8480 of file isl_aff.c.
References isl_bind_id_data::bound, bound, isl_bind_id_data::id, isl_id_copy(), isl_pw_aff_bind_id(), isl_stat_error, isl_stat_ok, isl_union_set_add_set(), and user.
Referenced by FN(), and isl_union_pw_aff_bind_id().
|
static |
Definition at line 3596 of file isl_aff.c.
References isl_pw_aff_involves_nan().
Referenced by isl_pw_aff_is_equal(), and pw_aff_min_max().
|
static |
Definition at line 9957 of file isl_aff.c.
References aff, isl_int_clear, isl_int_init, isl_int_mul, isl_seq_inner_product(), isl_val_normalize(), isl_val_rat_from_isl_int(), isl_vec_get_ctx(), and n.
Referenced by FN(), and isl_aff_eval().
|
static |
Definition at line 9943 of file isl_aff.c.
References aff, isl_aff_free(), isl_point_free(), isl_point_get_ctx(), and isl_val_nan().
Referenced by FN(), and isl_aff_eval().
|
static |
Definition at line 4897 of file isl_aff.c.
References aff, isl_vec::el, isl_aff_add(), isl_aff_alloc(), isl_aff_copy(), isl_aff_free(), isl_aff_mod_val(), isl_aff_sub(), isl_basic_map_dim(), isl_basic_map_get_ctx(), isl_basic_map_get_local_space(), isl_basic_map_offset(), isl_dim_div, isl_dim_out, isl_int_abs, isl_int_is_neg, isl_int_set_si, isl_local_space_copy(), isl_local_space_domain(), isl_local_space_free(), isl_seq_cpy(), isl_seq_neg(), isl_val_abs(), isl_val_int_from_isl_int(), ma, isl_ctx::negone, pos(), subtract_initial(), and isl_aff::v.
Referenced by extract_isl_aff_from_basic_map().
|
static |
Definition at line 4971 of file isl_aff.c.
References aff, extract_aff_from_equality(), isl_aff_remove_unused_divs(), isl_basic_map_get_ctx(), isl_basic_map_output_defining_equality(), isl_die, isl_error_invalid, ma, and pos().
Referenced by extract_isl_multi_aff_from_basic_map().
|
static |
Definition at line 4994 of file isl_aff.c.
References aff, extract_isl_aff_from_basic_map(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_get_space(), isl_dim_out, and ma.
Referenced by isl_multi_aff_from_basic_set_equalities(), and plain_pw_multi_aff_from_map().
|
static |
Definition at line 8759 of file isl_aff.c.
References equal, isl_die, isl_error_invalid, isl_pw_multi_aff_free(), isl_pw_multi_aff_get_space(), isl_space_free(), isl_space_get_ctx(), isl_space_is_equal(), isl_space_range(), isl_stat_error, isl_stat_ok, pma, and user.
Referenced by isl_multi_union_pw_aff_from_union_pw_multi_aff().
|
static |
Definition at line 6471 of file isl_aff.c.
References gen_range_product_entry(), isl_pw_multi_aff_flat_range_product(), and user.
Referenced by isl_union_pw_multi_aff_flat_range_product().
|
static |
Definition at line 8117 of file isl_aff.c.
References isl_pw_aff_floor().
Referenced by isl_union_pw_aff_floor().
|
static |
Definition at line 6442 of file isl_aff.c.
References isl_dim_in, isl_pw_multi_aff_copy(), isl_pw_multi_aff_free(), isl_space_tuple_is_equal(), isl_stat_error, isl_stat_ok, isl_union_pw_multi_aff_add_pw_multi_aff(), match(), isl_union_pw_multi_aff_bin_data::pma, range_product, isl_union_pw_multi_aff_bin_data::res, and user.
Referenced by flat_range_product_entry(), and range_product_entry().
|
static |
Definition at line 8176 of file isl_aff.c.
References isl_dim_out, isl_pw_multi_aff_dim(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_pw_aff(), isl_stat_error, isl_stat_ok, isl_union_pw_aff_add_pw_aff(), pma, isl_union_pw_multi_aff_get_union_pw_aff_data::pos, isl_union_pw_multi_aff_get_union_pw_aff_data::res, and user.
Referenced by isl_union_pw_multi_aff_get_union_pw_aff().
|
static |
Definition at line 5203 of file isl_aff.c.
References isl_int_is_negone, isl_int_is_one, isl_int_is_zero, isl_seq_first_non_zero(), offset, and total().
Referenced by pw_multi_aff_from_map_check_div().
| __isl_give isl_aff * isl_aff_add | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 1896 of file isl_aff.c.
References add_expanded(), isl_aff_dim(), isl_aff_expand_divs(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_nan(), isl_alloc_array, isl_die, isl_dim_div, isl_error_invalid, isl_mat_copy(), isl_merge_divs(), and isl_space_is_equal().
Referenced by isl::aff::add(), add_rational(), extract_aff_from_equality(), extract_modulos(), extract_rational(), extract_term_and_mod(), isl_aff_add_on_domain(), isl_aff_sub(), isl_ast_build_get_stride_expansion(), isl_pw_aff_add(), lower_bound(), print_aff_num_mod(), set_stride(), and subtract_initial().
| __isl_give isl_aff * isl_aff_add_coefficient | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| isl_int | v | ||
| ) |
Definition at line 1253 of file isl_aff.c.
References 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_addmul, isl_local_space_check_range(), isl_local_space_offset(), isl_vec_cow(), pos(), and type.
Referenced by isl_aff_add_coefficient_si().
| __isl_give isl_aff * isl_aff_add_coefficient_si | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| int | v | ||
| ) |
Definition at line 1353 of file isl_aff.c.
References aff, isl_aff_add_coefficient(), isl_int_clear, isl_int_init, isl_int_set_si, pos(), t, and type.
Referenced by at_offset(), compute_size_in_direction(), identity_tuple_el_on_space(), isl_ast_build_get_stride_constraint(), map_from_tuple(), test_aff(), update_unrolling_lower_bound(), and polly::SCEVAffinator::visit().
| __isl_give isl_aff * isl_aff_add_coefficient_val | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| __isl_take isl_val * | v | ||
| ) |
Definition at line 1290 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_int_add, isl_int_addmul, isl_int_eq, isl_int_is_one, isl_int_mul, isl_local_space_check_range(), isl_local_space_offset(), isl_seq_scale(), isl_val_free(), isl_val_is_rat(), isl_val_is_zero(), isl_vec_cow(), isl_vec_normalize(), pos(), and type.
| __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 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_give isl_aff * isl_aff_add_constant_num | ( | __isl_take isl_aff * | aff, |
| isl_int | v | ||
| ) |
Definition at line 1042 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_int_add, isl_int_is_zero, and isl_vec_cow().
Referenced by isl_aff_add_constant_num_si().
| __isl_give isl_aff * isl_aff_add_constant_num_si | ( | __isl_take isl_aff * | aff, |
| int | v | ||
| ) |
Definition at line 1068 of file isl_aff.c.
References aff, isl_aff_add_constant_num(), isl_int_clear, isl_int_init, isl_int_set_si, and t.
Referenced by isl_aff_pos_basic_set().
| __isl_give isl_aff * isl_aff_add_constant_si | ( | __isl_take isl_aff * | aff, |
| int | v | ||
| ) |
Definition at line 1026 of file isl_aff.c.
References aff, isl_aff_add_constant(), isl_int_clear, isl_int_init, isl_int_set_si, and t.
Referenced by isl::aff::add_constant_si(), at_offset(), isl_set_indicator_function(), list_add_one(), oppose_div_arg(), pw_aff_gte_set(), test_aff(), and update_unrolling_lower_bound().
| __isl_give isl_aff * isl_aff_add_constant_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 997 of file isl_aff.c.
References aff, isl_aff_add_rat_constant_val(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_error_invalid, isl_val_free(), isl_val_is_nan(), isl_val_is_rat(), isl_val_is_zero(), pick_free(), and set_nan_free_val().
Referenced by isl::aff::add_constant(), is_non_neg_after_stealing(), oppose_div_arg(), and steal_from_cst().
| __isl_give isl_aff * isl_aff_add_dims | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | n | ||
| ) |
Definition at line 2690 of file isl_aff.c.
References aff, isl_aff_dim(), isl_aff_free(), isl_aff_insert_dims(), n, pos(), and type.
Referenced by isl_multi_pw_aff_apply_aff_aligned().
| __isl_give isl_aff * isl_aff_add_on_domain | ( | __isl_keep isl_set * | dom, |
| __isl_take isl_aff * | aff1, | ||
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2510 of file isl_aff.c.
References isl_aff_add(), isl_aff_gist(), and isl_set_copy().
|
static |
Definition at line 938 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_int_add, isl_int_addmul, isl_int_eq, isl_int_is_one, isl_int_mul, isl_seq_scale(), isl_val_free(), isl_vec_cow(), and isl_vec_normalize().
Referenced by isl_aff_add_constant_val().
| __isl_give isl_aff * isl_aff_align_divs | ( | __isl_take isl_aff * | dst, |
| __isl_keep isl_aff * | src | ||
| ) |
Definition at line 6088 of file isl_aff.c.
References equal, isl_aff_domain_dim(), isl_aff_expand_divs(), isl_aff_free(), isl_aff_get_ctx(), isl_alloc_array, isl_die, isl_dim_div, isl_error_invalid, isl_local_space_has_equal_space(), isl_local_space_is_equal(), and isl_merge_divs().
Referenced by isl_multi_aff_align_divs().
| __isl_give isl_aff * isl_aff_align_params | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_space * | model | ||
| ) |
Definition at line 651 of file isl_aff.c.
References aff, isl_aff_free(), isl_aff_peek_domain_space(), isl_aff_realign_domain(), isl_parameter_alignment_reordering(), isl_space_free(), and isl_space_has_equal_params().
Referenced by isl_aff_bind_id(), isl_basic_set_opt_lp_val(), isl_multi_pw_aff_apply_aff(), isl_multi_union_pw_aff_apply_aff(), and isl_set_opt().
| __isl_give isl_aff * isl_aff_alloc | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 124 of file isl_aff.c.
References 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_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_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().
|
static |
Definition at line 72 of file isl_aff.c.
References aff, isl_calloc_type, isl_local_space_free(), and isl_vec_free().
Referenced by isl_aff_alloc_vec(), isl_aff_dup(), isl_multi_aff_from_aff_mat(), and pw_multi_aff_from_map_div().
| __isl_give isl_basic_set * isl_aff_bind_id | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 2949 of file isl_aff.c.
References aff, isl_aff_align_params(), isl_aff_eq_basic_set(), isl_aff_get_domain_space(), isl_aff_param_on_domain_space_id(), isl_id_copy(), isl_space_add_param_id(), and isl_space_copy().
Referenced by aff_bind_id(), isl::aff::bind(), and test_bind_aff().
| __isl_give isl_aff * isl_aff_ceil | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1793 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_floor(), isl_aff_free(), isl_aff_is_nan(), isl_int_add, isl_int_is_one, isl_int_sub_ui, and isl_vec_cow().
Referenced by isl::aff::ceil(), compute_size_in_direction(), isl_pw_aff_ceil(), lower_bound(), and update_unrolling_lower_bound().
|
static |
Definition at line 9982 of file isl_aff.c.
References aff, isl_aff_get_ctx(), isl_aff_peek_domain_space(), isl_die, isl_error_invalid, isl_space_is_equal(), isl_stat_error, and isl_stat_ok.
Referenced by isl_aff_eval().
| 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 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().
| int isl_aff_coefficient_sgn | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos | ||
| ) |
Definition at line 809 of file isl_aff.c.
References aff, isl_aff_get_ctx(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_int_sgn, isl_local_space_check_range(), isl_local_space_offset(), pos(), and type.
Referenced by all_negative_coefficients().
| __isl_give isl_aff * isl_aff_copy | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 145 of file isl_aff.c.
References aff.
Referenced by ast_expr_from_pw_aff(), at_offset(), coefficients_of_sign(), compute_size_in_direction(), isl::aff::copy(), extends(), extract_aff_from_equality(), extract_mod(), extract_rational(), is_non_neg_after_stealing(), is_stride_constraint(), isl_aff_mod_val(), isl_aff_ne_set(), isl_ast_build_aff_is_nonneg(), isl_ast_expr_from_constraint_no_stride(), isl_ast_expr_mod(), isl_basic_map_from_aff_list(), isl_basic_map_from_multi_aff2(), isl_basic_set_opt(), isl_basic_set_opt_lp_val(), isl_basic_set_opt_lp_val_aligned(), isl_fixed_box_set_extent(), isl_map_from_pw_aff_internal(), isl_multi_pw_aff_apply_aff_aligned(), isl_multi_pw_aff_apply_pw_aff_aligned(), isl_multi_union_pw_aff_apply_pw_aff(), isl_pw_multi_aff_from_pw_aff(), isl_pw_qpolynomial_from_pw_aff(), isl_set_opt(), isl_set_substitute(), isl_stride_info_copy(), isl_stride_info_get_offset(), lower_bound(), multi_union_pw_aff_apply_aff(), print_aff_num_mod(), pw_aff_locus(), pw_multi_aff_from_map_stride(), pw_multi_aff_set_pw_aff(), set_up_substitutions(), try_extract_mod(), update_unrolling_lower_bound(), and var_div().
| __isl_give isl_aff * isl_aff_cow | ( | __isl_take isl_aff * | aff | ) |
Definition at line 163 of file isl_aff.c.
References aff, and isl_aff_dup().
Referenced by add_expanded(), isl_aff_add_coefficient(), isl_aff_add_coefficient_val(), isl_aff_add_constant(), isl_aff_add_constant_num(), isl_aff_add_rat_constant_val(), isl_aff_ceil(), isl_aff_drop_dims(), isl_aff_expand_divs(), isl_aff_floor(), isl_aff_insert_dims(), isl_aff_lift(), isl_aff_move_dims(), isl_aff_mul(), isl_aff_neg(), isl_aff_realign_domain(), isl_aff_remove_unused_divs(), isl_aff_reset_domain_space(), isl_aff_restore_domain_local_space(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_set_coefficient(), isl_aff_set_coefficient_si(), isl_aff_set_coefficient_val(), isl_aff_set_constant(), isl_aff_set_constant_si(), isl_aff_set_constant_val(), isl_aff_set_dim_id(), isl_aff_set_dim_name(), isl_aff_set_nan(), isl_aff_set_tuple_id(), isl_aff_substitute(), and isl_aff_substitute_equalities_lifted().
| isl_size isl_aff_dim | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 450 of file isl_aff.c.
References aff, isl_aff_domain_dim(), isl_dim_in, isl_dim_out, isl_dim_set, isl_size_error, and type.
Referenced by all_negative_coefficients(), every_non_zero_coefficient(), extract_modulos(), isl_aff_add(), isl_aff_add_dims(), isl_aff_involves_locals(), isl_aff_project_domain_on_params(), isl_aff_pullback_multi_aff(), isl_ast_expr_from_constraint(), isl_basic_map_preimage_multi_aff(), isl_basic_set_opt(), isl_basic_set_opt_lp_val_aligned(), isl_local_space_preimage_multi_aff(), isl_multi_aff_lift(), isl_multi_pw_aff_apply_aff_aligned(), isl_multi_union_pw_aff_apply_aff(), multi_union_pw_aff_apply_aff(), print_aff_num(), set_up_substitutions(), sort_divs(), try_extract_mod(), and update_n_div().
| __isl_give isl_aff * isl_aff_div | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 3438 of file isl_aff.c.
References isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_cst(), isl_aff_is_nan(), isl_aff_plain_is_zero(), isl_aff_scale(), isl_aff_scale_down(), isl_die, isl_error_invalid, isl_int_is_neg, isl_int_neg, neg(), and set_nan_free().
Referenced by isl::aff::div(), and isl_pw_aff_div().
| 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 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().
|
static |
Definition at line 2616 of file isl_aff.c.
References aff, isl_aff_peek_domain_space(), and isl_space_is_product().
| 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 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_give isl_aff * isl_aff_drop_dims | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 2581 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_local_space_check_range(), isl_local_space_drop_dims(), isl_local_space_is_named_or_nested(), isl_local_space_offset(), isl_vec_drop_els(), n, and type.
Referenced by isl_multi_pw_aff_apply_aff_aligned(), and multi_union_pw_aff_apply_aff().
| __isl_give isl_aff * isl_aff_dup | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 154 of file isl_aff.c.
References aff, isl_aff_alloc_vec_validated(), isl_local_space_copy(), and isl_vec_copy().
Referenced by isl_aff_cow().
| __isl_give isl_basic_set * isl_aff_eq_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2476 of file isl_aff.c.
References isl_aff_sub(), and isl_aff_zero_basic_set().
Referenced by isl_aff_bind_id(), and isl_aff_eq_set().
| __isl_give isl_set * isl_aff_eq_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2487 of file isl_aff.c.
References isl_aff_eq_basic_set(), and isl_set_from_basic_set().
Referenced by ast_expr_from_pw_aff(), isl::aff::eq_set(), and isl_multi_aff_lex_gte_set().
| __isl_give isl_val * isl_aff_eval | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_point * | pnt | ||
| ) |
Definition at line 9998 of file isl_aff.c.
References aff, eval(), eval_void(), isl_aff_check_has_domain_space(), isl_aff_free(), isl_aff_get_domain_local_space(), isl_local_space_lift_point(), isl_point_free(), isl_point_is_void(), isl_point_peek_space(), and isl_point_peek_vec().
Referenced by isl::aff::eval().
| __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 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().
| int isl_aff_find_dim_by_name | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
Definition at line 476 of file isl_aff.c.
References aff, isl_dim_in, isl_dim_out, isl_dim_set, isl_local_space_find_dim_by_name(), name, and type.
| __isl_give isl_aff * isl_aff_floor | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1649 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_cst(), isl_aff_is_nan(), isl_aff_normalize(), isl_int_add_ui, isl_int_fdiv_q, isl_int_fdiv_r, isl_int_gt, isl_int_is_one, isl_int_set_si, isl_int_sub, isl_local_space_add_div(), isl_vec_copy(), isl_vec_cow(), isl_vec_extend(), size, and isl_ctx::two.
Referenced by isl::aff::floor(), isl_aff_ceil(), isl_aff_mod_val(), isl_pw_aff_floor(), pw_multi_aff_from_map_div(), set_up_substitutions(), test_aff(), and upper_bounds().
| __isl_null isl_aff * isl_aff_free | ( | __isl_take isl_aff * | aff | ) |
Definition at line 390 of file isl_aff.c.
References aff, isl_local_space_free(), and isl_vec_free().
Referenced by accept_affine_factor(), add_expanded(), add_sub_equalities(), add_sub_vars(), addNumBasicSets(), aff_bind_id(), aff_nonneg_basic_set(), aff_pos_basic_set(), aff_zero_basic_set(), ast_expr_from_pw_aff(), BFN(), check_parallel_or_opposite(), coefficients_of_sign(), compute_size(), compute_size_in_direction(), create_node(), eval_void(), extend_domain(), extract_aff_from_equality(), extract_modulo(), extract_modulos(), extract_nonneg_mod(), extract_rational(), extract_schedule_row(), extract_stride_constraint(), extract_term_and_mod(), find_unroll_lower_bound(), foreach_iteration(), harmonize_divs_with_hulls(), is_non_neg_after_stealing(), is_single_rational_aff(), is_stride_constraint(), isl_aff_add(), isl_aff_add_coefficient(), isl_aff_add_coefficient_val(), isl_aff_add_constant(), isl_aff_add_constant_num(), isl_aff_add_constant_val(), isl_aff_add_dims(), isl_aff_add_rat_constant_val(), isl_aff_align_divs(), isl_aff_align_params(), isl_aff_ceil(), isl_aff_div(), isl_aff_drop_dims(), isl_aff_eval(), isl_aff_expand_divs(), isl_aff_floor(), isl_aff_insert_dims(), isl_aff_lift(), isl_aff_mod_val(), isl_aff_move_dims(), isl_aff_mul(), isl_aff_neg(), isl_aff_normalize(), isl_aff_project_domain_on_params(), isl_aff_pullback_multi_aff(), isl_aff_realign_domain(), isl_aff_remove_unused_divs(), isl_aff_reset_domain_space(), isl_aff_restore_domain_local_space(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_aff_set_coefficient(), isl_aff_set_coefficient_si(), isl_aff_set_coefficient_val(), isl_aff_set_constant(), isl_aff_set_constant_si(), isl_aff_set_constant_val(), isl_aff_set_dim_id(), isl_aff_set_dim_name(), isl_aff_set_nan(), isl_aff_set_tuple_id(), isl_aff_substitute(), isl_aff_substitute_equalities(), isl_aff_substitute_equalities_lifted(), isl_ast_build_compute_gist_aff(), isl_ast_build_detect_strides(), isl_ast_build_has_affine_value(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint(), isl_ast_expr_from_constraint_no_stride(), isl_basic_map_from_aff2(), isl_basic_set_opt(), isl_basic_set_opt_lp_val(), isl_basic_set_opt_lp_val_aligned(), isl_constraint_alloc_aff(), isl_fixed_box_invalidate(), isl_map_get_range_lattice_tile(), isl_multi_aff_get_constant_multi_val(), isl_multi_pw_aff_apply_aff(), isl_multi_pw_aff_apply_aff_aligned(), isl_multi_union_pw_aff_apply_aff(), isl_qpolynomial_from_aff(), isl_set_opt(), isl_stride_info_alloc(), isl_stride_info_free(), merge_divs(), multi_union_pw_aff_apply_aff(), piece_opt(), plug_in_integral_divs(), plug_in_unit_divs(), print_aff_num_mod(), set_detect_stride(), set_dim_extent(), set_minimum_pa(), set_nan_free(), set_stride(), set_up_substitutions(), sort_divs(), swap_div(), test_aff(), test_aff_normalize(), test_aff_set_tuple_id(), test_bin_aff(), test_min(), test_min_special(), test_min_special2(), test_unbind_aff(), try_extract_mod(), update_n_div(), update_unrolling_lower_bound(), var_div(), and isl::aff::~aff().
| __isl_give isl_aff * isl_aff_from_range | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2646 of file isl_aff.c.
References aff, isl_aff_restore_domain_local_space(), isl_aff_take_domain_local_space(), and isl_local_space_set_from_params().
| __isl_give isl_basic_set * isl_aff_ge_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2397 of file isl_aff.c.
References isl_aff_nonneg_basic_set(), and isl_aff_sub().
Referenced by extends_min(), isl_aff_ge_set(), and isl_aff_le_basic_set().
| __isl_give isl_set * isl_aff_ge_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2419 of file isl_aff.c.
References isl_aff_ge_basic_set(), and isl_set_from_basic_set().
Referenced by isl::aff::ge_set(), isl_aff_le_set(), isl_multi_aff_lex_gte_set(), and isl_pw_aff_union_max().
| __isl_give isl_val * isl_aff_get_coefficient_val | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos | ||
| ) |
Definition at line 779 of file isl_aff.c.
References aff, isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_local_space_check_range(), isl_local_space_offset(), isl_val_nan(), isl_val_normalize(), isl_val_rat_from_isl_int(), pos(), and type.
Referenced by check_parallel_or_opposite(), every_non_zero_coefficient(), extract_modulos(), extract_stride_constraint(), is_stride_constraint(), isl_multi_pw_aff_apply_aff_aligned(), multi_union_pw_aff_apply_aff(), and print_aff_num_mod().
| __isl_give isl_val * isl_aff_get_constant_val | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 761 of file isl_aff.c.
References aff, isl_aff_get_ctx(), isl_aff_is_nan(), isl_val_nan(), isl_val_normalize(), and isl_val_rat_from_isl_int().
Referenced by aff_constant_is_negative(), isl::aff::constant_val(), extract_rational(), is_even_test(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint_no_stride(), isl_multi_aff_get_constant_multi_val(), mod_constraint_is_simpler(), shift_if_cst_int(), and try_extract_mod().
| isl_ctx * isl_aff_get_ctx | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 406 of file isl_aff.c.
References aff, and isl_local_space_get_ctx().
Referenced by aff_bind_id(), aff_pos_basic_set(), basic_set_opt_lp(), isl::aff::ctx(), extract_modulos(), extract_stride_constraint(), isl_aff_add(), isl_aff_add_coefficient_val(), isl_aff_add_constant_val(), isl_aff_align_divs(), isl_aff_check_has_domain_space(), isl_aff_check_match_domain_space(), isl_aff_coefficient_sgn(), isl_aff_div(), isl_aff_drop_dims(), isl_aff_floor(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_aff_get_denominator(), isl_aff_get_denominator_val(), isl_aff_insert_dims(), isl_aff_move_dims(), isl_aff_mul(), isl_aff_scale_down(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_aff_set_coefficient_val(), isl_aff_set_constant_val(), isl_aff_substitute(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint_no_stride(), isl_basic_map_from_aff2(), isl_basic_set_opt(), isl_basic_set_opt_lp_val_aligned(), isl_basic_set_opt_val(), isl_multi_union_pw_aff_apply_aff(), isl_qpolynomial_from_aff(), and isl_set_opt_val().
| isl_stat isl_aff_get_denominator | ( | __isl_keep isl_aff * | aff, |
| isl_int * | v | ||
| ) |
Definition at line 733 of file isl_aff.c.
References aff, isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_error_invalid, isl_int_set, isl_stat_error, and isl_stat_ok.
| __isl_give isl_val * isl_aff_get_denominator_val | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 746 of file isl_aff.c.
References aff, isl_aff_get_ctx(), isl_aff_is_nan(), isl_val_int_from_isl_int(), and isl_val_nan().
Referenced by aff_is_rational(), create_node(), isl::aff::denominator_val(), extract_modulo(), extract_rational(), is_stride_constraint(), print_aff_num_mod(), and var_div().
| const char * isl_aff_get_dim_name | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 586 of file isl_aff.c.
References aff, isl_dim_in, isl_dim_out, isl_dim_set, isl_local_space_get_dim_name(), pos(), and type.
| __isl_give isl_aff * isl_aff_get_div | ( | __isl_keep isl_aff * | aff, |
| int | pos | ||
| ) |
Definition at line 1366 of file isl_aff.c.
References aff, isl_local_space_get_div(), and pos().
Referenced by extract_modulo(), is_stride_constraint(), isl_multi_pw_aff_apply_aff_aligned(), multi_union_pw_aff_apply_aff(), and print_aff_num_mod().
| __isl_give isl_local_space * isl_aff_get_domain_local_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 513 of file isl_aff.c.
References aff, isl_aff_peek_domain_local_space(), and isl_local_space_copy().
Referenced by extract_rational(), isl_aff_eval(), isl_aff_gist(), isl_aff_pullback_multi_aff(), isl_aff_take_domain_local_space(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint_no_stride(), isl_constraint_alloc_aff(), isl_multi_aff_lift(), and set_ma_divs().
| __isl_give isl_space * isl_aff_get_domain_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 495 of file isl_aff.c.
References aff, isl_aff_peek_domain_space(), and isl_space_copy().
Referenced by aff_nonneg_basic_set(), aff_pos_basic_set(), aff_zero_basic_set(), isl_aff_bind_id(), isl_aff_check_match_domain_space(), isl_aff_gist_params(), isl_aff_matching_params(), isl_aff_project_domain_on_params(), isl_basic_set_opt_lp_val(), isl_multi_union_pw_aff_apply_aff(), isl_qpolynomial_from_aff(), isl_set_opt(), and range_map().
| uint32_t isl_aff_get_hash | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 413 of file isl_aff.c.
References aff, isl_hash_hash, isl_hash_init, isl_local_space_get_hash(), and isl_vec_get_hash().
| __isl_give isl_local_space * isl_aff_get_local_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 519 of file isl_aff.c.
References aff, isl_dim_out, isl_local_space_add_dims(), isl_local_space_copy(), and isl_local_space_from_domain().
Referenced by isl_basic_map_from_aff2().
| __isl_give isl_space * isl_aff_get_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 500 of file isl_aff.c.
References aff, isl_dim_out, isl_local_space_get_space(), isl_space_add_dims(), and isl_space_from_domain().
Referenced by isl_multi_pw_aff_apply_aff(), and isl_multi_union_pw_aff_apply_aff().
| __isl_give isl_aff * isl_aff_gist | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_set * | context | ||
| ) |
Definition at line 2245 of file isl_aff.c.
References aff, context, hull, isl_aff_get_domain_local_space(), isl_aff_substitute_equalities_lifted(), isl_local_space_lift_set(), and isl_set_affine_hull().
Referenced by isl::aff::gist(), isl_aff_add_on_domain(), isl_aff_gist_params(), isl_ast_build_compute_gist_aff(), and test_aff().
| __isl_give isl_aff * isl_aff_gist_params | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_set * | context | ||
| ) |
Definition at line 2258 of file isl_aff.c.
References aff, context, isl_aff_get_domain_space(), isl_aff_gist(), isl_set_intersect_params(), and isl_set_universe().
| __isl_give isl_basic_set * isl_aff_gt_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2408 of file isl_aff.c.
References isl_aff_pos_basic_set(), and isl_aff_sub().
Referenced by isl_aff_gt_set(), and isl_aff_lt_basic_set().
| __isl_give isl_set * isl_aff_gt_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2431 of file isl_aff.c.
References isl_aff_gt_basic_set(), and isl_set_from_basic_set().
Referenced by isl::aff::gt_set(), isl_aff_ne_set(), and isl_multi_aff_lex_gte_set().
| __isl_give isl_aff * isl_aff_insert_dims | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 2657 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_local_space_check_range(), isl_local_space_insert_dims(), isl_local_space_is_named_or_nested(), isl_local_space_offset(), isl_vec_insert_zero_els(), n, and type.
Referenced by isl_aff_add_dims().
|
static |
Definition at line 2536 of file isl_aff.c.
References aff, isl_bool_error, isl_bool_false, isl_bool_true, isl_local_space_get_active(), isl_local_space_offset(), n, and type.
Referenced by isl_multi_pw_aff_apply_aff_aligned(), and multi_union_pw_aff_apply_aff().
| isl_bool isl_aff_involves_locals | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 2571 of file isl_aff.c.
References aff, isl_aff_dim(), isl_bool_error, isl_bool_ok(), isl_dim_div, and n.
| isl_bool isl_aff_is_cst | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 3360 of file isl_aff.c.
References aff, isl_bool_error, isl_bool_ok(), isl_seq_first_non_zero(), and pos().
Referenced by isl::aff::is_cst(), isl_aff_div(), isl_aff_floor(), isl_aff_mul(), isl_pw_aff_is_cst(), and shift_if_cst_int().
| isl_bool isl_aff_is_empty | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 2518 of file isl_aff.c.
References aff, isl_bool_error, and isl_bool_false.
| isl_bool isl_aff_is_nan | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 699 of file isl_aff.c.
References aff, isl_bool_error, isl_bool_ok(), and isl_seq_first_non_zero().
Referenced by add_sub_equalities(), add_sub_vars(), aff_nonneg_basic_set(), aff_pos_basic_set(), aff_zero_basic_set(), isl_aff_add(), isl_aff_add_coefficient(), isl_aff_add_coefficient_val(), isl_aff_add_constant(), isl_aff_add_constant_num(), isl_aff_add_constant_val(), isl_aff_ceil(), isl_aff_div(), isl_aff_floor(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_aff_get_denominator(), isl_aff_get_denominator_val(), isl_aff_mul(), isl_aff_neg(), isl_aff_plain_is_equal(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_set_coefficient(), isl_aff_set_coefficient_si(), isl_aff_set_coefficient_val(), isl_aff_set_constant(), isl_aff_set_constant_si(), isl_aff_set_constant_val(), isl_basic_map_from_aff2(), print_aff_body(), pw_aff_locus(), and test_bin_aff().
| __isl_give isl_basic_set * isl_aff_le_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2440 of file isl_aff.c.
References isl_aff_ge_basic_set().
Referenced by extends_max().
| __isl_give isl_set * isl_aff_le_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2458 of file isl_aff.c.
References isl_aff_ge_set().
Referenced by isl_pw_aff_union_min(), and isl::aff::le_set().
| __isl_give isl_aff * isl_aff_lift | ( | __isl_take isl_aff * | aff | ) |
Definition at line 6173 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), and isl_local_space_lift().
Referenced by isl_multi_aff_lift().
| __isl_give isl_basic_set * isl_aff_lt_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2449 of file isl_aff.c.
References isl_aff_gt_basic_set().
Referenced by isl_aff_lt_set().
| __isl_give isl_set * isl_aff_lt_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2467 of file isl_aff.c.
References isl_aff_lt_basic_set(), and isl_set_from_basic_set().
Referenced by isl_aff_ne_set(), and isl::aff::lt_set().
| 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 aff, isl_aff_get_domain_space(), isl_bool_error, isl_space_free(), isl_space_has_equal_params(), and match().
| __isl_give isl_aff * isl_aff_mod_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | m | ||
| ) |
Definition at line 1716 of file isl_aff.c.
References aff, isl_aff_copy(), isl_aff_floor(), isl_aff_free(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_aff_sub(), isl_die, isl_error_invalid, isl_val_copy(), isl_val_free(), isl_val_get_ctx(), isl_val_is_int(), m, and res.
Referenced by extract_aff_from_equality(), isl_ast_build_get_stride_constraint(), and isl::aff::mod().
| __isl_give isl_aff * isl_aff_move_dims | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n | ||
| ) |
Definition at line 2707 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_domain_offset(), isl_aff_free(), isl_aff_get_ctx(), isl_die, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_error_unsupported, isl_local_space_check_range(), isl_local_space_is_named_or_nested(), isl_local_space_move_dims(), isl_vec_move_els(), n, and sort_divs().
| __isl_give isl_aff * isl_aff_mul | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 3395 of file isl_aff.c.
References isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_cst(), isl_aff_is_nan(), isl_aff_mul(), isl_aff_scale(), isl_aff_scale_down(), isl_die, and isl_error_invalid.
Referenced by isl_aff_mul(), isl_pw_aff_mul(), and isl::aff::mul().
| __isl_give isl_aff * isl_aff_nan_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 232 of file isl_aff.c.
References aff, isl_aff_alloc(), and isl_aff_set_nan().
Referenced by isl_aff_nan_on_domain_space(), isl_fixed_box_invalidate(), isl_pw_aff_nan_on_domain(), and set_up_substitutions().
| __isl_give isl_aff * isl_aff_nan_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 243 of file isl_aff.c.
References isl_aff_nan_on_domain(), and isl_local_space_from_space().
Referenced by isl_pw_aff_nan_on_domain_space().
| __isl_give isl_set * isl_aff_ne_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2499 of file isl_aff.c.
References isl_aff_copy(), isl_aff_gt_set(), isl_aff_lt_set(), and isl_set_union_disjoint().
Referenced by isl::aff::ne_set().
| __isl_give isl_aff * isl_aff_neg | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1378 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_seq_neg(), and isl_vec_cow().
Referenced by compute_size_in_direction(), extract_stride_constraint(), is_stride_constraint(), isl_aff_neg_basic_set(), isl_aff_sub(), isl_ast_expr_from_constraint_no_stride(), isl::aff::neg(), oppose_div_arg(), and update_unrolling_lower_bound().
| __isl_give isl_basic_set * isl_aff_neg_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2351 of file isl_aff.c.
References aff, isl_aff_neg(), and isl_aff_pos_basic_set().
Referenced by isl_ast_build_aff_is_nonneg().
| __isl_give isl_basic_set * isl_aff_nonneg_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2334 of file isl_aff.c.
References aff, and aff_nonneg_basic_set().
Referenced by isl_aff_ge_basic_set(), and isl_aff_pos_basic_set().
| __isl_give isl_aff * isl_aff_normalize | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1624 of file isl_aff.c.
References 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_give isl_aff * isl_aff_param_on_domain_space_id | ( | __isl_take isl_space * | space, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 359 of file isl_aff.c.
References isl_aff_var_on_domain(), isl_die, isl_dim_param, isl_error_invalid, isl_id_free(), isl_local_space_from_space(), isl_space_find_dim_by_id(), isl_space_free(), isl_space_get_ctx(), and pos().
Referenced by FN(), isl_aff_bind_id(), isl_pw_aff_param_on_domain_id(), isl_space_param_aff_on_domain_id(), and isl_union_pw_aff_param_on_domain_id().
|
static |
Definition at line 431 of file isl_aff.c.
References aff.
Referenced by isl_aff_domain_dim(), isl_aff_domain_offset(), and isl_aff_get_domain_local_space().
|
static |
Definition at line 490 of file isl_aff.c.
References aff, and isl_local_space_peek_space().
Referenced by isl_aff_align_params(), isl_aff_check_has_domain_space(), isl_aff_domain_is_product(), and isl_aff_get_domain_space().
| 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 cmp(), isl_local_space_cmp(), isl_seq_cmp(), and isl_seq_last_non_zero().
Referenced by isl_pw_aff_plain_cmp().
| isl_bool isl_aff_plain_is_equal | ( | __isl_keep isl_aff * | aff1, |
| __isl_keep isl_aff * | aff2 | ||
| ) |
Definition at line 711 of file isl_aff.c.
References equal, isl_aff_is_nan(), isl_bool_error, isl_bool_false, isl_local_space_is_equal(), and isl_vec_is_equal().
Referenced by is_stride_constraint(), and test_bin_aff().
| isl_bool isl_aff_plain_is_zero | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 684 of file isl_aff.c.
References aff, isl_bool_error, isl_bool_false, isl_bool_ok(), isl_int_is_zero, isl_seq_first_non_zero(), and pos().
Referenced by isl_aff_div(), print_aff_num_mod(), and test_aff().
| __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 aff, isl_aff_add_constant_num_si(), and isl_aff_nonneg_basic_set().
Referenced by isl_aff_gt_basic_set(), and isl_aff_neg_basic_set().
| __isl_give isl_aff * isl_aff_project_domain_on_params | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2628 of file isl_aff.c.
References aff, isl_aff_dim(), isl_aff_free(), isl_aff_get_domain_space(), isl_aff_reset_domain_space(), isl_dim_in, isl_space_params(), and n.
Referenced by multi_union_pw_aff_apply_aff().
| __isl_give isl_aff * isl_aff_pullback_aff | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 6036 of file isl_aff.c.
References isl_aff_pullback_multi_aff(), isl_multi_aff_from_aff(), and ma.
| __isl_give isl_aff * isl_aff_pullback_multi_aff | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 5981 of file isl_aff.c.
References aff, c1, c2, f, isl_aff_alloc(), isl_aff_dim(), isl_aff_free(), isl_aff_get_domain_local_space(), isl_aff_normalize(), isl_dim_div, isl_int_clear, isl_int_init, isl_local_space_preimage_multi_aff(), isl_multi_aff_align_divs(), isl_seq_preimage(), ma, and res.
Referenced by isl_aff_pullback_aff(), isl_multi_aff_pullback_multi_aff(), and isl::aff::pullback().
| __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 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_give isl_aff * isl_aff_remove_unused_divs | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1403 of file isl_aff.c.
References 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_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 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_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 aff, domain, isl_aff_reset_domain_space(), and isl_space_free().
| __isl_give isl_aff * isl_aff_restore_domain_local_space | ( | __isl_keep isl_aff * | aff, |
| __isl_take isl_local_space * | ls | ||
| ) |
Definition at line 559 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), and isl_local_space_free().
Referenced by isl_aff_from_range().
| __isl_give isl_aff * isl_aff_scale | ( | __isl_take isl_aff * | aff, |
| isl_int | f | ||
| ) |
Definition at line 1959 of file isl_aff.c.
References aff, f, gcd(), isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_is_divisible_by, isl_int_is_one, isl_int_is_pos, isl_seq_scale(), and isl_vec_cow().
Referenced by isl_aff_div(), isl_aff_mul(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_multi_aff_scale(), and subtract_initial().
| __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 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_give isl_aff * isl_aff_scale_down_ui | ( | __isl_take isl_aff * | aff, |
| unsigned | f | ||
| ) |
Definition at line 2091 of file isl_aff.c.
References aff, f, isl_aff_scale_down(), isl_int_clear, isl_int_init, and isl_int_set_ui.
Referenced by test_aff().
| __isl_give isl_aff * isl_aff_scale_down_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 2062 of file isl_aff.c.
References aff, isl_aff_free(), isl_aff_get_ctx(), isl_aff_scale(), isl_aff_scale_down(), isl_die, isl_error_invalid, isl_val_free(), isl_val_is_one(), isl_val_is_pos(), and isl_val_is_rat().
Referenced by create_node(), detect_stride(), extract_rational(), isl_aff_mod_val(), isl_ast_build_scale_down(), lower_bound(), and isl::aff::scale_down().
| __isl_give isl_aff * isl_aff_scale_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 1995 of file isl_aff.c.
References aff, isl_aff_free(), isl_aff_get_ctx(), isl_aff_scale(), isl_aff_scale_down(), isl_die, isl_error_invalid, isl_val_free(), isl_val_is_one(), and isl_val_is_rat().
Referenced by add_rational(), create_node(), detect_stride(), extract_modulo(), extract_rational(), extract_term_and_mod(), is_stride_constraint(), isl_aff_mod_val(), isl_ast_build_get_stride_expansion(), isl_ast_build_scale_down(), lower_bound(), print_aff_num_mod(), isl::aff::scale(), set_stride(), and var_div().
| __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 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_give isl_aff * isl_aff_set_coefficient_si | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| int | v | ||
| ) |
Definition at line 1148 of file isl_aff.c.
References 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_cmp_si, isl_int_set_si, isl_local_space_check_range(), isl_local_space_offset(), isl_vec_cow(), pos(), and type.
Referenced by clear_opposite_sign(), detect_stride(), extract_stride_constraint(), extract_term_and_mod(), is_stride_constraint(), print_aff_num_mod(), and polly::SCEVAffinator::visitAddRecExpr().
| __isl_give isl_aff * isl_aff_set_coefficient_val | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| __isl_take isl_val * | v | ||
| ) |
Definition at line 1188 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_int_eq, isl_int_is_one, isl_int_mul, isl_int_set, isl_local_space_check_range(), isl_local_space_offset(), isl_seq_scale(), isl_val_free(), isl_val_is_rat(), isl_vec_cow(), isl_vec_normalize(), pos(), and type.
| __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 aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_int_set, and isl_vec_cow().
Referenced by extract_schedule_row().
| __isl_give isl_aff * isl_aff_set_constant_si | ( | __isl_take isl_aff * | aff, |
| int | v | ||
| ) |
Definition at line 1087 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_int_set_si, and isl_vec_cow().
Referenced by coefficients_of_sign(), extract_term_and_mod(), and isl::aff::set_constant_si().
| __isl_give isl_aff * isl_aff_set_constant_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 859 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_error_invalid, isl_int_eq, isl_int_is_one, isl_int_mul, isl_int_set, isl_seq_scale(), isl_val_free(), isl_val_is_rat(), isl_vec_cow(), and isl_vec_normalize().
Referenced by try_extract_mod().
| __isl_give isl_aff * isl_aff_set_dim_id | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_take isl_id * | id | ||
| ) |
Definition at line 2125 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_id_free(), isl_local_space_set_dim_id(), pos(), and type.
| __isl_give isl_aff * isl_aff_set_dim_name | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
Definition at line 2106 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_local_space_set_dim_name(), pos(), and type.
|
static |
Definition at line 216 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), and isl_vec_clr().
Referenced by isl_aff_nan_on_domain(), set_nan_free(), and set_nan_free_val().
| __isl_give isl_aff * isl_aff_set_tuple_id | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| __isl_take isl_id * | id | ||
| ) |
Definition at line 2151 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_die, isl_dim_in, isl_dim_set, isl_error_invalid, isl_id_free(), isl_local_space_set_tuple_id(), and type.
Referenced by test_aff_set_tuple_id().
| __isl_give isl_aff * isl_aff_sub | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 1949 of file isl_aff.c.
References isl_aff_add(), and isl_aff_neg().
Referenced by extract_aff_from_equality(), extract_rational(), harmonize_divs_with_hulls(), isl_aff_eq_basic_set(), isl_aff_ge_basic_set(), isl_aff_gt_basic_set(), isl_aff_mod_val(), lower_bound(), isl::aff::sub(), subtract_initial(), and test_aff_normalize().
| __isl_give isl_aff * isl_aff_substitute | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_keep isl_aff * | subs | ||
| ) |
Definition at line 5725 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_domain_dim(), isl_aff_free(), isl_aff_get_ctx(), isl_die, isl_dim_div, isl_error_invalid, isl_error_unsupported, isl_int_clear, isl_int_init, isl_local_space_offset(), isl_local_space_substitute(), isl_seq_substitute(), isl_space_is_equal(), isl_vec_cow(), pos(), and type.
Referenced by isl_multi_aff_substitute().
| __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 aff, isl_aff_domain_dim(), isl_aff_free(), isl_aff_substitute_equalities_lifted(), 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().
|
static |
Definition at line 2176 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_normalize(), isl_basic_set_copy(), isl_basic_set_free(), isl_basic_set_offset(), isl_dim_div, isl_local_space_substitute_equalities(), isl_seq_elim(), isl_seq_last_non_zero(), and isl_vec_cow().
Referenced by isl_aff_gist(), and isl_aff_substitute_equalities().
| __isl_give isl_local_space * isl_aff_take_domain_local_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 539 of file isl_aff.c.
References aff, and isl_aff_get_domain_local_space().
Referenced by isl_aff_from_range().
| __isl_give isl_aff * isl_aff_val_on_domain | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_val * | val | ||
| ) |
Definition at line 272 of file isl_aff.c.
References aff, isl_aff_alloc(), isl_die, isl_error_invalid, isl_int_set, isl_local_space_copy(), isl_local_space_free(), isl_seq_clr(), isl_val_free(), isl_val_get_ctx(), isl_val_is_nan(), isl_val_is_rat(), and val.
Referenced by isl::aff::aff(), extract_rational(), isl_aff_val_on_domain_space(), isl_multi_aff_multi_val_on_domain_space(), isl_pw_aff_val_on_domain(), and polly::SCEVAffinator::visitConstant().
| __isl_give isl_aff * isl_aff_val_on_domain_space | ( | __isl_take isl_space * | space, |
| __isl_take isl_val * | val | ||
| ) |
Definition at line 302 of file isl_aff.c.
References isl_aff_val_on_domain(), isl_local_space_from_space(), and val.
| __isl_give isl_aff * isl_aff_var_on_domain | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 311 of file isl_aff.c.
References aff, isl_aff_alloc(), isl_die, isl_error_invalid, isl_int_set_si, isl_local_space_check_range(), isl_local_space_free(), isl_local_space_get_space(), isl_local_space_offset(), isl_seq_clr(), isl_space_free(), isl_space_get_ctx(), isl_space_is_map(), pos(), and type.
Referenced by add_rational(), BFN(), compute_size(), isl_aff_param_on_domain_space_id(), isl_multi_aff_domain_map(), isl_multi_aff_project_out_map(), isl_multi_aff_range_map(), isl_pw_aff_var_on_domain(), range_map(), and isl::aff::var_on_domain().
| __isl_give isl_basic_set * isl_aff_zero_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2389 of file isl_aff.c.
References aff, and aff_zero_basic_set().
Referenced by isl_aff_eq_basic_set(), and isl_ast_build_get_stride_constraint().
|
static |
Definition at line 2768 of file isl_aff.c.
References isl_aff_zero_on_domain(), isl_local_space_from_space(), and isl_space_domain().
| __isl_give isl_aff * isl_aff_zero_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 174 of file isl_aff.c.
References aff, isl_aff_alloc(), isl_int_set_si, and isl_seq_clr().
Referenced by accept_affine(), accept_affine_factor(), isl::aff::aff(), extract_rational(), extract_schedule_row(), identity_tuple_el_on_space(), isl_aff_zero_in_space(), isl_aff_zero_on_domain_space(), isl_pw_aff_zero_on_domain(), isl_set_indicator_function(), list_add_one(), map_from_tuple(), pw_aff_gte_set(), set_detect_stride(), test_aff(), polly::SCEVAffinator::visit(), and polly::SCEVAffinator::visitAddRecExpr().
| __isl_give isl_aff * isl_aff_zero_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 190 of file isl_aff.c.
References isl_aff_zero_on_domain(), and isl_local_space_from_space().
Referenced by isl_space_zero_aff_on_domain(), and isl::aff::zero_on_domain().
| __isl_give isl_pw_multi_aff * isl_map_as_pw_multi_aff | ( | __isl_take isl_map * | map | ) |
Definition at line 5603 of file isl_aff.c.
References isl_pw_multi_aff_from_map(), and map.
Referenced by isl::map::as_pw_multi_aff().
| __isl_give isl_map * isl_map_eq_at_multi_pw_aff | ( | __isl_take isl_map * | map, |
| __isl_take isl_multi_pw_aff * | mpa | ||
| ) |
Definition at line 7512 of file isl_aff.c.
References isl_map_order_at_multi_pw_aff(), isl_multi_pw_aff_eq_map(), and map.
Referenced by isl::map::eq_at().
| __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_map_intersect_domain(), isl_multi_pw_aff_domain(), and map.
Referenced by map_from_multi_pw_aff().
| __isl_give isl_multi_pw_aff * isl_map_max_multi_pw_aff | ( | __isl_take isl_map * | map | ) |
Definition at line 6794 of file isl_aff.c.
References isl_map_dim_max(), and map.
Referenced by isl::map::max_multi_pw_aff(), and test_multi_pw_aff_box().
| __isl_give isl_multi_pw_aff * isl_map_min_multi_pw_aff | ( | __isl_take isl_map * | map | ) |
Definition at line 6785 of file isl_aff.c.
References isl_map_dim_min(), and map.
Referenced by isl::map::min_multi_pw_aff(), and test_multi_pw_aff_box().
|
static |
Definition at line 7501 of file isl_aff.c.
References isl_map_intersect(), and map.
Referenced by FN(), and isl_map_eq_at_multi_pw_aff().
| __isl_give isl_multi_aff * isl_multi_aff_add_on_domain | ( | __isl_keep isl_set * | dom, |
| __isl_take isl_multi_aff * | maff1, | ||
| __isl_take isl_multi_aff * | maff2 | ||
| ) |
Definition at line 4425 of file isl_aff.c.
References isl_multi_aff_gist(), and isl_set_copy().
| __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_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().
|
static |
Definition at line 3960 of file isl_aff.c.
References isl_basic_set_universe(), isl_space_domain(), and ma.
| __isl_give isl_multi_aff * isl_multi_aff_domain_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4124 of file isl_aff.c.
References aff, isl_aff_var_on_domain(), isl_die, isl_dim_in, isl_dim_set, isl_error_invalid, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_space_copy(), isl_space_dim(), isl_space_domain(), isl_space_domain_map(), isl_space_free(), isl_space_get_ctx(), isl_space_is_map(), and ma.
Referenced by isl::multi_aff::domain_map(), domain_map_upma(), isl_pw_aff_order_map(), isl_pw_multi_aff_domain_map(), isl_space_domain_map_multi_aff(), and tag().
| __isl_give isl_multi_aff * isl_multi_aff_flatten_domain | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 4103 of file isl_aff.c.
References isl_space_flatten_domain(), and ma.
| __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 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_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 extract_isl_multi_aff_from_basic_map().
Referenced by isl_vertex_get_expr().
| __isl_give isl_multi_val * isl_multi_aff_get_constant_multi_val | ( | __isl_keep isl_multi_aff * | ma | ) |
Definition at line 4071 of file isl_aff.c.
References aff, isl_aff_free(), isl_aff_get_constant_val(), isl_space_drop_all_params(), isl_space_range(), ma, n, and val.
Referenced by isl::multi_aff::constant_multi_val().
| isl_bool isl_multi_aff_is_empty | ( | __isl_keep isl_multi_aff * | maff | ) |
Definition at line 4433 of file isl_aff.c.
References isl_bool_error, and isl_bool_false.
| __isl_give isl_set * isl_multi_aff_lex_ge_set | ( | __isl_take isl_multi_aff * | ma1, |
| __isl_take isl_multi_aff * | ma2 | ||
| ) |
Definition at line 4564 of file isl_aff.c.
References isl_multi_aff_lex_gte_set(), and ma1.
Referenced by isl_multi_aff_lex_le_set(), and isl_pw_multi_aff_union_lexmax().
| __isl_give isl_set * isl_multi_aff_lex_gt_set | ( | __isl_take isl_multi_aff * | ma1, |
| __isl_take isl_multi_aff * | ma2 | ||
| ) |
Definition at line 4573 of file isl_aff.c.
References isl_multi_aff_lex_gte_set(), and ma1.
Referenced by isl_multi_aff_lex_lt_set().
|
static |
Definition at line 4509 of file isl_aff.c.
References equal, isl_aff_eq_set(), isl_aff_ge_set(), isl_aff_gt_set(), isl_multi_aff_lex_gte_set_0d(), isl_multi_aff_order_at(), isl_set_copy(), isl_set_empty(), isl_set_intersect(), isl_set_is_empty(), isl_set_union(), isl_set_universe(), isl_space_copy(), ma1, n, and res.
Referenced by isl_multi_aff_lex_ge_set(), and isl_multi_aff_lex_gt_set().
|
static |
Definition at line 4466 of file isl_aff.c.
References equal, isl_set_empty(), isl_set_universe(), and ma1.
Referenced by isl_multi_aff_lex_gte_set().
| __isl_give isl_set * isl_multi_aff_lex_le_set | ( | __isl_take isl_multi_aff * | ma1, |
| __isl_take isl_multi_aff * | ma2 | ||
| ) |
Definition at line 4444 of file isl_aff.c.
References isl_multi_aff_lex_ge_set(), and ma1.
Referenced by isl_pw_multi_aff_union_lexmin().
| __isl_give isl_set * isl_multi_aff_lex_lt_set | ( | __isl_take isl_multi_aff * | ma1, |
| __isl_take isl_multi_aff * | ma2 | ||
| ) |
Definition at line 4453 of file isl_aff.c.
References isl_multi_aff_lex_gt_set(), and ma1.
| __isl_give isl_multi_aff * isl_multi_aff_lift | ( | __isl_take isl_multi_aff * | maff, |
| __isl_give isl_local_space ** | ls | ||
| ) |
Definition at line 6191 of file isl_aff.c.
References aff, isl_aff_dim(), isl_aff_get_domain_local_space(), isl_aff_lift(), isl_dim_div, isl_local_space_from_space(), isl_multi_aff_align_divs(), isl_space_domain(), isl_space_extend_domain_with_range(), isl_space_lift(), and n.
| __isl_give isl_multi_aff * isl_multi_aff_multi_val_on_domain_space | ( | __isl_take isl_space * | space, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 7731 of file isl_aff.c.
References aff, isl_aff_val_on_domain(), isl_dim_set, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_space_align_params(), isl_space_copy(), isl_space_domain(), isl_space_free(), isl_space_map_from_domain_and_range(), ma, and n.
Referenced by isl_multi_aff_multi_val_on_space(), isl_space_multi_aff_on_domain_multi_val(), and isl::multi_aff::multi_val_on_domain().
| __isl_give isl_multi_aff * isl_multi_aff_multi_val_on_space | ( | __isl_take isl_space * | space, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 7770 of file isl_aff.c.
References isl_multi_aff_multi_val_on_domain_space().
Referenced by isl_pw_multi_aff_multi_val_on_domain().
|
static |
Definition at line 4485 of file isl_aff.c.
Referenced by isl_multi_aff_lex_gte_set().
| __isl_give isl_multi_aff * isl_multi_aff_project_out_map | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 4265 of file isl_aff.c.
References aff, isl_aff_var_on_domain(), isl_die, isl_dim_out, isl_dim_set, isl_error_invalid, isl_error_unsupported, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_space_add_dims(), isl_space_check_range(), isl_space_copy(), isl_space_dim(), isl_space_domain(), isl_space_free(), isl_space_from_domain(), isl_space_get_ctx(), isl_space_is_set(), ma, n, and type.
Referenced by isl_pw_multi_aff_project_out_map(), isolate_final(), and project_out_fixed().
| __isl_give isl_multi_aff * isl_multi_aff_pullback_multi_aff | ( | __isl_take isl_multi_aff * | ma1, |
| __isl_take isl_multi_aff * | ma2 | ||
| ) |
Definition at line 6048 of file isl_aff.c.
References aff, isl_aff_pullback_multi_aff(), isl_multi_aff_align_divs(), isl_space_free(), isl_space_join(), ma1, and n.
Referenced by compress_node(), extract_node_transformation(), isl_ast_build_scale_down(), isl_sched_node_extract_partial_schedule_multi_aff(), isl::multi_aff::pullback(), and test_pullback().
| __isl_give isl_multi_aff * isl_multi_aff_range_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4176 of file isl_aff.c.
References aff, isl_aff_var_on_domain(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_space_copy(), isl_space_dim(), isl_space_domain(), isl_space_free(), isl_space_get_ctx(), isl_space_is_map(), isl_space_range_map(), and ma.
Referenced by isl_pw_aff_order_map(), isl_pw_multi_aff_range_map(), isl_space_range_map_multi_aff(), and isl::multi_aff::range_map().
| __isl_give isl_multi_aff * isl_multi_aff_scale | ( | __isl_take isl_multi_aff * | maff, |
| isl_int | f | ||
| ) |
| __isl_give isl_multi_aff * isl_multi_aff_substitute | ( | __isl_take isl_multi_aff * | maff, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_keep isl_aff * | subs | ||
| ) |
Definition at line 5768 of file isl_aff.c.
References aff, isl_aff_substitute(), isl_dim_in, isl_dim_set, n, pos(), and type.
Referenced by isl_pw_multi_aff_substitute().
|
static |
Definition at line 4377 of file isl_aff.c.
References aff, isl_aff_substitute_equalities(), isl_basic_set_copy(), isl_basic_set_free(), and n.
| __isl_give isl_multi_pw_aff * isl_multi_aff_to_multi_pw_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 7042 of file isl_aff.c.
References isl_multi_pw_aff_from_multi_aff(), and ma.
Referenced by isl::multi_aff::to_multi_pw_aff().
| __isl_give isl_multi_union_pw_aff * isl_multi_aff_to_multi_union_pw_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 8702 of file isl_aff.c.
References isl_multi_union_pw_aff_from_multi_aff(), and ma.
Referenced by isl::multi_aff::to_multi_union_pw_aff().
| __isl_give isl_pw_multi_aff * isl_multi_aff_to_pw_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 4338 of file isl_aff.c.
References isl_pw_multi_aff_from_multi_aff(), and ma.
Referenced by isl::multi_aff::to_pw_multi_aff().
| __isl_give isl_pw_aff * isl_multi_pw_aff_apply_aff | ( | __isl_take isl_multi_pw_aff * | mpa, |
| __isl_take isl_aff * | aff | ||
| ) |
Definition at line 7302 of file isl_aff.c.
References aff, isl_aff_align_params(), isl_aff_free(), isl_aff_get_space(), isl_multi_pw_aff_apply_aff_aligned(), and isl_space_has_equal_params().
|
static |
Definition at line 7238 of file isl_aff.c.
References aff, isl_aff_add_dims(), isl_aff_copy(), isl_aff_dim(), isl_aff_drop_dims(), isl_aff_free(), isl_aff_get_coefficient_val(), isl_aff_get_div(), isl_aff_involves_dims(), isl_aff_reset_domain_space(), isl_dim_div, isl_dim_in, isl_multi_pw_aff_apply_aff_aligned(), isl_pw_aff_add(), isl_pw_aff_floor(), isl_pw_aff_from_aff(), isl_pw_aff_scale_val(), and isl_space_domain().
Referenced by isl_multi_pw_aff_apply_aff(), isl_multi_pw_aff_apply_aff_aligned(), and isl_multi_pw_aff_apply_pw_aff_aligned().
| __isl_give isl_pw_aff * isl_multi_pw_aff_apply_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa, |
| __isl_take isl_pw_aff * | pa | ||
| ) |
Definition at line 7375 of file isl_aff.c.
References isl_multi_pw_aff_apply_pw_aff_aligned(), isl_pw_aff_align_params(), isl_pw_aff_free(), isl_pw_aff_get_space(), and isl_space_has_equal_params().
Referenced by isl_pw_aff_pullback_multi_pw_aff().
|
static |
Definition at line 7334 of file isl_aff.c.
References domain, isl_aff_copy(), isl_multi_pw_aff_apply_aff_aligned(), isl_pw_aff_add_disjoint(), isl_pw_aff_empty(), isl_pw_aff_free(), isl_pw_aff_get_space(), isl_pw_aff_intersect_domain(), isl_set_copy(), isl_set_preimage_multi_pw_aff(), isl_space_join(), and res.
Referenced by isl_multi_pw_aff_apply_pw_aff().
| __isl_give isl_multi_aff * isl_multi_pw_aff_as_multi_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 6695 of file isl_aff.c.
References aff, isl_pw_aff_as_aff(), ma, and n.
Referenced by isl::multi_pw_aff::as_multi_aff().
| __isl_give isl_map * isl_multi_pw_aff_eq_map | ( | __isl_take isl_multi_pw_aff * | mpa1, |
| __isl_take isl_multi_pw_aff * | mpa2 | ||
| ) |
Definition at line 7491 of file isl_aff.c.
References isl_multi_pw_aff_eq_map_on_space(), and isl_multi_pw_aff_order_map().
Referenced by add_non_trivial_lineality(), isl_map_eq_at_multi_pw_aff(), and isl_union_map_eq_at_multi_union_pw_aff().
|
static |
Definition at line 7462 of file isl_aff.c.
References isl_dim_out, isl_map_intersect(), isl_map_universe(), isl_pw_aff_eq_map(), isl_space_free(), map, n, and res.
Referenced by isl_multi_pw_aff_eq_map().
| __isl_give isl_multi_pw_aff * isl_multi_pw_aff_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 7005 of file isl_aff.c.
References aff, isl_multi_pw_aff_from_pw_aff(), and isl_pw_aff_from_aff().
Referenced by isl::multi_pw_aff::multi_pw_aff().
| __isl_give isl_multi_pw_aff * isl_multi_pw_aff_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 7013 of file isl_aff.c.
References isl_dim_out, isl_pw_aff_from_aff(), ma, and n.
Referenced by add_non_trivial_lineality(), insert_current_band(), isl_multi_aff_to_multi_pw_aff(), isl_multi_union_pw_aff_from_multi_aff(), and isl::multi_pw_aff::multi_pw_aff().
| __isl_give isl_multi_pw_aff * isl_multi_pw_aff_from_pw_multi_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 7055 of file isl_aff.c.
References isl_dim_out, isl_multi_pw_aff_intersect_domain(), isl_pw_multi_aff_copy(), isl_pw_multi_aff_dim(), isl_pw_multi_aff_domain(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_pw_aff(), isl_pw_multi_aff_get_space(), n, and pma.
Referenced by isl_ast_build_from_pw_multi_aff(), isl_ast_build_from_pw_multi_aff_internal(), isl_pw_multi_aff_to_multi_pw_aff(), isl::multi_pw_aff::multi_pw_aff(), project_out_fixed(), test_mpa_conversion(), and test_parse_mpa().
| isl_bool isl_multi_pw_aff_has_non_trivial_domain | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
Definition at line 6745 of file isl_aff.c.
References isl_bool_error, isl_bool_false, isl_bool_not(), and isl_set_plain_is_universe().
Referenced by isl_map_preimage_multi_pw_aff(), and print_multi_pw_aff_isl().
| isl_bool isl_multi_pw_aff_is_cst | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
Definition at line 6735 of file isl_aff.c.
References isl_pw_aff_is_cst().
| isl_bool isl_multi_pw_aff_is_equal | ( | __isl_keep isl_multi_pw_aff * | mpa1, |
| __isl_keep isl_multi_pw_aff * | mpa2 | ||
| ) |
Definition at line 7139 of file isl_aff.c.
References equal, isl_bool_error, isl_bool_false, isl_bool_true, isl_multi_pw_aff_is_equal(), isl_pw_aff_is_equal(), isl_space_has_equal_params(), isl_space_has_named_params(), and isl_space_is_equal().
Referenced by isl_multi_pw_aff_is_equal().
| isl_bool isl_multi_pw_aff_isa_multi_aff | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
Definition at line 6687 of file isl_aff.c.
References isl_pw_aff_isa_aff().
Referenced by isl::multi_pw_aff::isa_multi_aff().
|
static |
Definition at line 7534 of file isl_aff.c.
References isl_dim_out, isl_map_copy(), isl_map_empty(), isl_map_free(), isl_map_intersect(), isl_map_union(), isl_map_universe(), isl_pw_aff_eq_map(), isl_space_copy(), isl_space_free(), map, n, and res.
Referenced by FN().
|
static |
Definition at line 7419 of file isl_aff.c.
References isl_die, isl_dim_out, isl_error_invalid, isl_space_domain(), isl_space_map_from_domain_and_range(), isl_space_tuple_is_equal(), match(), and res.
Referenced by FN(), and isl_multi_pw_aff_eq_map().
| __isl_give isl_union_pw_aff * isl_multi_union_pw_aff_apply_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_aff * | aff | ||
| ) |
Definition at line 9461 of file isl_aff.c.
References aff, equal, isl_aff_align_params(), isl_aff_dim(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_get_domain_space(), isl_aff_get_space(), isl_die, isl_dim_in, isl_error_invalid, isl_space_free(), isl_space_is_equal(), multi_union_pw_aff_apply_aff(), and mupa.
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_apply_multi_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 9519 of file isl_aff.c.
References aff, equal, isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_space_free(), isl_space_is_equal(), isl_space_range(), ma, multi_union_pw_aff_apply_aff(), mupa, mupa_apply_multi_aff_0D(), and res.
| __isl_give isl_union_pw_aff * isl_multi_union_pw_aff_apply_pw_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_pw_aff * | pa | ||
| ) |
Definition at line 9594 of file isl_aff.c.
References aff, domain, equal, isl_aff_copy(), isl_die, isl_dim_in, isl_error_invalid, isl_multi_union_pw_aff_apply_pw_aff_0D(), isl_multi_union_pw_aff_intersect_range(), isl_pw_aff_align_params(), isl_pw_aff_dim(), isl_pw_aff_free(), isl_pw_aff_get_ctx(), isl_pw_aff_get_domain_space(), isl_pw_aff_get_space(), isl_set_copy(), isl_space_free(), isl_space_is_equal(), isl_space_params(), isl_union_pw_aff_empty(), isl_union_pw_aff_union_add(), multi_union_pw_aff_apply_aff(), and mupa.
Referenced by isl_multi_union_pw_aff_apply_pw_multi_aff().
|
static |
Definition at line 9578 of file isl_aff.c.
References isl_multi_union_pw_aff_domain(), isl_pw_aff_project_domain_on_params(), isl_union_pw_aff_pw_aff_on_domain(), and mupa.
Referenced by isl_multi_union_pw_aff_apply_pw_aff().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_apply_pw_multi_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_pw_multi_aff * | pma | ||
| ) |
Definition at line 9674 of file isl_aff.c.
References equal, isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_multi_union_pw_aff_apply_pw_aff(), isl_pw_multi_aff_align_params(), isl_pw_multi_aff_dim(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_ctx(), isl_pw_multi_aff_get_domain_space(), isl_pw_multi_aff_get_pw_aff(), isl_pw_multi_aff_get_space(), isl_space_free(), isl_space_is_equal(), isl_space_range(), mupa, mupa_apply_pw_multi_aff_0D(), pma, and res.
| __isl_give isl_union_set * isl_multi_union_pw_aff_domain | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9352 of file isl_aff.c.
References isl_dim_set, isl_multi_union_pw_aff_domain_0D(), isl_union_pw_aff_domain(), isl_union_set_intersect(), mupa, and n.
Referenced by check_band_schedule_total_on_instances(), collect_filter_prefix_init(), isl::multi_union_pw_aff::domain(), initial_domain(), intersect_explicit_domain(), isl_multi_union_pw_aff_apply_pw_aff_0D(), isl_multi_union_pw_aff_zero_union_set(), isl_schedule_band_shift(), isl_union_map_from_multi_union_pw_aff_0D(), isl_union_pw_multi_aff_from_multi_union_pw_aff_0D(), multi_union_pw_aff_apply_aff(), mupa_apply_multi_aff_0D(), and mupa_apply_pw_multi_aff_0D().
| __isl_give isl_union_set * isl_multi_union_pw_aff_domain_0D | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9337 of file isl_aff.c.
References mupa.
Referenced by isl_multi_union_pw_aff_domain().
| __isl_give isl_multi_pw_aff * isl_multi_union_pw_aff_extract_multi_pw_aff | ( | __isl_keep isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_space * | space | ||
| ) |
Definition at line 9815 of file isl_aff.c.
References isl_dim_out, isl_dim_set, isl_space_add_dims(), isl_space_copy(), isl_space_free(), isl_space_from_domain(), isl_space_map_from_domain_and_range(), isl_space_replace_params(), isl_union_pw_aff_extract_pw_aff(), isl_union_pw_aff_free(), mupa, and n.
Referenced by order_at().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 8689 of file isl_aff.c.
References isl_multi_pw_aff_from_multi_aff(), isl_multi_union_pw_aff_from_multi_pw_aff(), and ma.
Referenced by group_band(), and isl_multi_aff_to_multi_union_pw_aff().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_multi_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 8715 of file isl_aff.c.
References isl_dim_out, isl_multi_pw_aff_domain(), isl_multi_union_pw_aff_intersect_domain(), isl_space_range(), isl_union_pw_aff_from_pw_aff(), isl_union_set_from_set(), mupa, n, and isl_union_pw_aff_pullback_upma_data::pa.
Referenced by insert_current_band(), isl_multi_union_pw_aff_from_multi_aff(), and isl::multi_union_pw_aff::multi_union_pw_aff().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_union_map | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 8864 of file isl_aff.c.
References isl_multi_union_pw_aff_from_union_pw_multi_aff(), isl_union_pw_multi_aff_from_union_map(), and isl_union_pw_aff_pullback_upma_data::upma.
Referenced by isl::multi_union_pw_aff::from_union_map(), isl_union_map_as_multi_union_pw_aff(), and test_union_map_mupa_conversion().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 8797 of file isl_aff.c.
References extract_space(), isl_die, isl_dim_set, isl_error_invalid, isl_multi_union_pw_aff_intersect_domain(), isl_space_dim(), isl_space_free(), isl_union_pw_multi_aff_copy(), isl_union_pw_multi_aff_domain(), isl_union_pw_multi_aff_foreach_pw_multi_aff(), isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_get_ctx(), isl_union_pw_multi_aff_get_union_pw_aff(), isl_union_pw_multi_aff_n_pw_multi_aff(), mupa, n, and isl_union_pw_aff_pullback_upma_data::upma.
Referenced by isl_multi_union_pw_aff_from_union_map(), isl_union_pw_multi_aff_as_multi_union_pw_aff(), and isl::multi_union_pw_aff::multi_union_pw_aff().
| isl_bool isl_multi_union_pw_aff_has_non_trivial_domain | ( | __isl_keep isl_multi_union_pw_aff * | mupa | ) |
Definition at line 8629 of file isl_aff.c.
References isl_bool_error, isl_bool_false, isl_bool_not(), isl_set_free(), isl_set_from_union_set(), isl_set_plain_is_universe(), isl_union_set_copy(), isl_union_set_is_params(), mupa, and set.
Referenced by intersect_explicit_domain(), and print_multi_union_pw_aff_isl().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_intersect_range | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_set * | range | ||
| ) |
Definition at line 9291 of file isl_aff.c.
References domain, isl_die, isl_dim_set, isl_error_invalid, isl_multi_union_pw_aff_intersect_domain(), isl_set_free(), isl_set_get_space(), isl_space_free(), isl_space_tuple_is_equal(), isl_union_pw_multi_aff_from_multi_union_pw_aff(), isl_union_set_from_set(), isl_union_set_preimage_union_pw_multi_aff(), match(), mupa, mupa_intersect_range_0D(), n, and range.
Referenced by isl_multi_union_pw_aff_apply_pw_aff().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_multi_aff_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 8957 of file isl_aff.c.
References domain, isl_multi_union_pw_aff_pw_multi_aff_on_domain(), isl_pw_multi_aff_from_multi_aff(), ma, and pma.
Referenced by mupa_apply_multi_aff_0D().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_multi_val_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 8931 of file isl_aff.c.
References domain, isl_multi_union_pw_aff_multi_val_on_domain_aligned(), isl_space_has_equal_params(), isl_union_set_align_params(), isl_union_set_free(), and isl_union_set_get_space().
Referenced by test_multi_pw_aff_3().
|
static |
Definition at line 8892 of file isl_aff.c.
References domain, isl_dim_set, isl_multi_union_pw_aff_intersect_domain(), isl_union_pw_aff_val_on_domain(), isl_union_set_copy(), isl_union_set_free(), mupa, and n.
Referenced by isl_multi_union_pw_aff_multi_val_on_domain().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_pullback_union_pw_multi_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_union_pw_multi_aff * | upma | ||
| ) |
Definition at line 9773 of file isl_aff.c.
References isl_dim_set, isl_union_pw_aff_pullback_union_pw_multi_aff(), isl_union_pw_multi_aff_align_params(), isl_union_pw_multi_aff_copy(), isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_get_space(), mupa, n, and preimage_explicit_domain().
Referenced by collect_filter_prefix_expansion(), isl_schedule_band_pullback_union_pw_multi_aff(), and isl::multi_union_pw_aff::pullback().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_pw_multi_aff_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_pw_multi_aff * | pma | ||
| ) |
Definition at line 9014 of file isl_aff.c.
References domain, isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned(), isl_pw_multi_aff_align_params(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_space(), isl_union_set_align_params(), isl_union_set_free(), isl_union_set_get_space(), isl_union_set_space_has_equal_params(), and pma.
Referenced by isl_multi_union_pw_aff_multi_aff_on_domain(), and mupa_apply_pw_multi_aff_0D().
|
static |
Definition at line 8975 of file isl_aff.c.
References domain, isl_dim_set, isl_multi_union_pw_aff_intersect_domain(), isl_pw_multi_aff_dim(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_pw_aff(), isl_pw_multi_aff_get_space(), isl_union_pw_aff_pw_aff_on_domain(), isl_union_set_copy(), isl_union_set_free(), mupa, n, isl_union_pw_aff_pullback_upma_data::pa, and pma.
Referenced by isl_multi_union_pw_aff_pw_multi_aff_on_domain().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_zero | ( | __isl_take isl_space * | space | ) |
Definition at line 8655 of file isl_aff.c.
References isl_die, isl_dim_out, isl_error_invalid, isl_space_dim(), isl_space_free(), isl_space_get_ctx(), isl_space_is_params(), isl_space_is_set(), and params.
Referenced by collect_filter_prefix_expansion(), isl_schedule_node_get_prefix_schedule_multi_union_pw_aff(), isl_schedule_node_get_prefix_schedule_relation(), isl_schedule_node_get_prefix_schedule_union_pw_multi_aff(), read_multi_union_pw_aff_core(), test_parse_mupa(), and isl::multi_union_pw_aff::zero().
| __isl_give isl_union_set * isl_multi_union_pw_aff_zero_union_set | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9044 of file isl_aff.c.
References isl_dim_set, isl_multi_union_pw_aff_domain(), isl_union_pw_aff_zero_union_set(), isl_union_set_intersect(), mupa, and n.
| __isl_give isl_pw_aff * isl_pw_aff_add | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3490 of file isl_aff.c.
References isl_aff_add().
Referenced by accept_affine(), isl::pw_aff::add(), polly::SCEVAffinator::interpretAsUnsigned(), isl_multi_pw_aff_apply_aff_aligned(), list_add_one(), map_from_tuple(), pw_aff_gte_set(), polly::SCEVAffinator::visitAddExpr(), and polly::SCEVAffinator::visitAddRecExpr().
| __isl_give isl_set * isl_pw_aff_bind_id | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 2987 of file isl_aff.c.
References aff_bind_id(), bound, isl_id_free(), and pw_aff_locus().
Referenced by isl::pw_aff::bind(), bind_id(), and test_bind_pa().
| __isl_give isl_pw_aff * isl_pw_aff_ceil | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3286 of file isl_aff.c.
References isl_aff_ceil().
Referenced by accept_div(), isl::pw_aff::ceil(), isl_pw_aff_tdiv_q(), and set_enforced_from_set().
| 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_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, and match().
| __isl_give isl_pw_aff * isl_pw_aff_cond | ( | __isl_take isl_pw_aff * | cond, |
| __isl_take isl_pw_aff * | pwaff_true, | ||
| __isl_take isl_pw_aff * | pwaff_false | ||
| ) |
Definition at line 3317 of file isl_aff.c.
References equal, isl_local_space_from_space(), isl_pw_aff_align_params(), isl_pw_aff_copy(), isl_pw_aff_domain(), isl_pw_aff_free(), isl_pw_aff_get_domain_space(), isl_pw_aff_get_space(), isl_pw_aff_intersect_domain(), isl_pw_aff_involves_nan(), isl_pw_aff_nan_on_domain(), isl_pw_aff_non_zero_set(), isl_pw_aff_plain_is_equal(), isl_pw_aff_select(), isl_pw_aff_zero_set(), and isl_set_coalesce().
Referenced by accept_ternary(), isl::pw_aff::cond(), and isl_pw_aff_tdiv_q().
| __isl_give isl_pw_aff * isl_pw_aff_div | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3506 of file isl_aff.c.
References isl_aff_div(), isl_die, isl_error_invalid, isl_pw_aff_free(), isl_pw_aff_get_ctx(), and isl_pw_aff_is_cst().
Referenced by isl::pw_aff::div(), isl_pw_aff_tdiv_q(), and polly::SCEVAffinator::visitUDivExpr().
|
static |
Definition at line 2860 of file isl_aff.c.
References isl_space_domain_is_wrapping().
| __isl_give isl_map * isl_pw_aff_eq_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3110 of file isl_aff.c.
References isl_pw_aff_eq_set(), and isl_pw_aff_order_map().
Referenced by isl_multi_pw_aff_eq_map_on_space(), and isl_multi_pw_aff_lex_map_on_space().
| __isl_give isl_set * isl_pw_aff_eq_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3036 of file isl_aff.c.
References pw_aff_gte_set().
Referenced by isl::pw_aff::eq_set(), isl_pw_aff_eq_map(), and isl_pw_aff_list_eq_set().
| __isl_give isl_pw_aff * isl_pw_aff_floor | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3281 of file isl_aff.c.
References isl_aff_floor().
Referenced by accept_affine_factor(), accept_div(), affine_mod(), isl::pw_aff::floor(), floor_entry(), isl_multi_pw_aff_apply_aff_aligned(), isl_pw_aff_mod(), and isl_pw_aff_tdiv_q().
| __isl_give isl_map * isl_pw_aff_ge_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3139 of file isl_aff.c.
References isl_pw_aff_ge_set(), and isl_pw_aff_order_map().
Referenced by map_upper_bound_pw_aff().
| __isl_give isl_set * isl_pw_aff_ge_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3046 of file isl_aff.c.
References pw_aff_gte_set().
Referenced by isl::pw_aff::ge_set(), isl_pw_aff_ge_map(), isl_pw_aff_le_set(), isl_pw_aff_list_ge_set(), pw_aff_max(), set_lower(), and polly::SCEVAffinator::visitTruncateExpr().
| __isl_give isl_map * isl_pw_aff_gt_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3149 of file isl_aff.c.
References isl_pw_aff_gt_set(), and isl_pw_aff_order_map().
| __isl_give isl_set * isl_pw_aff_gt_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3056 of file isl_aff.c.
References pw_aff_gte_set().
Referenced by isl::pw_aff::gt_set(), isl_pw_aff_gt_map(), isl_pw_aff_list_gt_set(), isl_pw_aff_lt_set(), isl_pw_aff_ne_set(), and remove_redundant_lower_bounds().
| isl_bool isl_pw_aff_is_cst | ( | __isl_keep isl_pw_aff * | pwaff | ) |
Definition at line 3373 of file isl_aff.c.
References isl_aff_is_cst(), isl_bool_error, and isl_bool_true.
Referenced by isl::pw_aff::is_cst(), isl_multi_pw_aff_is_cst(), isl_pw_aff_div(), isl_pw_aff_tdiv_q(), and isl_pw_aff_tdiv_r().
| isl_bool isl_pw_aff_is_equal | ( | __isl_keep isl_pw_aff * | pa1, |
| __isl_keep isl_pw_aff * | pa2 | ||
| ) |
Definition at line 7105 of file isl_aff.c.
References either_involves_nan(), equal, isl_bool_error, isl_bool_false, isl_map_free(), isl_map_from_pw_aff_internal(), isl_map_is_equal(), isl_pw_aff_copy(), isl_pw_aff_plain_is_equal(), map1, and map2.
Referenced by isl::pw_aff::is_equal(), and isl_multi_pw_aff_is_equal().
| __isl_give isl_map * isl_pw_aff_le_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3120 of file isl_aff.c.
References isl_pw_aff_le_set(), and isl_pw_aff_order_map().
Referenced by map_lower_bound_pw_aff().
| __isl_give isl_set * isl_pw_aff_le_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3063 of file isl_aff.c.
References isl_pw_aff_ge_set().
Referenced by polly::ScopBuilder::buildUnsignedConditionSets(), isl_pw_aff_le_map(), isl_pw_aff_list_le_set(), isl::pw_aff::le_set(), less(), pw_aff_min(), and set_upper().
| __isl_give isl_set * isl_pw_aff_list_eq_set | ( | __isl_take isl_pw_aff_list * | list1, |
| __isl_take isl_pw_aff_list * | list2 | ||
| ) |
Definition at line 3199 of file isl_aff.c.
References isl_pw_aff_eq_set(), and pw_aff_list_set().
Referenced by construct_constraints().
| __isl_give isl_set * isl_pw_aff_list_ge_set | ( | __isl_take isl_pw_aff_list * | list1, |
| __isl_take isl_pw_aff_list * | list2 | ||
| ) |
Definition at line 3227 of file isl_aff.c.
References isl_pw_aff_ge_set(), and pw_aff_list_set().
Referenced by construct_constraints().
| __isl_give isl_set * isl_pw_aff_list_gt_set | ( | __isl_take isl_pw_aff_list * | list1, |
| __isl_take isl_pw_aff_list * | list2 | ||
| ) |
Definition at line 3233 of file isl_aff.c.
References isl_pw_aff_gt_set(), and pw_aff_list_set().
Referenced by construct_constraints().
|
static |
Definition at line 3715 of file isl_aff.c.
References isl_bool_not(), and pw_aff_no_nan().
Referenced by isl_pw_aff_list_opt().
| __isl_give isl_set * isl_pw_aff_list_le_set | ( | __isl_take isl_pw_aff_list * | list1, |
| __isl_take isl_pw_aff_list * | list2 | ||
| ) |
Definition at line 3215 of file isl_aff.c.
References isl_pw_aff_le_set(), and pw_aff_list_set().
Referenced by construct_constraints(), and set_enforced_from_list().
| __isl_give isl_set * isl_pw_aff_list_lt_set | ( | __isl_take isl_pw_aff_list * | list1, |
| __isl_take isl_pw_aff_list * | list2 | ||
| ) |
Definition at line 3221 of file isl_aff.c.
References isl_pw_aff_lt_set(), and pw_aff_list_set().
Referenced by construct_constraints().
| __isl_give isl_pw_aff * isl_pw_aff_list_max | ( | __isl_take isl_pw_aff_list * | list | ) |
Definition at line 3852 of file isl_aff.c.
References isl_pw_aff_list_opt().
Referenced by accept_minmax().
| __isl_give isl_pw_aff * isl_pw_aff_list_min | ( | __isl_take isl_pw_aff_list * | list | ) |
Definition at line 3843 of file isl_aff.c.
References isl_pw_aff_list_opt().
Referenced by accept_minmax().
| __isl_give isl_set * isl_pw_aff_list_ne_set | ( | __isl_take isl_pw_aff_list * | list1, |
| __isl_take isl_pw_aff_list * | list2 | ||
| ) |
Definition at line 3205 of file isl_aff.c.
References isl_pw_aff_ne_set(), and pw_aff_list_set().
Referenced by construct_constraints().
|
static |
Definition at line 3788 of file isl_aff.c.
References isl_die, isl_error_invalid, isl_pw_aff_add_disjoint(), isl_pw_aff_empty(), isl_pw_aff_free(), isl_pw_aff_get_space(), isl_pw_aff_intersect_domain(), isl_pw_aff_list_involves_nan(), less(), n, replace_list_by_nan(), and res.
Referenced by isl_pw_aff_list_max(), and isl_pw_aff_list_min().
| __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_pw_aff_set_rational(), and n.
Referenced by construct_constraints().
| __isl_give isl_map * isl_pw_aff_lt_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3129 of file isl_aff.c.
References isl_pw_aff_lt_set(), and isl_pw_aff_order_map().
| __isl_give isl_set * isl_pw_aff_lt_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3069 of file isl_aff.c.
References isl_pw_aff_gt_set().
Referenced by polly::ScopBuilder::buildUnsignedConditionSets(), isl_pw_aff_list_lt_set(), isl_pw_aff_lt_map(), isl_pw_aff_ne_set(), less(), isl::pw_aff::lt_set(), and polly::SCEVAffinator::visitTruncateExpr().
| 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_bool_error, isl_pw_aff_get_space(), isl_space_free(), isl_space_has_equal_params(), and match().
| __isl_give isl_pw_aff * isl_pw_aff_max | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3698 of file isl_aff.c.
References pw_aff_min_max().
Referenced by isl::pw_aff::max(), and polly::SCEVAffinator::visitSMaxExpr().
| __isl_give isl_pw_aff * isl_pw_aff_min | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3690 of file isl_aff.c.
References pw_aff_min_max().
Referenced by isl::pw_aff::min(), and polly::SCEVAffinator::visitSMinExpr().
| __isl_give isl_pw_aff * isl_pw_aff_mod | ( | __isl_take isl_pw_aff * | pwaff, |
| isl_int | m | ||
| ) |
Definition at line 1745 of file isl_aff.c.
References isl_pw_aff_copy(), isl_pw_aff_floor(), isl_pw_aff_scale(), isl_pw_aff_scale_down(), isl_pw_aff_sub(), m, and res.
Referenced by isl_pw_aff_mod_val().
| __isl_give isl_pw_aff * isl_pw_aff_mod_val | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_val * | m | ||
| ) |
Definition at line 1764 of file isl_aff.c.
References isl_die, isl_error_invalid, isl_pw_aff_free(), isl_pw_aff_get_ctx(), isl_pw_aff_mod(), isl_val_free(), isl_val_is_int(), and m.
Referenced by isl::pw_aff::mod().
| __isl_give isl_pw_aff * isl_pw_aff_mul | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3497 of file isl_aff.c.
References isl_aff_mul().
Referenced by isl_pw_aff_tdiv_r(), isl::pw_aff::mul(), polly::SCEVAffinator::visit(), and polly::SCEVAffinator::visitMulExpr().
| __isl_give isl_pw_aff * isl_pw_aff_nan_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 260 of file isl_aff.c.
References isl_aff_nan_on_domain(), and isl_pw_aff_from_aff().
Referenced by isl_pw_aff_cond(), and nan_on_domain_set().
| __isl_give isl_pw_aff * isl_pw_aff_nan_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 251 of file isl_aff.c.
References isl_aff_nan_on_domain_space(), and isl_pw_aff_from_aff().
Referenced by nan_on_domain().
| __isl_give isl_set * isl_pw_aff_ne_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3243 of file isl_aff.c.
References isl_pw_aff_copy(), isl_pw_aff_gt_set(), isl_pw_aff_lt_set(), and isl_set_union_disjoint().
Referenced by isl_pw_aff_list_ne_set(), and isl::pw_aff::ne_set().
| __isl_give isl_set * isl_pw_aff_non_zero_set | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 2940 of file isl_aff.c.
References aff_zero_basic_set(), and pw_aff_locus().
Referenced by isl_pw_aff_cond().
| __isl_give isl_set * isl_pw_aff_nonneg_set | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 2924 of file isl_aff.c.
References aff_nonneg_basic_set(), and pw_aff_locus().
Referenced by polly::SCEVAffinator::interpretAsUnsigned(), isl_pw_aff_tdiv_q(), and pw_aff_gte_set().
|
static |
Definition at line 3085 of file isl_aff.c.
References isl_multi_aff_domain_map(), isl_multi_aff_range_map(), isl_pw_aff_get_space(), isl_pw_aff_pullback_multi_aff(), isl_set_unwrap(), isl_space_copy(), isl_space_domain(), isl_space_map_from_domain_and_range(), ma, and set.
Referenced by isl_pw_aff_eq_map(), isl_pw_aff_ge_map(), isl_pw_aff_gt_map(), isl_pw_aff_le_map(), and isl_pw_aff_lt_map().
| __isl_give isl_pw_aff * isl_pw_aff_param_on_domain_id | ( | __isl_take isl_set * | domain, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 7704 of file isl_aff.c.
References aff, domain, isl_aff_param_on_domain_space_id(), isl_id_copy(), isl_pw_aff_alloc(), isl_set_align_params(), isl_set_get_space(), isl_space_add_param_id(), and isl_space_copy().
Referenced by isl_set_param_pw_aff_on_domain_id(), and isl::pw_aff::param_on_domain().
| int isl_pw_aff_plain_cmp | ( | __isl_keep isl_pw_aff * | pa1, |
| __isl_keep isl_pw_aff * | pa2 | ||
| ) |
Definition at line 7643 of file isl_aff.c.
References cmp(), isl_aff_plain_cmp(), isl_set_plain_cmp(), and isl_space_cmp().
Referenced by reduce_list_cmp().
| __isl_give isl_set * isl_pw_aff_pos_set | ( | __isl_take isl_pw_aff * | pa | ) |
Definition at line 2916 of file isl_aff.c.
References aff_pos_basic_set(), and pw_aff_locus().
Referenced by polly::SCEVAffinator::takeNonNegativeAssumption().
| __isl_give isl_pw_aff * isl_pw_aff_pullback_multi_pw_aff | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_multi_pw_aff * | mpa | ||
| ) |
Definition at line 7403 of file isl_aff.c.
References isl_multi_pw_aff_apply_pw_aff().
Referenced by isl::pw_aff::pullback().
| __isl_give isl_pw_aff * isl_pw_aff_scale_down | ( | __isl_take isl_pw_aff * | pwaff, |
| isl_int | v | ||
| ) |
Definition at line 3255 of file isl_aff.c.
References 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().
|
static |
Definition at line 3295 of file isl_aff.c.
References isl_pw_aff_add_disjoint(), and isl_pw_aff_intersect_domain().
Referenced by isl_pw_aff_cond(), pw_aff_max(), and pw_aff_min().
| __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_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_give isl_pw_aff * isl_pw_aff_tdiv_q | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3535 of file isl_aff.c.
References f, isl_die, isl_error_invalid, isl_pw_aff_ceil(), isl_pw_aff_cond(), isl_pw_aff_copy(), isl_pw_aff_div(), isl_pw_aff_floor(), isl_pw_aff_free(), isl_pw_aff_get_ctx(), isl_pw_aff_is_cst(), isl_pw_aff_nonneg_set(), and isl_set_indicator_function().
Referenced by isl_pw_aff_tdiv_r(), isl::pw_aff::tdiv_q(), and polly::SCEVAffinator::visitSDivInstruction().
| __isl_give isl_pw_aff * isl_pw_aff_tdiv_r | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3571 of file isl_aff.c.
References isl_die, isl_error_invalid, isl_pw_aff_copy(), isl_pw_aff_free(), isl_pw_aff_get_ctx(), isl_pw_aff_is_cst(), isl_pw_aff_mul(), isl_pw_aff_sub(), isl_pw_aff_tdiv_q(), and res.
Referenced by isl::pw_aff::tdiv_r(), and polly::SCEVAffinator::visitSRemInstruction().
| __isl_give isl_pw_aff * isl_pw_aff_union_max | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 2829 of file isl_aff.c.
References isl_aff_ge_set().
Referenced by isl_pw_aff_union_opt().
| __isl_give isl_pw_aff * isl_pw_aff_union_min | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 2842 of file isl_aff.c.
References isl_aff_le_set().
Referenced by 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_pw_aff_union_max(), and isl_pw_aff_union_min().
Referenced by map_dim_opt().
| __isl_give isl_pw_aff * isl_pw_aff_val_on_domain | ( | __isl_take isl_set * | domain, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 7678 of file isl_aff.c.
References aff, domain, isl_aff_val_on_domain(), isl_local_space_from_space(), isl_pw_aff_alloc(), and isl_set_get_space().
Referenced by getWidthExpValOnDomain(), isl_set_pw_aff_on_domain_val(), isl::pw_aff::pw_aff(), and pw_aff_val_on_domain().
| __isl_give isl_pw_aff * isl_pw_aff_var_on_domain | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 350 of file isl_aff.c.
References isl_aff_var_on_domain(), isl_pw_aff_from_aff(), pos(), and type.
Referenced by map_bound_pw_aff(), and isl::pw_aff::var_on_domain().
| __isl_give isl_pw_aff * isl_pw_aff_zero_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 206 of file isl_aff.c.
References isl_aff_zero_on_domain(), and isl_pw_aff_from_aff().
Referenced by polly::ScopBuilder::buildUnsignedConditionSets(), and isl::pw_aff::pw_aff().
| __isl_give isl_set * isl_pw_aff_zero_set | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 2932 of file isl_aff.c.
References aff_zero_basic_set(), and pw_aff_locus().
Referenced by isl_pw_aff_cond(), map_from_tuple(), pw_aff_gte_set(), and zero_union_set().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_add | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 4734 of file isl_aff.c.
Referenced by isl::pw_multi_aff::add(), and isl_obj_pw_multi_aff_add().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_domain_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4229 of file isl_aff.c.
References isl_multi_aff_domain_map(), and isl_pw_multi_aff_from_multi_aff().
Referenced by isl::pw_multi_aff::domain_map(), and isl_space_domain_map_pw_multi_aff().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_flat_range_product | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 6426 of file isl_aff.c.
References isl_pw_multi_aff_get_space(), isl_space_flatten_range(), and isl_space_range_product().
Referenced by isl::pw_multi_aff::flat_range_product(), and flat_range_product_entry().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_domain | ( | __isl_take isl_set * | set | ) |
Definition at line 6292 of file isl_aff.c.
References isl_pw_multi_aff_alloc(), isl_set_get_space(), isl_space_from_domain(), ma, and set.
Referenced by add_pw_multi_aff_from_domain().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_map | ( | __isl_take isl_map * | map | ) |
Definition at line 5568 of file isl_aff.c.
References hull, isl_basic_map_free(), isl_basic_map_plain_affine_hull(), isl_basic_map_plain_is_single_valued(), isl_map_copy(), isl_map_detect_equalities(), isl_map_domain(), isl_map_free(), isl_map_n_basic_map(), isl_map_unshifted_simple_hull(), map, n, plain_pw_multi_aff_from_map(), pw_multi_aff_from_map_check_strides(), and sv.
Referenced by isl::pw_multi_aff::from_map(), get_expanded_n_div(), isl_ast_build_call_from_executed(), isl_map_as_pw_multi_aff(), isl_map_partial_lexopt_aligned_pw_multi_aff(), isl_pw_multi_aff_from_set(), project_out_fixed(), pw_multi_aff_from_map(), pw_multi_aff_from_map_div(), pw_multi_aff_from_map_stride(), test_map_conversion(), test_parse_mpa(), test_parse_pma(), and update_values().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_multi_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 6970 of file isl_aff.c.
References isl_pw_multi_aff_from_multi_pw_aff_0D(), isl_pw_multi_aff_from_pw_aff(), isl_pw_multi_aff_range_product(), isl_pw_multi_aff_reset_space(), and pma.
Referenced by check_single_expr_min(), isl_map_preimage_multi_pw_aff(), project_out_fixed(), read_conditional_multi_aff(), and test_mpa_conversion().
|
static |
Definition at line 6951 of file isl_aff.c.
References isl_pw_multi_aff_alloc(), and ma.
Referenced by isl_pw_multi_aff_from_multi_pw_aff().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_pw_aff | ( | __isl_take isl_pw_aff * | pa | ) |
Definition at line 6917 of file isl_aff.c.
References isl_aff_copy(), isl_multi_aff_from_aff(), isl_pw_aff_free(), isl_pw_aff_get_space(), isl_set_copy(), ma, pma, and set.
Referenced by isl_pw_multi_aff_from_multi_pw_aff(), isl::pw_multi_aff::pw_multi_aff(), and pw_multi_aff_from_pw_aff_entry().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_set | ( | __isl_take isl_set * | set | ) |
Definition at line 5608 of file isl_aff.c.
References isl_pw_multi_aff_from_map(), and set.
Referenced by isl_set_as_pw_multi_aff(), polly::IslNodeBuilder::preloadUnconditionally(), and test_set_conversion().
|
static |
Definition at line 6251 of file isl_aff.c.
References aff, isl_dim_out, isl_pw_aff_alloc_size(), isl_pw_multi_aff_dim(), isl_pw_multi_aff_get_space(), isl_set_copy(), isl_space_drop_dims(), pma, and pos().
Referenced by isl_pw_multi_aff_get_pw_aff().
| __isl_give isl_pw_aff * isl_pw_multi_aff_get_pw_aff | ( | __isl_keep isl_pw_multi_aff * | pma, |
| int | pos | ||
| ) |
Definition at line 6283 of file isl_aff.c.
References isl_pw_multi_aff_get_at(), pma, and pos().
Referenced by basic_map_dim_opt(), exact_bound(), get_union_pw_aff(), isl_multi_pw_aff_from_pw_multi_aff(), isl_multi_union_pw_aff_apply_pw_multi_aff(), isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned(), and update_values().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_identity | ( | __isl_take isl_space * | space | ) |
Definition at line 4347 of file isl_aff.c.
References isl_pw_multi_aff_from_multi_aff().
Referenced by identity_upma(), pw_multi_aff_from_map_stride(), and set_enforced_from_set().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_identity_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 4356 of file isl_aff.c.
References isl_pw_multi_aff_from_multi_aff(), and ma.
Referenced by isl::pw_multi_aff::identity_on_domain(), isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(), and isl_space_identity_pw_multi_aff_on_domain().
| isl_bool isl_pw_multi_aff_is_equal | ( | __isl_keep isl_pw_multi_aff * | pma1, |
| __isl_keep isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 7190 of file isl_aff.c.
References equal, isl_bool_error, isl_bool_not(), isl_map_free(), isl_map_from_pw_multi_aff_internal(), isl_map_is_equal(), isl_pw_multi_aff_copy(), isl_pw_multi_aff_involves_nan(), isl_pw_multi_aff_plain_is_equal(), map1, and map2.
Referenced by equal_on_domain(), and test_equal().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_multi_val_on_domain | ( | __isl_take isl_set * | domain, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 7789 of file isl_aff.c.
References domain, isl_multi_aff_multi_val_on_space(), isl_pw_multi_aff_alloc(), isl_set_get_space(), and ma.
Referenced by isl_set_pw_multi_aff_on_domain_multi_val(), isl::pw_multi_aff::multi_val_on_domain(), and pw_multi_aff_multi_val_on_domain().
|
static |
Definition at line 6805 of file isl_aff.c.
References fn, isl_pw_multi_aff_free(), isl_pw_multi_aff_n_piece(), ma, n, and pma.
Referenced by isl_pw_multi_aff_scale_down_multi_val(), and isl_pw_multi_aff_scale_multi_val().
|
static |
Definition at line 7918 of file isl_aff.c.
References id, isl_dim_in, isl_dim_out, isl_pw_multi_aff_free(), isl_pw_multi_aff_identity_on_domain_space(), isl_pw_multi_aff_product(), isl_pw_multi_aff_pullback_pw_multi_aff(), isl_space_check_domain_is_wrapping(), isl_space_check_wrapped_tuple_is_equal(), isl_space_copy(), isl_space_domain(), isl_space_range(), and isl_space_unwrap().
Referenced by preimage_domain_wrapped_domain_entry().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_product | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 4755 of file isl_aff.c.
References domain, isl_pw_multi_aff_free(), isl_set_copy(), isl_set_product(), isl_space_copy(), isl_space_product(), ma, n, and res.
Referenced by isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(), isl::pw_multi_aff::product(), and test_product_pma().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_project_out_map | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 4325 of file isl_aff.c.
References isl_multi_aff_project_out_map(), isl_pw_multi_aff_from_multi_aff(), ma, n, and type.
Referenced by isl::pw_multi_aff::project_out_map().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_range_factor_domain | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 4686 of file isl_aff.c.
References isl_space_range_factor_domain(), pma, pw_multi_aff_check_range_product(), and pw_multi_aff_factor().
Referenced by isl_union_pw_multi_aff_range_factor_domain(), and isl::pw_multi_aff::range_factor_domain().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_range_factor_range | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 4696 of file isl_aff.c.
References isl_space_range_factor_range(), pma, pw_multi_aff_check_range_product(), and pw_multi_aff_factor().
Referenced by isl_union_pw_multi_aff_range_factor_range(), and isl::pw_multi_aff::range_factor_range().
|
static |
Definition at line 4662 of file isl_aff.c.
References isl_space_range_is_wrapping(), and pma.
Referenced by isl_union_pw_multi_aff_range_factor_domain(), isl_union_pw_multi_aff_range_factor_range(), and pw_multi_aff_check_range_product().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_range_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4247 of file isl_aff.c.
References isl_multi_aff_range_map(), and isl_pw_multi_aff_from_multi_aff().
Referenced by isl_space_range_map_pw_multi_aff(), and isl::pw_multi_aff::range_map().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_range_product | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 6411 of file isl_aff.c.
References isl_pw_multi_aff_get_space(), and isl_space_range_product().
Referenced by isl_pw_multi_aff_from_multi_pw_aff(), pw_multi_aff_from_map_stride(), isl::pw_multi_aff::range_product(), and range_product_entry().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_scale_down_multi_val | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 6847 of file isl_aff.c.
References isl_pw_multi_aff_op_multi_val(), and pma.
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_scale_multi_val | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 6838 of file isl_aff.c.
References isl_pw_multi_aff_op_multi_val(), and pma.
Referenced by union_pw_multi_aff_scale_multi_val_entry().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_set_pw_aff | ( | __isl_take isl_pw_multi_aff * | pma, |
| unsigned | pos, | ||
| __isl_take isl_pw_aff * | pa | ||
| ) |
Definition at line 6571 of file isl_aff.c.
References isl_pw_aff_align_params(), isl_pw_aff_check_named_params(), isl_pw_aff_free(), isl_pw_aff_get_space(), isl_pw_multi_aff_align_params(), isl_pw_multi_aff_check_named_params(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_space(), isl_space_has_equal_params(), pma, pos(), and pw_multi_aff_set_pw_aff().
Referenced by set_enforced_from_set(), and isl::pw_multi_aff::set_pw_aff().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_sub | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 4744 of file isl_aff.c.
Referenced by isl::pw_multi_aff::sub().
| __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_dim_in, isl_multi_aff_substitute(), isl_pw_multi_aff_free(), 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_give isl_multi_pw_aff * isl_pw_multi_aff_to_multi_pw_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 7090 of file isl_aff.c.
References isl_multi_pw_aff_from_pw_multi_aff(), and pma.
Referenced by isl::pw_multi_aff::to_multi_pw_aff().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_union_lexmax | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 4710 of file isl_aff.c.
References isl_multi_aff_lex_ge_set().
Referenced by isl_map_partial_lexopt_aligned_pw_multi_aff().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_union_lexmin | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 4725 of file isl_aff.c.
References isl_multi_aff_lex_le_set().
Referenced by isl_map_partial_lexopt_aligned_pw_multi_aff().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_zero | ( | __isl_take isl_space * | space | ) |
Definition at line 6909 of file isl_aff.c.
References isl_pw_multi_aff_from_multi_aff().
Referenced by isl::pw_multi_aff::zero().
| 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 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_give isl_pw_multi_aff * isl_set_as_pw_multi_aff | ( | __isl_take isl_set * | set | ) |
Definition at line 5616 of file isl_aff.c.
References isl_pw_multi_aff_from_set(), and set.
Referenced by isl::set::as_pw_multi_aff().
| __isl_give isl_pw_aff * isl_set_indicator_function | ( | __isl_take isl_set * | set | ) |
Definition at line 5692 of file isl_aff.c.
References isl_aff_add_constant_si(), isl_aff_zero_on_domain(), isl_local_space_copy(), isl_local_space_from_space(), isl_pw_aff_add_disjoint(), isl_pw_aff_alloc(), isl_set_complement(), isl_set_copy(), isl_set_get_space(), and set.
Referenced by accept_ternary(), isl::set::indicator_function(), and isl_pw_aff_tdiv_q().
| __isl_give isl_multi_pw_aff * isl_set_max_multi_pw_aff | ( | __isl_take isl_set * | set | ) |
Definition at line 6771 of file isl_aff.c.
References isl_set_dim_max(), and set.
Referenced by isl::set::max_multi_pw_aff().
| __isl_give isl_multi_pw_aff * isl_set_min_multi_pw_aff | ( | __isl_take isl_set * | set | ) |
Definition at line 6763 of file isl_aff.c.
References isl_set_dim_min(), and set.
Referenced by check_single_expr_min(), and isl::set::min_multi_pw_aff().
| __isl_give isl_pw_aff * isl_set_param_pw_aff_on_domain_id | ( | __isl_take isl_set * | domain, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 7722 of file isl_aff.c.
References domain, and isl_pw_aff_param_on_domain_id().
| __isl_give isl_pw_aff * isl_set_pw_aff_on_domain_val | ( | __isl_take isl_set * | domain, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 7695 of file isl_aff.c.
References domain, and isl_pw_aff_val_on_domain().
| __isl_give isl_pw_multi_aff * isl_set_pw_multi_aff_on_domain_multi_val | ( | __isl_take isl_set * | domain, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 7805 of file isl_aff.c.
References domain, and isl_pw_multi_aff_multi_val_on_domain().
Referenced by isl::set::pw_multi_aff_on_domain().
| __isl_give isl_multi_aff * isl_space_domain_map_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4167 of file isl_aff.c.
References isl_multi_aff_domain_map().
Referenced by isl::space::domain_map_multi_aff().
| __isl_give isl_pw_multi_aff * isl_space_domain_map_pw_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4238 of file isl_aff.c.
References isl_pw_multi_aff_domain_map().
Referenced by isl::space::domain_map_pw_multi_aff().
| __isl_give isl_pw_multi_aff * isl_space_identity_pw_multi_aff_on_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 4369 of file isl_aff.c.
References isl_pw_multi_aff_identity_on_domain_space().
Referenced by isl::space::identity_pw_multi_aff_on_domain().
| __isl_give isl_multi_aff * isl_space_multi_aff_on_domain_multi_val | ( | __isl_take isl_space * | space, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 7780 of file isl_aff.c.
References isl_multi_aff_multi_val_on_domain_space().
Referenced by isl::space::multi_aff_on_domain().
| __isl_give isl_aff * isl_space_param_aff_on_domain_id | ( | __isl_take isl_space * | space, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 384 of file isl_aff.c.
References isl_aff_param_on_domain_space_id().
Referenced by isl::space::param_aff_on_domain().
| __isl_give isl_multi_aff * isl_space_range_map_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4220 of file isl_aff.c.
References isl_multi_aff_range_map().
Referenced by isl::space::range_map_multi_aff().
| __isl_give isl_pw_multi_aff * isl_space_range_map_pw_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4256 of file isl_aff.c.
References isl_pw_multi_aff_range_map().
Referenced by isl::space::range_map_pw_multi_aff().
| __isl_give isl_aff * isl_space_zero_aff_on_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 198 of file isl_aff.c.
References isl_aff_zero_on_domain_space().
Referenced by isl::space::zero_aff_on_domain().
| __isl_give isl_multi_union_pw_aff * isl_union_map_as_multi_union_pw_aff | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 8877 of file isl_aff.c.
References isl_multi_union_pw_aff_from_union_map().
Referenced by isl::union_map::as_multi_union_pw_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_map_as_union_pw_multi_aff | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 5673 of file isl_aff.c.
References isl_union_pw_multi_aff_from_union_map().
Referenced by isl::union_map::as_union_pw_multi_aff().
| __isl_give isl_union_map * isl_union_map_from_multi_union_pw_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9116 of file isl_aff.c.
References isl_dim_set, isl_union_map_flat_range_product(), isl_union_map_from_multi_union_pw_aff_0D(), isl_union_map_from_union_pw_aff(), isl_union_map_reset_range_space(), mupa, and n.
Referenced by after_in_band(), build_ast_from_band(), isl::union_map::from(), isl_schedule_node_band_get_partial_schedule_union_map(), isl_schedule_node_get_prefix_schedule_relation(), subtree_schedule_extend(), test_multi_pw_aff_3(), and test_union_map_mupa_conversion().
|
static |
Definition at line 9085 of file isl_aff.c.
References isl_die, isl_error_invalid, isl_multi_union_pw_aff_domain(), isl_set_universe(), isl_union_map_from_domain_and_range(), isl_union_set_free(), isl_union_set_from_set(), isl_union_set_get_ctx(), isl_union_set_is_params(), and mupa.
Referenced by isl_union_map_from_multi_union_pw_aff().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_aff_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_aff * | aff | ||
| ) |
Definition at line 8227 of file isl_aff.c.
References aff, domain, isl_pw_aff_from_aff(), and isl_union_pw_aff_pw_aff_on_domain().
Referenced by isl_union_pw_aff_param_on_domain_id(), multi_union_pw_aff_apply_aff(), and test_upa().
| __isl_give isl_union_set * isl_union_pw_aff_bind_id | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 8495 of file isl_aff.c.
References bind_id(), isl_bind_id_data::bound, isl_id_free(), isl_union_pw_aff_foreach_pw_aff(), isl_union_pw_aff_free(), isl_union_pw_aff_get_space(), isl_union_set_empty(), and isl_union_set_free().
Referenced by isl::union_pw_aff::bind().
|
static |
Definition at line 8010 of file isl_aff.c.
References isl_die, isl_error_invalid, isl_space_free(), isl_space_get_ctx(), isl_space_has_equal_params(), isl_space_is_set(), isl_stat_error, isl_stat_ok, isl_union_pw_aff_get_space(), and match().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_floor | ( | __isl_take isl_union_pw_aff * | upa | ) |
Definition at line 8124 of file isl_aff.c.
References floor_entry().
Referenced by isl_multi_union_pw_aff_tile(), isl_union_pw_aff_mod_val(), and multi_union_pw_aff_apply_aff().
|
static |
Definition at line 8043 of file isl_aff.c.
References isl_bool_error, isl_space_free(), isl_space_has_equal_params(), isl_union_pw_aff_get_space(), and match().
Referenced by isl_union_pw_aff_reset_domain_space().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_mod_val | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_val * | m | ||
| ) |
Definition at line 8136 of file isl_aff.c.
References isl_die, isl_error_invalid, isl_union_pw_aff_copy(), isl_union_pw_aff_floor(), isl_union_pw_aff_free(), isl_union_pw_aff_scale_down_val(), isl_union_pw_aff_scale_val(), isl_union_pw_aff_sub(), isl_val_copy(), isl_val_free(), isl_val_get_ctx(), isl_val_is_int(), isl_val_is_pos(), m, and res.
| __isl_give isl_union_pw_aff * isl_union_pw_aff_param_on_domain_id | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 8242 of file isl_aff.c.
References aff, domain, isl_aff_param_on_domain_space_id(), isl_id_copy(), isl_space_add_param_id(), isl_union_pw_aff_aff_on_domain(), and isl_union_set_get_space().
Referenced by test_upa().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_pullback_union_pw_multi_aff | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_union_pw_multi_aff * | upma | ||
| ) |
Definition at line 8568 of file isl_aff.c.
References isl_union_pw_aff_align_params(), isl_union_pw_aff_foreach_pw_aff(), isl_union_pw_aff_free(), isl_union_pw_aff_get_space(), isl_union_pw_multi_aff_align_params(), isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_get_space(), isl_union_pw_aff_pullback_upma_data::res, upa_pb_upma(), and isl_union_pw_aff_pullback_upma_data::upma.
Referenced by isl_multi_union_pw_aff_pullback_union_pw_multi_aff(), and isl::union_pw_aff::pullback().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_pw_aff_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_pw_aff * | pa | ||
| ) |
Definition at line 8316 of file isl_aff.c.
References domain, isl_die, isl_error_invalid, isl_pw_aff_align_params(), isl_pw_aff_free(), isl_pw_aff_get_ctx(), isl_pw_aff_get_space(), isl_space_align_params(), isl_space_copy(), isl_space_free(), isl_space_has_equal_params(), isl_space_is_set(), isl_union_pw_aff_pw_aff_on_domain_aligned(), isl_union_set_align_params(), isl_union_set_free(), isl_union_set_get_space(), and isl_union_pw_aff_pw_aff_on_domain_data::pa.
Referenced by isl_multi_union_pw_aff_apply_pw_aff_0D(), isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned(), and isl_union_pw_aff_aff_on_domain().
|
static |
Definition at line 8293 of file isl_aff.c.
References domain, isl_pw_aff_free(), isl_union_pw_aff_empty(), isl_union_pw_aff_free(), isl_union_set_foreach_set(), isl_union_set_free(), isl_union_set_get_space(), isl_union_pw_aff_pw_aff_on_domain_data::pa, pw_aff_on_domain(), and isl_union_pw_aff_pw_aff_on_domain_data::res.
Referenced by isl_union_pw_aff_pw_aff_on_domain().
|
static |
Definition at line 8092 of file isl_aff.c.
References isl_space_copy(), isl_space_free(), isl_union_pw_aff_empty(), isl_union_pw_aff_foreach_pw_aff(), isl_union_pw_aff_free(), isl_union_pw_aff_matching_params(), match(), isl_union_pw_aff_reset_params_data::res, reset_params(), and isl_union_pw_aff_reset_params_data::space.
| __isl_give isl_union_pw_aff * isl_union_pw_aff_val_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 8385 of file isl_aff.c.
References domain, isl_union_pw_aff_empty(), isl_union_pw_aff_free(), isl_union_set_foreach_set(), isl_union_set_free(), isl_union_set_get_space(), isl_val_free(), pw_aff_val_on_domain(), isl_union_pw_aff_val_on_domain_data::res, and isl_union_pw_aff_val_on_domain_data::v.
Referenced by isl_multi_union_pw_aff_multi_val_on_domain_aligned(), and isl::union_pw_aff::union_pw_aff().
| __isl_give isl_union_set * isl_union_pw_aff_zero_union_set | ( | __isl_take isl_union_pw_aff * | upa | ) |
Definition at line 8454 of file isl_aff.c.
References isl_union_pw_aff_foreach_pw_aff(), isl_union_pw_aff_free(), isl_union_pw_aff_get_space(), isl_union_set_empty(), isl_union_set_free(), and zero_union_set().
Referenced by isl_multi_union_pw_aff_zero_union_set().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_apply_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
| __isl_take isl_union_pw_multi_aff * | upma2 | ||
| ) |
Definition at line 7895 of file isl_aff.c.
References isl_union_pw_multi_aff_pullback_union_pw_multi_aff(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::union_pw_multi_aff::apply().
| __isl_give isl_multi_union_pw_aff * isl_union_pw_multi_aff_as_multi_union_pw_aff | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 8852 of file isl_aff.c.
References isl_multi_union_pw_aff_from_union_pw_multi_aff(), and isl_union_pw_aff_pullback_upma_data::upma.
Referenced by isl::union_pw_multi_aff::as_multi_union_pw_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_flat_range_product | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
| __isl_take isl_union_pw_multi_aff * | upma2 | ||
| ) |
Definition at line 6481 of file isl_aff.c.
References bin_op, flat_range_product_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::union_pw_multi_aff::flat_range_product(), and isl_union_pw_multi_aff_from_multi_union_pw_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 5638 of file isl_aff.c.
References aff, isl_multi_aff_from_aff(), isl_pw_multi_aff_from_multi_aff(), isl_union_pw_multi_aff_from_pw_multi_aff(), ma, and pma.
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_domain | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 6322 of file isl_aff.c.
References add_pw_multi_aff_from_domain(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), isl_union_set_foreach_set(), isl_union_set_free(), and isl_union_set_get_space().
Referenced by isl_schedule_node_get_prefix_schedule_union_pw_multi_aff(), and isl::union_pw_multi_aff::union_pw_multi_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_multi_union_pw_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9237 of file isl_aff.c.
References isl_dim_set, isl_union_pw_multi_aff_flat_range_product(), isl_union_pw_multi_aff_from_multi_union_pw_aff_0D(), isl_union_pw_multi_aff_from_union_pw_aff(), isl_union_pw_multi_aff_reset_range_space(), mupa, and n.
Referenced by isl_multi_union_pw_aff_intersect_range(), isl_schedule_node_get_prefix_schedule_union_pw_multi_aff(), and isl_schedule_node_group().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_multi_union_pw_aff_0D | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9216 of file isl_aff.c.
References domain, isl_multi_union_pw_aff_domain(), isl_union_pw_multi_aff_multi_val_on_domain(), and mupa.
Referenced by isl_union_pw_multi_aff_from_multi_union_pw_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_union_map | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 5654 of file isl_aff.c.
References isl_union_map_foreach_map(), isl_union_map_free(), isl_union_map_get_space(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), and pw_multi_aff_from_map().
Referenced by polly::Dependences::calculateDependences(), group_expansion(), isl_multi_union_pw_aff_from_union_map(), isl_schedule_node_group(), isl_union_map_as_union_pw_multi_aff(), isl_union_pw_multi_aff_from_union_set(), and isl::union_pw_multi_aff::union_pw_multi_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_union_pw_aff | ( | __isl_take isl_union_pw_aff * | upa | ) |
Definition at line 8419 of file isl_aff.c.
References isl_union_pw_aff_foreach_pw_aff(), isl_union_pw_aff_free(), isl_union_pw_aff_get_space(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), and pw_multi_aff_from_pw_aff_entry().
Referenced by isl_union_pw_multi_aff_from_multi_union_pw_aff(), and isl::union_pw_multi_aff::union_pw_multi_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_union_set | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 5684 of file isl_aff.c.
References isl_union_pw_multi_aff_from_union_map().
| __isl_give isl_union_pw_aff * isl_union_pw_multi_aff_get_union_pw_aff | ( | __isl_keep isl_union_pw_multi_aff * | upma, |
| int | pos | ||
| ) |
Definition at line 8201 of file isl_aff.c.
References get_union_pw_aff(), isl_die, isl_error_invalid, isl_union_pw_aff_empty(), isl_union_pw_aff_free(), isl_union_pw_multi_aff_foreach_pw_multi_aff(), isl_union_pw_multi_aff_get_ctx(), isl_union_pw_multi_aff_get_space(), isl_union_pw_multi_aff_get_union_pw_aff_data::pos, pos(), and isl_union_pw_multi_aff_get_union_pw_aff_data::res.
Referenced by isl_multi_union_pw_aff_from_union_pw_multi_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_multi_val_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 7840 of file isl_aff.c.
References domain, isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), isl_union_set_foreach_set(), isl_union_set_free(), isl_union_set_get_space(), isl_union_pw_multi_aff_multi_val_on_domain_data::mv, pw_multi_aff_multi_val_on_domain(), and isl_union_pw_multi_aff_multi_val_on_domain_data::res.
Referenced by append_range(), isl_union_pw_multi_aff_from_multi_union_pw_aff_0D(), and subtree_schedule_extend_from_children().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_preimage_domain_wrapped_domain_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
| __isl_take isl_union_pw_multi_aff * | upma2 | ||
| ) |
Definition at line 7993 of file isl_aff.c.
References bin_op, preimage_domain_wrapped_domain_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::union_pw_multi_aff::preimage_domain_wrapped_domain().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_pullback_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
| __isl_take isl_union_pw_multi_aff * | upma2 | ||
| ) |
Definition at line 7883 of file isl_aff.c.
References bin_op, pullback_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl_union_pw_multi_aff_apply_union_pw_multi_aff(), isl::union_pw_multi_aff::pullback(), and subtree_contraction_enter().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_range_factor_domain | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 9917 of file isl_aff.c.
References isl_union_pw_multi_aff_un_op_control::filter, isl_pw_multi_aff_range_factor_domain(), isl_pw_multi_aff_range_is_wrapping(), and isl_union_pw_multi_aff_un_op().
Referenced by isl::union_pw_multi_aff::range_factor_domain().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_range_factor_range | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 9930 of file isl_aff.c.
References isl_union_pw_multi_aff_un_op_control::filter, isl_pw_multi_aff_range_factor_range(), isl_pw_multi_aff_range_is_wrapping(), and isl_union_pw_multi_aff_un_op().
Referenced by isl::union_pw_multi_aff::range_factor_range().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_range_product | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
| __isl_take isl_union_pw_multi_aff * | upma2 | ||
| ) |
Definition at line 6501 of file isl_aff.c.
References bin_op, range_product_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::union_pw_multi_aff::range_product().
|
static |
Definition at line 9191 of file isl_aff.c.
References isl_space_free(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_foreach_pw_multi_aff(), isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_get_space(), isl_union_pw_multi_aff_reset_range_space_data::res, and reset_range_space().
Referenced by isl_union_pw_multi_aff_from_multi_union_pw_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_scale_multi_val | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 6880 of file isl_aff.c.
References isl_union_pw_multi_aff_align_params(), isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_get_space(), and union_pw_multi_aff_scale_multi_val_entry().
|
static |
Definition at line 9900 of file isl_aff.c.
References isl_union_pw_multi_aff_un_op_control::fn, isl_union_pw_multi_aff_un_op_drop_user(), and isl_union_pw_multi_aff_un_op_filter_drop_user().
Referenced by isl_union_pw_multi_aff_range_factor_domain(), and isl_union_pw_multi_aff_range_factor_range().
|
static |
Definition at line 9883 of file isl_aff.c.
References isl_union_pw_multi_aff_un_op_control::fn, pma, and user.
Referenced by isl_union_pw_multi_aff_un_op().
|
static |
Definition at line 9870 of file isl_aff.c.
References isl_union_pw_multi_aff_un_op_control::filter, pma, and user.
Referenced by isl_union_pw_multi_aff_un_op().
|
static |
Definition at line 3749 of file isl_aff.c.
References isl_pw_aff_le_set(), and isl_pw_aff_lt_set().
Referenced by find_modulo_constraint_pair(), and isl_pw_aff_list_opt().
|
static |
Definition at line 1563 of file isl_aff.c.
References a(), aff, b(), isl_aff_domain_offset(), isl_aff_free(), isl_dim_div, isl_int_add, isl_int_is_zero, isl_int_set_si, and isl_vec_cow().
Referenced by sort_divs().
|
static |
Definition at line 9395 of file isl_aff.c.
References aff, isl_aff_copy(), isl_aff_dim(), isl_aff_drop_dims(), isl_aff_free(), isl_aff_get_coefficient_val(), isl_aff_get_div(), isl_aff_involves_dims(), isl_aff_project_domain_on_params(), isl_dim_div, isl_dim_in, isl_multi_union_pw_aff_domain(), isl_union_pw_aff_add(), isl_union_pw_aff_aff_on_domain(), isl_union_pw_aff_floor(), isl_union_pw_aff_scale_val(), multi_union_pw_aff_apply_aff(), and mupa.
Referenced by isl_multi_union_pw_aff_apply_aff(), isl_multi_union_pw_aff_apply_multi_aff(), isl_multi_union_pw_aff_apply_pw_aff(), and multi_union_pw_aff_apply_aff().
|
static |
Definition at line 9504 of file isl_aff.c.
References isl_multi_union_pw_aff_domain(), isl_multi_union_pw_aff_multi_aff_on_domain(), ma, and mupa.
Referenced by isl_multi_union_pw_aff_apply_multi_aff().
|
static |
Definition at line 9658 of file isl_aff.c.
References isl_multi_union_pw_aff_domain(), isl_multi_union_pw_aff_pw_multi_aff_on_domain(), isl_pw_multi_aff_project_domain_on_params(), mupa, and pma.
Referenced by isl_multi_union_pw_aff_apply_pw_multi_aff().
|
static |
Definition at line 9279 of file isl_aff.c.
References isl_multi_union_pw_aff_intersect_params(), isl_set_params(), mupa, and range.
Referenced by isl_multi_union_pw_aff_intersect_range().
|
static |
Definition at line 3610 of file isl_aff.c.
References isl_local_space_from_space(), isl_pw_aff_intersect_domain(), isl_pw_aff_nan_on_domain(), and isl_set_get_space().
Referenced by replace_by_nan(), and replace_list_by_nan().
|
static |
Definition at line 8523 of file isl_aff.c.
References isl_pw_aff::dim, isl_dim_in, isl_dim_out, isl_pw_aff_copy(), isl_pw_aff_pullback_pw_multi_aff(), isl_pw_multi_aff_free(), isl_space_tuple_is_equal(), isl_stat_error, isl_stat_ok, isl_union_pw_aff_add_pw_aff(), isl_union_pw_aff_pullback_upma_data::pa, pma, isl_union_pw_aff_pullback_upma_data::res, and user.
Referenced by upa_pb_upma().
|
static |
Definition at line 976 of file isl_aff.c.
References aff, and isl_val_free().
Referenced by isl_aff_add_constant_val().
|
static |
Definition at line 5050 of file isl_aff.c.
References domain, extract_isl_multi_aff_from_basic_map(), isl_basic_map_drop_constraints_involving_unknown_divs(), isl_multi_aff_floor(), isl_pw_multi_aff_alloc(), and ma.
Referenced by isl_pw_multi_aff_from_map().
|
static |
Definition at line 1434 of file isl_aff.c.
References aff, isl_vec::el, isl_aff_domain_dim(), isl_aff_domain_offset(), isl_aff_free(), isl_dim_div, isl_int_clear, isl_int_init, isl_int_is_one, isl_local_space_copy(), isl_local_space_free(), isl_local_space_substitute_seq(), isl_seq_substitute(), isl_vec_copy(), isl_vec_cow(), isl_vec_free(), and n.
Referenced by isl_aff_normalize().
|
static |
Definition at line 1499 of file isl_aff.c.
References aff, isl_aff_domain_dim(), isl_aff_domain_offset(), isl_aff_free(), isl_dim_div, isl_int_is_one, isl_local_space_substitute_seq(), and n.
Referenced by isl_aff_normalize().
|
static |
Definition at line 7958 of file isl_aff.c.
References isl_dim_in, isl_dim_out, isl_pw_multi_aff_copy(), isl_pw_multi_aff_free(), isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(), isl_space_domain_is_wrapping(), isl_space_wrapped_tuple_is_equal(), isl_stat_error, isl_stat_non_null(), isl_stat_ok, isl_union_pw_multi_aff_add_pw_multi_aff(), match(), isl_union_pw_multi_aff_bin_data::pma, isl_union_pw_multi_aff_bin_data::res, and user.
Referenced by isl_union_pw_multi_aff_preimage_domain_wrapped_domain_union_pw_multi_aff().
|
static |
Definition at line 9734 of file isl_aff.c.
References isl_union_pw_multi_aff_copy(), isl_union_pw_multi_aff_domain(), isl_union_set_intersect_params(), isl_union_set_is_params(), isl_union_set_params(), isl_union_set_preimage_union_pw_multi_aff(), and mupa.
Referenced by isl_multi_union_pw_aff_pullback_union_pw_multi_aff().
|
static |
Definition at line 7860 of file isl_aff.c.
References isl_pw_multi_aff::dim, isl_dim_in, isl_dim_out, isl_pw_multi_aff_copy(), isl_pw_multi_aff_free(), isl_pw_multi_aff_pullback_pw_multi_aff(), isl_space_tuple_is_equal(), isl_stat_error, isl_stat_ok, isl_union_pw_multi_aff_add_pw_multi_aff(), isl_union_pw_multi_aff_bin_data::pma, isl_union_pw_multi_aff_bin_data::res, and user.
Referenced by isl_union_pw_multi_aff_pullback_union_pw_multi_aff().
|
static |
Definition at line 3007 of file isl_aff.c.
References aff, equal, isl_aff_add_constant_si(), isl_aff_zero_on_domain(), isl_local_space_from_space(), isl_pw_aff_add(), isl_pw_aff_alloc(), isl_pw_aff_copy(), isl_pw_aff_domain(), isl_pw_aff_intersect_domain(), isl_pw_aff_neg(), isl_pw_aff_nonneg_set(), isl_pw_aff_zero_set(), isl_set_copy(), isl_set_free(), isl_set_get_space(), isl_set_intersect(), set1, and set2.
Referenced by isl_pw_aff_eq_set(), isl_pw_aff_ge_set(), and isl_pw_aff_gt_set().
|
static |
Definition at line 3159 of file isl_aff.c.
References fn, isl_die, isl_error_invalid, isl_pw_aff_copy(), isl_pw_aff_get_domain_space(), isl_set_intersect(), isl_set_universe(), and set.
Referenced by isl_pw_aff_list_eq_set(), isl_pw_aff_list_ge_set(), isl_pw_aff_list_gt_set(), isl_pw_aff_list_le_set(), isl_pw_aff_list_lt_set(), and isl_pw_aff_list_ne_set().
|
static |
Definition at line 2876 of file isl_aff.c.
References fn, isl_aff_copy(), isl_aff_is_nan(), isl_pw_aff_free(), isl_pw_aff_get_domain_space(), isl_set_copy(), isl_set_empty(), isl_set_from_basic_set(), isl_set_has_rational(), isl_set_intersect(), isl_set_subtract(), isl_set_union_disjoint(), set, and user.
Referenced by isl_pw_aff_bind_id(), isl_pw_aff_non_zero_set(), isl_pw_aff_nonneg_set(), isl_pw_aff_pos_set(), and isl_pw_aff_zero_set().
|
static |
Definition at line 3651 of file isl_aff.c.
References isl_pw_aff_copy(), isl_pw_aff_domain(), isl_pw_aff_ge_set(), isl_pw_aff_select(), isl_set_copy(), isl_set_intersect(), and isl_set_subtract().
Referenced by pw_aff_min_max().
|
static |
Definition at line 3637 of file isl_aff.c.
References isl_pw_aff_copy(), isl_pw_aff_domain(), isl_pw_aff_le_set(), isl_pw_aff_select(), isl_set_copy(), isl_set_intersect(), and isl_set_subtract().
Referenced by pw_aff_min_max().
|
static |
Definition at line 3670 of file isl_aff.c.
References either_involves_nan(), isl_pw_aff_free(), pw_aff_max(), pw_aff_min(), and replace_by_nan().
Referenced by isl_pw_aff_max(), and isl_pw_aff_min().
|
static |
Definition at line 3706 of file isl_aff.c.
References isl_bool_not(), and isl_pw_aff_involves_nan().
Referenced by isl_pw_aff_list_involves_nan().
|
static |
Definition at line 8267 of file isl_aff.c.
References domain, isl_dim_in, isl_dim_set, isl_pw_aff_add_dims(), isl_pw_aff_copy(), isl_pw_aff_free(), isl_pw_aff_from_range(), isl_pw_aff_intersect_domain(), isl_pw_aff_reset_domain_space(), isl_set_dim(), isl_set_get_space(), isl_stat_error, isl_stat_ok, isl_union_pw_aff_add_pw_aff(), isl_union_pw_aff_pw_aff_on_domain_data::pa, isl_union_pw_aff_pw_aff_on_domain_data::res, and user.
Referenced by isl_union_pw_aff_pw_aff_on_domain_aligned().
|
static |
Definition at line 8366 of file isl_aff.c.
References domain, isl_pw_aff_val_on_domain(), isl_stat_error, isl_stat_ok, isl_union_pw_aff_add_pw_aff(), isl_val_copy(), isl_union_pw_aff_val_on_domain_data::res, user, and isl_union_pw_aff_val_on_domain_data::v.
Referenced by isl_union_pw_aff_val_on_domain().
|
static |
Definition at line 4670 of file isl_aff.c.
References isl_die, isl_error_invalid, isl_pw_multi_aff_get_ctx(), isl_pw_multi_aff_range_is_wrapping(), isl_stat_error, isl_stat_ok, and pma.
Referenced by isl_pw_multi_aff_range_factor_domain(), and isl_pw_multi_aff_range_factor_range().
|
static |
Definition at line 4631 of file isl_aff.c.
References isl_pw_multi_aff_free(), ma, and pma.
Referenced by isl_pw_multi_aff_range_factor_domain(), and isl_pw_multi_aff_range_factor_range().
|
static |
Definition at line 5624 of file isl_aff.c.
References isl_pw_multi_aff_from_map(), isl_stat_error, isl_stat_ok, isl_union_pw_multi_aff_add_pw_multi_aff(), map, pma, and user.
Referenced by isl_union_pw_multi_aff_from_union_map().
|
static |
Definition at line 5068 of file isl_aff.c.
References isl_basic_map_copy(), isl_basic_map_lexmin_pw_multi_aff(), isl_die, isl_error_invalid, isl_map_free(), isl_map_get_ctx(), isl_map_get_space(), isl_map_is_single_valued(), isl_map_make_disjoint(), isl_pw_multi_aff_add_disjoint(), isl_pw_multi_aff_empty(), map, pma, and sv.
Referenced by pw_multi_aff_from_map_check_div().
|
static |
Definition at line 5252 of file isl_aff.c.
References hull, is_potential_div_constraint(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_offset(), isl_dim_all, isl_dim_out, isl_int_abs_lt, isl_int_add, isl_int_clear, isl_int_init, isl_int_is_pos, isl_map_copy(), isl_map_dim(), isl_map_free(), isl_map_unshifted_simple_hull(), isl_seq_is_neg(), map, n, offset, pw_multi_aff_from_map_base(), pw_multi_aff_from_map_div(), and total().
Referenced by pw_multi_aff_from_map_check_strides().
|
static |
Definition at line 5498 of file isl_aff.c.
References gcd(), hull, isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_offset(), isl_dim_div, isl_dim_out, isl_int_clear, isl_int_init, isl_int_is_negone, isl_int_is_one, isl_int_is_zero, isl_map_free(), isl_seq_first_non_zero(), isl_seq_gcd(), map, pw_multi_aff_from_map_check_div(), pw_multi_aff_from_map_stride(), and res.
Referenced by isl_pw_multi_aff_from_map().
|
static |
Definition at line 5129 of file isl_aff.c.
References aff, isl_vec::el, hull, isl_aff_alloc_vec_validated(), isl_aff_floor(), isl_basic_map_free(), isl_basic_map_offset(), isl_dim_all, isl_dim_in, isl_dim_out, isl_dim_set, isl_int_neg, isl_local_space_from_space(), isl_map_apply_domain(), isl_map_equate(), isl_map_free(), isl_map_from_multi_aff_internal(), isl_map_get_ctx(), isl_map_get_space(), isl_map_is_set(), isl_multi_aff_from_aff(), isl_pw_multi_aff_from_map(), isl_pw_multi_aff_pullback_multi_aff(), isl_seq_cpy(), isl_space_copy(), isl_space_dim(), isl_space_domain(), isl_space_free(), isl_space_map_from_set(), isl_vec_alloc(), ma, map, n, offset, and pma.
Referenced by pw_multi_aff_from_map_check_div().
|
static |
Definition at line 5412 of file isl_aff.c.
References aff, gcd(), hull, id, isl_aff_alloc(), isl_aff_copy(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_offset(), isl_dim_in, isl_dim_out, isl_int_is_one, isl_int_set, isl_int_set_si, isl_local_space_from_space(), isl_map_free(), isl_map_is_set(), isl_map_wrap(), isl_pw_multi_aff_from_map(), isl_pw_multi_aff_from_multi_aff(), isl_pw_multi_aff_get_domain_space(), isl_pw_multi_aff_identity(), isl_pw_multi_aff_pullback_pw_multi_aff(), isl_pw_multi_aff_range_product(), isl_seq_cpy(), isl_seq_neg(), isl_set_get_space(), isl_set_preimage_multi_aff(), isl_set_unwrap(), isl_space_map_from_set(), ma, map, pma, range_map, and set.
Referenced by pw_multi_aff_from_map_check_strides().
|
static |
Definition at line 8404 of file isl_aff.c.
References isl_pw_multi_aff_from_pw_aff(), isl_stat_error, isl_stat_ok, isl_union_pw_multi_aff_add_pw_multi_aff(), pma, and user.
Referenced by isl_union_pw_multi_aff_from_union_pw_aff().
|
static |
Definition at line 7823 of file isl_aff.c.
References domain, isl_pw_multi_aff_multi_val_on_domain(), isl_stat_error, isl_stat_ok, isl_union_pw_multi_aff_add_pw_multi_aff(), isl_union_pw_multi_aff_multi_val_on_domain_data::mv, pma, isl_union_pw_multi_aff_multi_val_on_domain_data::res, and user.
Referenced by isl_union_pw_multi_aff_multi_val_on_domain().
|
static |
Definition at line 6514 of file isl_aff.c.
References isl_aff_copy(), isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_multi_aff_gist(), isl_pw_aff_free(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_ctx(), isl_pw_multi_aff_get_space(), isl_set_copy(), isl_set_free(), isl_set_intersect(), isl_set_plain_is_empty(), isl_space_tuple_is_equal(), n, pma, pos(), and res.
Referenced by isl_pw_multi_aff_set_pw_aff().
|
static |
Definition at line 5326 of file isl_aff.c.
References aff, isl_aff_get_domain_space(), isl_aff_var_on_domain(), isl_dim_set, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_space_copy(), isl_space_map_from_domain_and_range(), isl_space_range(), isl_space_unwrap(), and ma.
|
static |
Definition at line 6491 of file isl_aff.c.
References gen_range_product_entry(), isl_pw_multi_aff_range_product(), and user.
Referenced by isl_union_pw_multi_aff_range_product().
|
static |
Definition at line 3628 of file isl_aff.c.
References isl_pw_aff_domain(), isl_set_intersect(), and nan_on_domain_set().
Referenced by pw_aff_min_max().
|
static |
Definition at line 3727 of file isl_aff.c.
References isl_pw_aff_domain(), isl_set_intersect(), n, and nan_on_domain_set().
Referenced by isl_pw_aff_list_opt().
|
static |
Definition at line 8072 of file isl_aff.c.
References isl_pw_aff_get_space(), isl_pw_aff_reset_space(), isl_space_replace_params(), isl_stat_error, isl_stat_ok, isl_union_pw_aff_add_pw_aff(), isl_union_pw_aff_reset_params_data::res, isl_union_pw_aff_reset_params_data::space, and user.
Referenced by isl_union_pw_aff_reset_domain_space().
|
static |
Definition at line 9164 of file isl_aff.c.
References isl_pw_multi_aff_get_space(), isl_pw_multi_aff_reset_space(), isl_space_copy(), isl_space_domain(), isl_space_extend_domain_with_range(), isl_stat_error, isl_stat_ok, isl_union_pw_multi_aff_add_pw_multi_aff(), pma, isl_union_pw_multi_aff_reset_range_space_data::range, isl_union_pw_multi_aff_reset_range_space_data::res, and user.
Referenced by isl_union_pw_multi_aff_reset_range_space().
|
static |
Definition at line 1885 of file isl_aff.c.
References isl_aff_free(), and isl_aff_set_nan().
Referenced by isl_aff_div().
|
static |
Definition at line 985 of file isl_aff.c.
References aff, isl_aff_set_nan(), and isl_val_free().
Referenced by isl_aff_add_constant_val().
|
static |
Definition at line 1593 of file isl_aff.c.
References aff, cmp(), isl_aff_dim(), isl_aff_free(), isl_dim_div, isl_mat_cmp_div(), merge_divs(), n, and swap_div().
Referenced by isl_aff_move_dims(), and isl_aff_normalize().
|
static |
Definition at line 4798 of file isl_aff.c.
References aff, isl_aff_add(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_sub(), isl_int_abs, isl_int_clear, isl_int_init, isl_int_is_zero, isl_int_sgn, isl_seq_first_non_zero(), ma, and n.
Referenced by extract_aff_from_equality().
|
static |
Definition at line 1529 of file isl_aff.c.
References a(), aff, b(), isl_vec::el, isl_aff_domain_offset(), isl_aff_free(), isl_dim_div, isl_int_swap, isl_local_space_copy(), isl_local_space_free(), isl_local_space_swap_div(), isl_vec_copy(), isl_vec_cow(), and isl_vec_free().
Referenced by sort_divs().
|
static |
Definition at line 6859 of file isl_aff.c.
References equal, isl_pw_multi_aff_empty(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_space(), isl_pw_multi_aff_scale_multi_val(), pma, and user.
Referenced by isl_union_pw_multi_aff_scale_multi_val().
|
static |
Definition at line 8545 of file isl_aff.c.
References isl_pw_aff_free(), isl_union_pw_multi_aff_foreach_pw_multi_aff(), isl_union_pw_aff_pullback_upma_data::pa, pa_pb_pma(), isl_union_pw_aff_pullback_upma_data::upma, and user.
Referenced by isl_union_pw_aff_pullback_union_pw_multi_aff().
|
static |
Definition at line 8442 of file isl_aff.c.
References isl_pw_aff_zero_set(), isl_stat_error, isl_stat_ok, isl_union_set_add_set(), and user.
Referenced by isl_union_pw_aff_zero_union_set().
1.9.6