#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_domain_reverse_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_align_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_domain_reverse_templ.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_check_domain_templ.c>#include <isl_multi_apply_set_no_explicit_domain_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_apply_set_explicit_domain_templ.c>#include <isl_multi_coalesce.c>#include <isl_multi_domain_templ.c>#include <isl_multi_hash.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_align_union_set.c>#include <isl_multi_apply_union_set_explicit_domain_templ.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 | BASE pw_multi_aff |
| #define | BASE union_pw_aff |
| #define | DOMBASE union_set |
Macro Definition Documentation
◆ BASE [1/15]
◆ BASE [2/15]
◆ BASE [3/15]
◆ BASE [4/15]
◆ BASE [5/15]
◆ BASE [6/15]
◆ BASE [7/15]
◆ BASE [8/15]
◆ BASE [9/15]
◆ BASE [10/15]
◆ BASE [11/15]
◆ BASE [12/15]
◆ BASE [13/15]
◆ BASE [14/15]
◆ BASE [15/15]
◆ DEFAULT_IS_ZERO [1/2]
| #define DEFAULT_IS_ZERO 0 |
◆ DEFAULT_IS_ZERO [2/2]
◆ DOMBASE [1/4]
◆ DOMBASE [2/4]
◆ DOMBASE [3/4]
◆ DOMBASE [4/4]
◆ EL_BASE [1/5]
| #define EL_BASE aff |
◆ EL_BASE [2/5]
◆ EL_BASE [3/5]
◆ EL_BASE [4/5]
◆ EL_BASE [5/5]
◆ EL_IS_ZERO [1/2]
| #define EL_IS_ZERO is_empty |
◆ EL_IS_ZERO [2/2]
◆ FIELD [1/2]
◆ FIELD [2/2]
◆ IS_ZERO [1/2]
| #define IS_ZERO is_empty |
◆ IS_ZERO [2/2]
◆ isl_aff_involves_nan
| #define isl_aff_involves_nan isl_aff_is_nan |
◆ isl_multi_aff_zero_in_space
◆ ORDER [1/4]
| #define ORDER le |
◆ ORDER [2/4]
◆ ORDER [3/4]
◆ ORDER [4/4]
◆ PW [1/2]
| #define PW isl_pw_aff |
Definition at line 2897 of file isl_aff.c.
Referenced by FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), FN(), S(), S(), S(), S(), and S().
◆ PW [2/2]
| #define PW isl_pw_multi_aff |
◆ STRICT_ORDER [1/4]
◆ STRICT_ORDER [2/4]
◆ STRICT_ORDER [3/4]
◆ STRICT_ORDER [4/4]
◆ TYPE [1/6]
◆ TYPE [2/6]
◆ TYPE [3/6]
◆ TYPE [4/6]
| #define TYPE isl_pw_aff |
◆ TYPE [5/6]
| #define TYPE isl_pw_multi_aff |
◆ TYPE [6/6]
| #define TYPE isl_pw_multi_aff |
◆ ZERO [1/2]
| #define ZERO empty |
◆ ZERO [2/2]
Function Documentation
◆ add_expanded()
|
static |
Definition at line 1929 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ add_pw_multi_aff_from_domain()
|
static |
Definition at line 6356 of file isl_aff.c.
References __isl_take, isl_pw_multi_aff_from_domain(), isl_set, 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().
◆ aff_bind_id()
|
static |
Definition at line 3086 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_bind_id(), isl_aff_free(), isl_aff_get_ctx(), isl_basic_set, isl_die, isl_error_unsupported, isl_id_copy(), and user.
Referenced by isl_pw_aff_bind_id().
◆ aff_nonneg_basic_set()
|
static |
Definition at line 2388 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_free(), isl_aff_get_domain_space(), isl_aff_is_nan(), isl_basic_set, isl_basic_set_empty(), isl_basic_set_from_constraint(), isl_basic_set_set_rational(), isl_basic_set_simplify(), isl_inequality_from_aff(), and user.
Referenced by isl_aff_nonneg_basic_set(), and isl_pw_aff_nonneg_set().
◆ aff_pos_basic_set()
|
static |
Definition at line 2351 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_free(), isl_aff_get_ctx(), isl_aff_get_domain_space(), isl_aff_is_nan(), isl_basic_set, 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(), isl_val_sub_ui(), and user.
Referenced by isl_pw_aff_pos_set().
◆ aff_zero_basic_set()
|
static |
Definition at line 2443 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_free(), isl_aff_get_domain_space(), isl_aff_is_nan(), isl_basic_set, isl_basic_set_empty(), isl_basic_set_from_constraint(), isl_basic_set_set_rational(), isl_basic_set_simplify(), isl_equality_from_aff(), and user.
Referenced by isl_aff_zero_basic_set(), isl_pw_aff_non_zero_set(), and isl_pw_aff_zero_set().
◆ bin_entry()
|
static |
Definition at line 6407 of file isl_aff.c.
References __isl_take, 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.
◆ bin_op()
|
static |
Definition at line 6425 of file isl_aff.c.
References __isl_give, __isl_take, 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(), pma, isl_union_pw_multi_aff_bin_data::res, isl_union_pw_multi_aff_bin_data::upma2, and user.
◆ bind_id()
|
static |
Definition at line 8531 of file isl_aff.c.
References __isl_take, bound, isl_bind_id_data::bound, isl_bind_id_data::id, isl_id_copy(), isl_pw_aff_bind_id(), isl_set, isl_stat_error, isl_stat_ok, isl_union_set_add_set(), pa, and user.
Referenced by FN(), and isl_union_pw_aff_bind_id().
◆ either_involves_nan()
|
static |
Definition at line 3717 of file isl_aff.c.
References __isl_keep, and isl_pw_aff_involves_nan().
Referenced by isl_pw_aff_is_equal(), and pw_aff_min_max().
◆ eval()
|
static |
Definition at line 9998 of file isl_aff.c.
References __isl_give, __isl_keep, 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(), FN(), FN(), and isl_aff_eval().
◆ eval_void()
|
static |
Definition at line 9984 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_free(), isl_point_free(), isl_point_get_ctx(), and isl_val_nan().
Referenced by FN(), FN(), FN(), FN(), and isl_aff_eval().
◆ extract_aff_from_equality()
|
static |
Definition at line 5022 of file isl_aff.c.
References __isl_give, __isl_keep, 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().
◆ extract_isl_aff_from_basic_map()
|
static |
Definition at line 5096 of file isl_aff.c.
References __isl_give, __isl_keep, 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().
◆ extract_isl_multi_aff_from_basic_map()
|
static |
Definition at line 5119 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ extract_space()
|
static |
Definition at line 8800 of file isl_aff.c.
References __isl_take, 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().
◆ flat_range_product_entry()
|
static |
Definition at line 6520 of file isl_aff.c.
References __isl_take, gen_range_product_entry(), isl_pw_multi_aff_flat_range_product(), and user.
Referenced by isl_union_map_flat_range_product(), and isl_union_pw_multi_aff_flat_range_product().
◆ floor_entry()
|
static |
Definition at line 8168 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_floor(), pa, and user.
Referenced by isl_union_pw_aff_floor().
◆ gen_range_product_entry()
|
static |
Definition at line 6491 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ get_union_pw_aff()
|
static |
Definition at line 8227 of file isl_aff.c.
References __isl_take, 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(), pa, 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().
◆ isl_aff_add()
| __isl_give isl_aff * isl_aff_add | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 1976 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::aff::add(), add_rational(), construct_mod(), construct_mod_ineq(), 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(), substitute_div_mod(), subtract_initial(), and update_partial().
◆ isl_aff_add_coefficient()
| __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 1326 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_int_addmul, isl_local_space_check_range(), isl_local_space_offset(), isl_vec_cow(), pos(), and type.
Referenced by isl_aff_add_coefficient_si().
◆ 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 1426 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_add_coefficient_val()
| __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 1363 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_add_constant()
| __isl_give isl_aff * isl_aff_add_constant | ( | __isl_take isl_aff * | aff, |
| isl_int | v ) |
Definition at line 986 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_int_addmul, isl_int_is_zero, and isl_vec_cow().
Referenced by accept_affine_factor(), and isl_aff_add_constant_si().
◆ isl_aff_add_constant_num()
| __isl_give isl_aff * isl_aff_add_constant_num | ( | __isl_take isl_aff * | aff, |
| isl_int | v ) |
Definition at line 1115 of file isl_aff.c.
References __isl_give, __isl_take, 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_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 1141 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_add_constant_si()
| __isl_give isl_aff * isl_aff_add_constant_si | ( | __isl_take isl_aff * | aff, |
| int | v ) |
Definition at line 1099 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_add_constant_val()
| __isl_give isl_aff * isl_aff_add_constant_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | v ) |
Definition at line 1070 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::aff::add_constant(), construct_mod_ineq(), is_non_neg_after_stealing(), oppose_div_arg(), and steal_from_cst().
◆ isl_aff_add_dims()
| __isl_give isl_aff * isl_aff_add_dims | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | n ) |
Definition at line 2770 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_add_on_domain()
| __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 2590 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, isl_aff_add(), isl_aff_gist(), isl_set, and isl_set_copy().
◆ isl_aff_add_rat_constant_val()
|
static |
Definition at line 1011 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_align_divs()
| __isl_give isl_aff * isl_aff_align_divs | ( | __isl_take isl_aff * | dst, |
| __isl_keep isl_aff * | src ) |
Definition at line 6137 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, 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_aff_align_params()
| __isl_give isl_aff * isl_aff_align_params | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_space * | model ) |
Definition at line 724 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_alloc()
| __isl_give isl_aff * isl_aff_alloc | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 124 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_alloc_vec(), isl_dim_all, isl_local_space_dim(), isl_local_space_free(), isl_local_space_get_ctx(), isl_vec_alloc(), and total().
Referenced by extract_aff_from_equality(), extract_div(), isl_aff_nan_on_domain(), isl_aff_pullback_multi_aff(), isl_aff_val_on_domain(), isl_aff_var_on_domain(), isl_aff_zero_on_domain(), isl_constraint_get_aff(), isl_constraint_get_bound(), isl_term_get_div(), pw_multi_aff_from_map_stride(), set_from_affine_matrix(), and set_minimum_pa().
◆ isl_aff_alloc_vec()
| __isl_give isl_aff * isl_aff_alloc_vec | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_vec * | v ) |
Definition at line 101 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_alloc_vec_validated(), isl_die, isl_error_invalid, isl_local_space_divs_known(), isl_local_space_free(), isl_local_space_get_ctx(), isl_local_space_is_set(), and isl_vec_free().
Referenced by extract_aff(), isl_aff_alloc(), isl_aff_alloc_vec_prune(), isl_morph_get_var_multi_aff(), and isl_qpolynomial_as_aff().
◆ isl_aff_alloc_vec_validated()
|
static |
Definition at line 72 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_calloc_type, isl_local_space_free(), and isl_vec_free().
Referenced by isl_aff_alloc_vec(), isl_aff_dup(), and isl_multi_aff_from_aff_mat().
◆ isl_aff_as_domain_extension()
| __isl_give isl_multi_aff * isl_aff_as_domain_extension | ( | __isl_take isl_aff * | aff | ) |
Definition at line 5249 of file isl_aff.c.
References __isl_give, __isl_take, aff, id, isl_aff_free(), isl_aff_get_domain_space(), isl_aff_peek_domain_space(), isl_multi_aff_from_aff(), isl_space_is_params(), isl_space_map_from_set(), and ma.
Referenced by pw_multi_aff_from_map_plug_in(), and SF().
◆ isl_aff_bind_id()
| __isl_give isl_basic_set * isl_aff_bind_id | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_id * | id ) |
Definition at line 3068 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_align_params(), isl_aff_eq_basic_set(), isl_aff_get_domain_space(), isl_aff_param_on_domain_space_id(), isl_basic_set, isl_id_copy(), isl_space_add_param_id(), and isl_space_copy().
Referenced by aff_bind_id(), isl::checked::aff::bind(), and test_bind_aff().
◆ isl_aff_ceil()
| __isl_give isl_aff * isl_aff_ceil | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1873 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::aff::ceil(), compute_size_in_direction(), isl_pw_aff_ceil(), lower_bound(), and update_unrolling_lower_bound().
◆ isl_aff_check_has_domain_space()
|
static |
Definition at line 10023 of file isl_aff.c.
References __isl_keep, 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_aff_check_match_domain_space()
| isl_stat isl_aff_check_match_domain_space | ( | __isl_keep isl_aff * | aff, |
| __isl_keep isl_space * | space ) |
Definition at line 4044 of file isl_aff.c.
References __isl_keep, aff, isl_aff_get_ctx(), isl_aff_get_domain_space(), isl_die, isl_dim_in, isl_dim_set, isl_error_invalid, isl_space_free(), isl_space_has_equal_params(), isl_space_tuple_is_equal(), isl_stat_error, isl_stat_ok, and match().
◆ isl_aff_coefficient_sgn()
| int isl_aff_coefficient_sgn | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos ) |
Definition at line 882 of file isl_aff.c.
References __isl_keep, 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_aff_copy()
| __isl_give isl_aff * isl_aff_copy | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 145 of file isl_aff.c.
References __isl_give, __isl_keep, and aff.
Referenced by ast_expr_from_pw_aff(), at_offset(), coefficients_of_sign(), compute_size_in_direction(), construct_mod(), construct_mod_ineq(), isl::checked::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(), isl::checked::aff::manage_copy, isl::manage_copy(), 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(), substitute_div_mod(), try_extract_mod(), update_unrolling_lower_bound(), and var_div().
◆ isl_aff_cow()
| __isl_give isl_aff * isl_aff_cow | ( | __isl_take isl_aff * | aff | ) |
Definition at line 163 of file isl_aff.c.
References __isl_give, __isl_take, 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_domain_reverse(), 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_reset_domain_space(), isl_aff_restore_domain_local_space(), isl_aff_restore_rat_aff(), 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_tuple_id(), isl_aff_substitute(), and isl_aff_substitute_equalities_lifted().
◆ isl_aff_dim()
| isl_size isl_aff_dim | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type ) |
Definition at line 509 of file isl_aff.c.
References __isl_keep, 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(), pw_multi_aff_from_map_plug_in(), set_up_substitutions(), SF(), sort_divs(), try_extract_mod(), and update_n_div().
◆ isl_aff_div()
| __isl_give isl_aff * isl_aff_div | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 3559 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::aff::div(), and isl_pw_aff_div().
◆ isl_aff_domain_dim()
| isl_size isl_aff_domain_dim | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type ) |
Definition at line 498 of file isl_aff.c.
References __isl_keep, aff, isl_aff_peek_domain_local_space(), isl_local_space_dim(), and type.
Referenced by isl_aff_align_divs(), isl_aff_dim(), isl_aff_expand_divs(), isl_aff_remove_unused_divs(), isl_aff_substitute(), isl_aff_substitute_equalities(), plug_in_integral_divs(), plug_in_unit_divs(), print_aff_c(), and print_aff_num_base().
◆ isl_aff_domain_is_product()
|
static |
Definition at line 2696 of file isl_aff.c.
References __isl_keep, aff, isl_aff_peek_domain_space(), and isl_space_is_product().
◆ isl_aff_domain_offset()
| isl_size isl_aff_domain_offset | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type ) |
Definition at line 535 of file isl_aff.c.
References __isl_keep, aff, isl_aff_domain_var_offset(), isl_size_error, offset, and type.
Referenced by isl_aff_expand_divs(), isl_aff_move_dims(), last_modulo(), merge_divs(), plug_in_integral_divs(), plug_in_unit_divs(), and swap_div().
◆ isl_aff_domain_reverse()
| __isl_give isl_aff * isl_aff_domain_reverse | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2852 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_aff_peek_domain_space(), isl_aff_restore_domain_local_space(), isl_aff_restore_rat_aff(), isl_aff_take_domain_local_space(), isl_aff_take_rat_aff(), isl_dim_in, isl_dim_out, isl_dim_set, isl_local_space_wrapped_reverse(), isl_space_offset(), isl_space_wrapped_dim(), isl_vec_move_els(), offset, and sort_divs().
Referenced by isl::checked::aff::domain_reverse().
◆ isl_aff_domain_var_offset()
|
static |
Definition at line 523 of file isl_aff.c.
References __isl_keep, aff, isl_aff_peek_domain_local_space(), isl_local_space_var_offset(), and type.
Referenced by isl_aff_domain_offset(), and isl_aff_remove_unused_divs().
◆ isl_aff_drop_dims()
| __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 2661 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_remove_unused_divs(), isl_multi_pw_aff_apply_aff_aligned(), and multi_union_pw_aff_apply_aff().
◆ isl_aff_dup()
| __isl_give isl_aff * isl_aff_dup | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 154 of file isl_aff.c.
References __isl_give, __isl_keep, aff, isl_aff_alloc_vec_validated(), isl_local_space_copy(), and isl_vec_copy().
Referenced by isl_aff_cow().
◆ isl_aff_eq_basic_set()
| __isl_give isl_basic_set * isl_aff_eq_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 2556 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_sub(), isl_aff_zero_basic_set(), and isl_basic_set.
Referenced by isl_aff_bind_id(), isl_aff_eq_set(), and substitute_div_mod().
◆ 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 2567 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_eq_basic_set(), isl_set, and isl_set_from_basic_set().
Referenced by ast_expr_from_pw_aff(), isl::checked::aff::eq_set(), and isl_multi_aff_lex_gte_set().
◆ isl_aff_eval()
| __isl_give isl_val * isl_aff_eval | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_point * | pnt ) |
Definition at line 10039 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::aff::eval().
◆ isl_aff_expand_divs()
| __isl_give isl_aff * isl_aff_expand_divs | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_mat * | div, | ||
| int * | exp ) |
Definition at line 1901 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_domain_dim(), isl_aff_domain_offset(), isl_aff_free(), isl_dim_div, isl_local_space_replace_divs(), isl_mat_free(), isl_mat_rows(), isl_vec_expand(), and offset.
Referenced by isl_aff_add(), isl_aff_align_divs(), isl_basic_set_opt(), and isl_basic_set_opt_lp_val_aligned().
◆ isl_aff_find_dim_by_name()
| int isl_aff_find_dim_by_name | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| const char * | name ) |
Definition at line 549 of file isl_aff.c.
References __isl_keep, aff, isl_dim_in, isl_dim_out, isl_dim_set, isl_local_space_find_dim_by_name(), name, and type.
◆ isl_aff_floor()
| __isl_give isl_aff * isl_aff_floor | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1729 of file isl_aff.c.
References __isl_give, __isl_take, 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 construct_mod_ineq(), isl::checked::aff::floor(), isl_aff_ceil(), isl_aff_mod_val(), isl_basic_map_try_find_output_div(), isl_pw_aff_floor(), set_up_substitutions(), substitute_div_mod(), test_aff(), and upper_bounds().
◆ isl_aff_free()
| __isl_null isl_aff * isl_aff_free | ( | __isl_take isl_aff * | aff | ) |
Definition at line 449 of file isl_aff.c.
References __isl_null, __isl_take, 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(), 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_as_domain_extension(), isl_aff_ceil(), isl_aff_div(), isl_aff_domain_reverse(), 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_restore_rat_aff(), 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_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(), pw_multi_aff_from_map_plug_in(), replace_nonneg(), set_detect_stride(), set_dim_extent(), set_minimum_pa(), set_nan_free(), set_stride(), 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::checked::aff::~aff().
◆ isl_aff_from_range()
| __isl_give isl_aff * isl_aff_from_range | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2726 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_restore_domain_local_space(), isl_aff_take_domain_local_space(), and isl_local_space_set_from_params().
◆ isl_aff_ge_basic_set()
| __isl_give isl_basic_set * isl_aff_ge_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 2477 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_nonneg_basic_set(), isl_aff_sub(), and isl_basic_set.
Referenced by extends_min(), isl_aff_ge_set(), and isl_aff_le_basic_set().
◆ isl_aff_ge_set()
| __isl_give isl_set * isl_aff_ge_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 2499 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_ge_basic_set(), isl_set, and isl_set_from_basic_set().
Referenced by isl::checked::aff::ge_set(), isl_aff_le_set(), isl_multi_aff_lex_gte_set(), and isl_pw_aff_union_max().
◆ isl_aff_get_coefficient_val()
| __isl_give isl_val * isl_aff_get_coefficient_val | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos ) |
Definition at line 852 of file isl_aff.c.
References __isl_give, __isl_keep, 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 every_non_zero_coefficient(), extract_modulos(), extract_stride_constraint(), is_parallel_or_opposite(), is_stride_constraint(), isl_multi_pw_aff_apply_aff_aligned(), multi_union_pw_aff_apply_aff(), and print_aff_num_mod().
◆ isl_aff_get_constant_val()
| __isl_give isl_val * isl_aff_get_constant_val | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 834 of file isl_aff.c.
References __isl_give, __isl_keep, 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::checked::aff::constant_val(), extract_rational(), get_partial_constant(), is_even_test(), is_simpler(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint_no_stride(), isl_multi_aff_get_constant_multi_val(), shift_if_cst_int(), and try_extract_mod().
◆ isl_aff_get_ctx()
| isl_ctx * isl_aff_get_ctx | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 465 of file isl_aff.c.
References __isl_keep, aff, and isl_local_space_get_ctx().
Referenced by aff_bind_id(), aff_pos_basic_set(), basic_set_opt_lp(), isl::checked::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(), isl_set_opt_val(), isl::manage_copy(), and isl::operator<<().
◆ isl_aff_get_denominator()
| isl_stat isl_aff_get_denominator | ( | __isl_keep isl_aff * | aff, |
| isl_int * | v ) |
Definition at line 806 of file isl_aff.c.
References __isl_keep, 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_aff_get_denominator_val()
| __isl_give isl_val * isl_aff_get_denominator_val | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 819 of file isl_aff.c.
References __isl_give, __isl_keep, 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(), unwrapped_affine_qp(), and var_div().
◆ isl_aff_get_dim_name()
| const char * isl_aff_get_dim_name | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | pos ) |
Definition at line 659 of file isl_aff.c.
References __isl_keep, aff, isl_dim_in, isl_dim_out, isl_dim_set, isl_local_space_get_dim_name(), pos(), and type.
◆ isl_aff_get_div()
| __isl_give isl_aff * isl_aff_get_div | ( | __isl_keep isl_aff * | aff, |
| int | pos ) |
Definition at line 1439 of file isl_aff.c.
References __isl_give, __isl_keep, 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_aff_get_domain_local_space()
| __isl_give isl_local_space * isl_aff_get_domain_local_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 586 of file isl_aff.c.
References __isl_give, __isl_keep, 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_aff_get_domain_space()
| __isl_give isl_space * isl_aff_get_domain_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 568 of file isl_aff.c.
References __isl_give, __isl_keep, 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_as_domain_extension(), 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().
◆ isl_aff_get_hash()
| uint32_t isl_aff_get_hash | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 472 of file isl_aff.c.
References __isl_keep, aff, isl_hash_hash, isl_hash_init, isl_local_space_get_hash(), and isl_vec_get_hash().
◆ isl_aff_get_local_space()
| __isl_give isl_local_space * isl_aff_get_local_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 592 of file isl_aff.c.
References __isl_give, __isl_keep, 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_aff_get_rat_aff()
|
static |
Definition at line 176 of file isl_aff.c.
References __isl_give, __isl_keep, aff, and isl_vec_copy().
Referenced by isl_aff_take_rat_aff().
◆ isl_aff_get_space()
| __isl_give isl_space * isl_aff_get_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 573 of file isl_aff.c.
References __isl_give, __isl_keep, 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_aff_gist()
| __isl_give isl_aff * isl_aff_gist | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_set * | context ) |
Definition at line 2325 of file isl_aff.c.
References __isl_give, __isl_take, aff, context, hull, isl_aff_get_domain_local_space(), isl_aff_substitute_equalities_lifted(), isl_basic_set, isl_local_space_lift_set(), isl_set, and isl_set_affine_hull().
Referenced by isl::checked::aff::gist(), isl_aff_add_on_domain(), isl_aff_gist_params(), isl_ast_build_compute_gist_aff(), and test_aff().
◆ isl_aff_gist_params()
| __isl_give isl_aff * isl_aff_gist_params | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_set * | context ) |
Definition at line 2338 of file isl_aff.c.
References __isl_give, __isl_take, aff, context, isl_aff_get_domain_space(), isl_aff_gist(), isl_set, isl_set_intersect_params(), and isl_set_universe().
Referenced by isl::checked::aff::gist_params().
◆ isl_aff_gt_basic_set()
| __isl_give isl_basic_set * isl_aff_gt_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 2488 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_pos_basic_set(), isl_aff_sub(), and isl_basic_set.
Referenced by isl_aff_gt_set(), and isl_aff_lt_basic_set().
◆ isl_aff_gt_set()
| __isl_give isl_set * isl_aff_gt_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 2511 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_gt_basic_set(), isl_set, and isl_set_from_basic_set().
Referenced by isl::checked::aff::gt_set(), isl_aff_ne_set(), and isl_multi_aff_lex_gte_set().
◆ isl_aff_insert_dims()
| __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 2737 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ isl_aff_involves_dims()
|
static |
Definition at line 2616 of file isl_aff.c.
References __isl_keep, 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_aff_involves_locals()
| isl_bool isl_aff_involves_locals | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 2651 of file isl_aff.c.
References __isl_keep, aff, isl_aff_dim(), isl_bool_error, isl_bool_ok(), isl_dim_div, and n.
◆ isl_aff_is_cst()
| isl_bool isl_aff_is_cst | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 3481 of file isl_aff.c.
References __isl_keep, aff, isl_bool_error, isl_bool_ok(), isl_seq_first_non_zero(), and pos().
Referenced by isl::checked::aff::is_cst(), isl_aff_div(), isl_aff_floor(), isl_aff_mul(), isl_pw_aff_is_cst(), and shift_if_cst_int().
◆ isl_aff_is_empty()
| isl_bool isl_aff_is_empty | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 2598 of file isl_aff.c.
References __isl_keep, aff, isl_bool_error, and isl_bool_false.
◆ isl_aff_is_nan()
| isl_bool isl_aff_is_nan | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 772 of file isl_aff.c.
References __isl_keep, aff, isl_bool_error, isl_bool_ok(), and isl_seq_any_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_aff_le_basic_set()
| __isl_give isl_basic_set * isl_aff_le_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 2520 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_ge_basic_set(), and isl_basic_set.
Referenced by extends_max().
◆ isl_aff_le_set()
| __isl_give isl_set * isl_aff_le_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 2538 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_ge_set(), and isl_set.
Referenced by isl_pw_aff_union_min(), and isl::checked::aff::le_set().
◆ isl_aff_lift()
| __isl_give isl_aff * isl_aff_lift | ( | __isl_take isl_aff * | aff | ) |
Definition at line 6222 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), and isl_local_space_lift().
Referenced by isl_multi_aff_lift().
◆ isl_aff_lt_basic_set()
| __isl_give isl_basic_set * isl_aff_lt_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 2529 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_gt_basic_set(), and isl_basic_set.
Referenced by isl_aff_lt_set().
◆ 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 2547 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_lt_basic_set(), isl_set, and isl_set_from_basic_set().
Referenced by isl_aff_ne_set(), and isl::checked::aff::lt_set().
◆ isl_aff_matching_params()
| isl_bool isl_aff_matching_params | ( | __isl_keep isl_aff * | aff, |
| __isl_keep isl_space * | space ) |
Definition at line 4025 of file isl_aff.c.
References __isl_keep, aff, isl_aff_get_domain_space(), isl_bool_error, isl_space_free(), isl_space_has_equal_params(), and match().
◆ isl_aff_mod_val()
| __isl_give isl_aff * isl_aff_mod_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | m ) |
Definition at line 1796 of file isl_aff.c.
References __isl_give, __isl_take, 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 construct_mod(), construct_mod_ineq(), extract_aff_from_equality(), isl_ast_build_get_stride_constraint(), isl::checked::aff::mod(), and substitute_div_mod().
◆ isl_aff_move_dims()
| __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 2787 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_mul()
| __isl_give isl_aff * isl_aff_mul | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 3516 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::aff::mul().
◆ isl_aff_nan_on_domain()
| __isl_give isl_aff * isl_aff_nan_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 291 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_nan_on_domain_space()
| __isl_give isl_aff * isl_aff_nan_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 302 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_nan_on_domain(), and isl_local_space_from_space().
Referenced by isl_pw_aff_nan_on_domain_space().
◆ isl_aff_ne_set()
| __isl_give isl_set * isl_aff_ne_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 2579 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_copy(), isl_aff_gt_set(), isl_aff_lt_set(), isl_set, and isl_set_union_disjoint().
Referenced by isl::checked::aff::ne_set().
◆ isl_aff_neg()
| __isl_give isl_aff * isl_aff_neg | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1451 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_seq_neg(), and isl_vec_cow().
Referenced by compute_size_in_direction(), construct_mod_ineq(), extract_stride_constraint(), is_stride_constraint(), isl_aff_neg_basic_set(), isl_aff_sub(), isl_ast_expr_from_constraint_no_stride(), isl::checked::aff::neg(), oppose_div_arg(), substitute_div_mod(), and update_unrolling_lower_bound().
◆ isl_aff_neg_basic_set()
| __isl_give isl_basic_set * isl_aff_neg_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2431 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_neg(), isl_aff_pos_basic_set(), and isl_basic_set.
Referenced by isl_ast_build_aff_is_nonneg().
◆ isl_aff_nonneg_basic_set()
| __isl_give isl_basic_set * isl_aff_nonneg_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2414 of file isl_aff.c.
References __isl_give, __isl_take, aff, aff_nonneg_basic_set(), and isl_basic_set.
Referenced by isl_aff_ge_basic_set(), and isl_aff_pos_basic_set().
◆ isl_aff_normalize()
| __isl_give isl_aff * isl_aff_normalize | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1704 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_free(), isl_aff_remove_unused_divs(), isl_vec_normalize(), plug_in_integral_divs(), plug_in_unit_divs(), and sort_divs().
Referenced by add_expanded(), isl_aff_floor(), isl_aff_pullback_multi_aff(), isl_aff_substitute_equalities_lifted(), isl_constraint_get_bound(), isl_term_get_div(), and set_from_affine_matrix().
◆ isl_aff_param_on_domain_space_id()
| __isl_give isl_aff * isl_aff_param_on_domain_space_id | ( | __isl_take isl_space * | space, |
| __isl_take isl_id * | id ) |
Definition at line 418 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ isl_aff_peek_domain_local_space()
|
static |
Definition at line 490 of file isl_aff.c.
References __isl_keep, and aff.
Referenced by isl_aff_domain_dim(), isl_aff_domain_var_offset(), isl_aff_get_domain_local_space(), and isl_aff_remove_unused_divs().
◆ isl_aff_peek_domain_space()
|
static |
Definition at line 563 of file isl_aff.c.
References __isl_keep, aff, and isl_local_space_peek_space().
Referenced by isl_aff_align_params(), isl_aff_as_domain_extension(), isl_aff_check_has_domain_space(), isl_aff_domain_is_product(), isl_aff_domain_reverse(), and isl_aff_get_domain_space().
◆ isl_aff_plain_cmp()
| int isl_aff_plain_cmp | ( | __isl_keep isl_aff * | aff1, |
| __isl_keep isl_aff * | aff2 ) |
Definition at line 7661 of file isl_aff.c.
References __isl_keep, cmp(), isl_local_space_cmp(), isl_seq_cmp(), and isl_seq_last_non_zero().
Referenced by isl_pw_aff_plain_cmp().
◆ isl_aff_plain_is_equal()
| isl_bool isl_aff_plain_is_equal | ( | __isl_keep isl_aff * | aff1, |
| __isl_keep isl_aff * | aff2 ) |
Definition at line 784 of file isl_aff.c.
References __isl_keep, 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(), isl::checked::aff::plain_is_equal(), and test_bin_aff().
◆ isl_aff_plain_is_zero()
| isl_bool isl_aff_plain_is_zero | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 757 of file isl_aff.c.
References __isl_keep, 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_aff_pos_basic_set()
| __isl_give isl_basic_set * isl_aff_pos_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2422 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_add_constant_num_si(), isl_aff_nonneg_basic_set(), and isl_basic_set.
Referenced by isl_aff_gt_basic_set(), and isl_aff_neg_basic_set().
◆ isl_aff_project_domain_on_params()
| __isl_give isl_aff * isl_aff_project_domain_on_params | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2708 of file isl_aff.c.
References __isl_give, __isl_take, 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 isl_basic_map_try_find_output_div(), multi_union_pw_aff_apply_aff(), and unwrap_plug_in().
◆ isl_aff_pullback_aff()
| __isl_give isl_aff * isl_aff_pullback_aff | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 6085 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_pullback_multi_aff(), isl_multi_aff_from_aff(), and ma.
◆ isl_aff_pullback_multi_aff()
| __isl_give isl_aff * isl_aff_pullback_multi_aff | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_multi_aff * | ma ) |
Definition at line 6030 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::aff::pullback().
◆ isl_aff_realign_domain()
| __isl_give isl_aff * isl_aff_realign_domain | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_reordering * | r ) |
Definition at line 703 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_local_space_realign(), isl_reordering_copy(), isl_reordering_extend(), isl_reordering_free(), and isl_vec_reorder().
Referenced by isl_aff_align_params().
◆ isl_aff_remove_unused_divs()
| __isl_give isl_aff * isl_aff_remove_unused_divs | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1477 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_domain_dim(), isl_aff_domain_var_offset(), isl_aff_drop_dims(), isl_aff_free(), isl_aff_peek_domain_local_space(), isl_dim_div, isl_local_space_get_active(), isl_seq_last_non_zero(), n, and pos().
Referenced by detect_stride(), extract_isl_aff_from_basic_map(), and isl_aff_normalize().
◆ isl_aff_reset_domain_space()
| __isl_give isl_aff * isl_aff_reset_domain_space | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_space * | space ) |
Definition at line 671 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_local_space_reset_space(), and isl_space_free().
Referenced by isl_aff_project_domain_on_params(), isl_aff_reset_space_and_domain(), and isl_multi_pw_aff_apply_aff_aligned().
◆ isl_aff_reset_space_and_domain()
| __isl_give isl_aff * isl_aff_reset_space_and_domain | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_space * | space, | ||
| __isl_take isl_space * | domain ) |
Definition at line 693 of file isl_aff.c.
References __isl_give, __isl_take, aff, domain, isl_aff_reset_domain_space(), and isl_space_free().
◆ isl_aff_restore_domain_local_space()
| __isl_give isl_aff * isl_aff_restore_domain_local_space | ( | __isl_keep isl_aff * | aff, |
| __isl_take isl_local_space * | ls ) |
Definition at line 632 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_aff_cow(), isl_aff_free(), and isl_local_space_free().
Referenced by isl_aff_domain_reverse(), and isl_aff_from_range().
◆ isl_aff_restore_rat_aff()
|
static |
Definition at line 211 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_aff_cow(), isl_aff_free(), and isl_vec_free().
Referenced by isl_aff_domain_reverse(), and isl_aff_set_nan().
◆ isl_aff_scale()
| __isl_give isl_aff * isl_aff_scale | ( | __isl_take isl_aff * | aff, |
| isl_int | f ) |
Definition at line 2039 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_scale_down()
| __isl_give isl_aff * isl_aff_scale_down | ( | __isl_take isl_aff * | aff, |
| isl_int | f ) |
Definition at line 2105 of file isl_aff.c.
References __isl_give, __isl_take, aff, f, gcd(), isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_error_invalid, isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_is_one, isl_int_is_zero, isl_int_mul, isl_seq_gcd(), isl_seq_scale_down(), and isl_vec_cow().
Referenced by isl_aff_div(), isl_aff_mul(), isl_aff_scale_down_ui(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_pw_aff_scale_down(), and subtract_initial().
◆ isl_aff_scale_down_ui()
| __isl_give isl_aff * isl_aff_scale_down_ui | ( | __isl_take isl_aff * | aff, |
| unsigned | f ) |
Definition at line 2171 of file isl_aff.c.
References __isl_give, __isl_take, aff, f, isl_aff_scale_down(), isl_int_clear, isl_int_init, and isl_int_set_ui.
Referenced by test_aff().
◆ isl_aff_scale_down_val()
| __isl_give isl_aff * isl_aff_scale_down_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | v ) |
Definition at line 2142 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::aff::scale_down().
◆ isl_aff_scale_val()
| __isl_give isl_aff * isl_aff_scale_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | v ) |
Definition at line 2075 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::aff::scale(), set_stride(), unwrapped_affine_qp(), update_partial(), and var_div().
◆ isl_aff_set_coefficient()
| __isl_give isl_aff * isl_aff_set_coefficient | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| isl_int | v ) |
Definition at line 1184 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_int_set, isl_local_space_check_range(), isl_local_space_offset(), isl_vec_cow(), pos(), and type.
Referenced by extract_schedule_row().
◆ isl_aff_set_coefficient_si()
| __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 1221 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_int_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_aff_set_coefficient_val()
| __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 1261 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_set_constant()
| __isl_give isl_aff * isl_aff_set_constant | ( | __isl_take isl_aff * | aff, |
| isl_int | v ) |
Definition at line 909 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_int_set, and isl_vec_cow().
Referenced by extract_schedule_row().
◆ isl_aff_set_constant_si()
| __isl_give isl_aff * isl_aff_set_constant_si | ( | __isl_take isl_aff * | aff, |
| int | v ) |
Definition at line 1160 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_set_constant_val()
| __isl_give isl_aff * isl_aff_set_constant_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | v ) |
Definition at line 932 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_set_dim_id()
| __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 2205 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_set_dim_name()
| __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 2186 of file isl_aff.c.
References __isl_give, __isl_take, 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.
◆ isl_aff_set_nan()
|
static |
Definition at line 277 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_restore_rat_aff(), isl_aff_take_rat_aff(), and isl_vec_clr().
Referenced by isl_aff_nan_on_domain(), set_nan_free(), and set_nan_free_val().
◆ isl_aff_set_tuple_id()
| __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 2231 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_sub()
| __isl_give isl_aff * isl_aff_sub | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 ) |
Definition at line 2029 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_add(), and isl_aff_neg().
Referenced by construct_mod(), construct_mod_ineq(), 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::checked::aff::sub(), substitute_div_mod(), subtract_initial(), and test_aff_normalize().
◆ isl_aff_substitute()
| __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 5774 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, 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_aff_substitute_equalities()
| __isl_give isl_aff * isl_aff_substitute_equalities | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_basic_set * | eq ) |
Definition at line 2303 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_domain_dim(), isl_aff_free(), isl_aff_substitute_equalities_lifted(), isl_basic_set, isl_basic_set_add_dims(), isl_basic_set_free(), isl_dim_div, and isl_dim_set.
Referenced by harmonize_divs_with_hulls(), isl_multi_aff_substitute_equalities(), and set_up_substitutions().
◆ isl_aff_substitute_equalities_lifted()
|
static |
Definition at line 2256 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_aff_normalize(), isl_basic_set, 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_aff_take_domain_local_space()
| __isl_give isl_local_space * isl_aff_take_domain_local_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 612 of file isl_aff.c.
References __isl_give, __isl_keep, aff, and isl_aff_get_domain_local_space().
Referenced by isl_aff_domain_reverse(), and isl_aff_from_range().
◆ isl_aff_take_rat_aff()
|
static |
Definition at line 192 of file isl_aff.c.
References __isl_give, __isl_keep, aff, and isl_aff_get_rat_aff().
Referenced by isl_aff_domain_reverse(), and isl_aff_set_nan().
◆ isl_aff_val_on_domain()
| __isl_give isl_aff * isl_aff_val_on_domain | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_val * | val ) |
Definition at line 331 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_val_on_domain_space()
| __isl_give isl_aff * isl_aff_val_on_domain_space | ( | __isl_take isl_space * | space, |
| __isl_take isl_val * | val ) |
Definition at line 361 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_val_on_domain(), isl_local_space_from_space(), and val.
◆ isl_aff_var_on_domain()
| __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 370 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_zero_basic_set()
| __isl_give isl_basic_set * isl_aff_zero_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2469 of file isl_aff.c.
References __isl_give, __isl_take, aff, aff_zero_basic_set(), and isl_basic_set.
Referenced by isl_aff_eq_basic_set(), and isl_ast_build_get_stride_constraint().
◆ isl_aff_zero_in_space()
|
static |
Definition at line 2886 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_zero_on_domain(), isl_local_space_from_space(), and isl_space_domain().
◆ isl_aff_zero_on_domain()
| __isl_give isl_aff * isl_aff_zero_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 235 of file isl_aff.c.
References __isl_give, __isl_take, 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_aff_zero_on_domain_space()
| __isl_give isl_aff * isl_aff_zero_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 251 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_zero_on_domain(), and isl_local_space_from_space().
Referenced by isl_space_zero_aff_on_domain(), and isl::checked::aff::zero_on_domain().
◆ isl_map_as_pw_multi_aff()
| __isl_give isl_pw_multi_aff * isl_map_as_pw_multi_aff | ( | __isl_take isl_map * | map | ) |
Definition at line 5652 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_from_map(), and map.
Referenced by isl::checked::map::as_pw_multi_aff().
◆ isl_map_eq_at_multi_pw_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 7563 of file isl_aff.c.
References __isl_give, __isl_take, isl_map_order_at_multi_pw_aff(), isl_multi_pw_aff_eq_map(), and map.
Referenced by isl::checked::map::eq_at().
◆ isl_map_intersect_multi_pw_aff_explicit_domain()
| __isl_give isl_map * isl_map_intersect_multi_pw_aff_explicit_domain | ( | __isl_take isl_map * | map, |
| __isl_keep isl_multi_pw_aff * | mpa ) |
Definition at line 6770 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, isl_map_intersect_domain(), isl_multi_pw_aff_domain(), isl_set, and map.
Referenced by map_from_multi_pw_aff().
◆ isl_map_max_multi_pw_aff()
| __isl_give isl_multi_pw_aff * isl_map_max_multi_pw_aff | ( | __isl_take isl_map * | map | ) |
Definition at line 6845 of file isl_aff.c.
References __isl_give, __isl_take, isl_map_dim_max(), and map.
Referenced by isl::checked::map::max_multi_pw_aff(), and test_multi_pw_aff_box().
◆ isl_map_min_multi_pw_aff()
| __isl_give isl_multi_pw_aff * isl_map_min_multi_pw_aff | ( | __isl_take isl_map * | map | ) |
Definition at line 6836 of file isl_aff.c.
References __isl_give, __isl_take, isl_map_dim_min(), and map.
Referenced by isl::checked::map::min_multi_pw_aff(), and test_multi_pw_aff_box().
◆ isl_map_order_at_multi_pw_aff()
|
static |
Definition at line 7552 of file isl_aff.c.
References __isl_give, __isl_take, isl_map_intersect(), and map.
Referenced by FN(), and isl_map_eq_at_multi_pw_aff().
◆ isl_multi_aff_add_on_domain()
| __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 4549 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, isl_multi_aff_gist(), isl_set, and isl_set_copy().
◆ isl_multi_aff_align_divs()
| __isl_give isl_multi_aff * isl_multi_aff_align_divs | ( | __isl_take isl_multi_aff * | maff | ) |
Definition at line 6188 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_align_divs(), and n.
Referenced by FN(), isl_aff_pullback_multi_aff(), isl_basic_map_preimage_multi_aff(), isl_local_space_preimage_multi_aff(), isl_multi_aff_lift(), isl_multi_aff_pullback_multi_aff(), and map_preimage_multi_aff().
◆ isl_multi_aff_domain()
|
static |
Definition at line 4081 of file isl_aff.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_universe(), isl_space_domain(), and ma.
◆ isl_multi_aff_domain_map()
| __isl_give isl_multi_aff * isl_multi_aff_domain_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4248 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::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_multi_aff_flatten_domain()
| __isl_give isl_multi_aff * isl_multi_aff_flatten_domain | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 4227 of file isl_aff.c.
References __isl_give, __isl_take, isl_space_flatten_domain(), and ma.
◆ isl_multi_aff_from_aff_mat()
| __isl_give isl_multi_aff * isl_multi_aff_from_aff_mat | ( | __isl_take isl_space * | space, |
| __isl_take isl_mat * | mat ) |
Definition at line 4133 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_vec::el, isl_aff_alloc_vec_validated(), isl_die, isl_dim_all, isl_dim_out, isl_error_invalid, isl_int_set, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_mat_cols(), isl_mat_free(), isl_mat_get_ctx(), isl_mat_rows(), isl_seq_cpy(), isl_space_copy(), isl_space_dim(), isl_space_domain(), isl_space_free(), isl_vec_alloc(), isl_vec_normalize(), ma, and total().
Referenced by add_non_trivial_lineality(), isl_basic_set_coefficients_morphed_product(), and isl_multi_aff_from_aff_mat_anonymous().
◆ isl_multi_aff_from_basic_set_equalities()
| __isl_give isl_multi_aff * isl_multi_aff_from_basic_set_equalities | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 5151 of file isl_aff.c.
References __isl_give, __isl_take, extract_isl_multi_aff_from_basic_map(), and isl_basic_set.
Referenced by isl_vertex_get_expr().
◆ isl_multi_aff_get_constant_multi_val()
| __isl_give isl_multi_val * isl_multi_aff_get_constant_multi_val | ( | __isl_keep isl_multi_aff * | ma | ) |
Definition at line 4195 of file isl_aff.c.
References __isl_give, __isl_keep, aff, isl_aff_free(), isl_aff_get_constant_val(), isl_space_drop_all_params(), isl_space_range(), ma, n, and val.
Referenced by isl::checked::multi_aff::constant_multi_val().
◆ isl_multi_aff_is_empty()
| isl_bool isl_multi_aff_is_empty | ( | __isl_keep isl_multi_aff * | maff | ) |
Definition at line 4557 of file isl_aff.c.
References __isl_keep, isl_bool_error, and isl_bool_false.
◆ isl_multi_aff_lex_ge_set()
| __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 4688 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_aff_lex_gte_set(), isl_set, and ma1.
Referenced by isl_multi_aff_lex_le_set(), and isl_pw_multi_aff_union_lexmax().
◆ isl_multi_aff_lex_gt_set()
| __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 4697 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_aff_lex_gte_set(), isl_set, and ma1.
Referenced by isl_multi_aff_lex_lt_set().
◆ isl_multi_aff_lex_gte_set()
|
static |
Definition at line 4633 of file isl_aff.c.
References __isl_give, __isl_take, 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, 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().
◆ isl_multi_aff_lex_gte_set_0d()
|
static |
Definition at line 4590 of file isl_aff.c.
References __isl_give, __isl_take, equal, isl_set, isl_set_empty(), isl_set_universe(), and ma1.
Referenced by isl_multi_aff_lex_gte_set().
◆ isl_multi_aff_lex_le_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 4568 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_aff_lex_ge_set(), isl_set, and ma1.
Referenced by isl_pw_multi_aff_union_lexmin().
◆ isl_multi_aff_lex_lt_set()
| __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 4577 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_aff_lex_gt_set(), isl_set, and ma1.
◆ isl_multi_aff_lift()
| __isl_give isl_multi_aff * isl_multi_aff_lift | ( | __isl_take isl_multi_aff * | maff, |
| __isl_give isl_local_space ** | ls ) |
Definition at line 6240 of file isl_aff.c.
References __isl_give, __isl_take, 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_multi_aff_multi_val_on_domain_space()
| __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 7782 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::multi_aff::multi_val_on_domain().
◆ isl_multi_aff_multi_val_on_space()
| __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 7821 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_aff_multi_val_on_domain_space().
Referenced by isl_pw_multi_aff_multi_val_on_domain().
◆ isl_multi_aff_order_at()
|
static |
Definition at line 4609 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, cmp(), isl_set, and ma1.
Referenced by isl_multi_aff_lex_gte_set().
◆ isl_multi_aff_project_out_map()
| __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 4389 of file isl_aff.c.
References __isl_give, __isl_take, 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_multi_aff_pullback_multi_aff()
| __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 6097 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::multi_aff::pullback(), and test_pullback().
◆ isl_multi_aff_range_map()
| __isl_give isl_multi_aff * isl_multi_aff_range_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4300 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::multi_aff::range_map().
◆ isl_multi_aff_scale()
| __isl_give isl_multi_aff * isl_multi_aff_scale | ( | __isl_take isl_multi_aff * | maff, |
| isl_int | f ) |
Definition at line 4528 of file isl_aff.c.
References __isl_give, __isl_take, aff, f, isl_aff_scale(), and n.
◆ isl_multi_aff_substitute()
| __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 5817 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_aff_substitute(), isl_dim_in, isl_dim_set, n, pos(), and type.
Referenced by isl_pw_multi_aff_substitute().
◆ isl_multi_aff_substitute_equalities()
|
static |
Definition at line 4501 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_substitute_equalities(), isl_basic_set, isl_basic_set_copy(), isl_basic_set_free(), and n.
◆ isl_multi_aff_to_multi_pw_aff()
| __isl_give isl_multi_pw_aff * isl_multi_aff_to_multi_pw_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 7093 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_pw_aff_from_multi_aff(), and ma.
Referenced by isl::checked::multi_aff::to_multi_pw_aff().
◆ isl_multi_aff_to_multi_union_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 8743 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_union_pw_aff_from_multi_aff(), and ma.
Referenced by isl::checked::multi_aff::to_multi_union_pw_aff().
◆ isl_multi_aff_to_pw_multi_aff()
| __isl_give isl_pw_multi_aff * isl_multi_aff_to_pw_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 4462 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_from_multi_aff(), and ma.
Referenced by isl::checked::multi_aff::to_pw_multi_aff().
◆ isl_multi_pw_aff_apply_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 7353 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ isl_multi_pw_aff_apply_aff_aligned()
|
static |
Definition at line 7289 of file isl_aff.c.
References __isl_give, __isl_take, 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(), isl_space_domain(), and pa.
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_multi_pw_aff_apply_pw_aff()
| __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 7426 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_pw_aff_apply_pw_aff_aligned(), isl_pw_aff_align_params(), isl_pw_aff_free(), isl_pw_aff_get_space(), isl_space_has_equal_params(), and pa.
Referenced by isl_pw_aff_pullback_multi_pw_aff().
◆ isl_multi_pw_aff_apply_pw_aff_aligned()
|
static |
Definition at line 7385 of file isl_aff.c.
References __isl_give, __isl_take, 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, isl_set_copy(), isl_set_preimage_multi_pw_aff(), isl_space_join(), pa, and res.
Referenced by isl_multi_pw_aff_apply_pw_aff().
◆ isl_multi_pw_aff_as_multi_aff()
| __isl_give isl_multi_aff * isl_multi_pw_aff_as_multi_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 6746 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_pw_aff_as_aff(), ma, and n.
Referenced by isl::checked::multi_pw_aff::as_multi_aff().
◆ isl_multi_pw_aff_eq_map()
| __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 7542 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ isl_multi_pw_aff_eq_map_on_space()
|
static |
Definition at line 7513 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, 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_multi_pw_aff_from_aff()
| __isl_give isl_multi_pw_aff * isl_multi_pw_aff_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 7056 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_multi_pw_aff_from_pw_aff(), and isl_pw_aff_from_aff().
Referenced by isl::checked::multi_pw_aff::multi_pw_aff().
◆ isl_multi_pw_aff_from_multi_aff()
| __isl_give isl_multi_pw_aff * isl_multi_pw_aff_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 7064 of file isl_aff.c.
References __isl_give, __isl_take, isl_dim_out, isl_pw_aff_from_aff(), ma, n, and pa.
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::checked::multi_pw_aff::multi_pw_aff().
◆ isl_multi_pw_aff_from_pw_multi_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 7106 of file isl_aff.c.
References __isl_give, __isl_take, 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(), isl_set, n, pa, 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::checked::multi_pw_aff::multi_pw_aff(), project_out_fixed(), test_mpa_conversion(), and test_parse_mpa().
◆ isl_multi_pw_aff_has_non_trivial_domain()
| isl_bool isl_multi_pw_aff_has_non_trivial_domain | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
Definition at line 6796 of file isl_aff.c.
References __isl_keep, 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_multi_pw_aff_is_cst()
| isl_bool isl_multi_pw_aff_is_cst | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
Definition at line 6786 of file isl_aff.c.
References __isl_keep, and isl_pw_aff_is_cst().
◆ isl_multi_pw_aff_is_equal()
| 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 7190 of file isl_aff.c.
References __isl_keep, 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_multi_pw_aff_isa_multi_aff()
| isl_bool isl_multi_pw_aff_isa_multi_aff | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
Definition at line 6738 of file isl_aff.c.
References __isl_keep, and isl_pw_aff_isa_aff().
Referenced by isl::checked::multi_pw_aff::isa_multi_aff().
◆ isl_multi_pw_aff_lex_map_on_space()
|
static |
Definition at line 7585 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, 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().
◆ isl_multi_pw_aff_order_map()
|
static |
Definition at line 7470 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, 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_multi_union_pw_aff_apply_aff()
| __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 9502 of file isl_aff.c.
References __isl_give, __isl_take, 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_multi_union_pw_aff_apply_multi_aff()
| __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 9560 of file isl_aff.c.
References __isl_give, __isl_take, 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_multi_union_pw_aff_apply_pw_aff()
| __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 9635 of file isl_aff.c.
References __isl_give, __isl_take, 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, 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(), mupa, and pa.
Referenced by isl_multi_union_pw_aff_apply_pw_multi_aff().
◆ isl_multi_union_pw_aff_apply_pw_aff_0D()
|
static |
Definition at line 9619 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_union_pw_aff_domain(), isl_pw_aff_project_domain_on_params(), isl_union_pw_aff_pw_aff_on_domain(), isl_union_set, mupa, and pa.
Referenced by isl_multi_union_pw_aff_apply_pw_aff().
◆ isl_multi_union_pw_aff_apply_pw_multi_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 9715 of file isl_aff.c.
References __isl_give, __isl_take, 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(), pa, pma, and res.
◆ isl_multi_union_pw_aff_domain()
| __isl_give isl_union_set * isl_multi_union_pw_aff_domain | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9393 of file isl_aff.c.
References __isl_give, __isl_take, isl_dim_set, isl_multi_union_pw_aff_domain_0D(), isl_union_pw_aff_domain(), isl_union_set, isl_union_set_intersect(), mupa, and n.
Referenced by check_band_schedule_total_on_instances(), collect_filter_prefix_init(), isl::checked::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_multi_union_pw_aff_domain_0D()
| __isl_give isl_union_set * isl_multi_union_pw_aff_domain_0D | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9378 of file isl_aff.c.
References __isl_give, __isl_take, isl_union_set, and mupa.
Referenced by isl_multi_union_pw_aff_domain().
◆ isl_multi_union_pw_aff_extract_multi_pw_aff()
| __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 9856 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, 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, n, and pa.
Referenced by order_at().
◆ isl_multi_union_pw_aff_from_multi_aff()
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 8730 of file isl_aff.c.
References __isl_give, __isl_take, 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_multi_union_pw_aff_from_multi_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 8756 of file isl_aff.c.
References __isl_give, __isl_take, 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, isl_union_set_from_set(), mupa, n, and pa.
Referenced by insert_current_band(), isl_multi_union_pw_aff_from_multi_aff(), and isl::checked::multi_union_pw_aff::multi_union_pw_aff().
◆ isl_multi_union_pw_aff_from_union_map()
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_union_map | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 8905 of file isl_aff.c.
References __isl_give, __isl_take, 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_multi_union_pw_aff_from_union_pw_multi_aff()
| __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 8838 of file isl_aff.c.
References __isl_take, 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(), isl_union_set, 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_multi_union_pw_aff_has_non_trivial_domain()
| isl_bool isl_multi_union_pw_aff_has_non_trivial_domain | ( | __isl_keep isl_multi_union_pw_aff * | mupa | ) |
Definition at line 8681 of file isl_aff.c.
References __isl_keep, isl_bool_error, isl_bool_false, isl_bool_not(), isl_set, 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_multi_union_pw_aff_intersect_range()
| __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 9332 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_die, isl_dim_set, isl_error_invalid, isl_multi_union_pw_aff_intersect_domain(), isl_set, 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, 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_multi_union_pw_aff_multi_aff_on_domain()
| __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 8998 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_multi_union_pw_aff_pw_multi_aff_on_domain(), isl_pw_multi_aff_from_multi_aff(), isl_union_set, ma, and pma.
Referenced by mupa_apply_multi_aff_0D().
◆ isl_multi_union_pw_aff_multi_val_on_domain()
| __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 8972 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_multi_union_pw_aff_multi_val_on_domain_aligned(), isl_space_has_equal_params(), isl_union_set, isl_union_set_align_params(), isl_union_set_free(), and isl_union_set_get_space().
Referenced by test_multi_pw_aff_3().
◆ isl_multi_union_pw_aff_multi_val_on_domain_aligned()
|
static |
Definition at line 8933 of file isl_aff.c.
References __isl_take, domain, isl_dim_set, isl_multi_union_pw_aff_intersect_domain(), isl_union_pw_aff_val_on_domain(), isl_union_set, isl_union_set_copy(), isl_union_set_free(), mupa, and n.
Referenced by isl_multi_union_pw_aff_multi_val_on_domain().
◆ isl_multi_union_pw_aff_pullback_union_pw_multi_aff()
| __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 9814 of file isl_aff.c.
References __isl_take, 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::checked::multi_union_pw_aff::pullback().
◆ isl_multi_union_pw_aff_pw_multi_aff_on_domain()
| __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 9055 of file isl_aff.c.
References __isl_take, 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, 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().
◆ isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned()
|
static |
Definition at line 9016 of file isl_aff.c.
References __isl_take, 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, isl_union_set_copy(), isl_union_set_free(), mupa, n, pa, and pma.
Referenced by isl_multi_union_pw_aff_pw_multi_aff_on_domain().
◆ isl_multi_union_pw_aff_zero()
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_zero | ( | __isl_take isl_space * | space | ) |
Definition at line 8707 of file isl_aff.c.
References __isl_give, __isl_take, isl_die, isl_dim_set, isl_error_invalid, isl_space_check_is_proper_set(), isl_space_dim(), isl_space_free(), and isl_space_get_ctx().
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::checked::multi_union_pw_aff::zero().
◆ isl_multi_union_pw_aff_zero_union_set()
| __isl_give isl_union_set * isl_multi_union_pw_aff_zero_union_set | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9085 of file isl_aff.c.
References __isl_give, __isl_take, isl_dim_set, isl_multi_union_pw_aff_domain(), isl_union_pw_aff_zero_union_set(), isl_union_set, isl_union_set_intersect(), mupa, and n.
◆ isl_pw_aff_add()
| __isl_give isl_pw_aff * isl_pw_aff_add | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3611 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_add().
Referenced by accept_affine(), isl::checked::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_pw_aff_bind_id()
| __isl_give isl_set * isl_pw_aff_bind_id | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_id * | id ) |
Definition at line 3106 of file isl_aff.c.
References __isl_give, __isl_take, aff_bind_id(), bound, isl_id_free(), isl_set, pa, and pw_aff_locus().
Referenced by isl::checked::pw_aff::bind(), bind_id(), and test_bind_pa().
◆ isl_pw_aff_ceil()
| __isl_give isl_pw_aff * isl_pw_aff_ceil | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3406 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_ceil().
Referenced by accept_div(), isl::checked::pw_aff::ceil(), isl_pw_aff_tdiv_q(), and set_enforced_from_set().
◆ isl_pw_aff_check_match_domain_space()
| isl_stat isl_pw_aff_check_match_domain_space | ( | __isl_keep isl_pw_aff * | pa, |
| __isl_keep isl_space * | space ) |
Definition at line 6666 of file isl_aff.c.
References __isl_keep, isl_die, isl_dim_in, isl_error_invalid, isl_pw_aff_get_ctx(), isl_pw_aff_get_space(), isl_space_free(), isl_space_has_equal_params(), isl_space_tuple_is_equal(), isl_stat_error, isl_stat_ok, match(), and pa.
◆ isl_pw_aff_cond()
| __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 3438 of file isl_aff.c.
References __isl_give, __isl_take, 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(), isl_set, and isl_set_coalesce().
Referenced by accept_ternary(), isl::checked::pw_aff::cond(), and isl_pw_aff_tdiv_q().
◆ isl_pw_aff_div()
| __isl_give isl_pw_aff * isl_pw_aff_div | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 ) |
Definition at line 3627 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::pw_aff::div(), isl_pw_aff_tdiv_q(), and polly::SCEVAffinator::visitUDivExpr().
◆ isl_pw_aff_domain_is_product()
|
static |
Definition at line 2979 of file isl_aff.c.
References __isl_keep, isl_space_domain_is_wrapping(), and pa.
◆ isl_pw_aff_eq_map()
| __isl_give isl_map * isl_pw_aff_eq_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 ) |
Definition at line 3229 of file isl_aff.c.
References __isl_give, __isl_take, 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_pw_aff_eq_set()
| __isl_give isl_set * isl_pw_aff_eq_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3155 of file isl_aff.c.
References __isl_give, __isl_take, isl_set, and pw_aff_gte_set().
Referenced by isl::checked::pw_aff::eq_set(), isl_pw_aff_eq_map(), and isl_pw_aff_list_eq_set().
◆ isl_pw_aff_floor()
| __isl_give isl_pw_aff * isl_pw_aff_floor | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3400 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_floor().
Referenced by accept_affine_factor(), accept_div(), affine_mod(), isl::checked::pw_aff::floor(), floor_entry(), isl_multi_pw_aff_apply_aff_aligned(), isl_pw_aff_mod(), and isl_pw_aff_tdiv_q().
◆ isl_pw_aff_ge_map()
| __isl_give isl_map * isl_pw_aff_ge_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 ) |
Definition at line 3258 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_ge_set(), and isl_pw_aff_order_map().
Referenced by map_upper_bound_pw_aff().
◆ isl_pw_aff_ge_set()
| __isl_give isl_set * isl_pw_aff_ge_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3165 of file isl_aff.c.
References __isl_give, __isl_take, isl_set, and pw_aff_gte_set().
Referenced by isl::checked::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_pw_aff_gt_map()
| __isl_give isl_map * isl_pw_aff_gt_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 ) |
Definition at line 3268 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_gt_set(), and isl_pw_aff_order_map().
◆ isl_pw_aff_gt_set()
| __isl_give isl_set * isl_pw_aff_gt_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3175 of file isl_aff.c.
References __isl_give, __isl_take, isl_set, and pw_aff_gte_set().
Referenced by isl::checked::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_pw_aff_is_cst()
| isl_bool isl_pw_aff_is_cst | ( | __isl_keep isl_pw_aff * | pwaff | ) |
Definition at line 3494 of file isl_aff.c.
References __isl_keep, 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_pw_aff_is_equal()
| isl_bool isl_pw_aff_is_equal | ( | __isl_keep isl_pw_aff * | pa1, |
| __isl_keep isl_pw_aff * | pa2 ) |
Definition at line 7156 of file isl_aff.c.
References __isl_keep, 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_pw_aff_le_map()
| __isl_give isl_map * isl_pw_aff_le_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 ) |
Definition at line 3239 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_le_set(), and isl_pw_aff_order_map().
Referenced by map_lower_bound_pw_aff().
◆ isl_pw_aff_le_set()
| __isl_give isl_set * isl_pw_aff_le_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3182 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_ge_set(), and isl_set.
Referenced by polly::ScopBuilder::buildUnsignedConditionSets(), isl_pw_aff_le_map(), isl_pw_aff_list_le_set(), isl::checked::pw_aff::le_set(), less(), pw_aff_min(), and set_upper().
◆ isl_pw_aff_list_eq_set()
| __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 3318 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_eq_set(), isl_set, and pw_aff_list_set().
Referenced by construct_constraints().
◆ isl_pw_aff_list_ge_set()
| __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 3346 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_ge_set(), isl_set, and pw_aff_list_set().
Referenced by construct_constraints().
◆ isl_pw_aff_list_gt_set()
| __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 3352 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_gt_set(), isl_set, and pw_aff_list_set().
Referenced by construct_constraints().
◆ isl_pw_aff_list_involves_nan()
|
static |
Definition at line 3836 of file isl_aff.c.
References __isl_keep, isl_bool_not(), and pw_aff_no_nan().
Referenced by isl_pw_aff_list_opt().
◆ isl_pw_aff_list_le_set()
| __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 3334 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_le_set(), isl_set, and pw_aff_list_set().
Referenced by construct_constraints(), and set_enforced_from_list().
◆ isl_pw_aff_list_lt_set()
| __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 3340 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_lt_set(), isl_set, and pw_aff_list_set().
Referenced by construct_constraints().
◆ isl_pw_aff_list_max()
| __isl_give isl_pw_aff * isl_pw_aff_list_max | ( | __isl_take isl_pw_aff_list * | list | ) |
Definition at line 3973 of file isl_aff.c.
References __isl_give, __isl_take, and isl_pw_aff_list_opt().
Referenced by accept_minmax().
◆ isl_pw_aff_list_min()
| __isl_give isl_pw_aff * isl_pw_aff_list_min | ( | __isl_take isl_pw_aff_list * | list | ) |
Definition at line 3964 of file isl_aff.c.
References __isl_give, __isl_take, and isl_pw_aff_list_opt().
Referenced by accept_minmax().
◆ isl_pw_aff_list_ne_set()
| __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 3324 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_ne_set(), isl_set, and pw_aff_list_set().
Referenced by construct_constraints().
◆ isl_pw_aff_list_opt()
|
static |
Definition at line 3909 of file isl_aff.c.
References __isl_give, __isl_take, 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(), isl_set, less(), n, pa, replace_list_by_nan(), and res.
Referenced by isl_pw_aff_list_max(), and isl_pw_aff_list_min().
◆ isl_pw_aff_list_set_rational()
| __isl_give isl_pw_aff_list * isl_pw_aff_list_set_rational | ( | __isl_take isl_pw_aff_list * | list | ) |
Definition at line 4001 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_set_rational(), n, and pa.
Referenced by construct_constraints().
◆ isl_pw_aff_lt_map()
| __isl_give isl_map * isl_pw_aff_lt_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 ) |
Definition at line 3248 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_lt_set(), and isl_pw_aff_order_map().
◆ isl_pw_aff_lt_set()
| __isl_give isl_set * isl_pw_aff_lt_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3188 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_gt_set(), and isl_set.
Referenced by polly::ScopBuilder::buildUnsignedConditionSets(), isl_pw_aff_list_lt_set(), isl_pw_aff_lt_map(), isl_pw_aff_ne_set(), less(), isl::checked::pw_aff::lt_set(), and polly::SCEVAffinator::visitTruncateExpr().
◆ isl_pw_aff_matching_params()
| isl_bool isl_pw_aff_matching_params | ( | __isl_keep isl_pw_aff * | pa, |
| __isl_keep isl_space * | space ) |
Definition at line 6647 of file isl_aff.c.
References __isl_keep, isl_bool_error, isl_pw_aff_get_space(), isl_space_free(), isl_space_has_equal_params(), match(), and pa.
◆ isl_pw_aff_max()
| __isl_give isl_pw_aff * isl_pw_aff_max | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3819 of file isl_aff.c.
References __isl_give, __isl_take, and pw_aff_min_max().
Referenced by isl::checked::pw_aff::max(), and polly::SCEVAffinator::visitSMaxExpr().
◆ isl_pw_aff_min()
| __isl_give isl_pw_aff * isl_pw_aff_min | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3811 of file isl_aff.c.
References __isl_give, __isl_take, and pw_aff_min_max().
Referenced by isl::checked::pw_aff::min(), and polly::SCEVAffinator::visitSMinExpr().
◆ isl_pw_aff_mod()
| __isl_give isl_pw_aff * isl_pw_aff_mod | ( | __isl_take isl_pw_aff * | pwaff, |
| isl_int | m ) |
Definition at line 1825 of file isl_aff.c.
References __isl_give, __isl_take, 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_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 1844 of file isl_aff.c.
References __isl_give, __isl_take, 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(), m, and pa.
Referenced by isl::checked::pw_aff::mod().
◆ isl_pw_aff_mul()
| __isl_give isl_pw_aff * isl_pw_aff_mul | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3618 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_mul().
Referenced by isl_pw_aff_tdiv_r(), isl::checked::pw_aff::mul(), polly::SCEVAffinator::visit(), and polly::SCEVAffinator::visitMulExpr().
◆ isl_pw_aff_nan_on_domain()
| __isl_give isl_pw_aff * isl_pw_aff_nan_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 319 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_nan_on_domain(), and isl_pw_aff_from_aff().
Referenced by isl_pw_aff_cond(), and nan_on_domain_set().
◆ isl_pw_aff_nan_on_domain_space()
| __isl_give isl_pw_aff * isl_pw_aff_nan_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 310 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_nan_on_domain_space(), and isl_pw_aff_from_aff().
Referenced by nan_on_domain().
◆ isl_pw_aff_ne_set()
| __isl_give isl_set * isl_pw_aff_ne_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3362 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_copy(), isl_pw_aff_gt_set(), isl_pw_aff_lt_set(), isl_set, and isl_set_union_disjoint().
Referenced by isl_pw_aff_list_ne_set(), and isl::checked::pw_aff::ne_set().
◆ isl_pw_aff_non_zero_set()
| __isl_give isl_set * isl_pw_aff_non_zero_set | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3059 of file isl_aff.c.
References __isl_give, __isl_take, aff_zero_basic_set(), isl_set, and pw_aff_locus().
Referenced by isl_pw_aff_cond().
◆ isl_pw_aff_nonneg_set()
| __isl_give isl_set * isl_pw_aff_nonneg_set | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3043 of file isl_aff.c.
References __isl_give, __isl_take, aff_nonneg_basic_set(), isl_set, and pw_aff_locus().
Referenced by polly::SCEVAffinator::interpretAsUnsigned(), isl_pw_aff_tdiv_q(), and pw_aff_gte_set().
◆ isl_pw_aff_order_map()
|
static |
Definition at line 3204 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_aff_domain_map(), isl_multi_aff_range_map(), isl_pw_aff_get_space(), isl_pw_aff_pullback_multi_aff(), isl_set, 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_pw_aff_param_on_domain_id()
| __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 7755 of file isl_aff.c.
References __isl_give, __isl_take, aff, domain, isl_aff_param_on_domain_space_id(), isl_id_copy(), isl_pw_aff_alloc(), isl_set, 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::checked::pw_aff::param_on_domain().
◆ isl_pw_aff_plain_cmp()
| int isl_pw_aff_plain_cmp | ( | __isl_keep isl_pw_aff * | pa1, |
| __isl_keep isl_pw_aff * | pa2 ) |
Definition at line 7694 of file isl_aff.c.
References __isl_keep, cmp(), isl_aff_plain_cmp(), isl_set_plain_cmp(), and isl_space_cmp().
Referenced by reduce_list_cmp().
◆ isl_pw_aff_pos_set()
| __isl_give isl_set * isl_pw_aff_pos_set | ( | __isl_take isl_pw_aff * | pa | ) |
Definition at line 3035 of file isl_aff.c.
References __isl_give, __isl_take, aff_pos_basic_set(), isl_set, pa, and pw_aff_locus().
Referenced by polly::SCEVAffinator::takeNonNegativeAssumption().
◆ isl_pw_aff_pullback_multi_pw_aff()
| __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 7454 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_pw_aff_apply_pw_aff(), and pa.
Referenced by isl::checked::pw_aff::pullback().
◆ isl_pw_aff_scale_down()
| __isl_give isl_pw_aff * isl_pw_aff_scale_down | ( | __isl_take isl_pw_aff * | pwaff, |
| isl_int | v ) |
Definition at line 3374 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_scale_down(), isl_die, isl_error_invalid, isl_int_is_one, isl_int_is_pos, isl_pw_aff_free(), and isl_pw_aff_get_ctx().
Referenced by affine_mod(), isl_pw_aff_mod(), and pw_aff_div_by_cst().
◆ isl_pw_aff_select()
|
static |
Definition at line 3416 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_add_disjoint(), isl_pw_aff_intersect_domain(), and isl_set.
Referenced by isl_pw_aff_cond(), pw_aff_max(), and pw_aff_min().
◆ isl_pw_aff_set_rational()
| __isl_give isl_pw_aff * isl_pw_aff_set_rational | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3980 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_free(), and isl_set_set_rational().
Referenced by accept_extended_affine(), isl_pw_aff_list_set_rational(), map_from_tuple(), and update_piecewise_affine_colon().
◆ isl_pw_aff_tdiv_q()
| __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 3656 of file isl_aff.c.
References __isl_give, __isl_take, 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(), isl_set, and isl_set_indicator_function().
Referenced by isl_pw_aff_tdiv_r(), isl::checked::pw_aff::tdiv_q(), and polly::SCEVAffinator::visitSDivInstruction().
◆ isl_pw_aff_tdiv_r()
| __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 3692 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::pw_aff::tdiv_r(), and polly::SCEVAffinator::visitSRemInstruction().
◆ isl_pw_aff_union_max()
| __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 2948 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_ge_set().
Referenced by isl_pw_aff_union_opt().
◆ isl_pw_aff_union_min()
| __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 2961 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_le_set().
Referenced by isl_pw_aff_union_opt().
◆ 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 2968 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_union_max(), and isl_pw_aff_union_min().
Referenced by map_dim_opt().
◆ isl_pw_aff_val_on_domain()
| __isl_give isl_pw_aff * isl_pw_aff_val_on_domain | ( | __isl_take isl_set * | domain, |
| __isl_take isl_val * | v ) |
Definition at line 7729 of file isl_aff.c.
References __isl_give, __isl_take, aff, domain, isl_aff_val_on_domain(), isl_local_space_from_space(), isl_pw_aff_alloc(), isl_set, 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_pw_aff_var_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 409 of file isl_aff.c.
References __isl_give, __isl_take, 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_pw_aff_zero_on_domain()
| __isl_give isl_pw_aff * isl_pw_aff_zero_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 267 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_zero_on_domain(), and isl_pw_aff_from_aff().
Referenced by polly::ScopBuilder::buildUnsignedConditionSets(), and isl::pw_aff::pw_aff().
◆ isl_pw_aff_zero_set()
| __isl_give isl_set * isl_pw_aff_zero_set | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3051 of file isl_aff.c.
References __isl_give, __isl_take, aff_zero_basic_set(), isl_set, and pw_aff_locus().
Referenced by isl_pw_aff_cond(), map_from_tuple(), pw_aff_gte_set(), and zero_union_set().
◆ isl_pw_multi_aff_add()
| __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 4859 of file isl_aff.c.
References __isl_give, and __isl_take.
Referenced by isl::checked::pw_multi_aff::add(), and isl_obj_pw_multi_aff_add().
◆ isl_pw_multi_aff_domain_map()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_domain_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4353 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_aff_domain_map(), and isl_pw_multi_aff_from_multi_aff().
Referenced by isl::checked::pw_multi_aff::domain_map(), and isl_space_domain_map_pw_multi_aff().
◆ isl_pw_multi_aff_flat_range_product()
| __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 6475 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_get_space(), isl_space_flatten_range(), and isl_space_range_product().
Referenced by isl::checked::pw_multi_aff::flat_range_product(), and flat_range_product_entry().
◆ isl_pw_multi_aff_from_domain()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_domain | ( | __isl_take isl_set * | set | ) |
Definition at line 6341 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_alloc(), isl_set, isl_set_get_space(), isl_space_from_domain(), ma, and set.
Referenced by add_pw_multi_aff_from_domain().
◆ isl_pw_multi_aff_from_map()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_map | ( | __isl_take isl_map * | map | ) |
Definition at line 5617 of file isl_aff.c.
References __isl_give, __isl_take, 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_plug_in(), pw_multi_aff_from_map_stride(), test_map_conversion(), test_parse_mpa(), test_parse_pma(), and update_values().
◆ isl_pw_multi_aff_from_multi_pw_aff()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_multi_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 7021 of file isl_aff.c.
References __isl_give, __isl_take, 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(), pa, 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().
◆ isl_pw_multi_aff_from_multi_pw_aff_0D()
|
static |
Definition at line 7002 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_alloc(), isl_set, and ma.
Referenced by isl_pw_multi_aff_from_multi_pw_aff().
◆ isl_pw_multi_aff_from_pw_aff()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_pw_aff | ( | __isl_take isl_pw_aff * | pa | ) |
Definition at line 6968 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_copy(), isl_multi_aff_from_aff(), isl_pw_aff_free(), isl_pw_aff_get_space(), isl_set, isl_set_copy(), ma, pa, pma, and set.
Referenced by isl_pw_multi_aff_from_multi_pw_aff(), isl::checked::pw_multi_aff::pw_multi_aff(), and pw_multi_aff_from_pw_aff_entry().
◆ isl_pw_multi_aff_from_set()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_set | ( | __isl_take isl_set * | set | ) |
Definition at line 5657 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_from_map(), isl_set, and set.
Referenced by isl_set_as_pw_multi_aff(), polly::IslNodeBuilder::preloadUnconditionally(), and test_set_conversion().
◆ isl_pw_multi_aff_get_at()
|
static |
Definition at line 6300 of file isl_aff.c.
References __isl_give, __isl_keep, 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(), pa, pma, and pos().
Referenced by isl_pw_multi_aff_get_pw_aff().
◆ 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 6332 of file isl_aff.c.
References __isl_give, __isl_keep, 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_pw_multi_aff_identity()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_identity | ( | __isl_take isl_space * | space | ) |
Definition at line 4471 of file isl_aff.c.
References __isl_give, __isl_take, and isl_pw_multi_aff_from_multi_aff().
Referenced by identity_upma(), pw_multi_aff_from_map_stride(), and set_enforced_from_set().
◆ isl_pw_multi_aff_identity_on_domain_space()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_identity_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 4480 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_from_multi_aff(), and ma.
Referenced by isl::checked::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_pw_multi_aff_is_equal()
| 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 7241 of file isl_aff.c.
References __isl_keep, 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_pw_multi_aff_multi_val_on_domain()
| __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 7840 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_multi_aff_multi_val_on_space(), isl_pw_multi_aff_alloc(), isl_set, isl_set_get_space(), and ma.
Referenced by isl_set_pw_multi_aff_on_domain_multi_val(), isl::checked::pw_multi_aff::multi_val_on_domain(), and pw_multi_aff_multi_val_on_domain().
◆ isl_pw_multi_aff_op_multi_val()
|
static |
Definition at line 6856 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff()
|
static |
Definition at line 7969 of file isl_aff.c.
References __isl_take, 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_pw_multi_aff_product()
| __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 4880 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_pw_multi_aff_free(), isl_set, 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::checked::pw_multi_aff::product(), and test_product_pma().
◆ isl_pw_multi_aff_project_out_map()
| __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 4449 of file isl_aff.c.
References __isl_give, __isl_take, 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_pw_multi_aff_range_factor_domain()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_range_factor_domain | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 4811 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::pw_multi_aff::range_factor_domain().
◆ isl_pw_multi_aff_range_factor_range()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_range_factor_range | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 4821 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::pw_multi_aff::range_factor_range().
◆ isl_pw_multi_aff_range_is_wrapping()
|
static |
Definition at line 4787 of file isl_aff.c.
References __isl_keep, 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_pw_multi_aff_range_map()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_range_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4371 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_aff_range_map(), and isl_pw_multi_aff_from_multi_aff().
Referenced by isl_space_range_map_pw_multi_aff(), and isl::checked::pw_multi_aff::range_map().
◆ isl_pw_multi_aff_range_product()
| __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 6460 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::pw_multi_aff::range_product(), and range_product_entry().
◆ isl_pw_multi_aff_scale_down_multi_val()
| __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 6898 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_op_multi_val(), and pma.
Referenced by isl::checked::pw_multi_aff::scale_down().
◆ isl_pw_multi_aff_scale_multi_val()
| __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 6889 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_op_multi_val(), and pma.
Referenced by isl::checked::pw_multi_aff::scale(), and union_pw_multi_aff_scale_multi_val_entry().
◆ isl_pw_multi_aff_set_pw_aff()
| __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 6620 of file isl_aff.c.
References __isl_give, __isl_take, 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(), pa, pma, pos(), and pw_multi_aff_set_pw_aff().
Referenced by set_enforced_from_set(), and isl::pw_multi_aff::set_pw_aff().
◆ isl_pw_multi_aff_sub()
| __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 4869 of file isl_aff.c.
References __isl_give, and __isl_take.
Referenced by isl::checked::pw_multi_aff::sub().
◆ isl_pw_multi_aff_substitute()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_substitute | ( | __isl_take isl_pw_multi_aff * | pma, |
| unsigned | pos, | ||
| __isl_keep isl_pw_aff * | subs ) |
Definition at line 5860 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, isl_dim_in, isl_multi_aff_substitute(), isl_pw_multi_aff_free(), isl_set, isl_set_copy(), isl_set_free(), isl_set_intersect(), isl_set_plain_is_empty(), isl_set_substitute(), isl_space_copy(), n, pma, pos(), and res.
Referenced by split_domain_pma().
◆ isl_pw_multi_aff_to_multi_pw_aff()
| __isl_give isl_multi_pw_aff * isl_pw_multi_aff_to_multi_pw_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 7141 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_pw_aff_from_pw_multi_aff(), and pma.
Referenced by isl::checked::pw_multi_aff::to_multi_pw_aff().
◆ isl_pw_multi_aff_union_lexmax()
| __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 4835 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_aff_lex_ge_set().
Referenced by isl_map_partial_lexopt_aligned_pw_multi_aff().
◆ isl_pw_multi_aff_union_lexmin()
| __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 4850 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_aff_lex_le_set().
Referenced by isl_map_partial_lexopt_aligned_pw_multi_aff().
◆ isl_pw_multi_aff_zero()
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_zero | ( | __isl_take isl_space * | space | ) |
Definition at line 6960 of file isl_aff.c.
References __isl_give, __isl_take, and isl_pw_multi_aff_from_multi_aff().
Referenced by isl::checked::pw_multi_aff::zero().
◆ isl_seq_preimage()
| isl_stat isl_seq_preimage | ( | isl_int * | dst, |
| isl_int * | src, | ||
| __isl_keep isl_multi_aff * | ma, | ||
| int | n_before, | ||
| int | n_after, | ||
| int | n_div_ma, | ||
| int | n_div_bmap, | ||
| isl_int | f, | ||
| isl_int | c1, | ||
| isl_int | c2, | ||
| isl_int | g, | ||
| int | has_denom ) |
Definition at line 5944 of file isl_aff.c.
References __isl_keep, c1, c2, f, isl_dim_in, isl_dim_out, isl_dim_param, isl_int_divexact, isl_int_gcd, isl_int_is_zero, isl_int_mul, isl_int_set, isl_int_set_si, isl_seq_clr(), isl_seq_combine(), isl_seq_cpy(), isl_seq_scale(), isl_stat_error, isl_stat_ok, ma, and offset.
Referenced by isl_aff_pullback_multi_aff(), isl_basic_map_preimage_multi_aff(), and isl_local_space_preimage_multi_aff().
◆ isl_set_as_pw_multi_aff()
| __isl_give isl_pw_multi_aff * isl_set_as_pw_multi_aff | ( | __isl_take isl_set * | set | ) |
Definition at line 5665 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_from_set(), isl_set, and set.
Referenced by isl::checked::set::as_pw_multi_aff().
◆ isl_set_indicator_function()
| __isl_give isl_pw_aff * isl_set_indicator_function | ( | __isl_take isl_set * | set | ) |
Definition at line 5741 of file isl_aff.c.
References __isl_give, __isl_take, 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, isl_set_complement(), isl_set_copy(), isl_set_get_space(), pa, and set.
Referenced by accept_ternary(), isl::checked::set::indicator_function(), and isl_pw_aff_tdiv_q().
◆ isl_set_max_multi_pw_aff()
| __isl_give isl_multi_pw_aff * isl_set_max_multi_pw_aff | ( | __isl_take isl_set * | set | ) |
Definition at line 6822 of file isl_aff.c.
References __isl_give, __isl_take, isl_set, isl_set_dim_max(), and set.
Referenced by isl::checked::set::max_multi_pw_aff().
◆ isl_set_min_multi_pw_aff()
| __isl_give isl_multi_pw_aff * isl_set_min_multi_pw_aff | ( | __isl_take isl_set * | set | ) |
Definition at line 6814 of file isl_aff.c.
References __isl_give, __isl_take, isl_set, isl_set_dim_min(), and set.
Referenced by check_single_expr_min(), and isl::checked::set::min_multi_pw_aff().
◆ isl_set_param_pw_aff_on_domain_id()
| __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 7773 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_pw_aff_param_on_domain_id(), and isl_set.
Referenced by isl::checked::set::param_pw_aff_on_domain().
◆ isl_set_pw_aff_on_domain_val()
| __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 7746 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_pw_aff_val_on_domain(), and isl_set.
Referenced by isl::checked::set::pw_aff_on_domain().
◆ isl_set_pw_multi_aff_on_domain_multi_val()
| __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 7856 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_pw_multi_aff_multi_val_on_domain(), and isl_set.
Referenced by isl::checked::set::pw_multi_aff_on_domain().
◆ isl_space_domain_map_multi_aff()
| __isl_give isl_multi_aff * isl_space_domain_map_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4291 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_aff_domain_map().
Referenced by isl::checked::space::domain_map_multi_aff().
◆ isl_space_domain_map_pw_multi_aff()
| __isl_give isl_pw_multi_aff * isl_space_domain_map_pw_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4362 of file isl_aff.c.
References __isl_give, __isl_take, and isl_pw_multi_aff_domain_map().
Referenced by isl::checked::space::domain_map_pw_multi_aff().
◆ isl_space_identity_pw_multi_aff_on_domain()
| __isl_give isl_pw_multi_aff * isl_space_identity_pw_multi_aff_on_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 4493 of file isl_aff.c.
References __isl_give, __isl_take, and isl_pw_multi_aff_identity_on_domain_space().
Referenced by isl::checked::space::identity_pw_multi_aff_on_domain().
◆ isl_space_multi_aff_on_domain_multi_val()
| __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 7831 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_aff_multi_val_on_domain_space().
Referenced by isl::checked::space::multi_aff_on_domain().
◆ isl_space_param_aff_on_domain_id()
| __isl_give isl_aff * isl_space_param_aff_on_domain_id | ( | __isl_take isl_space * | space, |
| __isl_take isl_id * | id ) |
Definition at line 443 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_param_on_domain_space_id().
Referenced by isl::checked::space::param_aff_on_domain().
◆ isl_space_range_map_multi_aff()
| __isl_give isl_multi_aff * isl_space_range_map_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4344 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_aff_range_map().
Referenced by isl::checked::space::range_map_multi_aff().
◆ isl_space_range_map_pw_multi_aff()
| __isl_give isl_pw_multi_aff * isl_space_range_map_pw_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4380 of file isl_aff.c.
References __isl_give, __isl_take, and isl_pw_multi_aff_range_map().
Referenced by isl::checked::space::range_map_pw_multi_aff().
◆ isl_space_zero_aff_on_domain()
| __isl_give isl_aff * isl_space_zero_aff_on_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 259 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_zero_on_domain_space().
Referenced by isl::checked::space::zero_aff_on_domain().
◆ isl_union_map_as_multi_union_pw_aff()
| __isl_give isl_multi_union_pw_aff * isl_union_map_as_multi_union_pw_aff | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 8918 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_union_pw_aff_from_union_map().
Referenced by isl::checked::union_map::as_multi_union_pw_aff().
◆ isl_union_map_as_union_pw_multi_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 5722 of file isl_aff.c.
References __isl_give, __isl_take, and isl_union_pw_multi_aff_from_union_map().
Referenced by isl::checked::union_map::as_union_pw_multi_aff().
◆ isl_union_map_from_multi_union_pw_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 9157 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::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().
◆ isl_union_map_from_multi_union_pw_aff_0D()
|
static |
Definition at line 9126 of file isl_aff.c.
References __isl_give, __isl_take, isl_die, isl_error_invalid, isl_multi_union_pw_aff_domain(), isl_set_universe(), isl_union_map_from_domain_and_range(), isl_union_set, 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_union_pw_aff_aff_on_domain()
| __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 8278 of file isl_aff.c.
References __isl_give, __isl_take, aff, domain, isl_pw_aff_from_aff(), isl_union_pw_aff_pw_aff_on_domain(), isl_union_set, and pa.
Referenced by isl_union_pw_aff_param_on_domain_id(), multi_union_pw_aff_apply_aff(), and test_upa().
◆ isl_union_pw_aff_bind_id()
| __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 8546 of file isl_aff.c.
References __isl_give, __isl_take, 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, isl_union_set_empty(), and isl_union_set_free().
Referenced by isl::checked::union_pw_aff::bind().
◆ isl_union_pw_aff_check_match_domain_space()
|
static |
Definition at line 8061 of file isl_aff.c.
References __isl_keep, 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_union_pw_aff_floor()
| __isl_give isl_union_pw_aff * isl_union_pw_aff_floor | ( | __isl_take isl_union_pw_aff * | upa | ) |
Definition at line 8175 of file isl_aff.c.
References __isl_give, __isl_take, and floor_entry().
Referenced by isl_multi_union_pw_aff_tile(), isl_union_pw_aff_mod_val(), and multi_union_pw_aff_apply_aff().
◆ isl_union_pw_aff_matching_params()
|
static |
Definition at line 8094 of file isl_aff.c.
References __isl_keep, 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_union_pw_aff_mod_val()
| __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 8187 of file isl_aff.c.
References __isl_give, __isl_take, 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_union_pw_aff_param_on_domain_id()
| __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 8293 of file isl_aff.c.
References __isl_give, __isl_take, aff, domain, isl_aff_param_on_domain_space_id(), isl_id_copy(), isl_space_add_param_id(), isl_union_pw_aff_aff_on_domain(), isl_union_set, and isl_union_set_get_space().
Referenced by test_upa().
◆ isl_union_pw_aff_pullback_union_pw_multi_aff()
| __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 8619 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::union_pw_aff::pullback().
◆ isl_union_pw_aff_pw_aff_on_domain()
| __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 8367 of file isl_aff.c.
References __isl_give, __isl_take, 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, isl_union_set_align_params(), isl_union_set_free(), isl_union_set_get_space(), and 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().
◆ isl_union_pw_aff_pw_aff_on_domain_aligned()
|
static |
Definition at line 8344 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_pw_aff_free(), isl_union_pw_aff_empty(), isl_union_pw_aff_free(), isl_union_set, isl_union_set_foreach_set(), isl_union_set_free(), isl_union_set_get_space(), isl_union_pw_aff_pw_aff_on_domain_data::pa, 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().
◆ isl_union_pw_aff_reset_domain_space()
|
static |
Definition at line 8143 of file isl_aff.c.
References __isl_give, __isl_take, 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_union_pw_aff_val_on_domain()
| __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 8436 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_union_pw_aff_empty(), isl_union_pw_aff_free(), isl_union_set, 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_union_pw_aff_zero_union_set()
| __isl_give isl_union_set * isl_union_pw_aff_zero_union_set | ( | __isl_take isl_union_pw_aff * | upa | ) |
Definition at line 8505 of file isl_aff.c.
References __isl_give, __isl_take, isl_union_pw_aff_foreach_pw_aff(), isl_union_pw_aff_free(), isl_union_pw_aff_get_space(), isl_union_set, isl_union_set_empty(), isl_union_set_free(), and zero_union_set().
Referenced by isl_multi_union_pw_aff_zero_union_set().
◆ isl_union_pw_multi_aff_apply_union_pw_multi_aff()
| __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 7946 of file isl_aff.c.
References __isl_take, isl_union_pw_multi_aff_pullback_union_pw_multi_aff(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::checked::union_pw_multi_aff::apply().
◆ isl_union_pw_multi_aff_as_multi_union_pw_aff()
| __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 8893 of file isl_aff.c.
References __isl_take, isl_multi_union_pw_aff_from_union_pw_multi_aff(), and isl_union_pw_aff_pullback_upma_data::upma.
Referenced by isl::checked::union_pw_multi_aff::as_multi_union_pw_aff().
◆ isl_union_pw_multi_aff_flat_range_product()
| __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 6530 of file isl_aff.c.
References __isl_give, __isl_take, bin_op, flat_range_product_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::checked::union_pw_multi_aff::flat_range_product(), and isl_union_pw_multi_aff_from_multi_union_pw_aff().
◆ isl_union_pw_multi_aff_from_aff()
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 5687 of file isl_aff.c.
References __isl_give, __isl_take, 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_union_pw_multi_aff_from_domain()
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_domain | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 6371 of file isl_aff.c.
References __isl_give, __isl_take, add_pw_multi_aff_from_domain(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), isl_union_set, 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_union_pw_multi_aff_from_multi_union_pw_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 9278 of file isl_aff.c.
References __isl_take, 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_union_pw_multi_aff_from_multi_union_pw_aff_0D()
| __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 9257 of file isl_aff.c.
References __isl_take, domain, isl_multi_union_pw_aff_domain(), isl_union_pw_multi_aff_multi_val_on_domain(), isl_union_set, and mupa.
Referenced by isl_union_pw_multi_aff_from_multi_union_pw_aff().
◆ isl_union_pw_multi_aff_from_union_map()
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_union_map | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 5703 of file isl_aff.c.
References __isl_give, __isl_take, 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_union_pw_multi_aff_from_union_pw_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 8470 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::union_pw_multi_aff::union_pw_multi_aff().
◆ isl_union_pw_multi_aff_from_union_set()
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_union_set | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 5733 of file isl_aff.c.
References __isl_give, __isl_take, isl_union_pw_multi_aff_from_union_map(), and isl_union_set.
◆ isl_union_pw_multi_aff_get_union_pw_aff()
| __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 8252 of file isl_aff.c.
References __isl_give, __isl_keep, 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_union_pw_multi_aff_multi_val_on_domain()
| __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 7891 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), isl_union_set, 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_union_pw_multi_aff_preimage_domain_wrapped_domain_union_pw_multi_aff()
| __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 8044 of file isl_aff.c.
References __isl_take, bin_op, preimage_domain_wrapped_domain_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::checked::union_pw_multi_aff::preimage_domain_wrapped_domain().
◆ isl_union_pw_multi_aff_pullback_union_pw_multi_aff()
| __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 7934 of file isl_aff.c.
References __isl_take, 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::checked::union_pw_multi_aff::pullback(), and subtree_contraction_enter().
◆ isl_union_pw_multi_aff_range_factor_domain()
| __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 9958 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::union_pw_multi_aff::range_factor_domain().
◆ isl_union_pw_multi_aff_range_factor_range()
| __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 9971 of file isl_aff.c.
References __isl_give, __isl_take, 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::checked::union_pw_multi_aff::range_factor_range().
◆ isl_union_pw_multi_aff_range_product()
| __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 6550 of file isl_aff.c.
References __isl_give, __isl_take, bin_op, range_product_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::checked::union_pw_multi_aff::range_product().
◆ isl_union_pw_multi_aff_reset_range_space()
|
static |
Definition at line 9232 of file isl_aff.c.
References __isl_take, 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_union_pw_multi_aff_scale_multi_val()
| __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 6931 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ isl_union_pw_multi_aff_un_op()
|
static |
Definition at line 9941 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ isl_union_pw_multi_aff_un_op_drop_user()
|
static |
Definition at line 9924 of file isl_aff.c.
References __isl_give, __isl_take, isl_union_pw_multi_aff_un_op_control::fn, pma, and user.
Referenced by isl_union_pw_multi_aff_un_op().
◆ isl_union_pw_multi_aff_un_op_filter_drop_user()
|
static |
Definition at line 9911 of file isl_aff.c.
References __isl_take, isl_union_pw_multi_aff_un_op_control::filter, pma, and user.
Referenced by isl_union_pw_multi_aff_un_op().
◆ less()
|
static |
Definition at line 3870 of file isl_aff.c.
References __isl_give, __isl_keep, isl_pw_aff_le_set(), isl_pw_aff_lt_set(), and isl_set.
Referenced by find_modulo_constraint_pair(), and isl_pw_aff_list_opt().
◆ merge_divs()
|
static |
Definition at line 1643 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ multi_union_pw_aff_apply_aff()
|
static |
Definition at line 9436 of file isl_aff.c.
References __isl_give, __isl_take, 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(), isl_union_set, 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().
◆ mupa_apply_multi_aff_0D()
|
static |
Definition at line 9545 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_union_pw_aff_domain(), isl_multi_union_pw_aff_multi_aff_on_domain(), isl_union_set, ma, and mupa.
Referenced by isl_multi_union_pw_aff_apply_multi_aff().
◆ mupa_apply_pw_multi_aff_0D()
|
static |
Definition at line 9699 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_union_pw_aff_domain(), isl_multi_union_pw_aff_pw_multi_aff_on_domain(), isl_pw_multi_aff_project_domain_on_params(), isl_union_set, mupa, and pma.
Referenced by isl_multi_union_pw_aff_apply_pw_multi_aff().
◆ mupa_intersect_range_0D()
|
static |
Definition at line 9320 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_union_pw_aff_intersect_params(), isl_set, isl_set_params(), mupa, and range.
Referenced by isl_multi_union_pw_aff_intersect_range().
◆ nan_on_domain_set()
|
static |
Definition at line 3731 of file isl_aff.c.
References __isl_give, __isl_take, isl_local_space_from_space(), isl_pw_aff_intersect_domain(), isl_pw_aff_nan_on_domain(), isl_set, isl_set_get_space(), and pa.
Referenced by replace_by_nan(), and replace_list_by_nan().
◆ pa_pb_pma()
|
static |
Definition at line 8574 of file isl_aff.c.
References __isl_take, 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, pa, pma, isl_union_pw_aff_pullback_upma_data::res, and user.
Referenced by upa_pb_upma().
◆ pick_free()
|
static |
Definition at line 1049 of file isl_aff.c.
References __isl_give, __isl_take, aff, and isl_val_free().
Referenced by isl_aff_add_constant_val().
◆ plain_pw_multi_aff_from_map()
|
static |
Definition at line 5175 of file isl_aff.c.
References __isl_give, __isl_take, 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(), isl_set, and ma.
Referenced by isl_pw_multi_aff_from_map().
◆ plug_in_integral_divs()
|
static |
Definition at line 1514 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ plug_in_unit_divs()
|
static |
Definition at line 1579 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ preimage_domain_wrapped_domain_entry()
|
static |
Definition at line 8009 of file isl_aff.c.
References __isl_take, 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().
◆ preimage_explicit_domain()
|
static |
Definition at line 9775 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, 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().
◆ pullback_entry()
|
static |
Definition at line 7911 of file isl_aff.c.
References __isl_take, 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().
◆ pw_aff_gte_set()
|
static |
Definition at line 3126 of file isl_aff.c.
References __isl_give, __isl_take, 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, 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().
◆ pw_aff_list_set()
|
static |
Definition at line 3278 of file isl_aff.c.
References __isl_give, __isl_take, fn, isl_die, isl_error_invalid, isl_pw_aff_copy(), isl_pw_aff_get_domain_space(), isl_set, 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().
◆ pw_aff_locus()
|
static |
Definition at line 2995 of file isl_aff.c.
References __isl_give, __isl_take, aff, fn, isl_aff_copy(), isl_aff_is_nan(), isl_basic_set, isl_pw_aff_free(), isl_pw_aff_get_domain_space(), isl_set, 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().
◆ pw_aff_max()
|
static |
Definition at line 3772 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_copy(), isl_pw_aff_domain(), isl_pw_aff_ge_set(), isl_pw_aff_select(), isl_set, isl_set_copy(), isl_set_intersect(), and isl_set_subtract().
Referenced by pw_aff_min_max().
◆ pw_aff_min()
|
static |
Definition at line 3758 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_copy(), isl_pw_aff_domain(), isl_pw_aff_le_set(), isl_pw_aff_select(), isl_set, isl_set_copy(), isl_set_intersect(), and isl_set_subtract().
Referenced by pw_aff_min_max().
◆ pw_aff_min_max()
|
static |
Definition at line 3791 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ pw_aff_no_nan()
|
static |
Definition at line 3827 of file isl_aff.c.
References __isl_keep, isl_bool_not(), isl_pw_aff_involves_nan(), pa, and user.
Referenced by isl_pw_aff_list_involves_nan().
◆ pw_aff_on_domain()
|
static |
Definition at line 8318 of file isl_aff.c.
References __isl_take, 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, 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, pa, isl_union_pw_aff_pw_aff_on_domain_data::res, and user.
Referenced by isl_union_pw_aff_pw_aff_on_domain_aligned().
◆ pw_aff_val_on_domain()
|
static |
Definition at line 8417 of file isl_aff.c.
References __isl_take, domain, isl_pw_aff_val_on_domain(), isl_set, isl_stat_error, isl_stat_ok, isl_union_pw_aff_add_pw_aff(), isl_val_copy(), pa, 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().
◆ pw_multi_aff_check_range_product()
|
static |
Definition at line 4795 of file isl_aff.c.
References __isl_keep, 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().
◆ pw_multi_aff_factor()
|
static |
Definition at line 4756 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, 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().
◆ pw_multi_aff_from_map()
|
static |
Definition at line 5673 of file isl_aff.c.
References __isl_take, 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().
◆ pw_multi_aff_from_map_base()
|
static |
Definition at line 5193 of file isl_aff.c.
References __isl_give, __isl_take, 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_mod().
◆ pw_multi_aff_from_map_check_div_mod()
|
static |
Definition at line 5330 of file isl_aff.c.
References __isl_give, __isl_take, hull, isl_basic_map_free(), isl_basic_map_sort_constraints(), isl_basic_map_try_find_any_output_div_mod(), isl_map_copy(), isl_map_free(), isl_map_unshifted_simple_hull(), map, pw_multi_aff_from_map_base(), pw_multi_aff_from_map_plug_in(), and sub().
Referenced by pw_multi_aff_from_map_check_strides().
◆ pw_multi_aff_from_map_check_strides()
|
static |
Definition at line 5547 of file isl_aff.c.
References __isl_give, __isl_take, 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_any_non_zero(), isl_seq_gcd(), map, pw_multi_aff_from_map_check_div_mod(), pw_multi_aff_from_map_stride(), and res.
Referenced by isl_pw_multi_aff_from_map().
◆ pw_multi_aff_from_map_plug_in()
|
static |
Definition at line 5294 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_as_domain_extension(), isl_aff_dim(), isl_aff_free(), isl_dim_in, isl_dim_out, isl_map_apply_domain(), isl_map_equate(), isl_map_free(), isl_map_from_multi_aff_internal(), isl_pw_multi_aff_from_map(), isl_pw_multi_aff_pullback_multi_aff(), ma, map, and pma.
Referenced by pw_multi_aff_from_map_check_div_mod().
◆ pw_multi_aff_from_map_stride()
|
static |
Definition at line 5461 of file isl_aff.c.
References __isl_give, __isl_take, 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, 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().
◆ pw_multi_aff_from_pw_aff_entry()
|
static |
Definition at line 8455 of file isl_aff.c.
References __isl_take, isl_pw_multi_aff_from_pw_aff(), isl_stat_error, isl_stat_ok, isl_union_pw_multi_aff_add_pw_multi_aff(), pa, pma, and user.
Referenced by isl_union_pw_multi_aff_from_union_pw_aff().
◆ pw_multi_aff_multi_val_on_domain()
|
static |
Definition at line 7874 of file isl_aff.c.
References __isl_take, domain, isl_pw_multi_aff_multi_val_on_domain(), isl_set, 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().
◆ pw_multi_aff_set_pw_aff()
|
static |
Definition at line 6563 of file isl_aff.c.
References __isl_give, __isl_take, 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, isl_set_copy(), isl_set_free(), isl_set_intersect(), isl_set_plain_is_empty(), isl_space_tuple_is_equal(), n, pa, pma, pos(), and res.
Referenced by isl_pw_multi_aff_set_pw_aff().
◆ range_map()
|
static |
Definition at line 5375 of file isl_aff.c.
References __isl_give, __isl_take, 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.
◆ range_product_entry()
|
static |
Definition at line 6540 of file isl_aff.c.
References __isl_take, gen_range_product_entry(), isl_pw_multi_aff_range_product(), and user.
Referenced by isl_union_map_range_product(), and isl_union_pw_multi_aff_range_product().
◆ replace_by_nan()
|
static |
Definition at line 3749 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_domain(), isl_set, isl_set_intersect(), and nan_on_domain_set().
Referenced by pw_aff_min_max().
◆ replace_list_by_nan()
|
static |
Definition at line 3848 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_domain(), isl_set, isl_set_intersect(), n, and nan_on_domain_set().
Referenced by isl_pw_aff_list_opt().
◆ reset_params()
|
static |
Definition at line 8123 of file isl_aff.c.
References __isl_take, 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(), pa, isl_union_pw_aff_reset_params_data::res, isl_union_pw_aff_reset_params_data::space, and user.
Referenced by isl_union_map_reset_equal_dim_space(), and isl_union_pw_aff_reset_domain_space().
◆ reset_range_space()
|
static |
Definition at line 9205 of file isl_aff.c.
References __isl_take, 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_map_reset_range_space(), and isl_union_pw_multi_aff_reset_range_space().
◆ set_nan_free()
|
static |
Definition at line 1965 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_free(), and isl_aff_set_nan().
Referenced by isl_aff_div().
◆ set_nan_free_val()
|
static |
Definition at line 1058 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_set_nan(), and isl_val_free().
Referenced by isl_aff_add_constant_val().
◆ sort_divs()
|
static |
Definition at line 1673 of file isl_aff.c.
References __isl_give, __isl_take, 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_domain_reverse(), isl_aff_move_dims(), and isl_aff_normalize().
◆ subtract_initial()
|
static |
Definition at line 4923 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, 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().
◆ swap_div()
|
static |
Definition at line 1609 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ union_pw_multi_aff_scale_multi_val_entry()
|
static |
Definition at line 6910 of file isl_aff.c.
References __isl_give, __isl_take, 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().
◆ upa_pb_upma()
|
static |
Definition at line 8596 of file isl_aff.c.
References __isl_take, isl_pw_aff_free(), isl_union_pw_multi_aff_foreach_pw_multi_aff(), isl_union_pw_aff_pullback_upma_data::pa, 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().
◆ zero_union_set()
|
static |
Definition at line 8493 of file isl_aff.c.
References __isl_take, isl_pw_aff_zero_set(), isl_stat_error, isl_stat_ok, isl_union_set, isl_union_set_add_set(), pa, and user.
Referenced by isl_union_pw_aff_zero_union_set().
Generated on for Polly by
1.14.0