Polly 22.0.0git
|
#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl_union_map_private.h>
#include <isl_aff_private.h>
#include <isl_space_private.h>
#include <isl_local_space_private.h>
#include <isl_vec_private.h>
#include <isl_mat_private.h>
#include <isl_id_private.h>
#include <isl/constraint.h>
#include <isl_seq.h>
#include <isl/set.h>
#include <isl_val_private.h>
#include <isl_point_private.h>
#include <isl_config.h>
#include <isl_list_templ.c>
#include <isl_list_read_templ.c>
#include "isl_unbind_params_templ.c"
#include "check_type_range_templ.c"
#include <isl_domain_factor_templ.c>
#include <isl_pw_templ.c>
#include <isl_pw_un_op_templ.c>
#include <isl_pw_add_constant_val_templ.c>
#include <isl_pw_add_disjoint_templ.c>
#include <isl_pw_bind_domain_templ.c>
#include <isl_pw_eval.c>
#include <isl_pw_hash.c>
#include <isl_pw_fix_templ.c>
#include <isl_pw_from_range_templ.c>
#include <isl_pw_insert_dims_templ.c>
#include <isl_pw_insert_domain_templ.c>
#include <isl_pw_move_dims_templ.c>
#include <isl_pw_neg_templ.c>
#include <isl_pw_pullback_templ.c>
#include <isl_pw_scale_templ.c>
#include <isl_pw_sub_templ.c>
#include <isl_pw_union_opt.c>
#include <isl_union_single.c>
#include <isl_union_neg.c>
#include <isl_union_sub_templ.c>
#include <isl_union_pw_templ.c>
#include <isl_multi_no_explicit_domain.c>
#include <isl_multi_templ.c>
#include <isl_multi_un_op_templ.c>
#include <isl_multi_bin_val_templ.c>
#include <isl_multi_add_constant_templ.c>
#include <isl_multi_apply_set.c>
#include <isl_multi_arith_templ.c>
#include <isl_multi_bind_domain_templ.c>
#include <isl_multi_cmp.c>
#include <isl_multi_dim_id_templ.c>
#include <isl_multi_dims.c>
#include <isl_multi_floor.c>
#include <isl_multi_from_base_templ.c>
#include <isl_multi_identity_templ.c>
#include <isl_multi_insert_domain_templ.c>
#include <isl_multi_locals_templ.c>
#include <isl_multi_move_dims_templ.c>
#include <isl_multi_nan_templ.c>
#include <isl_multi_product_templ.c>
#include <isl_multi_splice_templ.c>
#include <isl_multi_tuple_id_templ.c>
#include <isl_multi_unbind_params_templ.c>
#include <isl_multi_zero_templ.c>
#include <isl_multi_gist.c>
#include <isl_multi_bind_templ.c>
#include <isl_pw_add_constant_multi_val_templ.c>
#include <isl_pw_locals_templ.c>
#include <isl_pw_range_tuple_id_templ.c>
#include <isl_union_multi.c>
#include "isl_union_locals_templ.c"
#include <isl_multi_explicit_domain.c>
#include <isl_multi_pw_aff_explicit_domain.c>
#include <isl_multi_coalesce.c>
#include <isl_multi_domain_templ.c>
#include <isl_multi_hash.c>
#include <isl_multi_align_set.c>
#include <isl_multi_intersect.c>
#include <isl_multi_min_max_templ.c>
#include <isl_multi_param_templ.c>
#include <isl_multi_union_add_templ.c>
#include "isl_opt_mpa_templ.c"
#include "isl_type_check_match_range_multi_val.c"
#include "isl_multi_pw_aff_pullback_templ.c"
#include "isl_aff_lex_templ.c"
#include "isl_copy_tuple_id_templ.c"
#include <isl_multi_union_pw_aff_explicit_domain.c>
#include <isl_multi_apply_union_set.c>
#include <isl_multi_align_union_set.c>
#include <isl_multi_zero_space_templ.c>
Go to the source code of this file.
Macros | |
#define | EL_BASE aff |
#define | EL_BASE pw_aff |
#define | EL_BASE pw_multi_aff |
#define | EL_BASE union_pw_aff |
#define | EL_BASE union_pw_multi_aff |
#define | TYPE isl_aff |
#define | TYPE isl_aff |
#define | TYPE isl_aff |
#define | isl_aff_involves_nan isl_aff_is_nan |
#define | PW isl_pw_aff |
#define | BASE aff |
#define | EL_IS_ZERO is_empty |
#define | ZERO empty |
#define | IS_ZERO is_empty |
#define | FIELD aff |
#define | DEFAULT_IS_ZERO 0 |
#define | BASE pw_aff |
#define | BASE aff |
#define | TYPE isl_pw_aff |
#define | BASE aff |
#define | DOMBASE set |
#define | DOMBASE basic_set |
#define | isl_multi_aff_zero_in_space isl_multi_aff_zero |
#define | PW isl_pw_multi_aff |
#define | BASE multi_aff |
#define | EL_IS_ZERO is_empty |
#define | ZERO empty |
#define | IS_ZERO is_empty |
#define | FIELD maff |
#define | DEFAULT_IS_ZERO 0 |
#define | BASE pw_multi_aff |
#define | BASE multi_aff |
#define | TYPE isl_pw_multi_aff |
#define | BASE pw_aff |
#define | DOMBASE set |
#define | BASE set |
#define | BASE map |
#define | TYPE isl_pw_multi_aff |
#define | BASE multi_aff |
#define | BASE pw_multi_aff |
#define | BASE multi_pw_aff |
#define | ORDER le |
#define | STRICT_ORDER lt |
#define | ORDER lt |
#define | STRICT_ORDER lt |
#define | ORDER ge |
#define | STRICT_ORDER gt |
#define | ORDER gt |
#define | STRICT_ORDER gt |
#define | TYPE isl_pw_multi_aff |
#define | BASE union_pw_aff |
#define | DOMBASE union_set |
#define DEFAULT_IS_ZERO 0 |
#define EL_BASE aff |
#define EL_IS_ZERO is_empty |
#define IS_ZERO is_empty |
#define isl_aff_involves_nan isl_aff_is_nan |
#define ORDER le |
#define PW isl_pw_aff |
Definition at line 2779 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(), S(), S(), S(), and S().
#define PW isl_pw_multi_aff |
#define TYPE isl_pw_aff |
#define TYPE isl_pw_multi_aff |
#define TYPE isl_pw_multi_aff |
#define TYPE isl_pw_multi_aff |
#define ZERO empty |
|
static |
Definition at line 1849 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().
|
static |
Definition at line 6307 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().
|
static |
Definition at line 2967 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().
|
static |
Definition at line 2308 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().
|
static |
Definition at line 2271 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().
|
static |
Definition at line 2363 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().
|
static |
Definition at line 6358 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.
|
static |
Definition at line 6376 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.
|
static |
Definition at line 8480 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().
|
static |
Definition at line 3596 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().
|
static |
Definition at line 9957 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().
|
static |
Definition at line 9943 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().
|
static |
Definition at line 4897 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().
|
static |
Definition at line 4971 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().
|
static |
Definition at line 4994 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().
|
static |
Definition at line 8759 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().
|
static |
Definition at line 6471 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().
|
static |
Definition at line 8117 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_floor(), pa, and user.
Referenced by isl_union_pw_aff_floor().
|
static |
Definition at line 6442 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().
|
static |
Definition at line 8176 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().
|
static |
Definition at line 5203 of file isl_aff.c.
References isl_int_is_negone, isl_int_is_one, isl_int_is_zero, isl_seq_first_non_zero(), offset, and total().
Referenced by pw_multi_aff_from_map_check_div().
__isl_give isl_aff * isl_aff_add | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 1896 of file isl_aff.c.
References __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::aff::add(), add_rational(), extract_aff_from_equality(), extract_modulos(), extract_rational(), extract_term_and_mod(), isl_aff_add_on_domain(), isl_aff_sub(), isl_ast_build_get_stride_expansion(), isl_pw_aff_add(), lower_bound(), print_aff_num_mod(), set_stride(), and subtract_initial().
__isl_give isl_aff * isl_aff_add_coefficient | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | type, | ||
int | pos, | ||
isl_int | v ) |
Definition at line 1253 of file isl_aff.c.
References __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_give isl_aff * isl_aff_add_coefficient_si | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | type, | ||
int | pos, | ||
int | v ) |
Definition at line 1353 of file isl_aff.c.
References __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_give isl_aff * isl_aff_add_coefficient_val | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | type, | ||
int | pos, | ||
__isl_take isl_val * | v ) |
Definition at line 1290 of file isl_aff.c.
References __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_give isl_aff * isl_aff_add_constant | ( | __isl_take isl_aff * | aff, |
isl_int | v ) |
Definition at line 913 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_int_addmul, isl_int_is_zero, and isl_vec_cow().
Referenced by accept_affine_factor(), and isl_aff_add_constant_si().
__isl_give isl_aff * isl_aff_add_constant_num | ( | __isl_take isl_aff * | aff, |
isl_int | v ) |
Definition at line 1042 of file isl_aff.c.
References __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_give isl_aff * isl_aff_add_constant_num_si | ( | __isl_take isl_aff * | aff, |
int | v ) |
Definition at line 1068 of file isl_aff.c.
References __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_give isl_aff * isl_aff_add_constant_si | ( | __isl_take isl_aff * | aff, |
int | v ) |
Definition at line 1026 of file isl_aff.c.
References __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_give isl_aff * isl_aff_add_constant_val | ( | __isl_take isl_aff * | aff, |
__isl_take isl_val * | v ) |
Definition at line 997 of file isl_aff.c.
References __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::aff::add_constant(), is_non_neg_after_stealing(), oppose_div_arg(), and steal_from_cst().
__isl_give isl_aff * isl_aff_add_dims | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | type, | ||
unsigned | n ) |
Definition at line 2690 of file isl_aff.c.
References __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_give isl_aff * isl_aff_add_on_domain | ( | __isl_keep isl_set * | dom, |
__isl_take isl_aff * | aff1, | ||
__isl_take isl_aff * | aff2 ) |
Definition at line 2510 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, isl_aff_add(), isl_aff_gist(), isl_set, and isl_set_copy().
|
static |
Definition at line 938 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_give isl_aff * isl_aff_align_divs | ( | __isl_take isl_aff * | dst, |
__isl_keep isl_aff * | src ) |
Definition at line 6088 of file isl_aff.c.
References __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_give isl_aff * isl_aff_align_params | ( | __isl_take isl_aff * | aff, |
__isl_take isl_space * | model ) |
Definition at line 651 of file isl_aff.c.
References __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_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_give isl_aff * isl_aff_alloc_vec | ( | __isl_take isl_local_space * | ls, |
__isl_take isl_vec * | v ) |
Definition at line 101 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_alloc_vec_validated(), isl_die, isl_error_invalid, isl_local_space_divs_known(), isl_local_space_free(), isl_local_space_get_ctx(), isl_local_space_is_set(), and isl_vec_free().
Referenced by isl_aff_alloc(), and isl_morph_get_var_multi_aff().
|
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(), isl_multi_aff_from_aff_mat(), and pw_multi_aff_from_map_div().
__isl_give isl_basic_set * isl_aff_bind_id | ( | __isl_take isl_aff * | aff, |
__isl_take isl_id * | id ) |
Definition at line 2949 of file isl_aff.c.
References __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::aff::bind(), and test_bind_aff().
__isl_give isl_aff * isl_aff_ceil | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1793 of file isl_aff.c.
References __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::aff::ceil(), compute_size_in_direction(), isl_pw_aff_ceil(), lower_bound(), and update_unrolling_lower_bound().
|
static |
Definition at line 9982 of file isl_aff.c.
References __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_stat isl_aff_check_match_domain_space | ( | __isl_keep isl_aff * | aff, |
__isl_keep isl_space * | space ) |
Definition at line 3923 of file isl_aff.c.
References __isl_keep, aff, isl_aff_get_ctx(), isl_aff_get_domain_space(), isl_die, isl_dim_in, isl_dim_set, isl_error_invalid, isl_space_free(), isl_space_has_equal_params(), isl_space_tuple_is_equal(), isl_stat_error, isl_stat_ok, and match().
int isl_aff_coefficient_sgn | ( | __isl_keep isl_aff * | aff, |
enum isl_dim_type | type, | ||
int | pos ) |
Definition at line 809 of file isl_aff.c.
References __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_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(), isl::aff::copy(), extends(), extract_aff_from_equality(), extract_mod(), extract_rational(), is_non_neg_after_stealing(), is_stride_constraint(), isl_aff_mod_val(), isl_aff_ne_set(), isl_ast_build_aff_is_nonneg(), isl_ast_expr_from_constraint_no_stride(), isl_ast_expr_mod(), isl_basic_map_from_aff_list(), isl_basic_map_from_multi_aff2(), isl_basic_set_opt(), isl_basic_set_opt_lp_val(), isl_basic_set_opt_lp_val_aligned(), isl_fixed_box_set_extent(), isl_map_from_pw_aff_internal(), isl_multi_pw_aff_apply_aff_aligned(), isl_multi_pw_aff_apply_pw_aff_aligned(), isl_multi_union_pw_aff_apply_pw_aff(), isl_pw_multi_aff_from_pw_aff(), isl_pw_qpolynomial_from_pw_aff(), isl_set_opt(), isl_set_substitute(), isl_stride_info_copy(), isl_stride_info_get_offset(), lower_bound(), isl::aff::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(), try_extract_mod(), update_unrolling_lower_bound(), and var_div().
__isl_give isl_aff * isl_aff_cow | ( | __isl_take isl_aff * | aff | ) |
Definition at line 163 of file isl_aff.c.
References __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_drop_dims(), isl_aff_expand_divs(), isl_aff_floor(), isl_aff_insert_dims(), isl_aff_lift(), isl_aff_move_dims(), isl_aff_mul(), isl_aff_neg(), isl_aff_realign_domain(), isl_aff_remove_unused_divs(), isl_aff_reset_domain_space(), isl_aff_restore_domain_local_space(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_set_coefficient(), isl_aff_set_coefficient_si(), isl_aff_set_coefficient_val(), isl_aff_set_constant(), isl_aff_set_constant_si(), isl_aff_set_constant_val(), isl_aff_set_dim_id(), isl_aff_set_dim_name(), isl_aff_set_nan(), isl_aff_set_tuple_id(), isl_aff_substitute(), and isl_aff_substitute_equalities_lifted().
isl_size isl_aff_dim | ( | __isl_keep isl_aff * | aff, |
enum isl_dim_type | type ) |
Definition at line 450 of file isl_aff.c.
References __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(), set_up_substitutions(), sort_divs(), try_extract_mod(), and update_n_div().
__isl_give isl_aff * isl_aff_div | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 3438 of file isl_aff.c.
References __isl_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::aff::div(), and isl_pw_aff_div().
isl_size isl_aff_domain_dim | ( | __isl_keep isl_aff * | aff, |
enum isl_dim_type | type ) |
Definition at line 439 of file isl_aff.c.
References __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().
|
static |
Definition at line 2616 of file isl_aff.c.
References __isl_keep, aff, isl_aff_peek_domain_space(), and isl_space_is_product().
isl_size isl_aff_domain_offset | ( | __isl_keep isl_aff * | aff, |
enum isl_dim_type | type ) |
Definition at line 464 of file isl_aff.c.
References __isl_keep, aff, isl_aff_peek_domain_local_space(), isl_local_space_offset(), and type.
Referenced by isl_aff_expand_divs(), isl_aff_move_dims(), isl_aff_remove_unused_divs(), last_modulo(), merge_divs(), plug_in_integral_divs(), plug_in_unit_divs(), and swap_div().
__isl_give isl_aff * isl_aff_drop_dims | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
unsigned | n ) |
Definition at line 2581 of file isl_aff.c.
References __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_multi_pw_aff_apply_aff_aligned(), and multi_union_pw_aff_apply_aff().
__isl_give isl_aff * isl_aff_dup | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 154 of file isl_aff.c.
References __isl_give, __isl_keep, aff, isl_aff_alloc_vec_validated(), isl_local_space_copy(), and isl_vec_copy().
Referenced by isl_aff_cow().
__isl_give isl_basic_set * isl_aff_eq_basic_set | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 2476 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_sub(), isl_aff_zero_basic_set(), and isl_basic_set.
Referenced by isl_aff_bind_id(), and isl_aff_eq_set().
__isl_give isl_set * isl_aff_eq_set | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 2487 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_eq_basic_set(), isl_set, and isl_set_from_basic_set().
Referenced by ast_expr_from_pw_aff(), isl::aff::eq_set(), and isl_multi_aff_lex_gte_set().
__isl_give isl_val * isl_aff_eval | ( | __isl_take isl_aff * | aff, |
__isl_take isl_point * | pnt ) |
Definition at line 9998 of file isl_aff.c.
References __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::aff::eval().
__isl_give isl_aff * isl_aff_expand_divs | ( | __isl_take isl_aff * | aff, |
__isl_take isl_mat * | div, | ||
int * | exp ) |
Definition at line 1821 of file isl_aff.c.
References __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().
int isl_aff_find_dim_by_name | ( | __isl_keep isl_aff * | aff, |
enum isl_dim_type | type, | ||
const char * | name ) |
Definition at line 476 of file isl_aff.c.
References __isl_keep, aff, isl_dim_in, isl_dim_out, isl_dim_set, isl_local_space_find_dim_by_name(), name, and type.
__isl_give isl_aff * isl_aff_floor | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1649 of file isl_aff.c.
References __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 isl::aff::floor(), isl_aff_ceil(), isl_aff_mod_val(), isl_pw_aff_floor(), pw_multi_aff_from_map_div(), set_up_substitutions(), test_aff(), and upper_bounds().
__isl_null isl_aff * isl_aff_free | ( | __isl_take isl_aff * | aff | ) |
Definition at line 390 of file isl_aff.c.
References __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(), check_parallel_or_opposite(), coefficients_of_sign(), compute_size(), compute_size_in_direction(), create_node(), eval_void(), extend_domain(), extract_aff_from_equality(), extract_modulo(), extract_modulos(), extract_nonneg_mod(), extract_rational(), extract_schedule_row(), extract_stride_constraint(), extract_term_and_mod(), find_unroll_lower_bound(), foreach_iteration(), harmonize_divs_with_hulls(), is_non_neg_after_stealing(), is_single_rational_aff(), is_stride_constraint(), isl_aff_add(), isl_aff_add_coefficient(), isl_aff_add_coefficient_val(), isl_aff_add_constant(), isl_aff_add_constant_num(), isl_aff_add_constant_val(), isl_aff_add_dims(), isl_aff_add_rat_constant_val(), isl_aff_align_divs(), isl_aff_align_params(), isl_aff_ceil(), isl_aff_div(), isl_aff_drop_dims(), isl_aff_eval(), isl_aff_expand_divs(), isl_aff_floor(), isl_aff_insert_dims(), isl_aff_lift(), isl_aff_mod_val(), isl_aff_move_dims(), isl_aff_mul(), isl_aff_neg(), isl_aff_normalize(), isl_aff_project_domain_on_params(), isl_aff_pullback_multi_aff(), isl_aff_realign_domain(), isl_aff_remove_unused_divs(), isl_aff_reset_domain_space(), isl_aff_restore_domain_local_space(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_aff_set_coefficient(), isl_aff_set_coefficient_si(), isl_aff_set_coefficient_val(), isl_aff_set_constant(), isl_aff_set_constant_si(), isl_aff_set_constant_val(), isl_aff_set_dim_id(), isl_aff_set_dim_name(), isl_aff_set_nan(), isl_aff_set_tuple_id(), isl_aff_substitute(), isl_aff_substitute_equalities(), isl_aff_substitute_equalities_lifted(), isl_ast_build_compute_gist_aff(), isl_ast_build_detect_strides(), isl_ast_build_has_affine_value(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint(), isl_ast_expr_from_constraint_no_stride(), isl_basic_map_from_aff2(), isl_basic_set_opt(), isl_basic_set_opt_lp_val(), isl_basic_set_opt_lp_val_aligned(), isl_constraint_alloc_aff(), isl_fixed_box_invalidate(), isl_map_get_range_lattice_tile(), isl_multi_aff_get_constant_multi_val(), isl_multi_pw_aff_apply_aff(), isl_multi_pw_aff_apply_aff_aligned(), isl_multi_union_pw_aff_apply_aff(), isl_qpolynomial_from_aff(), isl_set_opt(), isl_stride_info_alloc(), isl_stride_info_free(), merge_divs(), multi_union_pw_aff_apply_aff(), piece_opt(), plug_in_integral_divs(), plug_in_unit_divs(), print_aff_num_mod(), set_detect_stride(), set_dim_extent(), set_minimum_pa(), set_nan_free(), set_stride(), set_stride(), set_up_substitutions(), sort_divs(), swap_div(), test_aff(), test_aff_normalize(), test_aff_set_tuple_id(), test_bin_aff(), test_min(), test_min_special(), test_min_special2(), test_unbind_aff(), try_extract_mod(), update_n_div(), update_unrolling_lower_bound(), var_div(), and isl::aff::~aff().
__isl_give isl_aff * isl_aff_from_range | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2646 of file isl_aff.c.
References __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_give isl_basic_set * isl_aff_ge_basic_set | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 2397 of file isl_aff.c.
References __isl_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_give isl_set * isl_aff_ge_set | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 2419 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_ge_basic_set(), isl_set, and isl_set_from_basic_set().
Referenced by isl::aff::ge_set(), isl_aff_le_set(), isl_multi_aff_lex_gte_set(), and isl_pw_aff_union_max().
__isl_give isl_val * isl_aff_get_coefficient_val | ( | __isl_keep isl_aff * | aff, |
enum isl_dim_type | type, | ||
int | pos ) |
Definition at line 779 of file isl_aff.c.
References __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 check_parallel_or_opposite(), every_non_zero_coefficient(), extract_modulos(), extract_stride_constraint(), is_stride_constraint(), isl_multi_pw_aff_apply_aff_aligned(), multi_union_pw_aff_apply_aff(), and print_aff_num_mod().
__isl_give isl_val * isl_aff_get_constant_val | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 761 of file isl_aff.c.
References __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::aff::constant_val(), extract_rational(), is_even_test(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint_no_stride(), isl_multi_aff_get_constant_multi_val(), mod_constraint_is_simpler(), shift_if_cst_int(), and try_extract_mod().
isl_ctx * isl_aff_get_ctx | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 406 of file isl_aff.c.
References __isl_keep, aff, and isl_local_space_get_ctx().
Referenced by aff_bind_id(), aff_pos_basic_set(), basic_set_opt_lp(), isl::aff::ctx(), extract_modulos(), extract_stride_constraint(), isl_aff_add(), isl_aff_add_coefficient_val(), isl_aff_add_constant_val(), isl_aff_align_divs(), isl_aff_check_has_domain_space(), isl_aff_check_match_domain_space(), isl_aff_coefficient_sgn(), isl_aff_div(), isl_aff_drop_dims(), isl_aff_floor(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_aff_get_denominator(), isl_aff_get_denominator_val(), isl_aff_insert_dims(), isl_aff_move_dims(), isl_aff_mul(), isl_aff_scale_down(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_aff_set_coefficient_val(), isl_aff_set_constant_val(), isl_aff_substitute(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint_no_stride(), isl_basic_map_from_aff2(), isl_basic_set_opt(), isl_basic_set_opt_lp_val_aligned(), isl_basic_set_opt_val(), isl_multi_union_pw_aff_apply_aff(), isl_qpolynomial_from_aff(), and isl_set_opt_val().
isl_stat isl_aff_get_denominator | ( | __isl_keep isl_aff * | aff, |
isl_int * | v ) |
Definition at line 733 of file isl_aff.c.
References __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_give isl_val * isl_aff_get_denominator_val | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 746 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(), and var_div().
const char * isl_aff_get_dim_name | ( | __isl_keep isl_aff * | aff, |
enum isl_dim_type | type, | ||
unsigned | pos ) |
Definition at line 586 of file isl_aff.c.
References __isl_keep, aff, isl_dim_in, isl_dim_out, isl_dim_set, isl_local_space_get_dim_name(), pos(), and type.
__isl_give isl_aff * isl_aff_get_div | ( | __isl_keep isl_aff * | aff, |
int | pos ) |
Definition at line 1366 of file isl_aff.c.
References __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_give isl_local_space * isl_aff_get_domain_local_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 513 of file isl_aff.c.
References __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_give isl_space * isl_aff_get_domain_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 495 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_bind_id(), isl_aff_check_match_domain_space(), isl_aff_gist_params(), isl_aff_matching_params(), isl_aff_project_domain_on_params(), isl_basic_set_opt_lp_val(), isl_multi_union_pw_aff_apply_aff(), isl_qpolynomial_from_aff(), isl_set_opt(), and range_map().
uint32_t isl_aff_get_hash | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 413 of file isl_aff.c.
References __isl_keep, aff, isl_hash_hash, isl_hash_init, isl_local_space_get_hash(), and isl_vec_get_hash().
__isl_give isl_local_space * isl_aff_get_local_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 519 of file isl_aff.c.
References __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_give isl_space * isl_aff_get_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 500 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_give isl_aff * isl_aff_gist | ( | __isl_take isl_aff * | aff, |
__isl_take isl_set * | context ) |
Definition at line 2245 of file isl_aff.c.
References __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::aff::gist(), isl_aff_add_on_domain(), isl_aff_gist_params(), isl_ast_build_compute_gist_aff(), and test_aff().
__isl_give isl_aff * isl_aff_gist_params | ( | __isl_take isl_aff * | aff, |
__isl_take isl_set * | context ) |
Definition at line 2258 of file isl_aff.c.
References __isl_give, __isl_take, aff, context, isl_aff_get_domain_space(), isl_aff_gist(), isl_set, isl_set_intersect_params(), and isl_set_universe().
__isl_give isl_basic_set * isl_aff_gt_basic_set | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 2408 of file isl_aff.c.
References __isl_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_give isl_set * isl_aff_gt_set | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 2431 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_gt_basic_set(), isl_set, and isl_set_from_basic_set().
Referenced by isl::aff::gt_set(), isl_aff_ne_set(), and isl_multi_aff_lex_gte_set().
__isl_give isl_aff * isl_aff_insert_dims | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
unsigned | n ) |
Definition at line 2657 of file isl_aff.c.
References __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().
|
static |
Definition at line 2536 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_bool isl_aff_involves_locals | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 2571 of file isl_aff.c.
References __isl_keep, aff, isl_aff_dim(), isl_bool_error, isl_bool_ok(), isl_dim_div, and n.
isl_bool isl_aff_is_cst | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 3360 of file isl_aff.c.
References __isl_keep, aff, isl_bool_error, isl_bool_ok(), isl_seq_first_non_zero(), and pos().
Referenced by isl::aff::is_cst(), isl_aff_div(), isl_aff_floor(), isl_aff_mul(), isl_pw_aff_is_cst(), and shift_if_cst_int().
isl_bool isl_aff_is_empty | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 2518 of file isl_aff.c.
References __isl_keep, aff, isl_bool_error, and isl_bool_false.
isl_bool isl_aff_is_nan | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 699 of file isl_aff.c.
References __isl_keep, aff, isl_bool_error, isl_bool_ok(), and isl_seq_first_non_zero().
Referenced by add_sub_equalities(), add_sub_vars(), aff_nonneg_basic_set(), aff_pos_basic_set(), aff_zero_basic_set(), isl_aff_add(), isl_aff_add_coefficient(), isl_aff_add_coefficient_val(), isl_aff_add_constant(), isl_aff_add_constant_num(), isl_aff_add_constant_val(), isl_aff_ceil(), isl_aff_div(), isl_aff_floor(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_aff_get_denominator(), isl_aff_get_denominator_val(), isl_aff_mul(), isl_aff_neg(), isl_aff_plain_is_equal(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_set_coefficient(), isl_aff_set_coefficient_si(), isl_aff_set_coefficient_val(), isl_aff_set_constant(), isl_aff_set_constant_si(), isl_aff_set_constant_val(), isl_basic_map_from_aff2(), print_aff_body(), pw_aff_locus(), and test_bin_aff().
__isl_give isl_basic_set * isl_aff_le_basic_set | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 2440 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_ge_basic_set(), and isl_basic_set.
Referenced by extends_max().
__isl_give isl_set * isl_aff_le_set | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 2458 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_ge_set(), and isl_set.
Referenced by isl_pw_aff_union_min(), and isl::aff::le_set().
__isl_give isl_aff * isl_aff_lift | ( | __isl_take isl_aff * | aff | ) |
Definition at line 6173 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), and isl_local_space_lift().
Referenced by isl_multi_aff_lift().
__isl_give isl_basic_set * isl_aff_lt_basic_set | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 2449 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_gt_basic_set(), and isl_basic_set.
Referenced by isl_aff_lt_set().
__isl_give isl_set * isl_aff_lt_set | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 2467 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_lt_basic_set(), isl_set, and isl_set_from_basic_set().
Referenced by isl_aff_ne_set(), and isl::aff::lt_set().
isl_bool isl_aff_matching_params | ( | __isl_keep isl_aff * | aff, |
__isl_keep isl_space * | space ) |
Definition at line 3904 of file isl_aff.c.
References __isl_keep, aff, isl_aff_get_domain_space(), isl_bool_error, isl_space_free(), isl_space_has_equal_params(), and match().
__isl_give isl_aff * isl_aff_mod_val | ( | __isl_take isl_aff * | aff, |
__isl_take isl_val * | m ) |
Definition at line 1716 of file isl_aff.c.
References __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 extract_aff_from_equality(), isl_ast_build_get_stride_constraint(), and isl::aff::mod().
__isl_give isl_aff * isl_aff_move_dims | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | dst_type, | ||
unsigned | dst_pos, | ||
enum isl_dim_type | src_type, | ||
unsigned | src_pos, | ||
unsigned | n ) |
Definition at line 2707 of file isl_aff.c.
References __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_give isl_aff * isl_aff_mul | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 3395 of file isl_aff.c.
References __isl_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::aff::mul().
__isl_give isl_aff * isl_aff_nan_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 232 of file isl_aff.c.
References __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_give isl_aff * isl_aff_nan_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 243 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_nan_on_domain(), and isl_local_space_from_space().
Referenced by isl_pw_aff_nan_on_domain_space().
__isl_give isl_set * isl_aff_ne_set | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 2499 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_copy(), isl_aff_gt_set(), isl_aff_lt_set(), isl_set, and isl_set_union_disjoint().
Referenced by isl::aff::ne_set().
__isl_give isl_aff * isl_aff_neg | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1378 of file isl_aff.c.
References __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(), extract_stride_constraint(), is_stride_constraint(), isl_aff_neg_basic_set(), isl_aff_sub(), isl_ast_expr_from_constraint_no_stride(), isl::aff::neg(), oppose_div_arg(), and update_unrolling_lower_bound().
__isl_give isl_basic_set * isl_aff_neg_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2351 of file isl_aff.c.
References __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_give isl_basic_set * isl_aff_nonneg_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2334 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_give isl_aff * isl_aff_normalize | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1624 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_free(), isl_aff_remove_unused_divs(), isl_vec_normalize(), plug_in_integral_divs(), plug_in_unit_divs(), and sort_divs().
Referenced by add_expanded(), isl_aff_floor(), isl_aff_pullback_multi_aff(), isl_aff_substitute_equalities_lifted(), isl_constraint_get_bound(), isl_term_get_div(), and set_from_affine_matrix().
__isl_give isl_aff * isl_aff_param_on_domain_space_id | ( | __isl_take isl_space * | space, |
__isl_take isl_id * | id ) |
Definition at line 359 of file isl_aff.c.
References __isl_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().
|
static |
Definition at line 431 of file isl_aff.c.
References __isl_keep, and aff.
Referenced by isl_aff_domain_dim(), isl_aff_domain_offset(), and isl_aff_get_domain_local_space().
|
static |
Definition at line 490 of file isl_aff.c.
References __isl_keep, aff, and isl_local_space_peek_space().
Referenced by isl_aff_align_params(), isl_aff_check_has_domain_space(), isl_aff_domain_is_product(), and isl_aff_get_domain_space().
int isl_aff_plain_cmp | ( | __isl_keep isl_aff * | aff1, |
__isl_keep isl_aff * | aff2 ) |
Definition at line 7610 of file isl_aff.c.
References __isl_keep, cmp(), isl_local_space_cmp(), isl_seq_cmp(), and isl_seq_last_non_zero().
Referenced by isl_pw_aff_plain_cmp().
isl_bool isl_aff_plain_is_equal | ( | __isl_keep isl_aff * | aff1, |
__isl_keep isl_aff * | aff2 ) |
Definition at line 711 of file isl_aff.c.
References __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(), and test_bin_aff().
isl_bool isl_aff_plain_is_zero | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 684 of file isl_aff.c.
References __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_give isl_basic_set * isl_aff_pos_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2342 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_add_constant_num_si(), isl_aff_nonneg_basic_set(), and isl_basic_set.
Referenced by isl_aff_gt_basic_set(), and isl_aff_neg_basic_set().
__isl_give isl_aff * isl_aff_project_domain_on_params | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2628 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 multi_union_pw_aff_apply_aff().
__isl_give isl_aff * isl_aff_pullback_aff | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 6036 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_pullback_multi_aff(), isl_multi_aff_from_aff(), and ma.
__isl_give isl_aff * isl_aff_pullback_multi_aff | ( | __isl_take isl_aff * | aff, |
__isl_take isl_multi_aff * | ma ) |
Definition at line 5981 of file isl_aff.c.
References __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::aff::pullback().
__isl_give isl_aff * isl_aff_realign_domain | ( | __isl_take isl_aff * | aff, |
__isl_take isl_reordering * | r ) |
Definition at line 630 of file isl_aff.c.
References __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_give isl_aff * isl_aff_remove_unused_divs | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1403 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_domain_dim(), isl_aff_domain_offset(), isl_aff_free(), isl_dim_div, isl_local_space_drop_dims(), isl_seq_last_non_zero(), isl_vec_drop_els(), n, and pos().
Referenced by detect_stride(), extract_isl_aff_from_basic_map(), and isl_aff_normalize().
__isl_give isl_aff * isl_aff_reset_domain_space | ( | __isl_take isl_aff * | aff, |
__isl_take isl_space * | space ) |
Definition at line 598 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_local_space_reset_space(), and isl_space_free().
Referenced by isl_aff_project_domain_on_params(), isl_aff_reset_space_and_domain(), and isl_multi_pw_aff_apply_aff_aligned().
__isl_give isl_aff * isl_aff_reset_space_and_domain | ( | __isl_take isl_aff * | aff, |
__isl_take isl_space * | space, | ||
__isl_take isl_space * | domain ) |
Definition at line 620 of file isl_aff.c.
References __isl_give, __isl_take, aff, domain, isl_aff_reset_domain_space(), and isl_space_free().
__isl_give isl_aff * isl_aff_restore_domain_local_space | ( | __isl_keep isl_aff * | aff, |
__isl_take isl_local_space * | ls ) |
Definition at line 559 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, aff, isl_aff_cow(), isl_aff_free(), and isl_local_space_free().
Referenced by isl_aff_from_range().
__isl_give isl_aff * isl_aff_scale | ( | __isl_take isl_aff * | aff, |
isl_int | f ) |
Definition at line 1959 of file isl_aff.c.
References __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_give isl_aff * isl_aff_scale_down | ( | __isl_take isl_aff * | aff, |
isl_int | f ) |
Definition at line 2025 of file isl_aff.c.
References __isl_give, __isl_take, aff, f, gcd(), isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_error_invalid, isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_is_one, isl_int_is_zero, isl_int_mul, isl_seq_gcd(), isl_seq_scale_down(), and isl_vec_cow().
Referenced by isl_aff_div(), isl_aff_mul(), isl_aff_scale_down_ui(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_pw_aff_scale_down(), and subtract_initial().
__isl_give isl_aff * isl_aff_scale_down_ui | ( | __isl_take isl_aff * | aff, |
unsigned | f ) |
Definition at line 2091 of file isl_aff.c.
References __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_give isl_aff * isl_aff_scale_down_val | ( | __isl_take isl_aff * | aff, |
__isl_take isl_val * | v ) |
Definition at line 2062 of file isl_aff.c.
References __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::aff::scale_down().
__isl_give isl_aff * isl_aff_scale_val | ( | __isl_take isl_aff * | aff, |
__isl_take isl_val * | v ) |
Definition at line 1995 of file isl_aff.c.
References __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::aff::scale(), set_stride(), and var_div().
__isl_give isl_aff * isl_aff_set_coefficient | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | type, | ||
int | pos, | ||
isl_int | v ) |
Definition at line 1111 of file isl_aff.c.
References __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_give isl_aff * isl_aff_set_coefficient_si | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | type, | ||
int | pos, | ||
int | v ) |
Definition at line 1148 of file isl_aff.c.
References __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_give isl_aff * isl_aff_set_coefficient_val | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | type, | ||
int | pos, | ||
__isl_take isl_val * | v ) |
Definition at line 1188 of file isl_aff.c.
References __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_give isl_aff * isl_aff_set_constant | ( | __isl_take isl_aff * | aff, |
isl_int | v ) |
Definition at line 836 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_int_set, and isl_vec_cow().
Referenced by extract_schedule_row().
__isl_give isl_aff * isl_aff_set_constant_si | ( | __isl_take isl_aff * | aff, |
int | v ) |
Definition at line 1087 of file isl_aff.c.
References __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_give isl_aff * isl_aff_set_constant_val | ( | __isl_take isl_aff * | aff, |
__isl_take isl_val * | v ) |
Definition at line 859 of file isl_aff.c.
References __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_give isl_aff * isl_aff_set_dim_id | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | type, | ||
unsigned | pos, | ||
__isl_take isl_id * | id ) |
Definition at line 2125 of file isl_aff.c.
References __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_give isl_aff * isl_aff_set_dim_name | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | type, | ||
unsigned | pos, | ||
const char * | s ) |
Definition at line 2106 of file isl_aff.c.
References __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.
|
static |
Definition at line 216 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_cow(), isl_aff_free(), and isl_vec_clr().
Referenced by isl_aff_nan_on_domain(), set_nan_free(), and set_nan_free_val().
__isl_give isl_aff * isl_aff_set_tuple_id | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | type, | ||
__isl_take isl_id * | id ) |
Definition at line 2151 of file isl_aff.c.
References __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_give isl_aff * isl_aff_sub | ( | __isl_take isl_aff * | aff1, |
__isl_take isl_aff * | aff2 ) |
Definition at line 1949 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_add(), and isl_aff_neg().
Referenced by extract_aff_from_equality(), extract_rational(), harmonize_divs_with_hulls(), isl_aff_eq_basic_set(), isl_aff_ge_basic_set(), isl_aff_gt_basic_set(), isl_aff_mod_val(), lower_bound(), isl::aff::sub(), subtract_initial(), and test_aff_normalize().
__isl_give isl_aff * isl_aff_substitute | ( | __isl_take isl_aff * | aff, |
enum isl_dim_type | type, | ||
unsigned | pos, | ||
__isl_keep isl_aff * | subs ) |
Definition at line 5725 of file isl_aff.c.
References __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_give isl_aff * isl_aff_substitute_equalities | ( | __isl_take isl_aff * | aff, |
__isl_take isl_basic_set * | eq ) |
Definition at line 2223 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_aff_domain_dim(), isl_aff_free(), isl_aff_substitute_equalities_lifted(), isl_basic_set, isl_basic_set_add_dims(), isl_basic_set_free(), isl_dim_div, and isl_dim_set.
Referenced by harmonize_divs_with_hulls(), isl_multi_aff_substitute_equalities(), and set_up_substitutions().
|
static |
Definition at line 2176 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_give isl_local_space * isl_aff_take_domain_local_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 539 of file isl_aff.c.
References __isl_give, __isl_keep, aff, and isl_aff_get_domain_local_space().
Referenced by isl_aff_from_range().
__isl_give isl_aff * isl_aff_val_on_domain | ( | __isl_take isl_local_space * | ls, |
__isl_take isl_val * | val ) |
Definition at line 272 of file isl_aff.c.
References __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_give isl_aff * isl_aff_val_on_domain_space | ( | __isl_take isl_space * | space, |
__isl_take isl_val * | val ) |
Definition at line 302 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_val_on_domain(), isl_local_space_from_space(), and val.
__isl_give isl_aff * isl_aff_var_on_domain | ( | __isl_take isl_local_space * | ls, |
enum isl_dim_type | type, | ||
unsigned | pos ) |
Definition at line 311 of file isl_aff.c.
References __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_give isl_basic_set * isl_aff_zero_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2389 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().
|
static |
Definition at line 2768 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_give isl_aff * isl_aff_zero_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 174 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_give isl_aff * isl_aff_zero_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 190 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_zero_on_domain(), and isl_local_space_from_space().
Referenced by isl_space_zero_aff_on_domain(), and isl::aff::zero_on_domain().
__isl_give isl_pw_multi_aff * isl_map_as_pw_multi_aff | ( | __isl_take isl_map * | map | ) |
Definition at line 5603 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_from_map(), and map.
Referenced by isl::map::as_pw_multi_aff().
__isl_give isl_map * isl_map_eq_at_multi_pw_aff | ( | __isl_take isl_map * | map, |
__isl_take isl_multi_pw_aff * | mpa ) |
Definition at line 7512 of file isl_aff.c.
References __isl_give, __isl_take, isl_map_order_at_multi_pw_aff(), isl_multi_pw_aff_eq_map(), and map.
Referenced by isl::map::eq_at().
__isl_give isl_map * isl_map_intersect_multi_pw_aff_explicit_domain | ( | __isl_take isl_map * | map, |
__isl_keep isl_multi_pw_aff * | mpa ) |
Definition at line 6719 of file isl_aff.c.
References __isl_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_give isl_multi_pw_aff * isl_map_max_multi_pw_aff | ( | __isl_take isl_map * | map | ) |
Definition at line 6794 of file isl_aff.c.
References __isl_give, __isl_take, isl_map_dim_max(), and map.
Referenced by isl::map::max_multi_pw_aff(), and test_multi_pw_aff_box().
__isl_give isl_multi_pw_aff * isl_map_min_multi_pw_aff | ( | __isl_take isl_map * | map | ) |
Definition at line 6785 of file isl_aff.c.
References __isl_give, __isl_take, isl_map_dim_min(), and map.
Referenced by isl::map::min_multi_pw_aff(), and test_multi_pw_aff_box().
|
static |
Definition at line 7501 of file isl_aff.c.
References __isl_give, __isl_take, isl_map_intersect(), and map.
Referenced by FN(), and isl_map_eq_at_multi_pw_aff().
__isl_give isl_multi_aff * isl_multi_aff_add_on_domain | ( | __isl_keep isl_set * | dom, |
__isl_take isl_multi_aff * | maff1, | ||
__isl_take isl_multi_aff * | maff2 ) |
Definition at line 4425 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, isl_multi_aff_gist(), isl_set, and isl_set_copy().
__isl_give isl_multi_aff * isl_multi_aff_align_divs | ( | __isl_take isl_multi_aff * | maff | ) |
Definition at line 6139 of file isl_aff.c.
References __isl_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().
|
static |
Definition at line 3960 of file isl_aff.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_universe(), isl_space_domain(), and ma.
__isl_give isl_multi_aff * isl_multi_aff_domain_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4124 of file isl_aff.c.
References __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::multi_aff::domain_map(), domain_map_upma(), isl_pw_aff_order_map(), isl_pw_multi_aff_domain_map(), isl_space_domain_map_multi_aff(), and tag().
__isl_give isl_multi_aff * isl_multi_aff_flatten_domain | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 4103 of file isl_aff.c.
References __isl_give, __isl_take, isl_space_flatten_domain(), and ma.
__isl_give isl_multi_aff * isl_multi_aff_from_aff_mat | ( | __isl_take isl_space * | space, |
__isl_take isl_mat * | mat ) |
Definition at line 4009 of file isl_aff.c.
References __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_give isl_multi_aff * isl_multi_aff_from_basic_set_equalities | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 5026 of file isl_aff.c.
References __isl_give, __isl_take, extract_isl_multi_aff_from_basic_map(), and isl_basic_set.
Referenced by isl_vertex_get_expr().
__isl_give isl_multi_val * isl_multi_aff_get_constant_multi_val | ( | __isl_keep isl_multi_aff * | ma | ) |
Definition at line 4071 of file isl_aff.c.
References __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::multi_aff::constant_multi_val().
isl_bool isl_multi_aff_is_empty | ( | __isl_keep isl_multi_aff * | maff | ) |
Definition at line 4433 of file isl_aff.c.
References __isl_keep, isl_bool_error, and isl_bool_false.
__isl_give isl_set * isl_multi_aff_lex_ge_set | ( | __isl_take isl_multi_aff * | ma1, |
__isl_take isl_multi_aff * | ma2 ) |
Definition at line 4564 of file isl_aff.c.
References __isl_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_give isl_set * isl_multi_aff_lex_gt_set | ( | __isl_take isl_multi_aff * | ma1, |
__isl_take isl_multi_aff * | ma2 ) |
Definition at line 4573 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_aff_lex_gte_set(), isl_set, and ma1.
Referenced by isl_multi_aff_lex_lt_set().
|
static |
Definition at line 4509 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().
|
static |
Definition at line 4466 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_give isl_set * isl_multi_aff_lex_le_set | ( | __isl_take isl_multi_aff * | ma1, |
__isl_take isl_multi_aff * | ma2 ) |
Definition at line 4444 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_aff_lex_ge_set(), isl_set, and ma1.
Referenced by isl_pw_multi_aff_union_lexmin().
__isl_give isl_set * isl_multi_aff_lex_lt_set | ( | __isl_take isl_multi_aff * | ma1, |
__isl_take isl_multi_aff * | ma2 ) |
Definition at line 4453 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_aff_lex_gt_set(), isl_set, and ma1.
__isl_give isl_multi_aff * isl_multi_aff_lift | ( | __isl_take isl_multi_aff * | maff, |
__isl_give isl_local_space ** | ls ) |
Definition at line 6191 of file isl_aff.c.
References __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_give isl_multi_aff * isl_multi_aff_multi_val_on_domain_space | ( | __isl_take isl_space * | space, |
__isl_take isl_multi_val * | mv ) |
Definition at line 7731 of file isl_aff.c.
References __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::multi_aff::multi_val_on_domain().
__isl_give isl_multi_aff * isl_multi_aff_multi_val_on_space | ( | __isl_take isl_space * | space, |
__isl_take isl_multi_val * | mv ) |
Definition at line 7770 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_aff_multi_val_on_domain_space().
Referenced by isl_pw_multi_aff_multi_val_on_domain().
|
static |
Definition at line 4485 of file isl_aff.c.
References __isl_give, __isl_keep, __isl_take, cmp(), isl_set, and ma1.
Referenced by isl_multi_aff_lex_gte_set().
__isl_give isl_multi_aff * isl_multi_aff_project_out_map | ( | __isl_take isl_space * | space, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
unsigned | n ) |
Definition at line 4265 of file isl_aff.c.
References __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_give isl_multi_aff * isl_multi_aff_pullback_multi_aff | ( | __isl_take isl_multi_aff * | ma1, |
__isl_take isl_multi_aff * | ma2 ) |
Definition at line 6048 of file isl_aff.c.
References __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::multi_aff::pullback(), and test_pullback().
__isl_give isl_multi_aff * isl_multi_aff_range_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4176 of file isl_aff.c.
References __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::multi_aff::range_map().
__isl_give isl_multi_aff * isl_multi_aff_scale | ( | __isl_take isl_multi_aff * | maff, |
isl_int | f ) |
Definition at line 4404 of file isl_aff.c.
References __isl_give, __isl_take, aff, f, isl_aff_scale(), and n.
__isl_give isl_multi_aff * isl_multi_aff_substitute | ( | __isl_take isl_multi_aff * | maff, |
enum isl_dim_type | type, | ||
unsigned | pos, | ||
__isl_keep isl_aff * | subs ) |
Definition at line 5768 of file isl_aff.c.
References __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().
|
static |
Definition at line 4377 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_give isl_multi_pw_aff * isl_multi_aff_to_multi_pw_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 7042 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_pw_aff_from_multi_aff(), and ma.
Referenced by isl::multi_aff::to_multi_pw_aff().
__isl_give isl_multi_union_pw_aff * isl_multi_aff_to_multi_union_pw_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 8702 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_union_pw_aff_from_multi_aff(), and ma.
Referenced by isl::multi_aff::to_multi_union_pw_aff().
__isl_give isl_pw_multi_aff * isl_multi_aff_to_pw_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 4338 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_from_multi_aff(), and ma.
Referenced by isl::multi_aff::to_pw_multi_aff().
__isl_give isl_pw_aff * isl_multi_pw_aff_apply_aff | ( | __isl_take isl_multi_pw_aff * | mpa, |
__isl_take isl_aff * | aff ) |
Definition at line 7302 of file isl_aff.c.
References __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().
|
static |
Definition at line 7238 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_give isl_pw_aff * isl_multi_pw_aff_apply_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa, |
__isl_take isl_pw_aff * | pa ) |
Definition at line 7375 of file isl_aff.c.
References __isl_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().
|
static |
Definition at line 7334 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_give isl_multi_aff * isl_multi_pw_aff_as_multi_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 6695 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_pw_aff_as_aff(), ma, and n.
Referenced by isl::multi_pw_aff::as_multi_aff().
__isl_give isl_map * isl_multi_pw_aff_eq_map | ( | __isl_take isl_multi_pw_aff * | mpa1, |
__isl_take isl_multi_pw_aff * | mpa2 ) |
Definition at line 7491 of file isl_aff.c.
References __isl_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().
|
static |
Definition at line 7462 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_give isl_multi_pw_aff * isl_multi_pw_aff_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 7005 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_multi_pw_aff_from_pw_aff(), and isl_pw_aff_from_aff().
Referenced by isl::multi_pw_aff::multi_pw_aff().
__isl_give isl_multi_pw_aff * isl_multi_pw_aff_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 7013 of file isl_aff.c.
References __isl_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::multi_pw_aff::multi_pw_aff().
__isl_give isl_multi_pw_aff * isl_multi_pw_aff_from_pw_multi_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 7055 of file isl_aff.c.
References __isl_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::multi_pw_aff::multi_pw_aff(), project_out_fixed(), test_mpa_conversion(), and test_parse_mpa().
isl_bool isl_multi_pw_aff_has_non_trivial_domain | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
Definition at line 6745 of file isl_aff.c.
References __isl_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_bool isl_multi_pw_aff_is_cst | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
Definition at line 6735 of file isl_aff.c.
References __isl_keep, and isl_pw_aff_is_cst().
isl_bool isl_multi_pw_aff_is_equal | ( | __isl_keep isl_multi_pw_aff * | mpa1, |
__isl_keep isl_multi_pw_aff * | mpa2 ) |
Definition at line 7139 of file isl_aff.c.
References __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_bool isl_multi_pw_aff_isa_multi_aff | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
Definition at line 6687 of file isl_aff.c.
References __isl_keep, and isl_pw_aff_isa_aff().
Referenced by isl::multi_pw_aff::isa_multi_aff().
|
static |
Definition at line 7534 of file isl_aff.c.
References __isl_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().
|
static |
Definition at line 7419 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_give isl_union_pw_aff * isl_multi_union_pw_aff_apply_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
__isl_take isl_aff * | aff ) |
Definition at line 9461 of file isl_aff.c.
References __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_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_apply_multi_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
__isl_take isl_multi_aff * | ma ) |
Definition at line 9519 of file isl_aff.c.
References __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_give isl_union_pw_aff * isl_multi_union_pw_aff_apply_pw_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
__isl_take isl_pw_aff * | pa ) |
Definition at line 9594 of file isl_aff.c.
References __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().
|
static |
Definition at line 9578 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_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_apply_pw_multi_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
__isl_take isl_pw_multi_aff * | pma ) |
Definition at line 9674 of file isl_aff.c.
References __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_give isl_union_set * isl_multi_union_pw_aff_domain | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9352 of file isl_aff.c.
References __isl_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::multi_union_pw_aff::domain(), initial_domain(), intersect_explicit_domain(), isl_multi_union_pw_aff_apply_pw_aff_0D(), isl_multi_union_pw_aff_zero_union_set(), isl_schedule_band_shift(), isl_union_map_from_multi_union_pw_aff_0D(), isl_union_pw_multi_aff_from_multi_union_pw_aff_0D(), multi_union_pw_aff_apply_aff(), mupa_apply_multi_aff_0D(), and mupa_apply_pw_multi_aff_0D().
__isl_give isl_union_set * isl_multi_union_pw_aff_domain_0D | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9337 of file isl_aff.c.
References __isl_give, __isl_take, isl_union_set, and mupa.
Referenced by isl_multi_union_pw_aff_domain().
__isl_give isl_multi_pw_aff * isl_multi_union_pw_aff_extract_multi_pw_aff | ( | __isl_keep isl_multi_union_pw_aff * | mupa, |
__isl_take isl_space * | space ) |
Definition at line 9815 of file isl_aff.c.
References __isl_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_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 8689 of file isl_aff.c.
References __isl_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_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_multi_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 8715 of file isl_aff.c.
References __isl_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::multi_union_pw_aff::multi_union_pw_aff().
__isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_union_map | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 8864 of file isl_aff.c.
References __isl_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_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 8797 of file isl_aff.c.
References __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_bool isl_multi_union_pw_aff_has_non_trivial_domain | ( | __isl_keep isl_multi_union_pw_aff * | mupa | ) |
Definition at line 8629 of file isl_aff.c.
References __isl_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_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_intersect_range | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
__isl_take isl_set * | range ) |
Definition at line 9291 of file isl_aff.c.
References __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_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_multi_aff_on_domain | ( | __isl_take isl_union_set * | domain, |
__isl_take isl_multi_aff * | ma ) |
Definition at line 8957 of file isl_aff.c.
References __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_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_multi_val_on_domain | ( | __isl_take isl_union_set * | domain, |
__isl_take isl_multi_val * | mv ) |
Definition at line 8931 of file isl_aff.c.
References __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().
|
static |
Definition at line 8892 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_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_pullback_union_pw_multi_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
__isl_take isl_union_pw_multi_aff * | upma ) |
Definition at line 9773 of file isl_aff.c.
References __isl_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::multi_union_pw_aff::pullback().
__isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_pw_multi_aff_on_domain | ( | __isl_take isl_union_set * | domain, |
__isl_take isl_pw_multi_aff * | pma ) |
Definition at line 9014 of file isl_aff.c.
References __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().
|
static |
Definition at line 8975 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_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_zero | ( | __isl_take isl_space * | space | ) |
Definition at line 8655 of file isl_aff.c.
References __isl_give, __isl_take, isl_die, isl_dim_out, isl_error_invalid, isl_space_dim(), isl_space_free(), isl_space_get_ctx(), isl_space_is_params(), isl_space_is_set(), and params.
Referenced by collect_filter_prefix_expansion(), isl_schedule_node_get_prefix_schedule_multi_union_pw_aff(), isl_schedule_node_get_prefix_schedule_relation(), isl_schedule_node_get_prefix_schedule_union_pw_multi_aff(), read_multi_union_pw_aff_core(), test_parse_mupa(), and isl::multi_union_pw_aff::zero().
__isl_give isl_union_set * isl_multi_union_pw_aff_zero_union_set | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9044 of file isl_aff.c.
References __isl_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_give isl_pw_aff * isl_pw_aff_add | ( | __isl_take isl_pw_aff * | pwaff1, |
__isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3490 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_add().
Referenced by accept_affine(), isl::pw_aff::add(), polly::SCEVAffinator::interpretAsUnsigned(), isl_multi_pw_aff_apply_aff_aligned(), list_add_one(), map_from_tuple(), pw_aff_gte_set(), polly::SCEVAffinator::visitAddExpr(), and polly::SCEVAffinator::visitAddRecExpr().
__isl_give isl_set * isl_pw_aff_bind_id | ( | __isl_take isl_pw_aff * | pa, |
__isl_take isl_id * | id ) |
Definition at line 2987 of file isl_aff.c.
References __isl_give, __isl_take, aff_bind_id(), bound, isl_id_free(), isl_set, pa, and pw_aff_locus().
Referenced by isl::pw_aff::bind(), bind_id(), and test_bind_pa().
__isl_give isl_pw_aff * isl_pw_aff_ceil | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3286 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_ceil().
Referenced by accept_div(), isl::pw_aff::ceil(), isl_pw_aff_tdiv_q(), and set_enforced_from_set().
isl_stat isl_pw_aff_check_match_domain_space | ( | __isl_keep isl_pw_aff * | pa, |
__isl_keep isl_space * | space ) |
Definition at line 6617 of file isl_aff.c.
References __isl_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_give isl_pw_aff * isl_pw_aff_cond | ( | __isl_take isl_pw_aff * | cond, |
__isl_take isl_pw_aff * | pwaff_true, | ||
__isl_take isl_pw_aff * | pwaff_false ) |
Definition at line 3317 of file isl_aff.c.
References __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::pw_aff::cond(), and isl_pw_aff_tdiv_q().
__isl_give isl_pw_aff * isl_pw_aff_div | ( | __isl_take isl_pw_aff * | pa1, |
__isl_take isl_pw_aff * | pa2 ) |
Definition at line 3506 of file isl_aff.c.
References __isl_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::pw_aff::div(), isl_pw_aff_tdiv_q(), and polly::SCEVAffinator::visitUDivExpr().
|
static |
Definition at line 2860 of file isl_aff.c.
References __isl_keep, isl_space_domain_is_wrapping(), and pa.
__isl_give isl_map * isl_pw_aff_eq_map | ( | __isl_take isl_pw_aff * | pa1, |
__isl_take isl_pw_aff * | pa2 ) |
Definition at line 3110 of file isl_aff.c.
References __isl_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_give isl_set * isl_pw_aff_eq_set | ( | __isl_take isl_pw_aff * | pwaff1, |
__isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3036 of file isl_aff.c.
References __isl_give, __isl_take, isl_set, and pw_aff_gte_set().
Referenced by isl::pw_aff::eq_set(), isl_pw_aff_eq_map(), and isl_pw_aff_list_eq_set().
__isl_give isl_pw_aff * isl_pw_aff_floor | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3281 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_floor().
Referenced by accept_affine_factor(), accept_div(), affine_mod(), isl::pw_aff::floor(), floor_entry(), isl_multi_pw_aff_apply_aff_aligned(), isl_pw_aff_mod(), and isl_pw_aff_tdiv_q().
__isl_give isl_map * isl_pw_aff_ge_map | ( | __isl_take isl_pw_aff * | pa1, |
__isl_take isl_pw_aff * | pa2 ) |
Definition at line 3139 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_ge_set(), and isl_pw_aff_order_map().
Referenced by map_upper_bound_pw_aff().
__isl_give isl_set * isl_pw_aff_ge_set | ( | __isl_take isl_pw_aff * | pwaff1, |
__isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3046 of file isl_aff.c.
References __isl_give, __isl_take, isl_set, and pw_aff_gte_set().
Referenced by isl::pw_aff::ge_set(), isl_pw_aff_ge_map(), isl_pw_aff_le_set(), isl_pw_aff_list_ge_set(), pw_aff_max(), set_lower(), and polly::SCEVAffinator::visitTruncateExpr().
__isl_give isl_map * isl_pw_aff_gt_map | ( | __isl_take isl_pw_aff * | pa1, |
__isl_take isl_pw_aff * | pa2 ) |
Definition at line 3149 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_gt_set(), and isl_pw_aff_order_map().
__isl_give isl_set * isl_pw_aff_gt_set | ( | __isl_take isl_pw_aff * | pwaff1, |
__isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3056 of file isl_aff.c.
References __isl_give, __isl_take, isl_set, and pw_aff_gte_set().
Referenced by isl::pw_aff::gt_set(), isl_pw_aff_gt_map(), isl_pw_aff_list_gt_set(), isl_pw_aff_lt_set(), isl_pw_aff_ne_set(), and remove_redundant_lower_bounds().
isl_bool isl_pw_aff_is_cst | ( | __isl_keep isl_pw_aff * | pwaff | ) |
Definition at line 3373 of file isl_aff.c.
References __isl_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_bool isl_pw_aff_is_equal | ( | __isl_keep isl_pw_aff * | pa1, |
__isl_keep isl_pw_aff * | pa2 ) |
Definition at line 7105 of file isl_aff.c.
References __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_give isl_map * isl_pw_aff_le_map | ( | __isl_take isl_pw_aff * | pa1, |
__isl_take isl_pw_aff * | pa2 ) |
Definition at line 3120 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_le_set(), and isl_pw_aff_order_map().
Referenced by map_lower_bound_pw_aff().
__isl_give isl_set * isl_pw_aff_le_set | ( | __isl_take isl_pw_aff * | pwaff1, |
__isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3063 of file isl_aff.c.
References __isl_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::pw_aff::le_set(), less(), pw_aff_min(), and set_upper().
__isl_give isl_set * isl_pw_aff_list_eq_set | ( | __isl_take isl_pw_aff_list * | list1, |
__isl_take isl_pw_aff_list * | list2 ) |
Definition at line 3199 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_eq_set(), isl_set, and pw_aff_list_set().
Referenced by construct_constraints().
__isl_give isl_set * isl_pw_aff_list_ge_set | ( | __isl_take isl_pw_aff_list * | list1, |
__isl_take isl_pw_aff_list * | list2 ) |
Definition at line 3227 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_ge_set(), isl_set, and pw_aff_list_set().
Referenced by construct_constraints().
__isl_give isl_set * isl_pw_aff_list_gt_set | ( | __isl_take isl_pw_aff_list * | list1, |
__isl_take isl_pw_aff_list * | list2 ) |
Definition at line 3233 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_gt_set(), isl_set, and pw_aff_list_set().
Referenced by construct_constraints().
|
static |
Definition at line 3715 of file isl_aff.c.
References __isl_keep, isl_bool_not(), and pw_aff_no_nan().
Referenced by isl_pw_aff_list_opt().
__isl_give isl_set * isl_pw_aff_list_le_set | ( | __isl_take isl_pw_aff_list * | list1, |
__isl_take isl_pw_aff_list * | list2 ) |
Definition at line 3215 of file isl_aff.c.
References __isl_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_give isl_set * isl_pw_aff_list_lt_set | ( | __isl_take isl_pw_aff_list * | list1, |
__isl_take isl_pw_aff_list * | list2 ) |
Definition at line 3221 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_lt_set(), isl_set, and pw_aff_list_set().
Referenced by construct_constraints().
__isl_give isl_pw_aff * isl_pw_aff_list_max | ( | __isl_take isl_pw_aff_list * | list | ) |
Definition at line 3852 of file isl_aff.c.
References __isl_give, __isl_take, and isl_pw_aff_list_opt().
Referenced by accept_minmax().
__isl_give isl_pw_aff * isl_pw_aff_list_min | ( | __isl_take isl_pw_aff_list * | list | ) |
Definition at line 3843 of file isl_aff.c.
References __isl_give, __isl_take, and isl_pw_aff_list_opt().
Referenced by accept_minmax().
__isl_give isl_set * isl_pw_aff_list_ne_set | ( | __isl_take isl_pw_aff_list * | list1, |
__isl_take isl_pw_aff_list * | list2 ) |
Definition at line 3205 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_ne_set(), isl_set, and pw_aff_list_set().
Referenced by construct_constraints().
|
static |
Definition at line 3788 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_give isl_pw_aff_list * isl_pw_aff_list_set_rational | ( | __isl_take isl_pw_aff_list * | list | ) |
Definition at line 3880 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_set_rational(), n, and pa.
Referenced by construct_constraints().
__isl_give isl_map * isl_pw_aff_lt_map | ( | __isl_take isl_pw_aff * | pa1, |
__isl_take isl_pw_aff * | pa2 ) |
Definition at line 3129 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_lt_set(), and isl_pw_aff_order_map().
__isl_give isl_set * isl_pw_aff_lt_set | ( | __isl_take isl_pw_aff * | pwaff1, |
__isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3069 of file isl_aff.c.
References __isl_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::pw_aff::lt_set(), and polly::SCEVAffinator::visitTruncateExpr().
isl_bool isl_pw_aff_matching_params | ( | __isl_keep isl_pw_aff * | pa, |
__isl_keep isl_space * | space ) |
Definition at line 6598 of file isl_aff.c.
References __isl_keep, isl_bool_error, isl_pw_aff_get_space(), isl_space_free(), isl_space_has_equal_params(), match(), and pa.
__isl_give isl_pw_aff * isl_pw_aff_max | ( | __isl_take isl_pw_aff * | pwaff1, |
__isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3698 of file isl_aff.c.
References __isl_give, __isl_take, and pw_aff_min_max().
Referenced by isl::pw_aff::max(), and polly::SCEVAffinator::visitSMaxExpr().
__isl_give isl_pw_aff * isl_pw_aff_min | ( | __isl_take isl_pw_aff * | pwaff1, |
__isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3690 of file isl_aff.c.
References __isl_give, __isl_take, and pw_aff_min_max().
Referenced by isl::pw_aff::min(), and polly::SCEVAffinator::visitSMinExpr().
__isl_give isl_pw_aff * isl_pw_aff_mod | ( | __isl_take isl_pw_aff * | pwaff, |
isl_int | m ) |
Definition at line 1745 of file isl_aff.c.
References __isl_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_give isl_pw_aff * isl_pw_aff_mod_val | ( | __isl_take isl_pw_aff * | pa, |
__isl_take isl_val * | m ) |
Definition at line 1764 of file isl_aff.c.
References __isl_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::pw_aff::mod().
__isl_give isl_pw_aff * isl_pw_aff_mul | ( | __isl_take isl_pw_aff * | pwaff1, |
__isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3497 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_mul().
Referenced by isl_pw_aff_tdiv_r(), isl::pw_aff::mul(), polly::SCEVAffinator::visit(), and polly::SCEVAffinator::visitMulExpr().
__isl_give isl_pw_aff * isl_pw_aff_nan_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 260 of file isl_aff.c.
References __isl_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_give isl_pw_aff * isl_pw_aff_nan_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 251 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_nan_on_domain_space(), and isl_pw_aff_from_aff().
Referenced by nan_on_domain().
__isl_give isl_set * isl_pw_aff_ne_set | ( | __isl_take isl_pw_aff * | pwaff1, |
__isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 3243 of file isl_aff.c.
References __isl_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::pw_aff::ne_set().
__isl_give isl_set * isl_pw_aff_non_zero_set | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 2940 of file isl_aff.c.
References __isl_give, __isl_take, aff_zero_basic_set(), isl_set, and pw_aff_locus().
Referenced by isl_pw_aff_cond().
__isl_give isl_set * isl_pw_aff_nonneg_set | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 2924 of file isl_aff.c.
References __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().
|
static |
Definition at line 3085 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_give isl_pw_aff * isl_pw_aff_param_on_domain_id | ( | __isl_take isl_set * | domain, |
__isl_take isl_id * | id ) |
Definition at line 7704 of file isl_aff.c.
References __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::pw_aff::param_on_domain().
int isl_pw_aff_plain_cmp | ( | __isl_keep isl_pw_aff * | pa1, |
__isl_keep isl_pw_aff * | pa2 ) |
Definition at line 7643 of file isl_aff.c.
References __isl_keep, cmp(), isl_aff_plain_cmp(), isl_set_plain_cmp(), and isl_space_cmp().
Referenced by reduce_list_cmp().
__isl_give isl_set * isl_pw_aff_pos_set | ( | __isl_take isl_pw_aff * | pa | ) |
Definition at line 2916 of file isl_aff.c.
References __isl_give, __isl_take, aff_pos_basic_set(), isl_set, pa, and pw_aff_locus().
Referenced by polly::SCEVAffinator::takeNonNegativeAssumption().
__isl_give isl_pw_aff * isl_pw_aff_pullback_multi_pw_aff | ( | __isl_take isl_pw_aff * | pa, |
__isl_take isl_multi_pw_aff * | mpa ) |
Definition at line 7403 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_pw_aff_apply_pw_aff(), and pa.
Referenced by isl::pw_aff::pullback().
__isl_give isl_pw_aff * isl_pw_aff_scale_down | ( | __isl_take isl_pw_aff * | pwaff, |
isl_int | v ) |
Definition at line 3255 of file isl_aff.c.
References __isl_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().
|
static |
Definition at line 3295 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_give isl_pw_aff * isl_pw_aff_set_rational | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3859 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_free(), and isl_set_set_rational().
Referenced by accept_extended_affine(), isl_pw_aff_list_set_rational(), map_from_tuple(), and update_piecewise_affine_colon().
__isl_give isl_pw_aff * isl_pw_aff_tdiv_q | ( | __isl_take isl_pw_aff * | pa1, |
__isl_take isl_pw_aff * | pa2 ) |
Definition at line 3535 of file isl_aff.c.
References __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::pw_aff::tdiv_q(), and polly::SCEVAffinator::visitSDivInstruction().
__isl_give isl_pw_aff * isl_pw_aff_tdiv_r | ( | __isl_take isl_pw_aff * | pa1, |
__isl_take isl_pw_aff * | pa2 ) |
Definition at line 3571 of file isl_aff.c.
References __isl_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::pw_aff::tdiv_r(), and polly::SCEVAffinator::visitSRemInstruction().
__isl_give isl_pw_aff * isl_pw_aff_union_max | ( | __isl_take isl_pw_aff * | pwaff1, |
__isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 2829 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_ge_set().
Referenced by isl_pw_aff_union_opt().
__isl_give isl_pw_aff * isl_pw_aff_union_min | ( | __isl_take isl_pw_aff * | pwaff1, |
__isl_take isl_pw_aff * | pwaff2 ) |
Definition at line 2842 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_le_set().
Referenced by isl_pw_aff_union_opt().
__isl_give isl_pw_aff * isl_pw_aff_union_opt | ( | __isl_take isl_pw_aff * | pwaff1, |
__isl_take isl_pw_aff * | pwaff2, | ||
int | max ) |
Definition at line 2849 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_aff_union_max(), and isl_pw_aff_union_min().
Referenced by map_dim_opt().
__isl_give isl_pw_aff * isl_pw_aff_val_on_domain | ( | __isl_take isl_set * | domain, |
__isl_take isl_val * | v ) |
Definition at line 7678 of file isl_aff.c.
References __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_give isl_pw_aff * isl_pw_aff_var_on_domain | ( | __isl_take isl_local_space * | ls, |
enum isl_dim_type | type, | ||
unsigned | pos ) |
Definition at line 350 of file isl_aff.c.
References __isl_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_give isl_pw_aff * isl_pw_aff_zero_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 206 of file isl_aff.c.
References __isl_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_give isl_set * isl_pw_aff_zero_set | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 2932 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_give isl_pw_multi_aff * isl_pw_multi_aff_add | ( | __isl_take isl_pw_multi_aff * | pma1, |
__isl_take isl_pw_multi_aff * | pma2 ) |
Definition at line 4734 of file isl_aff.c.
References __isl_give, and __isl_take.
Referenced by isl::pw_multi_aff::add(), and isl_obj_pw_multi_aff_add().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_domain_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4229 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_aff_domain_map(), and isl_pw_multi_aff_from_multi_aff().
Referenced by isl::pw_multi_aff::domain_map(), and isl_space_domain_map_pw_multi_aff().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_flat_range_product | ( | __isl_take isl_pw_multi_aff * | pma1, |
__isl_take isl_pw_multi_aff * | pma2 ) |
Definition at line 6426 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_get_space(), isl_space_flatten_range(), and isl_space_range_product().
Referenced by isl::pw_multi_aff::flat_range_product(), and flat_range_product_entry().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_domain | ( | __isl_take isl_set * | set | ) |
Definition at line 6292 of file isl_aff.c.
References __isl_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_give isl_pw_multi_aff * isl_pw_multi_aff_from_map | ( | __isl_take isl_map * | map | ) |
Definition at line 5568 of file isl_aff.c.
References __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_div(), pw_multi_aff_from_map_stride(), test_map_conversion(), test_parse_mpa(), test_parse_pma(), and update_values().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_multi_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 6970 of file isl_aff.c.
References __isl_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().
|
static |
Definition at line 6951 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_give isl_pw_multi_aff * isl_pw_multi_aff_from_pw_aff | ( | __isl_take isl_pw_aff * | pa | ) |
Definition at line 6917 of file isl_aff.c.
References __isl_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::pw_multi_aff::pw_multi_aff(), and pw_multi_aff_from_pw_aff_entry().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_set | ( | __isl_take isl_set * | set | ) |
Definition at line 5608 of file isl_aff.c.
References __isl_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().
|
static |
Definition at line 6251 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_give isl_pw_aff * isl_pw_multi_aff_get_pw_aff | ( | __isl_keep isl_pw_multi_aff * | pma, |
int | pos ) |
Definition at line 6283 of file isl_aff.c.
References __isl_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_give isl_pw_multi_aff * isl_pw_multi_aff_identity | ( | __isl_take isl_space * | space | ) |
Definition at line 4347 of file isl_aff.c.
References __isl_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_give isl_pw_multi_aff * isl_pw_multi_aff_identity_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 4356 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_from_multi_aff(), and ma.
Referenced by isl::pw_multi_aff::identity_on_domain(), isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(), and isl_space_identity_pw_multi_aff_on_domain().
isl_bool isl_pw_multi_aff_is_equal | ( | __isl_keep isl_pw_multi_aff * | pma1, |
__isl_keep isl_pw_multi_aff * | pma2 ) |
Definition at line 7190 of file isl_aff.c.
References __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_give isl_pw_multi_aff * isl_pw_multi_aff_multi_val_on_domain | ( | __isl_take isl_set * | domain, |
__isl_take isl_multi_val * | mv ) |
Definition at line 7789 of file isl_aff.c.
References __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::pw_multi_aff::multi_val_on_domain(), and pw_multi_aff_multi_val_on_domain().
|
static |
Definition at line 6805 of file isl_aff.c.
References __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().
|
static |
Definition at line 7918 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_give isl_pw_multi_aff * isl_pw_multi_aff_product | ( | __isl_take isl_pw_multi_aff * | pma1, |
__isl_take isl_pw_multi_aff * | pma2 ) |
Definition at line 4755 of file isl_aff.c.
References __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::pw_multi_aff::product(), and test_product_pma().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_project_out_map | ( | __isl_take isl_space * | space, |
enum isl_dim_type | type, | ||
unsigned | first, | ||
unsigned | n ) |
Definition at line 4325 of file isl_aff.c.
References __isl_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_give isl_pw_multi_aff * isl_pw_multi_aff_range_factor_domain | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 4686 of file isl_aff.c.
References __isl_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::pw_multi_aff::range_factor_domain().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_range_factor_range | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 4696 of file isl_aff.c.
References __isl_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::pw_multi_aff::range_factor_range().
|
static |
Definition at line 4662 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_give isl_pw_multi_aff * isl_pw_multi_aff_range_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4247 of file isl_aff.c.
References __isl_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::pw_multi_aff::range_map().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_range_product | ( | __isl_take isl_pw_multi_aff * | pma1, |
__isl_take isl_pw_multi_aff * | pma2 ) |
Definition at line 6411 of file isl_aff.c.
References __isl_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::pw_multi_aff::range_product(), and range_product_entry().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_scale_down_multi_val | ( | __isl_take isl_pw_multi_aff * | pma, |
__isl_take isl_multi_val * | mv ) |
Definition at line 6847 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_op_multi_val(), and pma.
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_scale_multi_val | ( | __isl_take isl_pw_multi_aff * | pma, |
__isl_take isl_multi_val * | mv ) |
Definition at line 6838 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_op_multi_val(), and pma.
Referenced by union_pw_multi_aff_scale_multi_val_entry().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_set_pw_aff | ( | __isl_take isl_pw_multi_aff * | pma, |
unsigned | pos, | ||
__isl_take isl_pw_aff * | pa ) |
Definition at line 6571 of file isl_aff.c.
References __isl_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_give isl_pw_multi_aff * isl_pw_multi_aff_sub | ( | __isl_take isl_pw_multi_aff * | pma1, |
__isl_take isl_pw_multi_aff * | pma2 ) |
Definition at line 4744 of file isl_aff.c.
References __isl_give, and __isl_take.
Referenced by isl::pw_multi_aff::sub().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_substitute | ( | __isl_take isl_pw_multi_aff * | pma, |
unsigned | pos, | ||
__isl_keep isl_pw_aff * | subs ) |
Definition at line 5811 of file isl_aff.c.
References __isl_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_give isl_multi_pw_aff * isl_pw_multi_aff_to_multi_pw_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 7090 of file isl_aff.c.
References __isl_give, __isl_take, isl_multi_pw_aff_from_pw_multi_aff(), and pma.
Referenced by isl::pw_multi_aff::to_multi_pw_aff().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_union_lexmax | ( | __isl_take isl_pw_multi_aff * | pma1, |
__isl_take isl_pw_multi_aff * | pma2 ) |
Definition at line 4710 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_aff_lex_ge_set().
Referenced by isl_map_partial_lexopt_aligned_pw_multi_aff().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_union_lexmin | ( | __isl_take isl_pw_multi_aff * | pma1, |
__isl_take isl_pw_multi_aff * | pma2 ) |
Definition at line 4725 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_aff_lex_le_set().
Referenced by isl_map_partial_lexopt_aligned_pw_multi_aff().
__isl_give isl_pw_multi_aff * isl_pw_multi_aff_zero | ( | __isl_take isl_space * | space | ) |
Definition at line 6909 of file isl_aff.c.
References __isl_give, __isl_take, and isl_pw_multi_aff_from_multi_aff().
Referenced by isl::pw_multi_aff::zero().
isl_stat isl_seq_preimage | ( | isl_int * | dst, |
isl_int * | src, | ||
__isl_keep isl_multi_aff * | ma, | ||
int | n_before, | ||
int | n_after, | ||
int | n_div_ma, | ||
int | n_div_bmap, | ||
isl_int | f, | ||
isl_int | c1, | ||
isl_int | c2, | ||
isl_int | g, | ||
int | has_denom ) |
Definition at line 5895 of file isl_aff.c.
References __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_give isl_pw_multi_aff * isl_set_as_pw_multi_aff | ( | __isl_take isl_set * | set | ) |
Definition at line 5616 of file isl_aff.c.
References __isl_give, __isl_take, isl_pw_multi_aff_from_set(), isl_set, and set.
Referenced by isl::set::as_pw_multi_aff().
__isl_give isl_pw_aff * isl_set_indicator_function | ( | __isl_take isl_set * | set | ) |
Definition at line 5692 of file isl_aff.c.
References __isl_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::set::indicator_function(), and isl_pw_aff_tdiv_q().
__isl_give isl_multi_pw_aff * isl_set_max_multi_pw_aff | ( | __isl_take isl_set * | set | ) |
Definition at line 6771 of file isl_aff.c.
References __isl_give, __isl_take, isl_set, isl_set_dim_max(), and set.
Referenced by isl::set::max_multi_pw_aff().
__isl_give isl_multi_pw_aff * isl_set_min_multi_pw_aff | ( | __isl_take isl_set * | set | ) |
Definition at line 6763 of file isl_aff.c.
References __isl_give, __isl_take, isl_set, isl_set_dim_min(), and set.
Referenced by check_single_expr_min(), and isl::set::min_multi_pw_aff().
__isl_give isl_pw_aff * isl_set_param_pw_aff_on_domain_id | ( | __isl_take isl_set * | domain, |
__isl_take isl_id * | id ) |
Definition at line 7722 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_pw_aff_param_on_domain_id(), and isl_set.
__isl_give isl_pw_aff * isl_set_pw_aff_on_domain_val | ( | __isl_take isl_set * | domain, |
__isl_take isl_val * | v ) |
Definition at line 7695 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_pw_aff_val_on_domain(), and isl_set.
__isl_give isl_pw_multi_aff * isl_set_pw_multi_aff_on_domain_multi_val | ( | __isl_take isl_set * | domain, |
__isl_take isl_multi_val * | mv ) |
Definition at line 7805 of file isl_aff.c.
References __isl_give, __isl_take, domain, isl_pw_multi_aff_multi_val_on_domain(), and isl_set.
Referenced by isl::set::pw_multi_aff_on_domain().
__isl_give isl_multi_aff * isl_space_domain_map_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4167 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_aff_domain_map().
Referenced by isl::space::domain_map_multi_aff().
__isl_give isl_pw_multi_aff * isl_space_domain_map_pw_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4238 of file isl_aff.c.
References __isl_give, __isl_take, and isl_pw_multi_aff_domain_map().
Referenced by isl::space::domain_map_pw_multi_aff().
__isl_give isl_pw_multi_aff * isl_space_identity_pw_multi_aff_on_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 4369 of file isl_aff.c.
References __isl_give, __isl_take, and isl_pw_multi_aff_identity_on_domain_space().
Referenced by isl::space::identity_pw_multi_aff_on_domain().
__isl_give isl_multi_aff * isl_space_multi_aff_on_domain_multi_val | ( | __isl_take isl_space * | space, |
__isl_take isl_multi_val * | mv ) |
Definition at line 7780 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_aff_multi_val_on_domain_space().
Referenced by isl::space::multi_aff_on_domain().
__isl_give isl_aff * isl_space_param_aff_on_domain_id | ( | __isl_take isl_space * | space, |
__isl_take isl_id * | id ) |
Definition at line 384 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_param_on_domain_space_id().
Referenced by isl::space::param_aff_on_domain().
__isl_give isl_multi_aff * isl_space_range_map_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4220 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_aff_range_map().
Referenced by isl::space::range_map_multi_aff().
__isl_give isl_pw_multi_aff * isl_space_range_map_pw_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4256 of file isl_aff.c.
References __isl_give, __isl_take, and isl_pw_multi_aff_range_map().
Referenced by isl::space::range_map_pw_multi_aff().
__isl_give isl_aff * isl_space_zero_aff_on_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 198 of file isl_aff.c.
References __isl_give, __isl_take, and isl_aff_zero_on_domain_space().
Referenced by isl::space::zero_aff_on_domain().
__isl_give isl_multi_union_pw_aff * isl_union_map_as_multi_union_pw_aff | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 8877 of file isl_aff.c.
References __isl_give, __isl_take, and isl_multi_union_pw_aff_from_union_map().
Referenced by isl::union_map::as_multi_union_pw_aff().
__isl_give isl_union_pw_multi_aff * isl_union_map_as_union_pw_multi_aff | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 5673 of file isl_aff.c.
References __isl_give, __isl_take, and isl_union_pw_multi_aff_from_union_map().
Referenced by isl::union_map::as_union_pw_multi_aff().
__isl_give isl_union_map * isl_union_map_from_multi_union_pw_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9116 of file isl_aff.c.
References __isl_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::union_map::from(), isl_schedule_node_band_get_partial_schedule_union_map(), isl_schedule_node_get_prefix_schedule_relation(), subtree_schedule_extend(), test_multi_pw_aff_3(), and test_union_map_mupa_conversion().
|
static |
Definition at line 9085 of file isl_aff.c.
References __isl_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_give isl_union_pw_aff * isl_union_pw_aff_aff_on_domain | ( | __isl_take isl_union_set * | domain, |
__isl_take isl_aff * | aff ) |
Definition at line 8227 of file isl_aff.c.
References __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_give isl_union_set * isl_union_pw_aff_bind_id | ( | __isl_take isl_union_pw_aff * | upa, |
__isl_take isl_id * | id ) |
Definition at line 8495 of file isl_aff.c.
References __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::union_pw_aff::bind().
|
static |
Definition at line 8010 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_give isl_union_pw_aff * isl_union_pw_aff_floor | ( | __isl_take isl_union_pw_aff * | upa | ) |
Definition at line 8124 of file isl_aff.c.
References __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().
|
static |
Definition at line 8043 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_give isl_union_pw_aff * isl_union_pw_aff_mod_val | ( | __isl_take isl_union_pw_aff * | upa, |
__isl_take isl_val * | m ) |
Definition at line 8136 of file isl_aff.c.
References __isl_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_give isl_union_pw_aff * isl_union_pw_aff_param_on_domain_id | ( | __isl_take isl_union_set * | domain, |
__isl_take isl_id * | id ) |
Definition at line 8242 of file isl_aff.c.
References __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_give isl_union_pw_aff * isl_union_pw_aff_pullback_union_pw_multi_aff | ( | __isl_take isl_union_pw_aff * | upa, |
__isl_take isl_union_pw_multi_aff * | upma ) |
Definition at line 8568 of file isl_aff.c.
References __isl_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::union_pw_aff::pullback().
__isl_give isl_union_pw_aff * isl_union_pw_aff_pw_aff_on_domain | ( | __isl_take isl_union_set * | domain, |
__isl_take isl_pw_aff * | pa ) |
Definition at line 8316 of file isl_aff.c.
References __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().
|
static |
Definition at line 8293 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().
|
static |
Definition at line 8092 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_give isl_union_pw_aff * isl_union_pw_aff_val_on_domain | ( | __isl_take isl_union_set * | domain, |
__isl_take isl_val * | v ) |
Definition at line 8385 of file isl_aff.c.
References __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_give isl_union_set * isl_union_pw_aff_zero_union_set | ( | __isl_take isl_union_pw_aff * | upa | ) |
Definition at line 8454 of file isl_aff.c.
References __isl_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_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_apply_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
__isl_take isl_union_pw_multi_aff * | upma2 ) |
Definition at line 7895 of file isl_aff.c.
References __isl_take, isl_union_pw_multi_aff_pullback_union_pw_multi_aff(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::union_pw_multi_aff::apply().
__isl_give isl_multi_union_pw_aff * isl_union_pw_multi_aff_as_multi_union_pw_aff | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 8852 of file isl_aff.c.
References __isl_take, isl_multi_union_pw_aff_from_union_pw_multi_aff(), and isl_union_pw_aff_pullback_upma_data::upma.
Referenced by isl::union_pw_multi_aff::as_multi_union_pw_aff().
__isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_flat_range_product | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
__isl_take isl_union_pw_multi_aff * | upma2 ) |
Definition at line 6481 of file isl_aff.c.
References __isl_give, __isl_take, bin_op, flat_range_product_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::union_pw_multi_aff::flat_range_product(), and isl_union_pw_multi_aff_from_multi_union_pw_aff().
__isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 5638 of file isl_aff.c.
References __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_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_domain | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 6322 of file isl_aff.c.
References __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_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_multi_union_pw_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9237 of file isl_aff.c.
References __isl_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_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_multi_union_pw_aff_0D | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9216 of file isl_aff.c.
References __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_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_union_map | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 5654 of file isl_aff.c.
References __isl_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_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_union_pw_aff | ( | __isl_take isl_union_pw_aff * | upa | ) |
Definition at line 8419 of file isl_aff.c.
References __isl_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::union_pw_multi_aff::union_pw_multi_aff().
__isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_union_set | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 5684 of file isl_aff.c.
References __isl_give, __isl_take, isl_union_pw_multi_aff_from_union_map(), and isl_union_set.
__isl_give isl_union_pw_aff * isl_union_pw_multi_aff_get_union_pw_aff | ( | __isl_keep isl_union_pw_multi_aff * | upma, |
int | pos ) |
Definition at line 8201 of file isl_aff.c.
References __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_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_multi_val_on_domain | ( | __isl_take isl_union_set * | domain, |
__isl_take isl_multi_val * | mv ) |
Definition at line 7840 of file isl_aff.c.
References __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_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_preimage_domain_wrapped_domain_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
__isl_take isl_union_pw_multi_aff * | upma2 ) |
Definition at line 7993 of file isl_aff.c.
References __isl_take, bin_op, preimage_domain_wrapped_domain_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::union_pw_multi_aff::preimage_domain_wrapped_domain().
__isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_pullback_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
__isl_take isl_union_pw_multi_aff * | upma2 ) |
Definition at line 7883 of file isl_aff.c.
References __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::union_pw_multi_aff::pullback(), and subtree_contraction_enter().
__isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_range_factor_domain | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 9917 of file isl_aff.c.
References __isl_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::union_pw_multi_aff::range_factor_domain().
__isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_range_factor_range | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 9930 of file isl_aff.c.
References __isl_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::union_pw_multi_aff::range_factor_range().
__isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_range_product | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
__isl_take isl_union_pw_multi_aff * | upma2 ) |
Definition at line 6501 of file isl_aff.c.
References __isl_give, __isl_take, bin_op, range_product_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::union_pw_multi_aff::range_product().
|
static |
Definition at line 9191 of file isl_aff.c.
References __isl_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_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_scale_multi_val | ( | __isl_take isl_union_pw_multi_aff * | upma, |
__isl_take isl_multi_val * | mv ) |
Definition at line 6880 of file isl_aff.c.
References __isl_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().
|
static |
Definition at line 9900 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().
|
static |
Definition at line 9883 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().
|
static |
Definition at line 9870 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().
|
static |
Definition at line 3749 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().
|
static |
Definition at line 1563 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().
|
static |
Definition at line 9395 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().
|
static |
Definition at line 9504 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().
|
static |
Definition at line 9658 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().
|
static |
Definition at line 9279 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().
|
static |
Definition at line 3610 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().
|
static |
Definition at line 8523 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().
|
static |
Definition at line 976 of file isl_aff.c.
References __isl_give, __isl_take, aff, and isl_val_free().
Referenced by isl_aff_add_constant_val().
|
static |
Definition at line 5050 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().
|
static |
Definition at line 1434 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().
|
static |
Definition at line 1499 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().
|
static |
Definition at line 7958 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().
|
static |
Definition at line 9734 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().
|
static |
Definition at line 7860 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().
|
static |
Definition at line 3007 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().
|
static |
Definition at line 3159 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().
|
static |
Definition at line 2876 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().
|
static |
Definition at line 3651 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().
|
static |
Definition at line 3637 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().
|
static |
Definition at line 3670 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().
|
static |
Definition at line 3706 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().
|
static |
Definition at line 8267 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().
|
static |
Definition at line 8366 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().
|
static |
Definition at line 4670 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().
|
static |
Definition at line 4631 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().
|
static |
Definition at line 5624 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().
|
static |
Definition at line 5068 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().
|
static |
Definition at line 5252 of file isl_aff.c.
References __isl_give, __isl_take, hull, is_potential_div_constraint(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_offset(), isl_dim_all, isl_dim_out, isl_int_abs_lt, isl_int_add, isl_int_clear, isl_int_init, isl_int_is_pos, isl_map_copy(), isl_map_dim(), isl_map_free(), isl_map_unshifted_simple_hull(), isl_seq_is_neg(), map, n, offset, pw_multi_aff_from_map_base(), pw_multi_aff_from_map_div(), and total().
Referenced by pw_multi_aff_from_map_check_strides().
|
static |
Definition at line 5498 of file isl_aff.c.
References __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_first_non_zero(), isl_seq_gcd(), map, pw_multi_aff_from_map_check_div(), pw_multi_aff_from_map_stride(), and res.
Referenced by isl_pw_multi_aff_from_map().
|
static |
Definition at line 5129 of file isl_aff.c.
References __isl_give, __isl_take, aff, isl_vec::el, hull, isl_aff_alloc_vec_validated(), isl_aff_floor(), isl_basic_map_free(), isl_basic_map_offset(), isl_dim_all, isl_dim_in, isl_dim_out, isl_dim_set, isl_int_neg, isl_local_space_from_space(), isl_map_apply_domain(), isl_map_equate(), isl_map_free(), isl_map_from_multi_aff_internal(), isl_map_get_ctx(), isl_map_get_space(), isl_map_is_set(), isl_multi_aff_from_aff(), isl_pw_multi_aff_from_map(), isl_pw_multi_aff_pullback_multi_aff(), isl_seq_cpy(), isl_space_copy(), isl_space_dim(), isl_space_domain(), isl_space_free(), isl_space_map_from_set(), isl_vec_alloc(), ma, map, n, offset, and pma.
Referenced by pw_multi_aff_from_map_check_div().
|
static |
Definition at line 5412 of file isl_aff.c.
References __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().
|
static |
Definition at line 8404 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().
|
static |
Definition at line 7823 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().
|
static |
Definition at line 6514 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().
|
static |
Definition at line 5326 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.
|
static |
Definition at line 6491 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().
|
static |
Definition at line 3628 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().
|
static |
Definition at line 3727 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().
|
static |
Definition at line 8072 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().
|
static |
Definition at line 9164 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().
|
static |
Definition at line 1885 of file isl_aff.c.
References __isl_give, __isl_take, isl_aff_free(), and isl_aff_set_nan().
Referenced by isl_aff_div().
|
static |
Definition at line 985 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().
|
static |
Definition at line 1593 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_move_dims(), and isl_aff_normalize().
|
static |
Definition at line 4798 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().
|
static |
Definition at line 1529 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().
|
static |
Definition at line 6859 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().
|
static |
Definition at line 8545 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().
|
static |
Definition at line 8442 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().