|
Polly 22.0.0git
|
#include <isl/stdint.h>#include <isl/local_space.h>#include <isl/printer.h>#include <isl/id_type.h>#include <isl/set_type.h>#include <isl/aff_type.h>#include <isl/list.h>#include <isl/multi.h>#include <isl/union_set_type.h>#include <isl/val_type.h>#include <isl/point.h>Go to the source code of this file.
| __isl_export __isl_give isl_aff * isl_aff_add | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 1896 of file isl_aff.c.
References add_expanded(), isl_aff_dim(), isl_aff_expand_divs(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_nan(), isl_alloc_array, isl_die, isl_dim_div, isl_error_invalid, isl_mat_copy(), isl_merge_divs(), and isl_space_is_equal().
Referenced by isl::aff::add(), add_rational(), extract_aff_from_equality(), extract_modulos(), extract_rational(), extract_term_and_mod(), isl_aff_add_on_domain(), isl_aff_sub(), isl_ast_build_get_stride_expansion(), isl_pw_aff_add(), lower_bound(), print_aff_num_mod(), set_stride(), and subtract_initial().
| __isl_give isl_aff * isl_aff_add_coefficient_si | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| int | v | ||
| ) |
Definition at line 1353 of file isl_aff.c.
References aff, isl_aff_add_coefficient(), isl_int_clear, isl_int_init, isl_int_set_si, pos(), t, and type.
Referenced by at_offset(), compute_size_in_direction(), identity_tuple_el_on_space(), isl_ast_build_get_stride_constraint(), map_from_tuple(), test_aff(), update_unrolling_lower_bound(), and polly::SCEVAffinator::visit().
| __isl_give isl_aff * isl_aff_add_coefficient_val | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| __isl_take isl_val * | v | ||
| ) |
Definition at line 1290 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_int_add, isl_int_addmul, isl_int_eq, isl_int_is_one, isl_int_mul, isl_local_space_check_range(), isl_local_space_offset(), isl_seq_scale(), isl_val_free(), isl_val_is_rat(), isl_val_is_zero(), isl_vec_cow(), isl_vec_normalize(), pos(), and type.
| __isl_give isl_aff * isl_aff_add_constant_num_si | ( | __isl_take isl_aff * | aff, |
| int | v | ||
| ) |
Definition at line 1068 of file isl_aff.c.
References aff, isl_aff_add_constant_num(), isl_int_clear, isl_int_init, isl_int_set_si, and t.
Referenced by isl_aff_pos_basic_set().
| __isl_give isl_aff * isl_aff_add_constant_si | ( | __isl_take isl_aff * | aff, |
| int | v | ||
| ) |
Definition at line 1026 of file isl_aff.c.
References aff, isl_aff_add_constant(), isl_int_clear, isl_int_init, isl_int_set_si, and t.
Referenced by isl::aff::add_constant_si(), at_offset(), isl_set_indicator_function(), list_add_one(), oppose_div_arg(), pw_aff_gte_set(), test_aff(), and update_unrolling_lower_bound().
| __isl_overload __isl_give isl_aff * isl_aff_add_constant_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 997 of file isl_aff.c.
References aff, isl_aff_add_rat_constant_val(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_error_invalid, isl_val_free(), isl_val_is_nan(), isl_val_is_rat(), isl_val_is_zero(), pick_free(), and set_nan_free_val().
Referenced by isl::aff::add_constant(), is_non_neg_after_stealing(), oppose_div_arg(), and steal_from_cst().
| __isl_give isl_aff * isl_aff_add_dims | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | n | ||
| ) |
Definition at line 2690 of file isl_aff.c.
References aff, isl_aff_dim(), isl_aff_free(), isl_aff_insert_dims(), n, pos(), and type.
Referenced by isl_multi_pw_aff_apply_aff_aligned().
| __isl_give isl_aff * isl_aff_align_params | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_space * | model | ||
| ) |
Definition at line 651 of file isl_aff.c.
References aff, isl_aff_free(), isl_aff_peek_domain_space(), isl_aff_realign_domain(), isl_parameter_alignment_reordering(), isl_space_free(), and isl_space_has_equal_params().
Referenced by isl_aff_bind_id(), isl_basic_set_opt_lp_val(), isl_multi_pw_aff_apply_aff(), isl_multi_union_pw_aff_apply_aff(), and isl_set_opt().
| __isl_overload __isl_give isl_basic_set * isl_aff_bind_id | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 2949 of file isl_aff.c.
References aff, isl_aff_align_params(), isl_aff_eq_basic_set(), isl_aff_get_domain_space(), isl_aff_param_on_domain_space_id(), isl_id_copy(), isl_space_add_param_id(), and isl_space_copy().
Referenced by aff_bind_id(), isl::aff::bind(), and test_bind_aff().
| __isl_export __isl_give isl_aff * isl_aff_ceil | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1793 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_floor(), isl_aff_free(), isl_aff_is_nan(), isl_int_add, isl_int_is_one, isl_int_sub_ui, and isl_vec_cow().
Referenced by isl::aff::ceil(), compute_size_in_direction(), isl_pw_aff_ceil(), lower_bound(), and update_unrolling_lower_bound().
| int isl_aff_coefficient_sgn | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos | ||
| ) |
Definition at line 809 of file isl_aff.c.
References aff, isl_aff_get_ctx(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_int_sgn, isl_local_space_check_range(), isl_local_space_offset(), pos(), and type.
Referenced by all_negative_coefficients().
| __isl_give isl_aff * isl_aff_copy | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 145 of file isl_aff.c.
References aff.
Referenced by ast_expr_from_pw_aff(), at_offset(), coefficients_of_sign(), compute_size_in_direction(), isl::aff::copy(), extends(), extract_aff_from_equality(), extract_mod(), extract_rational(), is_non_neg_after_stealing(), is_stride_constraint(), isl_aff_mod_val(), isl_aff_ne_set(), isl_ast_build_aff_is_nonneg(), isl_ast_expr_from_constraint_no_stride(), isl_ast_expr_mod(), isl_basic_map_from_aff_list(), isl_basic_map_from_multi_aff2(), isl_basic_set_opt(), isl_basic_set_opt_lp_val(), isl_basic_set_opt_lp_val_aligned(), isl_fixed_box_set_extent(), isl_map_from_pw_aff_internal(), isl_multi_pw_aff_apply_aff_aligned(), isl_multi_pw_aff_apply_pw_aff_aligned(), isl_multi_union_pw_aff_apply_pw_aff(), isl_pw_multi_aff_from_pw_aff(), isl_pw_qpolynomial_from_pw_aff(), isl_set_opt(), isl_set_substitute(), isl_stride_info_copy(), isl_stride_info_get_offset(), lower_bound(), multi_union_pw_aff_apply_aff(), print_aff_num_mod(), pw_aff_locus(), pw_multi_aff_from_map_stride(), pw_multi_aff_set_pw_aff(), set_up_substitutions(), try_extract_mod(), update_unrolling_lower_bound(), and var_div().
| isl_size isl_aff_dim | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 450 of file isl_aff.c.
References aff, isl_aff_domain_dim(), isl_dim_in, isl_dim_out, isl_dim_set, isl_size_error, and type.
Referenced by all_negative_coefficients(), every_non_zero_coefficient(), extract_modulos(), isl_aff_add(), isl_aff_add_dims(), isl_aff_involves_locals(), isl_aff_project_domain_on_params(), isl_aff_pullback_multi_aff(), isl_ast_expr_from_constraint(), isl_basic_map_preimage_multi_aff(), isl_basic_set_opt(), isl_basic_set_opt_lp_val_aligned(), isl_local_space_preimage_multi_aff(), isl_multi_aff_lift(), isl_multi_pw_aff_apply_aff_aligned(), isl_multi_union_pw_aff_apply_aff(), multi_union_pw_aff_apply_aff(), print_aff_num(), set_up_substitutions(), sort_divs(), try_extract_mod(), and update_n_div().
| __isl_export __isl_give isl_aff * isl_aff_div | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 3438 of file isl_aff.c.
References isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_cst(), isl_aff_is_nan(), isl_aff_plain_is_zero(), isl_aff_scale(), isl_aff_scale_down(), isl_die, isl_error_invalid, isl_int_is_neg, isl_int_neg, neg(), and set_nan_free().
Referenced by isl::aff::div(), and isl_pw_aff_div().
| __isl_give isl_aff * isl_aff_drop_dims | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 2581 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_local_space_check_range(), isl_local_space_drop_dims(), isl_local_space_is_named_or_nested(), isl_local_space_offset(), isl_vec_drop_els(), n, and type.
Referenced by isl_multi_pw_aff_apply_aff_aligned(), and multi_union_pw_aff_apply_aff().
| void isl_aff_dump | ( | __isl_keep isl_aff * | aff | ) |
| __isl_give isl_basic_set * isl_aff_eq_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2476 of file isl_aff.c.
References isl_aff_sub(), and isl_aff_zero_basic_set().
Referenced by isl_aff_bind_id(), and isl_aff_eq_set().
| __isl_export __isl_give isl_set * isl_aff_eq_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2487 of file isl_aff.c.
References isl_aff_eq_basic_set(), and isl_set_from_basic_set().
Referenced by ast_expr_from_pw_aff(), isl::aff::eq_set(), and isl_multi_aff_lex_gte_set().
| __isl_export __isl_give isl_val * isl_aff_eval | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_point * | pnt | ||
| ) |
Definition at line 9998 of file isl_aff.c.
References aff, eval(), eval_void(), isl_aff_check_has_domain_space(), isl_aff_free(), isl_aff_get_domain_local_space(), isl_local_space_lift_point(), isl_point_free(), isl_point_is_void(), isl_point_peek_space(), and isl_point_peek_vec().
Referenced by isl::aff::eval().
| int isl_aff_find_dim_by_name | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
Definition at line 476 of file isl_aff.c.
References aff, isl_dim_in, isl_dim_out, isl_dim_set, isl_local_space_find_dim_by_name(), name, and type.
| __isl_export __isl_give isl_aff * isl_aff_floor | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1649 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_cst(), isl_aff_is_nan(), isl_aff_normalize(), isl_int_add_ui, isl_int_fdiv_q, isl_int_fdiv_r, isl_int_gt, isl_int_is_one, isl_int_set_si, isl_int_sub, isl_local_space_add_div(), isl_vec_copy(), isl_vec_cow(), isl_vec_extend(), size, and isl_ctx::two.
Referenced by isl::aff::floor(), isl_aff_ceil(), isl_aff_mod_val(), isl_pw_aff_floor(), pw_multi_aff_from_map_div(), set_up_substitutions(), test_aff(), and upper_bounds().
| __isl_null isl_aff * isl_aff_free | ( | __isl_take isl_aff * | aff | ) |
Definition at line 390 of file isl_aff.c.
References aff, isl_local_space_free(), and isl_vec_free().
Referenced by accept_affine_factor(), add_expanded(), add_sub_equalities(), add_sub_vars(), addNumBasicSets(), aff_bind_id(), aff_nonneg_basic_set(), aff_pos_basic_set(), aff_zero_basic_set(), ast_expr_from_pw_aff(), BFN(), check_parallel_or_opposite(), coefficients_of_sign(), compute_size(), compute_size_in_direction(), create_node(), eval_void(), extend_domain(), extract_aff_from_equality(), extract_modulo(), extract_modulos(), extract_nonneg_mod(), extract_rational(), extract_schedule_row(), extract_stride_constraint(), extract_term_and_mod(), find_unroll_lower_bound(), foreach_iteration(), harmonize_divs_with_hulls(), is_non_neg_after_stealing(), is_single_rational_aff(), is_stride_constraint(), isl_aff_add(), isl_aff_add_coefficient(), isl_aff_add_coefficient_val(), isl_aff_add_constant(), isl_aff_add_constant_num(), isl_aff_add_constant_val(), isl_aff_add_dims(), isl_aff_add_rat_constant_val(), isl_aff_align_divs(), isl_aff_align_params(), isl_aff_ceil(), isl_aff_div(), isl_aff_drop_dims(), isl_aff_eval(), isl_aff_expand_divs(), isl_aff_floor(), isl_aff_insert_dims(), isl_aff_lift(), isl_aff_mod_val(), isl_aff_move_dims(), isl_aff_mul(), isl_aff_neg(), isl_aff_normalize(), isl_aff_project_domain_on_params(), isl_aff_pullback_multi_aff(), isl_aff_realign_domain(), isl_aff_remove_unused_divs(), isl_aff_reset_domain_space(), isl_aff_restore_domain_local_space(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_aff_set_coefficient(), isl_aff_set_coefficient_si(), isl_aff_set_coefficient_val(), isl_aff_set_constant(), isl_aff_set_constant_si(), isl_aff_set_constant_val(), isl_aff_set_dim_id(), isl_aff_set_dim_name(), isl_aff_set_nan(), isl_aff_set_tuple_id(), isl_aff_substitute(), isl_aff_substitute_equalities(), isl_aff_substitute_equalities_lifted(), isl_ast_build_compute_gist_aff(), isl_ast_build_detect_strides(), isl_ast_build_has_affine_value(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint(), isl_ast_expr_from_constraint_no_stride(), isl_basic_map_from_aff2(), isl_basic_set_opt(), isl_basic_set_opt_lp_val(), isl_basic_set_opt_lp_val_aligned(), isl_constraint_alloc_aff(), isl_fixed_box_invalidate(), isl_map_get_range_lattice_tile(), isl_multi_aff_get_constant_multi_val(), isl_multi_pw_aff_apply_aff(), isl_multi_pw_aff_apply_aff_aligned(), isl_multi_union_pw_aff_apply_aff(), isl_qpolynomial_from_aff(), isl_set_opt(), isl_stride_info_alloc(), isl_stride_info_free(), merge_divs(), multi_union_pw_aff_apply_aff(), piece_opt(), plug_in_integral_divs(), plug_in_unit_divs(), print_aff_num_mod(), set_detect_stride(), set_dim_extent(), set_minimum_pa(), set_nan_free(), set_stride(), set_up_substitutions(), sort_divs(), swap_div(), test_aff(), test_aff_normalize(), test_aff_set_tuple_id(), test_bin_aff(), test_min(), test_min_special(), test_min_special2(), test_unbind_aff(), try_extract_mod(), update_n_div(), update_unrolling_lower_bound(), var_div(), and isl::aff::~aff().
| __isl_give isl_aff * isl_aff_from_range | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2646 of file isl_aff.c.
References aff, isl_aff_restore_domain_local_space(), isl_aff_take_domain_local_space(), and isl_local_space_set_from_params().
| __isl_give isl_basic_set * isl_aff_ge_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2397 of file isl_aff.c.
References isl_aff_nonneg_basic_set(), and isl_aff_sub().
Referenced by extends_min(), isl_aff_ge_set(), and isl_aff_le_basic_set().
| __isl_export __isl_give isl_set * isl_aff_ge_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2419 of file isl_aff.c.
References isl_aff_ge_basic_set(), and isl_set_from_basic_set().
Referenced by isl::aff::ge_set(), isl_aff_le_set(), isl_multi_aff_lex_gte_set(), and isl_pw_aff_union_max().
| __isl_give isl_val * isl_aff_get_coefficient_val | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos | ||
| ) |
Definition at line 779 of file isl_aff.c.
References aff, isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_local_space_check_range(), isl_local_space_offset(), isl_val_nan(), isl_val_normalize(), isl_val_rat_from_isl_int(), pos(), and type.
Referenced by check_parallel_or_opposite(), every_non_zero_coefficient(), extract_modulos(), extract_stride_constraint(), is_stride_constraint(), isl_multi_pw_aff_apply_aff_aligned(), multi_union_pw_aff_apply_aff(), and print_aff_num_mod().
| __isl_export __isl_give isl_val * isl_aff_get_constant_val | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 761 of file isl_aff.c.
References aff, isl_aff_get_ctx(), isl_aff_is_nan(), isl_val_nan(), isl_val_normalize(), and isl_val_rat_from_isl_int().
Referenced by aff_constant_is_negative(), isl::aff::constant_val(), extract_rational(), is_even_test(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint_no_stride(), isl_multi_aff_get_constant_multi_val(), mod_constraint_is_simpler(), shift_if_cst_int(), and try_extract_mod().
| isl_ctx * isl_aff_get_ctx | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 406 of file isl_aff.c.
References aff, and isl_local_space_get_ctx().
Referenced by aff_bind_id(), aff_pos_basic_set(), basic_set_opt_lp(), isl::aff::ctx(), extract_modulos(), extract_stride_constraint(), isl_aff_add(), isl_aff_add_coefficient_val(), isl_aff_add_constant_val(), isl_aff_align_divs(), isl_aff_check_has_domain_space(), isl_aff_check_match_domain_space(), isl_aff_coefficient_sgn(), isl_aff_div(), isl_aff_drop_dims(), isl_aff_floor(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_aff_get_denominator(), isl_aff_get_denominator_val(), isl_aff_insert_dims(), isl_aff_move_dims(), isl_aff_mul(), isl_aff_scale_down(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_aff_set_coefficient_val(), isl_aff_set_constant_val(), isl_aff_substitute(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint_no_stride(), isl_basic_map_from_aff2(), isl_basic_set_opt(), isl_basic_set_opt_lp_val_aligned(), isl_basic_set_opt_val(), isl_multi_union_pw_aff_apply_aff(), isl_qpolynomial_from_aff(), and isl_set_opt_val().
| __isl_give isl_val * isl_aff_get_denominator_val | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 746 of file isl_aff.c.
References aff, isl_aff_get_ctx(), isl_aff_is_nan(), isl_val_int_from_isl_int(), and isl_val_nan().
Referenced by aff_is_rational(), create_node(), isl::aff::denominator_val(), extract_modulo(), extract_rational(), is_stride_constraint(), print_aff_num_mod(), and var_div().
| const char * isl_aff_get_dim_name | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 586 of file isl_aff.c.
References aff, isl_dim_in, isl_dim_out, isl_dim_set, isl_local_space_get_dim_name(), pos(), and type.
| __isl_give isl_aff * isl_aff_get_div | ( | __isl_keep isl_aff * | aff, |
| int | pos | ||
| ) |
Definition at line 1366 of file isl_aff.c.
References aff, isl_local_space_get_div(), and pos().
Referenced by extract_modulo(), is_stride_constraint(), isl_multi_pw_aff_apply_aff_aligned(), multi_union_pw_aff_apply_aff(), and print_aff_num_mod().
| __isl_give isl_local_space * isl_aff_get_domain_local_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 513 of file isl_aff.c.
References aff, isl_aff_peek_domain_local_space(), and isl_local_space_copy().
Referenced by extract_rational(), isl_aff_eval(), isl_aff_gist(), isl_aff_pullback_multi_aff(), isl_aff_take_domain_local_space(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint_no_stride(), isl_constraint_alloc_aff(), isl_multi_aff_lift(), and set_ma_divs().
| __isl_give isl_space * isl_aff_get_domain_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 495 of file isl_aff.c.
References aff, isl_aff_peek_domain_space(), and isl_space_copy().
Referenced by aff_nonneg_basic_set(), aff_pos_basic_set(), aff_zero_basic_set(), isl_aff_bind_id(), isl_aff_check_match_domain_space(), isl_aff_gist_params(), isl_aff_matching_params(), isl_aff_project_domain_on_params(), isl_basic_set_opt_lp_val(), isl_multi_union_pw_aff_apply_aff(), isl_qpolynomial_from_aff(), isl_set_opt(), and range_map().
| uint32_t isl_aff_get_hash | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 413 of file isl_aff.c.
References aff, isl_hash_hash, isl_hash_init, isl_local_space_get_hash(), and isl_vec_get_hash().
| __isl_give isl_local_space * isl_aff_get_local_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 519 of file isl_aff.c.
References aff, isl_dim_out, isl_local_space_add_dims(), isl_local_space_copy(), and isl_local_space_from_domain().
Referenced by isl_basic_map_from_aff2().
| __isl_give isl_space * isl_aff_get_space | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 500 of file isl_aff.c.
References aff, isl_dim_out, isl_local_space_get_space(), isl_space_add_dims(), and isl_space_from_domain().
Referenced by isl_multi_pw_aff_apply_aff(), and isl_multi_union_pw_aff_apply_aff().
| __isl_export __isl_give isl_aff * isl_aff_gist | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_set * | context | ||
| ) |
Definition at line 2245 of file isl_aff.c.
References aff, context, hull, isl_aff_get_domain_local_space(), isl_aff_substitute_equalities_lifted(), isl_local_space_lift_set(), and isl_set_affine_hull().
Referenced by isl::aff::gist(), isl_aff_add_on_domain(), isl_aff_gist_params(), isl_ast_build_compute_gist_aff(), and test_aff().
| __isl_export __isl_give isl_aff * isl_aff_gist_params | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_set * | context | ||
| ) |
Definition at line 2258 of file isl_aff.c.
References aff, context, isl_aff_get_domain_space(), isl_aff_gist(), isl_set_intersect_params(), and isl_set_universe().
| __isl_give isl_basic_set * isl_aff_gt_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2408 of file isl_aff.c.
References isl_aff_pos_basic_set(), and isl_aff_sub().
Referenced by isl_aff_gt_set(), and isl_aff_lt_basic_set().
| __isl_export __isl_give isl_set * isl_aff_gt_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2431 of file isl_aff.c.
References isl_aff_gt_basic_set(), and isl_set_from_basic_set().
Referenced by isl::aff::gt_set(), isl_aff_ne_set(), and isl_multi_aff_lex_gte_set().
| __isl_give isl_aff * isl_aff_insert_dims | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 2657 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_local_space_check_range(), isl_local_space_insert_dims(), isl_local_space_is_named_or_nested(), isl_local_space_offset(), isl_vec_insert_zero_els(), n, and type.
Referenced by isl_aff_add_dims().
| isl_bool isl_aff_involves_dims | ( | __isl_keep isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Referenced by check_parallel_or_opposite(), isl_ast_build_has_affine_value(), need_substitution(), and try_extract_mod().
| isl_bool isl_aff_involves_locals | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 2571 of file isl_aff.c.
References aff, isl_aff_dim(), isl_bool_error, isl_bool_ok(), isl_dim_div, and n.
| __isl_export isl_bool isl_aff_is_cst | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 3360 of file isl_aff.c.
References aff, isl_bool_error, isl_bool_ok(), isl_seq_first_non_zero(), and pos().
Referenced by isl::aff::is_cst(), isl_aff_div(), isl_aff_floor(), isl_aff_mul(), isl_pw_aff_is_cst(), and shift_if_cst_int().
| isl_bool isl_aff_is_nan | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 699 of file isl_aff.c.
References aff, isl_bool_error, isl_bool_ok(), and isl_seq_first_non_zero().
Referenced by add_sub_equalities(), add_sub_vars(), aff_nonneg_basic_set(), aff_pos_basic_set(), aff_zero_basic_set(), isl_aff_add(), isl_aff_add_coefficient(), isl_aff_add_coefficient_val(), isl_aff_add_constant(), isl_aff_add_constant_num(), isl_aff_add_constant_val(), isl_aff_ceil(), isl_aff_div(), isl_aff_floor(), isl_aff_get_coefficient_val(), isl_aff_get_constant_val(), isl_aff_get_denominator(), isl_aff_get_denominator_val(), isl_aff_mul(), isl_aff_neg(), isl_aff_plain_is_equal(), isl_aff_scale(), isl_aff_scale_down(), isl_aff_set_coefficient(), isl_aff_set_coefficient_si(), isl_aff_set_coefficient_val(), isl_aff_set_constant(), isl_aff_set_constant_si(), isl_aff_set_constant_val(), isl_basic_map_from_aff2(), print_aff_body(), pw_aff_locus(), and test_bin_aff().
| __isl_give isl_basic_set * isl_aff_le_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2440 of file isl_aff.c.
References isl_aff_ge_basic_set().
Referenced by extends_max().
| __isl_export __isl_give isl_set * isl_aff_le_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2458 of file isl_aff.c.
References isl_aff_ge_set().
Referenced by isl_pw_aff_union_min(), and isl::aff::le_set().
| __isl_give isl_basic_set * isl_aff_lt_basic_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2449 of file isl_aff.c.
References isl_aff_gt_basic_set().
Referenced by isl_aff_lt_set().
| __isl_export __isl_give isl_set * isl_aff_lt_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2467 of file isl_aff.c.
References isl_aff_lt_basic_set(), and isl_set_from_basic_set().
Referenced by isl_aff_ne_set(), and isl::aff::lt_set().
| __isl_overload __isl_give isl_aff * isl_aff_mod_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | mod | ||
| ) |
Definition at line 1716 of file isl_aff.c.
References aff, isl_aff_copy(), isl_aff_floor(), isl_aff_free(), isl_aff_scale_down_val(), isl_aff_scale_val(), isl_aff_sub(), isl_die, isl_error_invalid, isl_val_copy(), isl_val_free(), isl_val_get_ctx(), isl_val_is_int(), m, and res.
Referenced by extract_aff_from_equality(), isl_ast_build_get_stride_constraint(), and isl::aff::mod().
| __isl_give isl_aff * isl_aff_move_dims | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n | ||
| ) |
Definition at line 2707 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_domain_offset(), isl_aff_free(), isl_aff_get_ctx(), isl_die, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_error_unsupported, isl_local_space_check_range(), isl_local_space_is_named_or_nested(), isl_local_space_move_dims(), isl_vec_move_els(), n, and sort_divs().
| __isl_export __isl_give isl_aff * isl_aff_mul | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 3395 of file isl_aff.c.
References isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_cst(), isl_aff_is_nan(), isl_aff_mul(), isl_aff_scale(), isl_aff_scale_down(), isl_die, and isl_error_invalid.
Referenced by isl_aff_mul(), isl_pw_aff_mul(), and isl::aff::mul().
| __isl_give isl_aff * isl_aff_nan_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 232 of file isl_aff.c.
References aff, isl_aff_alloc(), and isl_aff_set_nan().
Referenced by isl_aff_nan_on_domain_space(), isl_fixed_box_invalidate(), isl_pw_aff_nan_on_domain(), and set_up_substitutions().
| __isl_give isl_aff * isl_aff_nan_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 243 of file isl_aff.c.
References isl_aff_nan_on_domain(), and isl_local_space_from_space().
Referenced by isl_pw_aff_nan_on_domain_space().
| __isl_export __isl_give isl_set * isl_aff_ne_set | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 2499 of file isl_aff.c.
References isl_aff_copy(), isl_aff_gt_set(), isl_aff_lt_set(), and isl_set_union_disjoint().
Referenced by isl::aff::ne_set().
| __isl_export __isl_give isl_aff * isl_aff_neg | ( | __isl_take isl_aff * | aff | ) |
Definition at line 1378 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_seq_neg(), and isl_vec_cow().
Referenced by compute_size_in_direction(), extract_stride_constraint(), is_stride_constraint(), isl_aff_neg_basic_set(), isl_aff_sub(), isl_ast_expr_from_constraint_no_stride(), isl::aff::neg(), oppose_div_arg(), and update_unrolling_lower_bound().
| __isl_give isl_basic_set * isl_aff_neg_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2351 of file isl_aff.c.
References aff, isl_aff_neg(), and isl_aff_pos_basic_set().
Referenced by isl_ast_build_aff_is_nonneg().
| __isl_give isl_aff * isl_aff_param_on_domain_space_id | ( | __isl_take isl_space * | space, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 359 of file isl_aff.c.
References isl_aff_var_on_domain(), isl_die, isl_dim_param, isl_error_invalid, isl_id_free(), isl_local_space_from_space(), isl_space_find_dim_by_id(), isl_space_free(), isl_space_get_ctx(), and pos().
Referenced by FN(), isl_aff_bind_id(), isl_pw_aff_param_on_domain_id(), isl_space_param_aff_on_domain_id(), and isl_union_pw_aff_param_on_domain_id().
| isl_bool isl_aff_plain_is_equal | ( | __isl_keep isl_aff * | aff1, |
| __isl_keep isl_aff * | aff2 | ||
| ) |
Definition at line 711 of file isl_aff.c.
References equal, isl_aff_is_nan(), isl_bool_error, isl_bool_false, isl_local_space_is_equal(), and isl_vec_is_equal().
Referenced by is_stride_constraint(), and test_bin_aff().
| isl_bool isl_aff_plain_is_zero | ( | __isl_keep isl_aff * | aff | ) |
Definition at line 684 of file isl_aff.c.
References aff, isl_bool_error, isl_bool_false, isl_bool_ok(), isl_int_is_zero, isl_seq_first_non_zero(), and pos().
Referenced by isl_aff_div(), print_aff_num_mod(), and test_aff().
| __isl_give isl_aff * isl_aff_project_domain_on_params | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2628 of file isl_aff.c.
References aff, isl_aff_dim(), isl_aff_free(), isl_aff_get_domain_space(), isl_aff_reset_domain_space(), isl_dim_in, isl_space_params(), and n.
Referenced by multi_union_pw_aff_apply_aff().
| __isl_give isl_aff * isl_aff_pullback_aff | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 6036 of file isl_aff.c.
References isl_aff_pullback_multi_aff(), isl_multi_aff_from_aff(), and ma.
| __isl_overload __isl_give isl_aff * isl_aff_pullback_multi_aff | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 5981 of file isl_aff.c.
References aff, c1, c2, f, isl_aff_alloc(), isl_aff_dim(), isl_aff_free(), isl_aff_get_domain_local_space(), isl_aff_normalize(), isl_dim_div, isl_int_clear, isl_int_init, isl_local_space_preimage_multi_aff(), isl_multi_aff_align_divs(), isl_seq_preimage(), ma, and res.
Referenced by isl_aff_pullback_aff(), isl_multi_aff_pullback_multi_aff(), and isl::aff::pullback().
| __isl_constructor __isl_give isl_aff * isl_aff_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
| __isl_give isl_aff * isl_aff_scale_down_ui | ( | __isl_take isl_aff * | aff, |
| unsigned | f | ||
| ) |
Definition at line 2091 of file isl_aff.c.
References aff, f, isl_aff_scale_down(), isl_int_clear, isl_int_init, and isl_int_set_ui.
Referenced by test_aff().
| __isl_overload __isl_give isl_aff * isl_aff_scale_down_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 2062 of file isl_aff.c.
References aff, isl_aff_free(), isl_aff_get_ctx(), isl_aff_scale(), isl_aff_scale_down(), isl_die, isl_error_invalid, isl_val_free(), isl_val_is_one(), isl_val_is_pos(), and isl_val_is_rat().
Referenced by create_node(), detect_stride(), extract_rational(), isl_aff_mod_val(), isl_ast_build_scale_down(), lower_bound(), and isl::aff::scale_down().
| __isl_overload __isl_give isl_aff * isl_aff_scale_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 1995 of file isl_aff.c.
References aff, isl_aff_free(), isl_aff_get_ctx(), isl_aff_scale(), isl_aff_scale_down(), isl_die, isl_error_invalid, isl_val_free(), isl_val_is_one(), and isl_val_is_rat().
Referenced by add_rational(), create_node(), detect_stride(), extract_modulo(), extract_rational(), extract_term_and_mod(), is_stride_constraint(), isl_aff_mod_val(), isl_ast_build_get_stride_expansion(), isl_ast_build_scale_down(), lower_bound(), print_aff_num_mod(), isl::aff::scale(), set_stride(), and var_div().
| __isl_give isl_aff * isl_aff_set_coefficient_si | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| int | v | ||
| ) |
Definition at line 1148 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_int_cmp_si, isl_int_set_si, isl_local_space_check_range(), isl_local_space_offset(), isl_vec_cow(), pos(), and type.
Referenced by clear_opposite_sign(), detect_stride(), extract_stride_constraint(), extract_term_and_mod(), is_stride_constraint(), print_aff_num_mod(), and polly::SCEVAffinator::visitAddRecExpr().
| __isl_give isl_aff * isl_aff_set_coefficient_val | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| int | pos, | ||
| __isl_take isl_val * | v | ||
| ) |
Definition at line 1188 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_int_eq, isl_int_is_one, isl_int_mul, isl_int_set, isl_local_space_check_range(), isl_local_space_offset(), isl_seq_scale(), isl_val_free(), isl_val_is_rat(), isl_vec_cow(), isl_vec_normalize(), pos(), and type.
| __isl_give isl_aff * isl_aff_set_constant_si | ( | __isl_take isl_aff * | aff, |
| int | v | ||
| ) |
Definition at line 1087 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_is_nan(), isl_int_set_si, and isl_vec_cow().
Referenced by coefficients_of_sign(), extract_term_and_mod(), and isl::aff::set_constant_si().
| __isl_give isl_aff * isl_aff_set_constant_val | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 859 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_is_nan(), isl_die, isl_error_invalid, isl_int_eq, isl_int_is_one, isl_int_mul, isl_int_set, isl_seq_scale(), isl_val_free(), isl_val_is_rat(), isl_vec_cow(), and isl_vec_normalize().
Referenced by try_extract_mod().
| __isl_give isl_aff * isl_aff_set_dim_id | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_take isl_id * | id | ||
| ) |
Definition at line 2125 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_id_free(), isl_local_space_set_dim_id(), pos(), and type.
| __isl_give isl_aff * isl_aff_set_dim_name | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
Definition at line 2106 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_local_space_set_dim_name(), pos(), and type.
| __isl_give isl_aff * isl_aff_set_tuple_id | ( | __isl_take isl_aff * | aff, |
| enum isl_dim_type | type, | ||
| __isl_take isl_id * | id | ||
| ) |
Definition at line 2151 of file isl_aff.c.
References aff, isl_aff_cow(), isl_aff_free(), isl_die, isl_dim_in, isl_dim_set, isl_error_invalid, isl_id_free(), isl_local_space_set_tuple_id(), and type.
Referenced by test_aff_set_tuple_id().
| __isl_export __isl_give isl_aff * isl_aff_sub | ( | __isl_take isl_aff * | aff1, |
| __isl_take isl_aff * | aff2 | ||
| ) |
Definition at line 1949 of file isl_aff.c.
References isl_aff_add(), and isl_aff_neg().
Referenced by extract_aff_from_equality(), extract_rational(), harmonize_divs_with_hulls(), isl_aff_eq_basic_set(), isl_aff_ge_basic_set(), isl_aff_gt_basic_set(), isl_aff_mod_val(), lower_bound(), isl::aff::sub(), subtract_initial(), and test_aff_normalize().
| __isl_give char * isl_aff_to_str | ( | __isl_keep isl_aff * | aff | ) |
Referenced by isl::operator<<().
| __isl_export __isl_give isl_aff * isl_aff_unbind_params_insert_domain | ( | __isl_take isl_aff * | aff, |
| __isl_take isl_multi_id * | domain | ||
| ) |
Referenced by test_unbind_aff(), and isl::aff::unbind_params_insert_domain().
| __isl_give isl_aff * isl_aff_val_on_domain | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_val * | val | ||
| ) |
Definition at line 272 of file isl_aff.c.
References aff, isl_aff_alloc(), isl_die, isl_error_invalid, isl_int_set, isl_local_space_copy(), isl_local_space_free(), isl_seq_clr(), isl_val_free(), isl_val_get_ctx(), isl_val_is_nan(), isl_val_is_rat(), and val.
Referenced by isl::aff::aff(), extract_rational(), isl_aff_val_on_domain_space(), isl_multi_aff_multi_val_on_domain_space(), isl_pw_aff_val_on_domain(), and polly::SCEVAffinator::visitConstant().
| __isl_give isl_aff * isl_aff_val_on_domain_space | ( | __isl_take isl_space * | space, |
| __isl_take isl_val * | val | ||
| ) |
Definition at line 302 of file isl_aff.c.
References isl_aff_val_on_domain(), isl_local_space_from_space(), and val.
| __isl_give isl_aff * isl_aff_var_on_domain | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 311 of file isl_aff.c.
References aff, isl_aff_alloc(), isl_die, isl_error_invalid, isl_int_set_si, isl_local_space_check_range(), isl_local_space_free(), isl_local_space_get_space(), isl_local_space_offset(), isl_seq_clr(), isl_space_free(), isl_space_get_ctx(), isl_space_is_map(), pos(), and type.
Referenced by add_rational(), BFN(), compute_size(), isl_aff_param_on_domain_space_id(), isl_multi_aff_domain_map(), isl_multi_aff_project_out_map(), isl_multi_aff_range_map(), isl_pw_aff_var_on_domain(), range_map(), and isl::aff::var_on_domain().
| __isl_give isl_basic_set * isl_aff_zero_basic_set | ( | __isl_take isl_aff * | aff | ) |
Definition at line 2389 of file isl_aff.c.
References aff, and aff_zero_basic_set().
Referenced by isl_aff_eq_basic_set(), and isl_ast_build_get_stride_constraint().
| __isl_give isl_aff * isl_aff_zero_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 174 of file isl_aff.c.
References aff, isl_aff_alloc(), isl_int_set_si, and isl_seq_clr().
Referenced by accept_affine(), accept_affine_factor(), isl::aff::aff(), extract_rational(), extract_schedule_row(), identity_tuple_el_on_space(), isl_aff_zero_in_space(), isl_aff_zero_on_domain_space(), isl_pw_aff_zero_on_domain(), isl_set_indicator_function(), list_add_one(), map_from_tuple(), pw_aff_gte_set(), set_detect_stride(), test_aff(), polly::SCEVAffinator::visit(), and polly::SCEVAffinator::visitAddRecExpr().
| __isl_overload __isl_give isl_aff * isl_aff_zero_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 190 of file isl_aff.c.
References isl_aff_zero_on_domain(), and isl_local_space_from_space().
Referenced by isl_space_zero_aff_on_domain(), and isl::aff::zero_on_domain().
| __isl_export __isl_give isl_pw_multi_aff * isl_map_as_pw_multi_aff | ( | __isl_take isl_map * | map | ) |
Definition at line 5603 of file isl_aff.c.
References isl_pw_multi_aff_from_map(), and map.
Referenced by isl::map::as_pw_multi_aff().
| __isl_give isl_map * isl_map_from_multi_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 479 of file isl_aff_map.c.
References check_input_is_map(), and map_from_multi_pw_aff().
Referenced by isl_multi_pw_aff_as_map().
| __isl_give isl_map * isl_map_from_pw_aff | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 327 of file isl_aff_map.c.
References check_input_is_map(), isl_map_from_pw_aff_internal(), and isl_pw_aff_free().
Referenced by isl::map::from_pw_aff(), isl_pw_aff_as_map(), map_from_pw_aff_entry(), and read_var_def().
| __isl_give isl_map * isl_map_from_pw_multi_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 396 of file isl_aff_map.c.
References check_input_is_map(), isl_map_from_pw_multi_aff_internal(), isl_pw_multi_aff_free(), and pma.
Referenced by isl_pw_multi_aff_as_map(), map_from_pw_multi_aff(), project_out_fixed(), test_lexmin(), and test_map_conversion().
| __isl_export __isl_give isl_basic_set * isl_multi_aff_bind | ( | __isl_take isl_multi_aff * | ma, |
| __isl_take isl_multi_id * | tuple | ||
| ) |
Referenced by isl::multi_aff::bind().
| __isl_export __isl_give isl_multi_aff * isl_multi_aff_domain_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4124 of file isl_aff.c.
References aff, isl_aff_var_on_domain(), isl_die, isl_dim_in, isl_dim_set, isl_error_invalid, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_space_copy(), isl_space_dim(), isl_space_domain(), isl_space_domain_map(), isl_space_free(), isl_space_get_ctx(), isl_space_is_map(), and ma.
Referenced by isl::multi_aff::domain_map(), domain_map_upma(), isl_pw_aff_order_map(), isl_pw_multi_aff_domain_map(), isl_space_domain_map_multi_aff(), and tag().
| void isl_multi_aff_dump | ( | __isl_keep isl_multi_aff * | maff | ) |
Referenced by isl_ast_build_dump().
| __isl_give isl_multi_aff * isl_multi_aff_flatten_domain | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 4103 of file isl_aff.c.
References isl_space_flatten_domain(), and ma.
| __isl_export __isl_give isl_multi_aff * isl_multi_aff_floor | ( | __isl_take isl_multi_aff * | ma | ) |
Referenced by isl::multi_aff::floor(), and plain_pw_multi_aff_from_map().
| __isl_constructor __isl_give isl_multi_aff * isl_multi_aff_from_aff | ( | __isl_take isl_aff * | aff | ) |
| __isl_export __isl_give isl_multi_val * isl_multi_aff_get_constant_multi_val | ( | __isl_keep isl_multi_aff * | ma | ) |
Definition at line 4071 of file isl_aff.c.
References aff, isl_aff_free(), isl_aff_get_constant_val(), isl_space_drop_all_params(), isl_space_range(), ma, n, and val.
Referenced by isl::multi_aff::constant_multi_val().
| __isl_export __isl_give isl_multi_aff * isl_multi_aff_gist | ( | __isl_take isl_multi_aff * | maff, |
| __isl_take isl_set * | context | ||
| ) |
Referenced by isl::multi_aff::gist(), isl_multi_aff_add_on_domain(), and pw_multi_aff_set_pw_aff().
| __isl_export __isl_give isl_multi_aff * isl_multi_aff_gist_params | ( | __isl_take isl_multi_aff * | maff, |
| __isl_take isl_set * | context | ||
| ) |
| __isl_give isl_set * isl_multi_aff_lex_ge_set | ( | __isl_take isl_multi_aff * | ma1, |
| __isl_take isl_multi_aff * | ma2 | ||
| ) |
Definition at line 4564 of file isl_aff.c.
References isl_multi_aff_lex_gte_set(), and ma1.
Referenced by isl_multi_aff_lex_le_set(), and isl_pw_multi_aff_union_lexmax().
| __isl_give isl_set * isl_multi_aff_lex_gt_set | ( | __isl_take isl_multi_aff * | ma1, |
| __isl_take isl_multi_aff * | ma2 | ||
| ) |
Definition at line 4573 of file isl_aff.c.
References isl_multi_aff_lex_gte_set(), and ma1.
Referenced by isl_multi_aff_lex_lt_set().
| __isl_give isl_set * isl_multi_aff_lex_le_set | ( | __isl_take isl_multi_aff * | ma1, |
| __isl_take isl_multi_aff * | ma2 | ||
| ) |
Definition at line 4444 of file isl_aff.c.
References isl_multi_aff_lex_ge_set(), and ma1.
Referenced by isl_pw_multi_aff_union_lexmin().
| __isl_give isl_set * isl_multi_aff_lex_lt_set | ( | __isl_take isl_multi_aff * | ma1, |
| __isl_take isl_multi_aff * | ma2 | ||
| ) |
Definition at line 4453 of file isl_aff.c.
References isl_multi_aff_lex_gt_set(), and ma1.
| __isl_give isl_multi_aff * isl_multi_aff_lift | ( | __isl_take isl_multi_aff * | maff, |
| __isl_give isl_local_space ** | ls | ||
| ) |
Definition at line 6191 of file isl_aff.c.
References aff, isl_aff_dim(), isl_aff_get_domain_local_space(), isl_aff_lift(), isl_dim_div, isl_local_space_from_space(), isl_multi_aff_align_divs(), isl_space_domain(), isl_space_extend_domain_with_range(), isl_space_lift(), and n.
| __isl_give isl_multi_aff * isl_multi_aff_move_dims | ( | __isl_take isl_multi_aff * | ma, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n | ||
| ) |
| __isl_overload __isl_give isl_multi_aff * isl_multi_aff_multi_val_on_domain_space | ( | __isl_take isl_space * | space, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 7731 of file isl_aff.c.
References aff, isl_aff_val_on_domain(), isl_dim_set, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_space_align_params(), isl_space_copy(), isl_space_domain(), isl_space_free(), isl_space_map_from_domain_and_range(), ma, and n.
Referenced by isl_multi_aff_multi_val_on_space(), isl_space_multi_aff_on_domain_multi_val(), and isl::multi_aff::multi_val_on_domain().
| __isl_give isl_multi_aff * isl_multi_aff_multi_val_on_space | ( | __isl_take isl_space * | space, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 7770 of file isl_aff.c.
References isl_multi_aff_multi_val_on_domain_space().
Referenced by isl_pw_multi_aff_multi_val_on_domain().
| __isl_give isl_multi_aff * isl_multi_aff_project_out_map | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 4265 of file isl_aff.c.
References aff, isl_aff_var_on_domain(), isl_die, isl_dim_out, isl_dim_set, isl_error_invalid, isl_error_unsupported, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_space_add_dims(), isl_space_check_range(), isl_space_copy(), isl_space_dim(), isl_space_domain(), isl_space_free(), isl_space_from_domain(), isl_space_get_ctx(), isl_space_is_set(), ma, n, and type.
Referenced by isl_pw_multi_aff_project_out_map(), isolate_final(), and project_out_fixed().
| __isl_overload __isl_give isl_multi_aff * isl_multi_aff_pullback_multi_aff | ( | __isl_take isl_multi_aff * | ma1, |
| __isl_take isl_multi_aff * | ma2 | ||
| ) |
Definition at line 6048 of file isl_aff.c.
References aff, isl_aff_pullback_multi_aff(), isl_multi_aff_align_divs(), isl_space_free(), isl_space_join(), ma1, and n.
Referenced by compress_node(), extract_node_transformation(), isl_ast_build_scale_down(), isl_sched_node_extract_partial_schedule_multi_aff(), isl::multi_aff::pullback(), and test_pullback().
| __isl_export __isl_give isl_multi_aff * isl_multi_aff_range_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4176 of file isl_aff.c.
References aff, isl_aff_var_on_domain(), isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_space_copy(), isl_space_dim(), isl_space_domain(), isl_space_free(), isl_space_get_ctx(), isl_space_is_map(), isl_space_range_map(), and ma.
Referenced by isl_pw_aff_order_map(), isl_pw_multi_aff_range_map(), isl_space_range_map_multi_aff(), and isl::multi_aff::range_map().
| __isl_constructor __isl_give isl_multi_aff * isl_multi_aff_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
| __isl_export __isl_give isl_multi_pw_aff * isl_multi_aff_to_multi_pw_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 7042 of file isl_aff.c.
References isl_multi_pw_aff_from_multi_aff(), and ma.
Referenced by isl::multi_aff::to_multi_pw_aff().
| __isl_export __isl_give isl_multi_union_pw_aff * isl_multi_aff_to_multi_union_pw_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 8702 of file isl_aff.c.
References isl_multi_union_pw_aff_from_multi_aff(), and ma.
Referenced by isl::multi_aff::to_multi_union_pw_aff().
| __isl_export __isl_give isl_pw_multi_aff * isl_multi_aff_to_pw_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 4338 of file isl_aff.c.
References isl_pw_multi_aff_from_multi_aff(), and ma.
Referenced by isl::multi_aff::to_pw_multi_aff().
| __isl_give char * isl_multi_aff_to_str | ( | __isl_keep isl_multi_aff * | ma | ) |
Referenced by isl::operator<<(), and test_output_ma().
| __isl_export __isl_give isl_map * isl_multi_pw_aff_as_map | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 489 of file isl_aff_map.c.
References isl_map_from_multi_pw_aff().
Referenced by isl::multi_pw_aff::as_map().
| __isl_export __isl_give isl_multi_aff * isl_multi_pw_aff_as_multi_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 6695 of file isl_aff.c.
References aff, isl_pw_aff_as_aff(), ma, and n.
Referenced by isl::multi_pw_aff::as_multi_aff().
| __isl_export __isl_give isl_set * isl_multi_pw_aff_as_set | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 509 of file isl_aff_map.c.
References isl_set_from_multi_pw_aff().
Referenced by isl::multi_pw_aff::as_set().
| __isl_export __isl_give isl_set * isl_multi_pw_aff_bind | ( | __isl_take isl_multi_pw_aff * | mpa, |
| __isl_take isl_multi_id * | tuple | ||
| ) |
Referenced by isl::multi_pw_aff::bind().
| __isl_export __isl_give isl_multi_pw_aff * isl_multi_pw_aff_coalesce | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Referenced by isl::multi_pw_aff::coalesce().
| __isl_export __isl_give isl_set * isl_multi_pw_aff_domain | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
| void isl_multi_pw_aff_dump | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
| __isl_give isl_map * isl_multi_pw_aff_eq_map | ( | __isl_take isl_multi_pw_aff * | mpa1, |
| __isl_take isl_multi_pw_aff * | mpa2 | ||
| ) |
Definition at line 7491 of file isl_aff.c.
References isl_multi_pw_aff_eq_map_on_space(), and isl_multi_pw_aff_order_map().
Referenced by add_non_trivial_lineality(), isl_map_eq_at_multi_pw_aff(), and isl_union_map_eq_at_multi_union_pw_aff().
| __isl_constructor __isl_give isl_multi_pw_aff * isl_multi_pw_aff_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 7005 of file isl_aff.c.
References aff, isl_multi_pw_aff_from_pw_aff(), and isl_pw_aff_from_aff().
Referenced by isl::multi_pw_aff::multi_pw_aff().
| __isl_constructor __isl_give isl_multi_pw_aff * isl_multi_pw_aff_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 7013 of file isl_aff.c.
References isl_dim_out, isl_pw_aff_from_aff(), ma, and n.
Referenced by add_non_trivial_lineality(), insert_current_band(), isl_multi_aff_to_multi_pw_aff(), isl_multi_union_pw_aff_from_multi_aff(), and isl::multi_pw_aff::multi_pw_aff().
| __isl_constructor __isl_give isl_multi_pw_aff * isl_multi_pw_aff_from_pw_aff | ( | __isl_take isl_pw_aff * | pa | ) |
Referenced by isl_multi_pw_aff_from_aff(), and isl::multi_pw_aff::multi_pw_aff().
| __isl_constructor __isl_give isl_multi_pw_aff * isl_multi_pw_aff_from_pw_multi_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 7055 of file isl_aff.c.
References isl_dim_out, isl_multi_pw_aff_intersect_domain(), isl_pw_multi_aff_copy(), isl_pw_multi_aff_dim(), isl_pw_multi_aff_domain(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_pw_aff(), isl_pw_multi_aff_get_space(), n, and pma.
Referenced by isl_ast_build_from_pw_multi_aff(), isl_ast_build_from_pw_multi_aff_internal(), isl_pw_multi_aff_to_multi_pw_aff(), isl::multi_pw_aff::multi_pw_aff(), project_out_fixed(), test_mpa_conversion(), and test_parse_mpa().
| uint32_t isl_multi_pw_aff_get_hash | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
| __isl_export __isl_give isl_multi_pw_aff * isl_multi_pw_aff_gist | ( | __isl_take isl_multi_pw_aff * | mpa, |
| __isl_take isl_set * | set | ||
| ) |
Referenced by isl::multi_pw_aff::gist().
| __isl_give isl_multi_pw_aff * isl_multi_pw_aff_gist_params | ( | __isl_take isl_multi_pw_aff * | mpa, |
| __isl_take isl_set * | set | ||
| ) |
| __isl_export __isl_give isl_multi_pw_aff * isl_multi_pw_aff_intersect_domain | ( | __isl_take isl_multi_pw_aff * | mpa, |
| __isl_take isl_set * | domain | ||
| ) |
| __isl_export __isl_give isl_multi_pw_aff * isl_multi_pw_aff_intersect_params | ( | __isl_take isl_multi_pw_aff * | mpa, |
| __isl_take isl_set * | set | ||
| ) |
Referenced by isl::multi_pw_aff::intersect_params().
| isl_bool isl_multi_pw_aff_is_cst | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
Definition at line 6735 of file isl_aff.c.
References isl_pw_aff_is_cst().
| isl_bool isl_multi_pw_aff_is_equal | ( | __isl_keep isl_multi_pw_aff * | mpa1, |
| __isl_keep isl_multi_pw_aff * | mpa2 | ||
| ) |
Definition at line 7139 of file isl_aff.c.
References equal, isl_bool_error, isl_bool_false, isl_bool_true, isl_multi_pw_aff_is_equal(), isl_pw_aff_is_equal(), isl_space_has_equal_params(), isl_space_has_named_params(), and isl_space_is_equal().
Referenced by isl_multi_pw_aff_is_equal().
| __isl_export isl_bool isl_multi_pw_aff_isa_multi_aff | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
Definition at line 6687 of file isl_aff.c.
References isl_pw_aff_isa_aff().
Referenced by isl::multi_pw_aff::isa_multi_aff().
| __isl_give isl_map * isl_multi_pw_aff_lex_ge_map | ( | __isl_take isl_multi_pw_aff * | mpa1, |
| __isl_take isl_multi_pw_aff * | mpa2 | ||
| ) |
| __isl_give isl_map * isl_multi_pw_aff_lex_gt_map | ( | __isl_take isl_multi_pw_aff * | mpa1, |
| __isl_take isl_multi_pw_aff * | mpa2 | ||
| ) |
| __isl_give isl_map * isl_multi_pw_aff_lex_le_map | ( | __isl_take isl_multi_pw_aff * | mpa1, |
| __isl_take isl_multi_pw_aff * | mpa2 | ||
| ) |
| __isl_give isl_map * isl_multi_pw_aff_lex_lt_map | ( | __isl_take isl_multi_pw_aff * | mpa1, |
| __isl_take isl_multi_pw_aff * | mpa2 | ||
| ) |
| __isl_give isl_multi_pw_aff * isl_multi_pw_aff_move_dims | ( | __isl_take isl_multi_pw_aff * | pma, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n | ||
| ) |
| __isl_overload __isl_give isl_multi_pw_aff * isl_multi_pw_aff_pullback_multi_aff | ( | __isl_take isl_multi_pw_aff * | mpa, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Referenced by isl_ast_build_from_multi_pw_aff(), and isl::multi_pw_aff::pullback().
| __isl_overload __isl_give isl_multi_pw_aff * isl_multi_pw_aff_pullback_multi_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa1, |
| __isl_take isl_multi_pw_aff * | mpa2 | ||
| ) |
Referenced by isl::multi_pw_aff::pullback().
| __isl_overload __isl_give isl_multi_pw_aff * isl_multi_pw_aff_pullback_pw_multi_aff | ( | __isl_take isl_multi_pw_aff * | mpa, |
| __isl_take isl_pw_multi_aff * | pma | ||
| ) |
Referenced by isl::multi_pw_aff::pullback().
| __isl_constructor __isl_give isl_multi_pw_aff * isl_multi_pw_aff_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
| __isl_give char * isl_multi_pw_aff_to_str | ( | __isl_keep isl_multi_pw_aff * | mpa | ) |
Referenced by isl::operator<<(), and test_output_mpa().
| __isl_export __isl_give isl_multi_pw_aff * isl_multi_pw_aff_union_add | ( | __isl_take isl_multi_pw_aff * | mpa1, |
| __isl_take isl_multi_pw_aff * | mpa2 | ||
| ) |
Referenced by isl::multi_pw_aff::union_add().
| __isl_give isl_union_pw_aff * isl_multi_union_pw_aff_apply_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_aff * | aff | ||
| ) |
Definition at line 9461 of file isl_aff.c.
References aff, equal, isl_aff_align_params(), isl_aff_dim(), isl_aff_free(), isl_aff_get_ctx(), isl_aff_get_domain_space(), isl_aff_get_space(), isl_die, isl_dim_in, isl_error_invalid, isl_space_free(), isl_space_is_equal(), multi_union_pw_aff_apply_aff(), and mupa.
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_apply_multi_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 9519 of file isl_aff.c.
References aff, equal, isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_space_free(), isl_space_is_equal(), isl_space_range(), ma, multi_union_pw_aff_apply_aff(), mupa, mupa_apply_multi_aff_0D(), and res.
| __isl_give isl_union_pw_aff * isl_multi_union_pw_aff_apply_pw_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_pw_aff * | pa | ||
| ) |
Definition at line 9594 of file isl_aff.c.
References aff, domain, equal, isl_aff_copy(), isl_die, isl_dim_in, isl_error_invalid, isl_multi_union_pw_aff_apply_pw_aff_0D(), isl_multi_union_pw_aff_intersect_range(), isl_pw_aff_align_params(), isl_pw_aff_dim(), isl_pw_aff_free(), isl_pw_aff_get_ctx(), isl_pw_aff_get_domain_space(), isl_pw_aff_get_space(), isl_set_copy(), isl_space_free(), isl_space_is_equal(), isl_space_params(), isl_union_pw_aff_empty(), isl_union_pw_aff_union_add(), multi_union_pw_aff_apply_aff(), and mupa.
Referenced by isl_multi_union_pw_aff_apply_pw_multi_aff().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_apply_pw_multi_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_pw_multi_aff * | pma | ||
| ) |
Definition at line 9674 of file isl_aff.c.
References equal, isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_multi_union_pw_aff_apply_pw_aff(), isl_pw_multi_aff_align_params(), isl_pw_multi_aff_dim(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_ctx(), isl_pw_multi_aff_get_domain_space(), isl_pw_multi_aff_get_pw_aff(), isl_pw_multi_aff_get_space(), isl_space_free(), isl_space_is_equal(), isl_space_range(), mupa, mupa_apply_pw_multi_aff_0D(), pma, and res.
| __isl_export __isl_give isl_union_set * isl_multi_union_pw_aff_bind | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_multi_id * | tuple | ||
| ) |
Referenced by isl::multi_union_pw_aff::bind(), and test_bind_mupa().
| __isl_export __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_coalesce | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Referenced by isl::multi_union_pw_aff::coalesce().
| __isl_export __isl_give isl_union_set * isl_multi_union_pw_aff_domain | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9352 of file isl_aff.c.
References isl_dim_set, isl_multi_union_pw_aff_domain_0D(), isl_union_pw_aff_domain(), isl_union_set_intersect(), mupa, and n.
Referenced by check_band_schedule_total_on_instances(), collect_filter_prefix_init(), isl::multi_union_pw_aff::domain(), initial_domain(), intersect_explicit_domain(), isl_multi_union_pw_aff_apply_pw_aff_0D(), isl_multi_union_pw_aff_zero_union_set(), isl_schedule_band_shift(), isl_union_map_from_multi_union_pw_aff_0D(), isl_union_pw_multi_aff_from_multi_union_pw_aff_0D(), multi_union_pw_aff_apply_aff(), mupa_apply_multi_aff_0D(), and mupa_apply_pw_multi_aff_0D().
| void isl_multi_union_pw_aff_dump | ( | __isl_keep isl_multi_union_pw_aff * | mupa | ) |
| __isl_give isl_multi_pw_aff * isl_multi_union_pw_aff_extract_multi_pw_aff | ( | __isl_keep isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_space * | space | ||
| ) |
Definition at line 9815 of file isl_aff.c.
References isl_dim_out, isl_dim_set, isl_space_add_dims(), isl_space_copy(), isl_space_free(), isl_space_from_domain(), isl_space_map_from_domain_and_range(), isl_space_replace_params(), isl_union_pw_aff_extract_pw_aff(), isl_union_pw_aff_free(), mupa, and n.
Referenced by order_at().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_floor | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 8689 of file isl_aff.c.
References isl_multi_pw_aff_from_multi_aff(), isl_multi_union_pw_aff_from_multi_pw_aff(), and ma.
Referenced by group_band(), and isl_multi_aff_to_multi_union_pw_aff().
| __isl_constructor __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_multi_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 8715 of file isl_aff.c.
References isl_dim_out, isl_multi_pw_aff_domain(), isl_multi_union_pw_aff_intersect_domain(), isl_space_range(), isl_union_pw_aff_from_pw_aff(), isl_union_set_from_set(), mupa, n, and isl_union_pw_aff_pullback_upma_data::pa.
Referenced by insert_current_band(), isl_multi_union_pw_aff_from_multi_aff(), and isl::multi_union_pw_aff::multi_union_pw_aff().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_union_map | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 8864 of file isl_aff.c.
References isl_multi_union_pw_aff_from_union_pw_multi_aff(), isl_union_pw_multi_aff_from_union_map(), and isl_union_pw_aff_pullback_upma_data::upma.
Referenced by isl::multi_union_pw_aff::from_union_map(), isl_union_map_as_multi_union_pw_aff(), and test_union_map_mupa_conversion().
| __isl_constructor __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_union_pw_aff | ( | __isl_take isl_union_pw_aff * | upa | ) |
Referenced by isl::multi_union_pw_aff::multi_union_pw_aff().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_from_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 8797 of file isl_aff.c.
References extract_space(), isl_die, isl_dim_set, isl_error_invalid, isl_multi_union_pw_aff_intersect_domain(), isl_space_dim(), isl_space_free(), isl_union_pw_multi_aff_copy(), isl_union_pw_multi_aff_domain(), isl_union_pw_multi_aff_foreach_pw_multi_aff(), isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_get_ctx(), isl_union_pw_multi_aff_get_union_pw_aff(), isl_union_pw_multi_aff_n_pw_multi_aff(), mupa, n, and isl_union_pw_aff_pullback_upma_data::upma.
Referenced by isl_multi_union_pw_aff_from_union_map(), isl_union_pw_multi_aff_as_multi_union_pw_aff(), and isl::multi_union_pw_aff::multi_union_pw_aff().
| __isl_export __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_gist | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_union_set * | context | ||
| ) |
Referenced by isl::multi_union_pw_aff::gist(), and isl_schedule_band_gist().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_gist_params | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_set * | context | ||
| ) |
| __isl_export __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_intersect_domain | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_union_set * | uset | ||
| ) |
Referenced by isl::multi_union_pw_aff::intersect_domain(), isl_multi_union_pw_aff_from_multi_pw_aff(), isl_multi_union_pw_aff_from_union_pw_multi_aff(), isl_multi_union_pw_aff_intersect_range(), isl_multi_union_pw_aff_multi_val_on_domain_aligned(), isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned(), isl_schedule_band_intersect_domain(), isl_schedule_node_get_prefix_schedule_multi_union_pw_aff(), isl_stream_read_multi_union_pw_aff(), isl_union_set_opt_multi_union_pw_aff(), read_multi_union_pw_aff_body(), and test_parse_mupa().
| __isl_export __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_intersect_params | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_set * | params | ||
| ) |
Referenced by isl::multi_union_pw_aff::intersect_params(), and mupa_intersect_range_0D().
| __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 * | set | ||
| ) |
Definition at line 9291 of file isl_aff.c.
References domain, isl_die, isl_dim_set, isl_error_invalid, isl_multi_union_pw_aff_intersect_domain(), isl_set_free(), isl_set_get_space(), isl_space_free(), isl_space_tuple_is_equal(), isl_union_pw_multi_aff_from_multi_union_pw_aff(), isl_union_set_from_set(), isl_union_set_preimage_union_pw_multi_aff(), match(), mupa, mupa_intersect_range_0D(), n, and range.
Referenced by isl_multi_union_pw_aff_apply_pw_aff().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_multi_aff_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 8957 of file isl_aff.c.
References domain, isl_multi_union_pw_aff_pw_multi_aff_on_domain(), isl_pw_multi_aff_from_multi_aff(), ma, and pma.
Referenced by mupa_apply_multi_aff_0D().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_multi_val_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 8931 of file isl_aff.c.
References domain, isl_multi_union_pw_aff_multi_val_on_domain_aligned(), isl_space_has_equal_params(), isl_union_set_align_params(), isl_union_set_free(), and isl_union_set_get_space().
Referenced by test_multi_pw_aff_3().
| __isl_overload __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_pullback_union_pw_multi_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa, |
| __isl_take isl_union_pw_multi_aff * | upma | ||
| ) |
Definition at line 9773 of file isl_aff.c.
References isl_dim_set, isl_union_pw_aff_pullback_union_pw_multi_aff(), isl_union_pw_multi_aff_align_params(), isl_union_pw_multi_aff_copy(), isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_get_space(), mupa, n, and preimage_explicit_domain().
Referenced by collect_filter_prefix_expansion(), isl_schedule_band_pullback_union_pw_multi_aff(), and isl::multi_union_pw_aff::pullback().
| __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_pw_multi_aff_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_pw_multi_aff * | pma | ||
| ) |
Definition at line 9014 of file isl_aff.c.
References domain, isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned(), isl_pw_multi_aff_align_params(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_space(), isl_union_set_align_params(), isl_union_set_free(), isl_union_set_get_space(), isl_union_set_space_has_equal_params(), and pma.
Referenced by isl_multi_union_pw_aff_multi_aff_on_domain(), and mupa_apply_pw_multi_aff_0D().
| __isl_constructor __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
Referenced by isl::multi_union_pw_aff::multi_union_pw_aff(), read_band(), test_bin_locus(), test_bin_mupa(), test_bind_mupa(), test_mupa_ma(), test_mupa_pa(), test_mupa_pma(), test_mupa_set(), test_mupa_upma(), test_mupa_uset(), test_schedule_tree_group_1(), test_schedule_tree_group_2(), test_schedule_tree_prefix(), test_tile(), test_un_locus(), and test_un_mupa().
| __isl_give char * isl_multi_union_pw_aff_to_str | ( | __isl_keep isl_multi_union_pw_aff * | mupa | ) |
Referenced by isl::operator<<().
| __isl_export __isl_give isl_multi_union_pw_aff * isl_multi_union_pw_aff_union_add | ( | __isl_take isl_multi_union_pw_aff * | mupa1, |
| __isl_take isl_multi_union_pw_aff * | mupa2 | ||
| ) |
Referenced by group_band(), insert_current_band(), and isl::multi_union_pw_aff::union_add().
| __isl_give isl_union_set * isl_multi_union_pw_aff_zero_union_set | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9044 of file isl_aff.c.
References isl_dim_set, isl_multi_union_pw_aff_domain(), isl_union_pw_aff_zero_union_set(), isl_union_set_intersect(), mupa, and n.
| __isl_give isl_printer * isl_printer_print_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_aff * | aff | ||
| ) |
Definition at line 2869 of file isl_output.c.
References aff, isl_die, isl_error_unsupported, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, print_aff_c(), and print_aff_isl().
| __isl_give isl_printer * isl_printer_print_multi_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_multi_aff * | maff | ||
| ) |
Definition at line 2981 of file isl_output.c.
References isl_die, isl_error_unsupported, ISL_FORMAT_ISL, isl_printer_free(), p, and print_multi_aff_isl().
| __isl_give isl_printer * isl_printer_print_multi_pw_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_multi_pw_aff * | mpa | ||
| ) |
Definition at line 3178 of file isl_output.c.
References isl_die, isl_error_unsupported, ISL_FORMAT_ISL, isl_printer_free(), p, and print_multi_pw_aff_isl().
| __isl_give isl_printer * isl_printer_print_multi_union_pw_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_multi_union_pw_aff * | mupa | ||
| ) |
Definition at line 3363 of file isl_output.c.
References isl_die, isl_error_unsupported, ISL_FORMAT_ISL, isl_printer_free(), isl_printer_get_ctx(), mupa, p, and print_multi_union_pw_aff_isl().
Referenced by print_tree_band().
| __isl_give isl_printer * isl_printer_print_pw_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_pw_aff * | pwaff | ||
| ) |
Definition at line 2886 of file isl_output.c.
References isl_die, isl_error_unsupported, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, and print_pw_aff_c().
Referenced by isl_stream_error(), printLine(), and test_output().
| __isl_give isl_printer * isl_printer_print_pw_multi_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_pw_multi_aff * | pma | ||
| ) |
Definition at line 3056 of file isl_output.c.
References isl_die, isl_error_unsupported, ISL_FORMAT_C, ISL_FORMAT_ISL, isl_printer_free(), p, pma, and print_pw_multi_aff_c().
Referenced by isl_obj_pw_multi_aff_print(), and main().
| __isl_give isl_printer * isl_printer_print_union_pw_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_union_pw_aff * | upa | ||
| ) |
Definition at line 2911 of file isl_output.c.
References isl_die, isl_error_unsupported, ISL_FORMAT_ISL, isl_printer_free(), isl_printer_get_ctx(), and p.
| __isl_give isl_printer * isl_printer_print_union_pw_multi_aff | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_union_pw_multi_aff * | upma | ||
| ) |
Definition at line 3077 of file isl_output.c.
References isl_die, isl_error_unsupported, ISL_FORMAT_ISL, isl_printer_free(), and p.
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_add | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3490 of file isl_aff.c.
References isl_aff_add().
Referenced by accept_affine(), isl::pw_aff::add(), polly::SCEVAffinator::interpretAsUnsigned(), isl_multi_pw_aff_apply_aff_aligned(), list_add_one(), map_from_tuple(), pw_aff_gte_set(), polly::SCEVAffinator::visitAddExpr(), and polly::SCEVAffinator::visitAddRecExpr().
| __isl_overload __isl_give isl_pw_aff * isl_pw_aff_add_constant_val | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_val * | v | ||
| ) |
Referenced by isl::pw_aff::add_constant().
| __isl_give isl_pw_aff * isl_pw_aff_add_dims | ( | __isl_take isl_pw_aff * | pwaff, |
| enum isl_dim_type | type, | ||
| unsigned | n | ||
| ) |
Referenced by isl::pw_aff::add_dims(), pw_aff_on_domain(), and read_tuple().
| __isl_give isl_pw_aff * isl_pw_aff_align_params | ( | __isl_take isl_pw_aff * | pwaff, |
| __isl_take isl_space * | model | ||
| ) |
| __isl_give isl_pw_aff * isl_pw_aff_alloc | ( | __isl_take isl_set * | set, |
| __isl_take isl_aff * | aff | ||
| ) |
| __isl_export __isl_give isl_aff * isl_pw_aff_as_aff | ( | __isl_take isl_pw_aff * | pa | ) |
Referenced by isl::pw_aff::as_aff(), isl_multi_aff_set_tuple_entry(), and isl_multi_pw_aff_as_multi_aff().
| __isl_export __isl_give isl_map * isl_pw_aff_as_map | ( | __isl_take isl_pw_aff * | pa | ) |
Definition at line 337 of file isl_aff_map.c.
References isl_map_from_pw_aff().
Referenced by isl::pw_aff::as_map().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_bind_domain | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_multi_id * | tuple | ||
| ) |
Referenced by isl::pw_aff::bind_domain().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_bind_domain_wrapped_domain | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_multi_id * | tuple | ||
| ) |
Referenced by isl::pw_aff::bind_domain_wrapped_domain().
| __isl_overload __isl_give isl_set * isl_pw_aff_bind_id | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 2987 of file isl_aff.c.
References aff_bind_id(), bound, isl_id_free(), and pw_aff_locus().
Referenced by isl::pw_aff::bind(), bind_id(), and test_bind_pa().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_ceil | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3286 of file isl_aff.c.
References isl_aff_ceil().
Referenced by accept_div(), isl::pw_aff::ceil(), isl_pw_aff_tdiv_q(), and set_enforced_from_set().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_coalesce | ( | __isl_take isl_pw_aff * | pa | ) |
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_cond | ( | __isl_take isl_pw_aff * | cond, |
| __isl_take isl_pw_aff * | pwaff_true, | ||
| __isl_take isl_pw_aff * | pwaff_false | ||
| ) |
Definition at line 3317 of file isl_aff.c.
References equal, isl_local_space_from_space(), isl_pw_aff_align_params(), isl_pw_aff_copy(), isl_pw_aff_domain(), isl_pw_aff_free(), isl_pw_aff_get_domain_space(), isl_pw_aff_get_space(), isl_pw_aff_intersect_domain(), isl_pw_aff_involves_nan(), isl_pw_aff_nan_on_domain(), isl_pw_aff_non_zero_set(), isl_pw_aff_plain_is_equal(), isl_pw_aff_select(), isl_pw_aff_zero_set(), and isl_set_coalesce().
Referenced by accept_ternary(), isl::pw_aff::cond(), and isl_pw_aff_tdiv_q().
| __isl_give isl_pw_aff * isl_pw_aff_copy | ( | __isl_keep isl_pw_aff * | pwaff | ) |
Referenced by accept_affine_factor(), affine_mod(), polly::ScopBuilder::buildUnsignedConditionSets(), isl::pw_aff::copy(), isl_ast_build_dup(), isl_from_pw_aff_data_init(), isl_pw_aff_cond(), isl_pw_aff_is_equal(), isl_pw_aff_mod(), isl_pw_aff_ne_set(), isl_pw_aff_tdiv_q(), isl_pw_aff_tdiv_r(), list_add_one(), map_from_multi_pw_aff(), pa_pb_pma(), print_pw_aff_c(), pw_aff_gte_set(), pw_aff_list_set(), pw_aff_max(), pw_aff_min(), pw_aff_on_domain(), refine_degenerate(), remove_redundant_lower_bounds(), set_lower(), set_upper(), and polly::SCEVAffinator::visitTruncateExpr().
| isl_size isl_pw_aff_dim | ( | __isl_keep isl_pw_aff * | pwaff, |
| enum isl_dim_type | type | ||
| ) |
Referenced by isl_multi_union_pw_aff_apply_pw_aff().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_div | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3506 of file isl_aff.c.
References isl_aff_div(), isl_die, isl_error_invalid, isl_pw_aff_free(), isl_pw_aff_get_ctx(), and isl_pw_aff_is_cst().
Referenced by isl::pw_aff::div(), isl_pw_aff_tdiv_q(), and polly::SCEVAffinator::visitUDivExpr().
| __isl_export __isl_give isl_set * isl_pw_aff_domain | ( | __isl_take isl_pw_aff * | pwaff | ) |
| __isl_give isl_pw_aff * isl_pw_aff_drop_dims | ( | __isl_take isl_pw_aff * | pwaff, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Referenced by separate_tuple_entry().
| __isl_give isl_pw_aff * isl_pw_aff_drop_unused_params | ( | __isl_take isl_pw_aff * | pa | ) |
Referenced by test_drop_unused_parameters().
| void isl_pw_aff_dump | ( | __isl_keep isl_pw_aff * | pwaff | ) |
Referenced by isl_ast_build_dump().
| __isl_give isl_pw_aff * isl_pw_aff_empty | ( | __isl_take isl_space * | space | ) |
Referenced by accept_piecewise_affine(), isl_multi_pw_aff_apply_pw_aff_aligned(), isl_pw_aff_list_opt(), and map_dim_opt().
| __isl_give isl_map * isl_pw_aff_eq_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3110 of file isl_aff.c.
References isl_pw_aff_eq_set(), and isl_pw_aff_order_map().
Referenced by isl_multi_pw_aff_eq_map_on_space(), and isl_multi_pw_aff_lex_map_on_space().
| __isl_export __isl_give isl_set * isl_pw_aff_eq_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3036 of file isl_aff.c.
References pw_aff_gte_set().
Referenced by isl::pw_aff::eq_set(), isl_pw_aff_eq_map(), and isl_pw_aff_list_eq_set().
| __isl_export __isl_give isl_val * isl_pw_aff_eval | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_point * | pnt | ||
| ) |
Referenced by isl::pw_aff::eval(), and test_eval_aff().
| isl_bool isl_pw_aff_every_piece | ( | __isl_keep isl_pw_aff * | pa, |
| isl_bool(*)(__isl_keep isl_set *set, __isl_keep isl_aff *aff, void *user) | test, | ||
| void * | user | ||
| ) |
Referenced by pw_aff_constant_is_negative().
| int isl_pw_aff_find_dim_by_name | ( | __isl_keep isl_pw_aff * | pa, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_floor | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 3281 of file isl_aff.c.
References isl_aff_floor().
Referenced by accept_affine_factor(), accept_div(), affine_mod(), isl::pw_aff::floor(), floor_entry(), isl_multi_pw_aff_apply_aff_aligned(), isl_pw_aff_mod(), and isl_pw_aff_tdiv_q().
| isl_stat isl_pw_aff_foreach_piece | ( | __isl_keep isl_pw_aff * | pwaff, |
| isl_stat(*)(__isl_take isl_set *set, __isl_take isl_aff *aff, void *user) | fn, | ||
| void * | user | ||
| ) |
| __isl_null isl_pw_aff * isl_pw_aff_free | ( | __isl_take isl_pw_aff * | pwaff | ) |
Referenced by accept_affine(), accept_affine_factor(), accept_div(), accept_piecewise_affine(), accept_ternary(), affine_mod(), polly::ScopBuilder::buildConditionSets(), check_single_piece(), isl_ast_build_compute_gist_pw_aff(), isl_ast_build_expr_from_pw_aff(), isl_ast_build_expr_from_pw_aff_internal(), isl_ast_build_free(), isl_ast_build_increase_depth(), isl_map_from_pw_aff(), isl_map_from_pw_aff_internal(), isl_multi_pw_aff_apply_pw_aff(), isl_multi_pw_aff_apply_pw_aff_aligned(), isl_multi_union_pw_aff_apply_pw_aff(), isl_pw_aff_cond(), isl_pw_aff_div(), isl_pw_aff_list_opt(), isl_pw_aff_mod_val(), isl_pw_aff_opt_val(), isl_pw_aff_scale_down(), isl_pw_aff_set_rational(), isl_pw_aff_tdiv_q(), isl_pw_aff_tdiv_r(), isl_pw_multi_aff_from_pw_aff(), isl_pw_multi_aff_set_pw_aff(), isl_pw_qpolynomial_from_pw_aff(), isl_set_from_pw_aff(), isl_token_free(), isl_union_pw_aff_pw_aff_on_domain(), isl_union_pw_aff_pw_aff_on_domain_aligned(), list_add_one(), push_aff(), pw_aff_div_by_cst(), pw_aff_locus(), pw_aff_min_max(), pw_aff_on_domain(), pw_multi_aff_set_pw_aff(), read_pw_aff_with_dom(), remove_redundant_lower_bounds(), separate_tuple_entry(), set_minimum_pa(), split_domain_pma(), test_bin_pw_aff(), test_drop_unused_parameters(), test_output(), test_parse_pwaff(), tuple_has_expr(), upa_pb_upma(), update_piecewise_affine_colon(), and isl::pw_aff::~pw_aff().
| __isl_constructor __isl_give isl_pw_aff * isl_pw_aff_from_aff | ( | __isl_take isl_aff * | aff | ) |
Referenced by accept_affine(), accept_affine_factor(), identity_tuple_el_on_space(), isl_multi_pw_aff_apply_aff_aligned(), isl_multi_pw_aff_from_aff(), isl_multi_pw_aff_from_multi_aff(), isl_pw_aff_nan_on_domain(), isl_pw_aff_nan_on_domain_space(), isl_pw_aff_var_on_domain(), isl_pw_aff_zero_on_domain(), isl_union_pw_aff_aff_on_domain(), list_add_one(), lower_bounds(), map_from_tuple(), isl::pw_aff::pw_aff(), upper_bounds(), polly::SCEVAffinator::visitAddRecExpr(), and polly::SCEVAffinator::visitConstant().
| __isl_give isl_pw_aff * isl_pw_aff_from_range | ( | __isl_take isl_pw_aff * | pwa | ) |
Referenced by pw_aff_on_domain().
| __isl_give isl_map * isl_pw_aff_ge_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3139 of file isl_aff.c.
References isl_pw_aff_ge_set(), and isl_pw_aff_order_map().
Referenced by map_upper_bound_pw_aff().
| __isl_export __isl_give isl_set * isl_pw_aff_ge_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3046 of file isl_aff.c.
References pw_aff_gte_set().
Referenced by isl::pw_aff::ge_set(), isl_pw_aff_ge_map(), isl_pw_aff_le_set(), isl_pw_aff_list_ge_set(), pw_aff_max(), set_lower(), and polly::SCEVAffinator::visitTruncateExpr().
| isl_ctx * isl_pw_aff_get_ctx | ( | __isl_keep isl_pw_aff * | pwaff | ) |
Referenced by isl::pw_aff::ctx(), isl_from_pw_aff_data_init(), isl_multi_union_pw_aff_apply_pw_aff(), isl_pw_aff_check_match_domain_space(), isl_pw_aff_div(), isl_pw_aff_mod_val(), isl_pw_aff_opt_val(), isl_pw_aff_scale_down(), isl_pw_aff_tdiv_q(), isl_pw_aff_tdiv_r(), isl_union_pw_aff_pw_aff_on_domain(), and separate_tuple_entry().
| __isl_give isl_id * isl_pw_aff_get_dim_id | ( | __isl_keep isl_pw_aff * | pa, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Referenced by isl::pw_aff::dim_id().
| const char * isl_pw_aff_get_dim_name | ( | __isl_keep isl_pw_aff * | pa, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
| __isl_give isl_space * isl_pw_aff_get_domain_space | ( | __isl_keep isl_pw_aff * | pwaff | ) |
| uint32_t isl_pw_aff_get_hash | ( | __isl_keep isl_pw_aff * | pa | ) |
| __isl_export __isl_give isl_space * isl_pw_aff_get_space | ( | __isl_keep isl_pw_aff * | pwaff | ) |
Referenced by isl_map_from_pw_aff_internal(), isl_multi_pw_aff_apply_pw_aff(), isl_multi_pw_aff_apply_pw_aff_aligned(), isl_multi_union_pw_aff_apply_pw_aff(), isl_pw_aff_check_match_domain_space(), isl_pw_aff_cond(), isl_pw_aff_list_opt(), isl_pw_aff_matching_params(), isl_pw_aff_order_map(), isl_pw_multi_aff_from_pw_aff(), isl_pw_multi_aff_set_pw_aff(), isl_pw_qpolynomial_from_pw_aff(), isl_union_pw_aff_pw_aff_on_domain(), reset_params(), and isl::pw_aff::space().
| __isl_give isl_id * isl_pw_aff_get_tuple_id | ( | __isl_keep isl_pw_aff * | pa, |
| enum isl_dim_type | type | ||
| ) |
Referenced by isl::pw_aff::tuple_id().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_gist | ( | __isl_take isl_pw_aff * | pwaff, |
| __isl_take isl_set * | context | ||
| ) |
Referenced by isl::pw_aff::gist(), and isl_ast_build_compute_gist_pw_aff().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_gist_params | ( | __isl_take isl_pw_aff * | pwaff, |
| __isl_take isl_set * | context | ||
| ) |
| __isl_give isl_map * isl_pw_aff_gt_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3149 of file isl_aff.c.
References isl_pw_aff_gt_set(), and isl_pw_aff_order_map().
| __isl_export __isl_give isl_set * isl_pw_aff_gt_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3056 of file isl_aff.c.
References pw_aff_gte_set().
Referenced by isl::pw_aff::gt_set(), isl_pw_aff_gt_map(), isl_pw_aff_list_gt_set(), isl_pw_aff_lt_set(), isl_pw_aff_ne_set(), and remove_redundant_lower_bounds().
| isl_bool isl_pw_aff_has_dim_id | ( | __isl_keep isl_pw_aff * | pa, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
| isl_bool isl_pw_aff_has_tuple_id | ( | __isl_keep isl_pw_aff * | pa, |
| enum isl_dim_type | type | ||
| ) |
| __isl_give isl_pw_aff * isl_pw_aff_insert_dims | ( | __isl_take isl_pw_aff * | pwaff, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_insert_domain | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_space * | domain | ||
| ) |
Referenced by isl::pw_aff::insert_domain().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_intersect_domain | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_set * | set | ||
| ) |
Referenced by polly::SCEVAffinator::interpretAsUnsigned(), isl::pw_aff::intersect_domain(), isl_multi_pw_aff_apply_pw_aff_aligned(), isl_pw_aff_cond(), isl_pw_aff_list_opt(), isl_pw_aff_select(), nan_on_domain_set(), pw_aff_gte_set(), pw_aff_on_domain(), read_pw_aff_with_dom(), set_lower(), set_upper(), and update_piecewise_affine_colon().
| __isl_give isl_pw_aff * isl_pw_aff_intersect_domain_wrapped_domain | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_set * | set | ||
| ) |
| __isl_give isl_pw_aff * isl_pw_aff_intersect_domain_wrapped_range | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_set * | set | ||
| ) |
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_intersect_params | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_set * | set | ||
| ) |
Referenced by isl::pw_aff::intersect_params().
| isl_bool isl_pw_aff_involves_dims | ( | __isl_keep isl_pw_aff * | pwaff, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Referenced by separate_tuple_entry().
| isl_bool isl_pw_aff_involves_nan | ( | __isl_keep isl_pw_aff * | pa | ) |
Referenced by either_involves_nan(), isl_pw_aff_cond(), pw_aff_no_nan(), and test_bin_pw_aff().
| isl_bool isl_pw_aff_involves_param_id | ( | __isl_keep isl_pw_aff * | pa, |
| __isl_keep isl_id * | id | ||
| ) |
| isl_bool isl_pw_aff_is_cst | ( | __isl_keep isl_pw_aff * | pwaff | ) |
Definition at line 3373 of file isl_aff.c.
References isl_aff_is_cst(), isl_bool_error, and isl_bool_true.
Referenced by isl::pw_aff::is_cst(), isl_multi_pw_aff_is_cst(), isl_pw_aff_div(), isl_pw_aff_tdiv_q(), and isl_pw_aff_tdiv_r().
| isl_bool isl_pw_aff_is_empty | ( | __isl_keep isl_pw_aff * | pwaff | ) |
| isl_bool isl_pw_aff_is_equal | ( | __isl_keep isl_pw_aff * | pa1, |
| __isl_keep isl_pw_aff * | pa2 | ||
| ) |
Definition at line 7105 of file isl_aff.c.
References either_involves_nan(), equal, isl_bool_error, isl_bool_false, isl_map_free(), isl_map_from_pw_aff_internal(), isl_map_is_equal(), isl_pw_aff_copy(), isl_pw_aff_plain_is_equal(), map1, and map2.
Referenced by isl::pw_aff::is_equal(), and isl_multi_pw_aff_is_equal().
| __isl_export isl_bool isl_pw_aff_isa_aff | ( | __isl_keep isl_pw_aff * | pa | ) |
Referenced by isl::pw_aff::isa_aff(), and isl_multi_pw_aff_isa_multi_aff().
| __isl_give isl_map * isl_pw_aff_le_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3120 of file isl_aff.c.
References isl_pw_aff_le_set(), and isl_pw_aff_order_map().
Referenced by map_lower_bound_pw_aff().
| __isl_export __isl_give isl_set * isl_pw_aff_le_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3063 of file isl_aff.c.
References isl_pw_aff_ge_set().
Referenced by polly::ScopBuilder::buildUnsignedConditionSets(), isl_pw_aff_le_map(), isl_pw_aff_list_le_set(), isl::pw_aff::le_set(), less(), pw_aff_min(), and set_upper().
| __isl_give isl_set * isl_pw_aff_list_eq_set | ( | __isl_take isl_pw_aff_list * | list1, |
| __isl_take isl_pw_aff_list * | list2 | ||
| ) |
Definition at line 3199 of file isl_aff.c.
References isl_pw_aff_eq_set(), and pw_aff_list_set().
Referenced by construct_constraints().
| __isl_give isl_set * isl_pw_aff_list_ge_set | ( | __isl_take isl_pw_aff_list * | list1, |
| __isl_take isl_pw_aff_list * | list2 | ||
| ) |
Definition at line 3227 of file isl_aff.c.
References isl_pw_aff_ge_set(), and pw_aff_list_set().
Referenced by construct_constraints().
| __isl_give isl_set * isl_pw_aff_list_gt_set | ( | __isl_take isl_pw_aff_list * | list1, |
| __isl_take isl_pw_aff_list * | list2 | ||
| ) |
Definition at line 3233 of file isl_aff.c.
References isl_pw_aff_gt_set(), and pw_aff_list_set().
Referenced by construct_constraints().
| __isl_give isl_set * isl_pw_aff_list_le_set | ( | __isl_take isl_pw_aff_list * | list1, |
| __isl_take isl_pw_aff_list * | list2 | ||
| ) |
Definition at line 3215 of file isl_aff.c.
References isl_pw_aff_le_set(), and pw_aff_list_set().
Referenced by construct_constraints(), and set_enforced_from_list().
| __isl_give isl_set * isl_pw_aff_list_lt_set | ( | __isl_take isl_pw_aff_list * | list1, |
| __isl_take isl_pw_aff_list * | list2 | ||
| ) |
Definition at line 3221 of file isl_aff.c.
References isl_pw_aff_lt_set(), and pw_aff_list_set().
Referenced by construct_constraints().
| __isl_give isl_pw_aff * isl_pw_aff_list_max | ( | __isl_take isl_pw_aff_list * | list | ) |
Definition at line 3852 of file isl_aff.c.
References isl_pw_aff_list_opt().
Referenced by accept_minmax().
| __isl_give isl_pw_aff * isl_pw_aff_list_min | ( | __isl_take isl_pw_aff_list * | list | ) |
Definition at line 3843 of file isl_aff.c.
References isl_pw_aff_list_opt().
Referenced by accept_minmax().
| __isl_give isl_set * isl_pw_aff_list_ne_set | ( | __isl_take isl_pw_aff_list * | list1, |
| __isl_take isl_pw_aff_list * | list2 | ||
| ) |
Definition at line 3205 of file isl_aff.c.
References isl_pw_aff_ne_set(), and pw_aff_list_set().
Referenced by construct_constraints().
| __isl_give isl_map * isl_pw_aff_lt_map | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3129 of file isl_aff.c.
References isl_pw_aff_lt_set(), and isl_pw_aff_order_map().
| __isl_export __isl_give isl_set * isl_pw_aff_lt_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3069 of file isl_aff.c.
References isl_pw_aff_gt_set().
Referenced by polly::ScopBuilder::buildUnsignedConditionSets(), isl_pw_aff_list_lt_set(), isl_pw_aff_lt_map(), isl_pw_aff_ne_set(), less(), isl::pw_aff::lt_set(), and polly::SCEVAffinator::visitTruncateExpr().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_max | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3698 of file isl_aff.c.
References pw_aff_min_max().
Referenced by isl::pw_aff::max(), and polly::SCEVAffinator::visitSMaxExpr().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_min | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3690 of file isl_aff.c.
References pw_aff_min_max().
Referenced by isl::pw_aff::min(), and polly::SCEVAffinator::visitSMinExpr().
| __isl_overload __isl_give isl_pw_aff * isl_pw_aff_mod_val | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_val * | mod | ||
| ) |
Definition at line 1764 of file isl_aff.c.
References isl_die, isl_error_invalid, isl_pw_aff_free(), isl_pw_aff_get_ctx(), isl_pw_aff_mod(), isl_val_free(), isl_val_is_int(), and m.
Referenced by isl::pw_aff::mod().
| __isl_give isl_pw_aff * isl_pw_aff_move_dims | ( | __isl_take isl_pw_aff * | pa, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n | ||
| ) |
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_mul | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3497 of file isl_aff.c.
References isl_aff_mul().
Referenced by isl_pw_aff_tdiv_r(), isl::pw_aff::mul(), polly::SCEVAffinator::visit(), and polly::SCEVAffinator::visitMulExpr().
| isl_size isl_pw_aff_n_piece | ( | __isl_keep isl_pw_aff * | pwaff | ) |
Referenced by check_single_piece(), isl_from_pw_aff_data_init(), and update_values().
| __isl_give isl_pw_aff * isl_pw_aff_nan_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 260 of file isl_aff.c.
References isl_aff_nan_on_domain(), and isl_pw_aff_from_aff().
Referenced by isl_pw_aff_cond(), and nan_on_domain_set().
| __isl_give isl_pw_aff * isl_pw_aff_nan_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 251 of file isl_aff.c.
References isl_aff_nan_on_domain_space(), and isl_pw_aff_from_aff().
Referenced by nan_on_domain().
| __isl_export __isl_give isl_set * isl_pw_aff_ne_set | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 3243 of file isl_aff.c.
References isl_pw_aff_copy(), isl_pw_aff_gt_set(), isl_pw_aff_lt_set(), and isl_set_union_disjoint().
Referenced by isl_pw_aff_list_ne_set(), and isl::pw_aff::ne_set().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_neg | ( | __isl_take isl_pw_aff * | pwaff | ) |
| __isl_give isl_set * isl_pw_aff_non_zero_set | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 2940 of file isl_aff.c.
References aff_zero_basic_set(), and pw_aff_locus().
Referenced by isl_pw_aff_cond().
| __isl_give isl_set * isl_pw_aff_nonneg_set | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 2924 of file isl_aff.c.
References aff_nonneg_basic_set(), and pw_aff_locus().
Referenced by polly::SCEVAffinator::interpretAsUnsigned(), isl_pw_aff_tdiv_q(), and pw_aff_gte_set().
| __isl_overload __isl_give isl_pw_aff * isl_pw_aff_param_on_domain_id | ( | __isl_take isl_set * | domain, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 7704 of file isl_aff.c.
References aff, domain, isl_aff_param_on_domain_space_id(), isl_id_copy(), isl_pw_aff_alloc(), isl_set_align_params(), isl_set_get_space(), isl_space_add_param_id(), and isl_space_copy().
Referenced by isl_set_param_pw_aff_on_domain_id(), and isl::pw_aff::param_on_domain().
| __isl_give isl_set * isl_pw_aff_params | ( | __isl_take isl_pw_aff * | pwa | ) |
| int isl_pw_aff_plain_cmp | ( | __isl_keep isl_pw_aff * | pa1, |
| __isl_keep isl_pw_aff * | pa2 | ||
| ) |
Definition at line 7643 of file isl_aff.c.
References cmp(), isl_aff_plain_cmp(), isl_set_plain_cmp(), and isl_space_cmp().
Referenced by reduce_list_cmp().
| isl_bool isl_pw_aff_plain_is_equal | ( | __isl_keep isl_pw_aff * | pwaff1, |
| __isl_keep isl_pw_aff * | pwaff2 | ||
| ) |
Referenced by isl_pw_aff_cond(), isl_pw_aff_is_equal(), test_bin_pw_aff(), and test_drop_unused_parameters().
| __isl_give isl_set * isl_pw_aff_pos_set | ( | __isl_take isl_pw_aff * | pa | ) |
Definition at line 2916 of file isl_aff.c.
References aff_pos_basic_set(), and pw_aff_locus().
Referenced by polly::SCEVAffinator::takeNonNegativeAssumption().
| __isl_give isl_pw_aff * isl_pw_aff_project_domain_on_params | ( | __isl_take isl_pw_aff * | pa | ) |
Referenced by isl_multi_union_pw_aff_apply_pw_aff_0D().
| __isl_overload __isl_give isl_pw_aff * isl_pw_aff_pullback_multi_aff | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
| __isl_overload __isl_give isl_pw_aff * isl_pw_aff_pullback_multi_pw_aff | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_multi_pw_aff * | mpa | ||
| ) |
Definition at line 7403 of file isl_aff.c.
References isl_multi_pw_aff_apply_pw_aff().
Referenced by isl::pw_aff::pullback().
| __isl_overload __isl_give isl_pw_aff * isl_pw_aff_pullback_pw_multi_aff | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_pw_multi_aff * | pma | ||
| ) |
Referenced by pa_pb_pma(), and isl::pw_aff::pullback().
| __isl_constructor __isl_give isl_pw_aff * isl_pw_aff_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
| __isl_give isl_pw_aff * isl_pw_aff_reset_tuple_id | ( | __isl_take isl_pw_aff * | pa, |
| enum isl_dim_type | type | ||
| ) |
| __isl_give isl_pw_aff * isl_pw_aff_reset_user | ( | __isl_take isl_pw_aff * | pa | ) |
| __isl_overload __isl_give isl_pw_aff * isl_pw_aff_scale_down_val | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_val * | f | ||
| ) |
Referenced by isl::pw_aff::scale_down().
| __isl_overload __isl_give isl_pw_aff * isl_pw_aff_scale_val | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_val * | v | ||
| ) |
Referenced by isl_multi_pw_aff_apply_aff_aligned(), and isl::pw_aff::scale().
| __isl_give isl_pw_aff * isl_pw_aff_set_dim_id | ( | __isl_take isl_pw_aff * | pma, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_take isl_id * | id | ||
| ) |
| __isl_give isl_pw_aff * isl_pw_aff_set_tuple_id | ( | __isl_take isl_pw_aff * | pwaff, |
| enum isl_dim_type | type, | ||
| __isl_take isl_id * | id | ||
| ) |
Referenced by isl::pw_aff::set_tuple_id().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_sub | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Referenced by accept_affine(), affine_mod(), isl_pw_aff_mod(), isl_pw_aff_tdiv_r(), and isl::pw_aff::sub().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_subtract_domain | ( | __isl_take isl_pw_aff * | pa, |
| __isl_take isl_set * | set | ||
| ) |
Referenced by isl::pw_aff::subtract_domain().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_tdiv_q | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3535 of file isl_aff.c.
References f, isl_die, isl_error_invalid, isl_pw_aff_ceil(), isl_pw_aff_cond(), isl_pw_aff_copy(), isl_pw_aff_div(), isl_pw_aff_floor(), isl_pw_aff_free(), isl_pw_aff_get_ctx(), isl_pw_aff_is_cst(), isl_pw_aff_nonneg_set(), and isl_set_indicator_function().
Referenced by isl_pw_aff_tdiv_r(), isl::pw_aff::tdiv_q(), and polly::SCEVAffinator::visitSDivInstruction().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_tdiv_r | ( | __isl_take isl_pw_aff * | pa1, |
| __isl_take isl_pw_aff * | pa2 | ||
| ) |
Definition at line 3571 of file isl_aff.c.
References isl_die, isl_error_invalid, isl_pw_aff_copy(), isl_pw_aff_free(), isl_pw_aff_get_ctx(), isl_pw_aff_is_cst(), isl_pw_aff_mul(), isl_pw_aff_sub(), isl_pw_aff_tdiv_q(), and res.
Referenced by isl::pw_aff::tdiv_r(), and polly::SCEVAffinator::visitSRemInstruction().
| __isl_give char * isl_pw_aff_to_str | ( | __isl_keep isl_pw_aff * | pa | ) |
Referenced by isl::operator<<().
| __isl_export __isl_give isl_union_pw_aff * isl_pw_aff_to_union_pw_aff | ( | __isl_take isl_pw_aff * | pa | ) |
Referenced by isl::pw_aff::to_union_pw_aff().
| __isl_export __isl_give isl_pw_aff * isl_pw_aff_union_add | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Referenced by accept_piecewise_affine(), polly::SCEVAffinator::interpretAsUnsigned(), and isl::pw_aff::union_add().
| __isl_give isl_pw_aff * isl_pw_aff_union_max | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 2829 of file isl_aff.c.
References isl_aff_ge_set().
Referenced by isl_pw_aff_union_opt().
| __isl_give isl_pw_aff * isl_pw_aff_union_min | ( | __isl_take isl_pw_aff * | pwaff1, |
| __isl_take isl_pw_aff * | pwaff2 | ||
| ) |
Definition at line 2842 of file isl_aff.c.
References isl_aff_le_set().
Referenced by isl_pw_aff_union_opt().
| __isl_give isl_pw_aff * isl_pw_aff_val_on_domain | ( | __isl_take isl_set * | domain, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 7678 of file isl_aff.c.
References aff, domain, isl_aff_val_on_domain(), isl_local_space_from_space(), isl_pw_aff_alloc(), and isl_set_get_space().
Referenced by getWidthExpValOnDomain(), isl_set_pw_aff_on_domain_val(), isl::pw_aff::pw_aff(), and pw_aff_val_on_domain().
| __isl_give isl_pw_aff * isl_pw_aff_var_on_domain | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 350 of file isl_aff.c.
References isl_aff_var_on_domain(), isl_pw_aff_from_aff(), pos(), and type.
Referenced by map_bound_pw_aff(), and isl::pw_aff::var_on_domain().
| __isl_give isl_pw_aff * isl_pw_aff_zero_on_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 206 of file isl_aff.c.
References isl_aff_zero_on_domain(), and isl_pw_aff_from_aff().
Referenced by polly::ScopBuilder::buildUnsignedConditionSets(), and isl::pw_aff::pw_aff().
| __isl_give isl_set * isl_pw_aff_zero_set | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 2932 of file isl_aff.c.
References aff_zero_basic_set(), and pw_aff_locus().
Referenced by isl_pw_aff_cond(), map_from_tuple(), pw_aff_gte_set(), and zero_union_set().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_add | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 4734 of file isl_aff.c.
Referenced by isl::pw_multi_aff::add(), and isl_obj_pw_multi_aff_add().
| __isl_overload __isl_give isl_pw_multi_aff * isl_pw_multi_aff_add_constant_multi_val | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Referenced by isl::pw_multi_aff::add_constant().
| __isl_overload __isl_give isl_pw_multi_aff * isl_pw_multi_aff_add_constant_val | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_val * | v | ||
| ) |
Referenced by isl::pw_multi_aff::add_constant().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_align_params | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_space * | model | ||
| ) |
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_alloc | ( | __isl_take isl_set * | set, |
| __isl_take isl_multi_aff * | maff | ||
| ) |
| __isl_export __isl_give isl_map * isl_pw_multi_aff_as_map | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 406 of file isl_aff_map.c.
References isl_map_from_pw_multi_aff(), and pma.
Referenced by isl::pw_multi_aff::as_map().
| __isl_export __isl_give isl_multi_aff * isl_pw_multi_aff_as_multi_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Referenced by isl::pw_multi_aff::as_multi_aff().
| __isl_export __isl_give isl_set * isl_pw_multi_aff_as_set | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 421 of file isl_aff_map.c.
References isl_set_from_pw_multi_aff(), and pma.
Referenced by isl::pw_multi_aff::as_set().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_bind_domain | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_multi_id * | tuple | ||
| ) |
Referenced by isl::pw_multi_aff::bind_domain(), and test_bind_pma_domain().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_bind_domain_wrapped_domain | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_multi_id * | tuple | ||
| ) |
Referenced by isl::pw_multi_aff::bind_domain_wrapped_domain(), and test_bind_pma_domain_wrapped().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_coalesce | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Referenced by isl::pw_multi_aff::coalesce().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_copy | ( | __isl_keep isl_pw_multi_aff * | pma | ) |
Referenced by basic_map_partial_lexopt_base_pw_multi_aff(), compress(), compute_sizes(), isl::pw_multi_aff::copy(), copy_nodes(), gen_range_product_entry(), isl_multi_pw_aff_from_pw_multi_aff(), isl_obj_pw_multi_aff_copy(), isl_pw_multi_aff_is_equal(), preimage_domain_wrapped_domain_entry(), preimage_entry(), project_out_fixed(), pullback_entry(), set_enforced_from_set(), and test_mpa_conversion().
| isl_size isl_pw_multi_aff_dim | ( | __isl_keep isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type | ||
| ) |
| __isl_export __isl_give isl_set * isl_pw_multi_aff_domain | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Referenced by isl::pw_multi_aff::domain(), isl_multi_pw_aff_from_pw_multi_aff(), and project_out_fixed().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_domain_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4229 of file isl_aff.c.
References isl_multi_aff_domain_map(), and isl_pw_multi_aff_from_multi_aff().
Referenced by isl::pw_multi_aff::domain_map(), and isl_space_domain_map_pw_multi_aff().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_drop_dims | ( | __isl_take isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Referenced by isl::pw_multi_aff::drop_dims(), and test_pw_multi_aff().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_drop_unused_params | ( | __isl_take isl_pw_multi_aff * | pma | ) |
| void isl_pw_multi_aff_dump | ( | __isl_keep isl_pw_multi_aff * | pma | ) |
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_empty | ( | __isl_take isl_space * | space | ) |
| isl_bool isl_pw_multi_aff_every_piece | ( | __isl_keep isl_pw_multi_aff * | pma, |
| isl_bool(*)(__isl_keep isl_set *set, __isl_keep isl_multi_aff *ma, void *user) | test, | ||
| void * | user | ||
| ) |
| int isl_pw_multi_aff_find_dim_by_name | ( | __isl_keep isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_fix_si | ( | __isl_take isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| int | value | ||
| ) |
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_flat_range_product | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 6426 of file isl_aff.c.
References isl_pw_multi_aff_get_space(), isl_space_flatten_range(), and isl_space_range_product().
Referenced by isl::pw_multi_aff::flat_range_product(), and flat_range_product_entry().
| __isl_export isl_stat isl_pw_multi_aff_foreach_piece | ( | __isl_keep isl_pw_multi_aff * | pma, |
| isl_stat(*)(__isl_take isl_set *set, __isl_take isl_multi_aff *maff, void *user) | fn, | ||
| void * | user | ||
| ) |
Referenced by isl::pw_multi_aff::foreach_piece(), and get_expanded_n_div().
| __isl_null isl_pw_multi_aff * isl_pw_multi_aff_free | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Referenced by add_node(), basic_map_dim_opt(), bin_entry(), check_single_expr_min(), clear_node(), equal_on_domain(), exact_bound(), extract_space(), find_vertex(), FN(), gen_range_product_entry(), get_expanded_n_div(), get_union_pw_aff(), isl_ast_build_compute_gist_pw_multi_aff(), isl_map_from_pw_multi_aff(), isl_map_from_pw_multi_aff_internal(), isl_map_preimage_pw_multi_aff(), isl_map_preimage_pw_multi_aff_aligned(), 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(), isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned(), isl_obj_pw_multi_aff_free(), isl_pw_multi_aff_op_multi_val(), isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(), isl_pw_multi_aff_product(), isl_pw_multi_aff_set_pw_aff(), isl_pw_multi_aff_substitute(), isl_set_from_pw_multi_aff(), main(), pa_pb_pma(), preimage_domain_wrapped_domain_entry(), preimage_pw_multi_aff(), pullback_entry(), pw_multi_aff_factor(), pw_multi_aff_set_pw_aff(), set_enforced_from_set(), sol_pma_free(), split_domain_pma(), test_bind_pma_domain(), test_bind_pma_domain_wrapped(), test_equal(), test_mpa_conversion(), test_product_pma(), test_pw_multi_aff(), union_pw_multi_aff_scale_multi_val_entry(), update_values(), and isl::pw_multi_aff::~pw_multi_aff().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_domain | ( | __isl_take isl_set * | set | ) |
Definition at line 6292 of file isl_aff.c.
References isl_pw_multi_aff_alloc(), isl_set_get_space(), isl_space_from_domain(), ma, and set.
Referenced by add_pw_multi_aff_from_domain().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_map | ( | __isl_take isl_map * | map | ) |
Definition at line 5568 of file isl_aff.c.
References hull, isl_basic_map_free(), isl_basic_map_plain_affine_hull(), isl_basic_map_plain_is_single_valued(), isl_map_copy(), isl_map_detect_equalities(), isl_map_domain(), isl_map_free(), isl_map_n_basic_map(), isl_map_unshifted_simple_hull(), map, n, plain_pw_multi_aff_from_map(), pw_multi_aff_from_map_check_strides(), and sv.
Referenced by isl::pw_multi_aff::from_map(), get_expanded_n_div(), isl_ast_build_call_from_executed(), isl_map_as_pw_multi_aff(), isl_map_partial_lexopt_aligned_pw_multi_aff(), isl_pw_multi_aff_from_set(), project_out_fixed(), pw_multi_aff_from_map(), pw_multi_aff_from_map_div(), pw_multi_aff_from_map_stride(), test_map_conversion(), test_parse_mpa(), test_parse_pma(), and update_values().
| __isl_constructor __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Referenced by extract_node(), isl_multi_aff_to_pw_multi_aff(), isl_multi_union_pw_aff_multi_aff_on_domain(), isl_pw_multi_aff_domain_map(), isl_pw_multi_aff_identity(), isl_pw_multi_aff_identity_on_domain_space(), isl_pw_multi_aff_project_out_map(), isl_pw_multi_aff_range_map(), isl_pw_multi_aff_zero(), isl_union_map_preimage_domain_multi_aff(), isl_union_map_preimage_range_multi_aff(), isl_union_pw_multi_aff_from_aff(), isl_union_set_preimage_multi_aff(), isl::pw_multi_aff::pw_multi_aff(), and pw_multi_aff_from_map_stride().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_multi_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 6970 of file isl_aff.c.
References isl_pw_multi_aff_from_multi_pw_aff_0D(), isl_pw_multi_aff_from_pw_aff(), isl_pw_multi_aff_range_product(), isl_pw_multi_aff_reset_space(), and pma.
Referenced by check_single_expr_min(), isl_map_preimage_multi_pw_aff(), project_out_fixed(), read_conditional_multi_aff(), and test_mpa_conversion().
| __isl_constructor __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_pw_aff | ( | __isl_take isl_pw_aff * | pa | ) |
Definition at line 6917 of file isl_aff.c.
References isl_aff_copy(), isl_multi_aff_from_aff(), isl_pw_aff_free(), isl_pw_aff_get_space(), isl_set_copy(), ma, pma, and set.
Referenced by isl_pw_multi_aff_from_multi_pw_aff(), isl::pw_multi_aff::pw_multi_aff(), and pw_multi_aff_from_pw_aff_entry().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_from_set | ( | __isl_take isl_set * | set | ) |
Definition at line 5608 of file isl_aff.c.
References isl_pw_multi_aff_from_map(), and set.
Referenced by isl_set_as_pw_multi_aff(), polly::IslNodeBuilder::preloadUnconditionally(), and test_set_conversion().
| __isl_export __isl_give isl_pw_aff * isl_pw_multi_aff_get_at | ( | __isl_keep isl_pw_multi_aff * | pma, |
| int | pos | ||
| ) |
Referenced by isl::pw_multi_aff::at().
| isl_ctx * isl_pw_multi_aff_get_ctx | ( | __isl_keep isl_pw_multi_aff * | pma | ) |
| __isl_give isl_id * isl_pw_multi_aff_get_dim_id | ( | __isl_keep isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
| const char * isl_pw_multi_aff_get_dim_name | ( | __isl_keep isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
| __isl_give isl_space * isl_pw_multi_aff_get_domain_space | ( | __isl_keep isl_pw_multi_aff * | pma | ) |
| __isl_give isl_pw_aff * isl_pw_multi_aff_get_pw_aff | ( | __isl_keep isl_pw_multi_aff * | pma, |
| int | pos | ||
| ) |
Definition at line 6283 of file isl_aff.c.
References isl_pw_multi_aff_get_at(), pma, and pos().
Referenced by basic_map_dim_opt(), exact_bound(), get_union_pw_aff(), isl_multi_pw_aff_from_pw_multi_aff(), isl_multi_union_pw_aff_apply_pw_multi_aff(), isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned(), and update_values().
| __isl_export __isl_give isl_id * isl_pw_multi_aff_get_range_tuple_id | ( | __isl_keep isl_pw_multi_aff * | pma | ) |
Referenced by isl::pw_multi_aff::range_tuple_id().
| __isl_export __isl_give isl_space * isl_pw_multi_aff_get_space | ( | __isl_keep isl_pw_multi_aff * | pma | ) |
Referenced by extract_space(), FN(), isl_map_from_pw_multi_aff_internal(), isl_map_preimage_pw_multi_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(), isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned(), isl_pw_multi_aff_flat_range_product(), isl_pw_multi_aff_get_at(), isl_pw_multi_aff_range_product(), isl_pw_multi_aff_set_pw_aff(), preimage_pw_multi_aff(), pw_multi_aff_set_pw_aff(), reset_range_space(), isl::pw_multi_aff::space(), split_domain_pma(), and union_pw_multi_aff_scale_multi_val_entry().
| __isl_give isl_id * isl_pw_multi_aff_get_tuple_id | ( | __isl_keep isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type | ||
| ) |
Referenced by isl::pw_multi_aff::tuple_id().
| const char * isl_pw_multi_aff_get_tuple_name | ( | __isl_keep isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type | ||
| ) |
Referenced by print_pw_multi_aff_c().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_gist | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_set * | set | ||
| ) |
Referenced by isl::pw_multi_aff::gist(), isl_ast_build_compute_gist_pw_multi_aff(), and project_out_fixed().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_gist_params | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_set * | set | ||
| ) |
| __isl_export isl_bool isl_pw_multi_aff_has_range_tuple_id | ( | __isl_keep isl_pw_multi_aff * | pma | ) |
Referenced by isl::pw_multi_aff::has_range_tuple_id().
| isl_bool isl_pw_multi_aff_has_tuple_id | ( | __isl_keep isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type | ||
| ) |
| isl_bool isl_pw_multi_aff_has_tuple_name | ( | __isl_keep isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type | ||
| ) |
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_identity | ( | __isl_take isl_space * | space | ) |
Definition at line 4347 of file isl_aff.c.
References isl_pw_multi_aff_from_multi_aff().
Referenced by identity_upma(), pw_multi_aff_from_map_stride(), and set_enforced_from_set().
| __isl_overload __isl_give isl_pw_multi_aff * isl_pw_multi_aff_identity_on_domain_space | ( | __isl_take isl_space * | space | ) |
Definition at line 4356 of file isl_aff.c.
References isl_pw_multi_aff_from_multi_aff(), and ma.
Referenced by isl::pw_multi_aff::identity_on_domain(), isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(), and isl_space_identity_pw_multi_aff_on_domain().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_insert_domain | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_space * | domain | ||
| ) |
Referenced by isl::pw_multi_aff::insert_domain().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_intersect_domain | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_set * | set | ||
| ) |
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_intersect_domain_wrapped_domain | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_set * | set | ||
| ) |
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_intersect_domain_wrapped_range | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_set * | set | ||
| ) |
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_intersect_params | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_set * | set | ||
| ) |
Referenced by isl::pw_multi_aff::intersect_params().
| isl_bool isl_pw_multi_aff_involves_dims | ( | __isl_keep isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
| __isl_export isl_bool isl_pw_multi_aff_involves_locals | ( | __isl_keep isl_pw_multi_aff * | pma | ) |
Referenced by isl::pw_multi_aff::involves_locals().
| isl_bool isl_pw_multi_aff_involves_nan | ( | __isl_keep isl_pw_multi_aff * | pma | ) |
Referenced by isl_pw_multi_aff_is_equal().
| isl_bool isl_pw_multi_aff_involves_param_id | ( | __isl_keep isl_pw_multi_aff * | pma, |
| __isl_keep isl_id * | id | ||
| ) |
| isl_bool isl_pw_multi_aff_is_equal | ( | __isl_keep isl_pw_multi_aff * | pma1, |
| __isl_keep isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 7190 of file isl_aff.c.
References equal, isl_bool_error, isl_bool_not(), isl_map_free(), isl_map_from_pw_multi_aff_internal(), isl_map_is_equal(), isl_pw_multi_aff_copy(), isl_pw_multi_aff_involves_nan(), isl_pw_multi_aff_plain_is_equal(), map1, and map2.
Referenced by equal_on_domain(), and test_equal().
| __isl_export isl_bool isl_pw_multi_aff_isa_multi_aff | ( | __isl_keep isl_pw_multi_aff * | pma | ) |
Referenced by isl::pw_multi_aff::isa_multi_aff().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_multi_val_on_domain | ( | __isl_take isl_set * | domain, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 7789 of file isl_aff.c.
References domain, isl_multi_aff_multi_val_on_space(), isl_pw_multi_aff_alloc(), isl_set_get_space(), and ma.
Referenced by isl_set_pw_multi_aff_on_domain_multi_val(), isl::pw_multi_aff::multi_val_on_domain(), and pw_multi_aff_multi_val_on_domain().
| __isl_export isl_size isl_pw_multi_aff_n_piece | ( | __isl_keep isl_pw_multi_aff * | pma | ) |
Referenced by check_single_expr_min(), isl_pw_multi_aff_op_multi_val(), and isl::pw_multi_aff::n_piece().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_neg | ( | __isl_take isl_pw_multi_aff * | pma | ) |
| isl_bool isl_pw_multi_aff_plain_is_equal | ( | __isl_keep isl_pw_multi_aff * | pma1, |
| __isl_keep isl_pw_multi_aff * | pma2 | ||
| ) |
Referenced by find_vertex(), isl_pw_multi_aff_is_equal(), test_mpa_conversion(), and test_pw_multi_aff().
| __isl_overload __isl_give isl_pw_multi_aff * isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Referenced by isl::pw_multi_aff::preimage_domain_wrapped_domain().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_product | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 4755 of file isl_aff.c.
References domain, isl_pw_multi_aff_free(), isl_set_copy(), isl_set_product(), isl_space_copy(), isl_space_product(), ma, n, and res.
Referenced by isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(), isl::pw_multi_aff::product(), and test_product_pma().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_project_domain_on_params | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Referenced by mupa_apply_pw_multi_aff_0D().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_project_out_map | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 4325 of file isl_aff.c.
References isl_multi_aff_project_out_map(), isl_pw_multi_aff_from_multi_aff(), ma, n, and type.
Referenced by isl::pw_multi_aff::project_out_map().
| __isl_overload __isl_give isl_pw_multi_aff * isl_pw_multi_aff_pullback_multi_aff | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
| __isl_overload __isl_give isl_pw_multi_aff * isl_pw_multi_aff_pullback_pw_multi_aff | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_range_factor_domain | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 4686 of file isl_aff.c.
References isl_space_range_factor_domain(), pma, pw_multi_aff_check_range_product(), and pw_multi_aff_factor().
Referenced by isl_union_pw_multi_aff_range_factor_domain(), and isl::pw_multi_aff::range_factor_domain().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_range_factor_range | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 4696 of file isl_aff.c.
References isl_space_range_factor_range(), pma, pw_multi_aff_check_range_product(), and pw_multi_aff_factor().
Referenced by isl_union_pw_multi_aff_range_factor_range(), and isl::pw_multi_aff::range_factor_range().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_range_map | ( | __isl_take isl_space * | space | ) |
Definition at line 4247 of file isl_aff.c.
References isl_multi_aff_range_map(), and isl_pw_multi_aff_from_multi_aff().
Referenced by isl_space_range_map_pw_multi_aff(), and isl::pw_multi_aff::range_map().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_range_product | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 6411 of file isl_aff.c.
References isl_pw_multi_aff_get_space(), and isl_space_range_product().
Referenced by isl_pw_multi_aff_from_multi_pw_aff(), pw_multi_aff_from_map_stride(), isl::pw_multi_aff::range_product(), and range_product_entry().
| __isl_constructor __isl_give isl_pw_multi_aff * isl_pw_multi_aff_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_reset_tuple_id | ( | __isl_take isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type | ||
| ) |
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_reset_user | ( | __isl_take isl_pw_multi_aff * | pma | ) |
| __isl_overload __isl_give isl_pw_multi_aff * isl_pw_multi_aff_scale_down_multi_val | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 6847 of file isl_aff.c.
References isl_pw_multi_aff_op_multi_val(), and pma.
| __isl_overload __isl_give isl_pw_multi_aff * isl_pw_multi_aff_scale_down_val | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_val * | v | ||
| ) |
Referenced by isl::pw_multi_aff::scale_down().
| __isl_overload __isl_give isl_pw_multi_aff * isl_pw_multi_aff_scale_multi_val | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 6838 of file isl_aff.c.
References isl_pw_multi_aff_op_multi_val(), and pma.
Referenced by union_pw_multi_aff_scale_multi_val_entry().
| __isl_overload __isl_give isl_pw_multi_aff * isl_pw_multi_aff_scale_val | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_val * | v | ||
| ) |
Referenced by isl::pw_multi_aff::scale().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_set_dim_id | ( | __isl_take isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_take isl_id * | id | ||
| ) |
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_set_pw_aff | ( | __isl_take isl_pw_multi_aff * | pma, |
| unsigned | pos, | ||
| __isl_take isl_pw_aff * | pa | ||
| ) |
Definition at line 6571 of file isl_aff.c.
References isl_pw_aff_align_params(), isl_pw_aff_check_named_params(), isl_pw_aff_free(), isl_pw_aff_get_space(), isl_pw_multi_aff_align_params(), isl_pw_multi_aff_check_named_params(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_space(), isl_space_has_equal_params(), pma, pos(), and pw_multi_aff_set_pw_aff().
Referenced by set_enforced_from_set(), and isl::pw_multi_aff::set_pw_aff().
| __isl_overload __isl_give isl_pw_multi_aff * isl_pw_multi_aff_set_range_tuple_id | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_id * | id | ||
| ) |
Referenced by isl::pw_multi_aff::set_range_tuple().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_set_tuple_id | ( | __isl_take isl_pw_multi_aff * | pma, |
| enum isl_dim_type | type, | ||
| __isl_take isl_id * | id | ||
| ) |
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_sub | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 4744 of file isl_aff.c.
Referenced by isl::pw_multi_aff::sub().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_subtract_domain | ( | __isl_take isl_pw_multi_aff * | pma, |
| __isl_take isl_set * | set | ||
| ) |
Referenced by isl::pw_multi_aff::subtract_domain().
| __isl_export __isl_give isl_multi_pw_aff * isl_pw_multi_aff_to_multi_pw_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 7090 of file isl_aff.c.
References isl_multi_pw_aff_from_pw_multi_aff(), and pma.
Referenced by isl::pw_multi_aff::to_multi_pw_aff().
| __isl_give char * isl_pw_multi_aff_to_str | ( | __isl_keep isl_pw_multi_aff * | pma | ) |
Referenced by isl::operator<<().
| __isl_export __isl_give isl_union_pw_multi_aff * isl_pw_multi_aff_to_union_pw_multi_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Referenced by isl::pw_multi_aff::to_union_pw_multi_aff().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_union_add | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Referenced by isl::pw_multi_aff::union_add().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_union_lexmax | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 4710 of file isl_aff.c.
References isl_multi_aff_lex_ge_set().
Referenced by isl_map_partial_lexopt_aligned_pw_multi_aff().
| __isl_give isl_pw_multi_aff * isl_pw_multi_aff_union_lexmin | ( | __isl_take isl_pw_multi_aff * | pma1, |
| __isl_take isl_pw_multi_aff * | pma2 | ||
| ) |
Definition at line 4725 of file isl_aff.c.
References isl_multi_aff_lex_le_set().
Referenced by isl_map_partial_lexopt_aligned_pw_multi_aff().
| __isl_export __isl_give isl_pw_multi_aff * isl_pw_multi_aff_zero | ( | __isl_take isl_space * | space | ) |
Definition at line 6909 of file isl_aff.c.
References isl_pw_multi_aff_from_multi_aff().
Referenced by isl::pw_multi_aff::zero().
| __isl_export __isl_give isl_pw_multi_aff * isl_set_as_pw_multi_aff | ( | __isl_take isl_set * | set | ) |
Definition at line 5616 of file isl_aff.c.
References isl_pw_multi_aff_from_set(), and set.
Referenced by isl::set::as_pw_multi_aff().
| __isl_give isl_set * isl_set_from_multi_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 499 of file isl_aff_map.c.
References check_input_is_set(), map_from_multi_pw_aff(), and set_from_map().
Referenced by isl_multi_pw_aff_as_set().
| __isl_give isl_set * isl_set_from_pw_aff | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 346 of file isl_aff_map.c.
References check_input_is_set(), isl_map_from_pw_aff_internal(), isl_pw_aff_free(), and set_from_map().
Referenced by test_dim_max().
| __isl_give isl_set * isl_set_from_pw_multi_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 411 of file isl_aff_map.c.
References check_input_is_set(), isl_map_from_pw_multi_aff_internal(), isl_pw_multi_aff_free(), pma, and set_from_map().
Referenced by isl_pw_multi_aff_as_set(), main(), test_lexmin(), and test_set_conversion().
| __isl_export __isl_give isl_pw_aff * isl_set_indicator_function | ( | __isl_take isl_set * | set | ) |
Definition at line 5692 of file isl_aff.c.
References isl_aff_add_constant_si(), isl_aff_zero_on_domain(), isl_local_space_copy(), isl_local_space_from_space(), isl_pw_aff_add_disjoint(), isl_pw_aff_alloc(), isl_set_complement(), isl_set_copy(), isl_set_get_space(), and set.
Referenced by accept_ternary(), isl::set::indicator_function(), and isl_pw_aff_tdiv_q().
| __isl_overload __isl_give isl_pw_aff * isl_set_param_pw_aff_on_domain_id | ( | __isl_take isl_set * | domain, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 7722 of file isl_aff.c.
References domain, and isl_pw_aff_param_on_domain_id().
| __isl_overload __isl_give isl_pw_aff * isl_set_pw_aff_on_domain_val | ( | __isl_take isl_set * | domain, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 7695 of file isl_aff.c.
References domain, and isl_pw_aff_val_on_domain().
| __isl_overload __isl_give isl_pw_multi_aff * isl_set_pw_multi_aff_on_domain_multi_val | ( | __isl_take isl_set * | domain, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 7805 of file isl_aff.c.
References domain, and isl_pw_multi_aff_multi_val_on_domain().
Referenced by isl::set::pw_multi_aff_on_domain().
| __isl_export __isl_give isl_multi_aff * isl_space_domain_map_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4167 of file isl_aff.c.
References isl_multi_aff_domain_map().
Referenced by isl::space::domain_map_multi_aff().
| __isl_export __isl_give isl_pw_multi_aff * isl_space_domain_map_pw_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4238 of file isl_aff.c.
References isl_pw_multi_aff_domain_map().
Referenced by isl::space::domain_map_pw_multi_aff().
| __isl_export __isl_give isl_pw_multi_aff * isl_space_identity_pw_multi_aff_on_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 4369 of file isl_aff.c.
References isl_pw_multi_aff_identity_on_domain_space().
Referenced by isl::space::identity_pw_multi_aff_on_domain().
| __isl_overload __isl_give isl_multi_aff * isl_space_multi_aff_on_domain_multi_val | ( | __isl_take isl_space * | space, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 7780 of file isl_aff.c.
References isl_multi_aff_multi_val_on_domain_space().
Referenced by isl::space::multi_aff_on_domain().
| __isl_overload __isl_give isl_aff * isl_space_param_aff_on_domain_id | ( | __isl_take isl_space * | space, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 384 of file isl_aff.c.
References isl_aff_param_on_domain_space_id().
Referenced by isl::space::param_aff_on_domain().
| __isl_export __isl_give isl_multi_aff * isl_space_range_map_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4220 of file isl_aff.c.
References isl_multi_aff_range_map().
Referenced by isl::space::range_map_multi_aff().
| __isl_export __isl_give isl_pw_multi_aff * isl_space_range_map_pw_multi_aff | ( | __isl_take isl_space * | space | ) |
Definition at line 4256 of file isl_aff.c.
References isl_pw_multi_aff_range_map().
Referenced by isl::space::range_map_pw_multi_aff().
| __isl_export __isl_give isl_aff * isl_space_zero_aff_on_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 198 of file isl_aff.c.
References isl_aff_zero_on_domain_space().
Referenced by isl::space::zero_aff_on_domain().
| __isl_export __isl_give isl_multi_union_pw_aff * isl_union_map_as_multi_union_pw_aff | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 8877 of file isl_aff.c.
References isl_multi_union_pw_aff_from_union_map().
Referenced by isl::union_map::as_multi_union_pw_aff().
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_map_as_union_pw_multi_aff | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 5673 of file isl_aff.c.
References isl_union_pw_multi_aff_from_union_map().
Referenced by isl::union_map::as_union_pw_multi_aff().
| __isl_overload __isl_give isl_union_map * isl_union_map_from_multi_union_pw_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9116 of file isl_aff.c.
References isl_dim_set, isl_union_map_flat_range_product(), isl_union_map_from_multi_union_pw_aff_0D(), isl_union_map_from_union_pw_aff(), isl_union_map_reset_range_space(), mupa, and n.
Referenced by after_in_band(), build_ast_from_band(), isl::union_map::from(), isl_schedule_node_band_get_partial_schedule_union_map(), isl_schedule_node_get_prefix_schedule_relation(), subtree_schedule_extend(), test_multi_pw_aff_3(), and test_union_map_mupa_conversion().
| __isl_give isl_union_map * isl_union_map_from_union_pw_aff | ( | __isl_take isl_union_pw_aff * | upa | ) |
Definition at line 531 of file isl_aff_map.c.
References isl_union_map_empty(), isl_union_map_free(), isl_union_pw_aff_foreach_pw_aff(), isl_union_pw_aff_free(), isl_union_pw_aff_get_space(), and map_from_pw_aff_entry().
Referenced by isl_union_map_from_multi_union_pw_aff().
| __isl_overload __isl_give isl_union_map * isl_union_map_from_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 569 of file isl_aff_map.c.
References isl_union_map_empty(), isl_union_map_free(), isl_union_pw_multi_aff_foreach_pw_multi_aff(), isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_get_space(), and map_from_pw_multi_aff().
Referenced by append_range(), isl::union_map::from(), group_expansion(), isl_schedule_node_expand(), isl_schedule_node_get_prefix_schedule_union_map(), isl_schedule_node_group(), isl_union_pw_multi_aff_as_union_map(), and subtree_schedule_extend_from_children().
| __isl_export __isl_give isl_union_pw_aff * isl_union_pw_aff_add | ( | __isl_take isl_union_pw_aff * | upa1, |
| __isl_take isl_union_pw_aff * | upa2 | ||
| ) |
Referenced by isl::union_pw_aff::add(), and multi_union_pw_aff_apply_aff().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_add_pw_aff | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_pw_aff * | pa | ||
| ) |
Referenced by get_union_pw_aff(), pa_pb_pma(), pw_aff_on_domain(), pw_aff_val_on_domain(), and reset_params().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_aff_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_aff * | aff | ||
| ) |
Definition at line 8227 of file isl_aff.c.
References aff, domain, isl_pw_aff_from_aff(), and isl_union_pw_aff_pw_aff_on_domain().
Referenced by isl_union_pw_aff_param_on_domain_id(), multi_union_pw_aff_apply_aff(), and test_upa().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_align_params | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_space * | model | ||
| ) |
Referenced by isl_union_pw_aff_pullback_union_pw_multi_aff().
| __isl_overload __isl_give isl_union_set * isl_union_pw_aff_bind_id | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 8495 of file isl_aff.c.
References bind_id(), isl_bind_id_data::bound, isl_id_free(), isl_union_pw_aff_foreach_pw_aff(), isl_union_pw_aff_free(), isl_union_pw_aff_get_space(), isl_union_set_empty(), and isl_union_set_free().
Referenced by isl::union_pw_aff::bind().
| __isl_export __isl_give isl_union_pw_aff * isl_union_pw_aff_coalesce | ( | __isl_take isl_union_pw_aff * | upa | ) |
Referenced by isl::union_pw_aff::coalesce().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_copy | ( | __isl_keep isl_union_pw_aff * | upa | ) |
Referenced by isl::union_pw_aff::copy(), and isl_union_pw_aff_mod_val().
| isl_size isl_union_pw_aff_dim | ( | __isl_keep isl_union_pw_aff * | upa, |
| enum isl_dim_type | type | ||
| ) |
| __isl_export __isl_give isl_union_set * isl_union_pw_aff_domain | ( | __isl_take isl_union_pw_aff * | upa | ) |
Referenced by isl::union_pw_aff::domain(), and isl_multi_union_pw_aff_domain().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_drop_dims | ( | __isl_take isl_union_pw_aff * | upa, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
| void isl_union_pw_aff_dump | ( | __isl_keep isl_union_pw_aff * | upa | ) |
| __isl_give isl_union_pw_aff * isl_union_pw_aff_empty | ( | __isl_take isl_space * | space | ) |
| __isl_give isl_union_pw_aff * isl_union_pw_aff_empty_ctx | ( | isl_ctx * | ctx | ) |
| __isl_give isl_union_pw_aff * isl_union_pw_aff_empty_space | ( | __isl_take isl_space * | space | ) |
| isl_bool isl_union_pw_aff_every_pw_aff | ( | __isl_keep isl_union_pw_aff * | upa, |
| isl_bool(*)(__isl_keep isl_pw_aff *pa, void *user) | test, | ||
| void * | user | ||
| ) |
| __isl_give isl_pw_aff * isl_union_pw_aff_extract_pw_aff | ( | __isl_keep isl_union_pw_aff * | upa, |
| __isl_take isl_space * | space | ||
| ) |
Referenced by isl_multi_union_pw_aff_extract_multi_pw_aff().
| int isl_union_pw_aff_find_dim_by_name | ( | __isl_keep isl_union_pw_aff * | upa, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
| __isl_give isl_union_pw_aff * isl_union_pw_aff_floor | ( | __isl_take isl_union_pw_aff * | upa | ) |
Definition at line 8124 of file isl_aff.c.
References floor_entry().
Referenced by isl_multi_union_pw_aff_tile(), isl_union_pw_aff_mod_val(), and multi_union_pw_aff_apply_aff().
| isl_stat isl_union_pw_aff_foreach_pw_aff | ( | __isl_keep isl_union_pw_aff * | upa, |
| isl_stat(*)(__isl_take isl_pw_aff *pa, void *user) | fn, | ||
| void * | user | ||
| ) |
Referenced by isl::union_pw_aff::foreach_pw_aff(), isl_union_map_from_union_pw_aff(), isl_union_pw_aff_bind_id(), isl_union_pw_aff_opt_val(), isl_union_pw_aff_pullback_union_pw_multi_aff(), isl_union_pw_aff_reset_domain_space(), isl_union_pw_aff_zero_union_set(), and isl_union_pw_multi_aff_from_union_pw_aff().
| __isl_null isl_union_pw_aff * isl_union_pw_aff_free | ( | __isl_take isl_union_pw_aff * | upa | ) |
Referenced by isl_multi_union_pw_aff_extract_multi_pw_aff(), isl_union_map_from_union_pw_aff(), isl_union_pw_aff_bind_id(), isl_union_pw_aff_mod_val(), isl_union_pw_aff_opt_val(), isl_union_pw_aff_pullback_union_pw_multi_aff(), isl_union_pw_aff_pw_aff_on_domain_aligned(), isl_union_pw_aff_reset_domain_space(), isl_union_pw_aff_val_on_domain(), isl_union_pw_aff_zero_union_set(), isl_union_pw_multi_aff_from_union_pw_aff(), isl_union_pw_multi_aff_get_union_pw_aff(), print_union_pw_aff_dim(), test_mupa_pa(), test_upa(), and isl::union_pw_aff::~union_pw_aff().
| __isl_constructor __isl_give isl_union_pw_aff * isl_union_pw_aff_from_aff | ( | __isl_take isl_aff * | aff | ) |
Referenced by isl::union_pw_aff::union_pw_aff().
| __isl_constructor __isl_give isl_union_pw_aff * isl_union_pw_aff_from_pw_aff | ( | __isl_take isl_pw_aff * | pa | ) |
| isl_ctx * isl_union_pw_aff_get_ctx | ( | __isl_keep isl_union_pw_aff * | upa | ) |
Referenced by isl::union_pw_aff::ctx(), and isl_union_pw_aff_opt_val().
| __isl_give isl_pw_aff_list * isl_union_pw_aff_get_pw_aff_list | ( | __isl_keep isl_union_pw_aff * | upa | ) |
| __isl_export __isl_give isl_space * isl_union_pw_aff_get_space | ( | __isl_keep isl_union_pw_aff * | upa | ) |
Referenced by isl_union_map_from_union_pw_aff(), isl_union_pw_aff_bind_id(), isl_union_pw_aff_check_match_domain_space(), isl_union_pw_aff_matching_params(), isl_union_pw_aff_pullback_union_pw_multi_aff(), isl_union_pw_aff_zero_union_set(), isl_union_pw_multi_aff_from_union_pw_aff(), and isl::union_pw_aff::space().
| __isl_export __isl_give isl_union_pw_aff * isl_union_pw_aff_gist | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_union_set * | context | ||
| ) |
Referenced by isl::union_pw_aff::gist().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_gist_params | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_set * | context | ||
| ) |
| __isl_give isl_union_pw_aff * isl_union_pw_aff_intersect_domain | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_overload __isl_give isl_union_pw_aff * isl_union_pw_aff_intersect_domain_space | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_space * | space | ||
| ) |
Referenced by isl::union_pw_aff::intersect_domain().
| __isl_overload __isl_give isl_union_pw_aff * isl_union_pw_aff_intersect_domain_union_set | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_union_set * | uset | ||
| ) |
Referenced by isl::union_pw_aff::intersect_domain().
| __isl_export __isl_give isl_union_pw_aff * isl_union_pw_aff_intersect_domain_wrapped_domain | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_union_set * | uset | ||
| ) |
Referenced by isl::union_pw_aff::intersect_domain_wrapped_domain().
| __isl_export __isl_give isl_union_pw_aff * isl_union_pw_aff_intersect_domain_wrapped_range | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_union_set * | uset | ||
| ) |
Referenced by isl::union_pw_aff::intersect_domain_wrapped_range().
| __isl_export __isl_give isl_union_pw_aff * isl_union_pw_aff_intersect_params | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_set * | set | ||
| ) |
Referenced by isl::union_pw_aff::intersect_params().
| isl_bool isl_union_pw_aff_involves_nan | ( | __isl_keep isl_union_pw_aff * | upa | ) |
| __isl_give isl_union_pw_aff * isl_union_pw_aff_mod_val | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_val * | f | ||
| ) |
Definition at line 8136 of file isl_aff.c.
References isl_die, isl_error_invalid, isl_union_pw_aff_copy(), isl_union_pw_aff_floor(), isl_union_pw_aff_free(), isl_union_pw_aff_scale_down_val(), isl_union_pw_aff_scale_val(), isl_union_pw_aff_sub(), isl_val_copy(), isl_val_free(), isl_val_get_ctx(), isl_val_is_int(), isl_val_is_pos(), m, and res.
| isl_size isl_union_pw_aff_n_pw_aff | ( | __isl_keep isl_union_pw_aff * | upa | ) |
| __isl_give isl_union_pw_aff * isl_union_pw_aff_neg | ( | __isl_take isl_union_pw_aff * | upa | ) |
| __isl_give isl_union_pw_aff * isl_union_pw_aff_param_on_domain_id | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 8242 of file isl_aff.c.
References aff, domain, isl_aff_param_on_domain_space_id(), isl_id_copy(), isl_space_add_param_id(), isl_union_pw_aff_aff_on_domain(), and isl_union_set_get_space().
Referenced by test_upa().
| isl_bool isl_union_pw_aff_plain_is_equal | ( | __isl_keep isl_union_pw_aff * | upa1, |
| __isl_keep isl_union_pw_aff * | upa2 | ||
| ) |
Referenced by test_mupa_pa().
| __isl_overload __isl_give isl_union_pw_aff * isl_union_pw_aff_pullback_union_pw_multi_aff | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_union_pw_multi_aff * | upma | ||
| ) |
Definition at line 8568 of file isl_aff.c.
References isl_union_pw_aff_align_params(), isl_union_pw_aff_foreach_pw_aff(), isl_union_pw_aff_free(), isl_union_pw_aff_get_space(), isl_union_pw_multi_aff_align_params(), isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_get_space(), isl_union_pw_aff_pullback_upma_data::res, upa_pb_upma(), and isl_union_pw_aff_pullback_upma_data::upma.
Referenced by isl_multi_union_pw_aff_pullback_union_pw_multi_aff(), and isl::union_pw_aff::pullback().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_pw_aff_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_pw_aff * | pa | ||
| ) |
Definition at line 8316 of file isl_aff.c.
References domain, isl_die, isl_error_invalid, isl_pw_aff_align_params(), isl_pw_aff_free(), isl_pw_aff_get_ctx(), isl_pw_aff_get_space(), isl_space_align_params(), isl_space_copy(), isl_space_free(), isl_space_has_equal_params(), isl_space_is_set(), isl_union_pw_aff_pw_aff_on_domain_aligned(), isl_union_set_align_params(), isl_union_set_free(), isl_union_set_get_space(), and isl_union_pw_aff_pw_aff_on_domain_data::pa.
Referenced by isl_multi_union_pw_aff_apply_pw_aff_0D(), isl_multi_union_pw_aff_pw_multi_aff_on_domain_aligned(), and isl_union_pw_aff_aff_on_domain().
| __isl_constructor __isl_give isl_union_pw_aff * isl_union_pw_aff_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
Referenced by test_mupa_pa(), and isl::union_pw_aff::union_pw_aff().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_reset_user | ( | __isl_take isl_union_pw_aff * | upa | ) |
| __isl_give isl_union_pw_aff * isl_union_pw_aff_scale_down_val | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_val * | v | ||
| ) |
Referenced by isl_multi_union_pw_aff_tile(), and isl_union_pw_aff_mod_val().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_scale_val | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_val * | v | ||
| ) |
Referenced by isl_multi_union_pw_aff_tile(), isl_union_pw_aff_mod_val(), and multi_union_pw_aff_apply_aff().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_set_dim_name | ( | __isl_take isl_union_pw_aff * | upa, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
| __isl_export __isl_give isl_union_pw_aff * isl_union_pw_aff_sub | ( | __isl_take isl_union_pw_aff * | upa1, |
| __isl_take isl_union_pw_aff * | upa2 | ||
| ) |
Referenced by isl_union_pw_aff_mod_val(), and isl::union_pw_aff::sub().
| __isl_give isl_union_pw_aff * isl_union_pw_aff_subtract_domain | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_overload __isl_give isl_union_pw_aff * isl_union_pw_aff_subtract_domain_space | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_space * | space | ||
| ) |
Referenced by isl::union_pw_aff::subtract_domain().
| __isl_overload __isl_give isl_union_pw_aff * isl_union_pw_aff_subtract_domain_union_set | ( | __isl_take isl_union_pw_aff * | upa, |
| __isl_take isl_union_set * | uset | ||
| ) |
Referenced by isl::union_pw_aff::subtract_domain().
| __isl_give char * isl_union_pw_aff_to_str | ( | __isl_keep isl_union_pw_aff * | upa | ) |
Referenced by isl::operator<<().
| __isl_export __isl_give isl_union_pw_aff * isl_union_pw_aff_union_add | ( | __isl_take isl_union_pw_aff * | upa1, |
| __isl_take isl_union_pw_aff * | upa2 | ||
| ) |
| __isl_give isl_union_pw_aff * isl_union_pw_aff_val_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_val * | v | ||
| ) |
Definition at line 8385 of file isl_aff.c.
References domain, isl_union_pw_aff_empty(), isl_union_pw_aff_free(), isl_union_set_foreach_set(), isl_union_set_free(), isl_union_set_get_space(), isl_val_free(), pw_aff_val_on_domain(), isl_union_pw_aff_val_on_domain_data::res, and isl_union_pw_aff_val_on_domain_data::v.
Referenced by isl_multi_union_pw_aff_multi_val_on_domain_aligned(), and isl::union_pw_aff::union_pw_aff().
| __isl_give isl_union_set * isl_union_pw_aff_zero_union_set | ( | __isl_take isl_union_pw_aff * | upa | ) |
Definition at line 8454 of file isl_aff.c.
References isl_union_pw_aff_foreach_pw_aff(), isl_union_pw_aff_free(), isl_union_pw_aff_get_space(), isl_union_set_empty(), isl_union_set_free(), and zero_union_set().
Referenced by isl_multi_union_pw_aff_zero_union_set().
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_add | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
| __isl_take isl_union_pw_multi_aff * | upma2 | ||
| ) |
Referenced by isl::union_pw_multi_aff::add().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_add_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_pw_multi_aff * | pma | ||
| ) |
Referenced by isl::union_pw_multi_aff::add_pw_multi_aff(), add_pw_multi_aff_from_domain(), domain_map_upma(), gen_range_product_entry(), identity_upma(), preimage_domain_wrapped_domain_entry(), pullback_entry(), pw_multi_aff_from_map(), pw_multi_aff_from_pw_aff_entry(), pw_multi_aff_multi_val_on_domain(), and reset_range_space().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_align_params | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_space * | model | ||
| ) |
| __isl_overload __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_apply_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
| __isl_take isl_union_pw_multi_aff * | upma2 | ||
| ) |
Definition at line 7895 of file isl_aff.c.
References isl_union_pw_multi_aff_pullback_union_pw_multi_aff(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::union_pw_multi_aff::apply().
| __isl_export __isl_give isl_multi_union_pw_aff * isl_union_pw_multi_aff_as_multi_union_pw_aff | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 8852 of file isl_aff.c.
References isl_multi_union_pw_aff_from_union_pw_multi_aff(), and isl_union_pw_aff_pullback_upma_data::upma.
Referenced by isl::union_pw_multi_aff::as_multi_union_pw_aff().
| __isl_export __isl_give isl_pw_multi_aff * isl_union_pw_multi_aff_as_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Referenced by isl::union_pw_multi_aff::as_pw_multi_aff().
| __isl_export __isl_give isl_union_map * isl_union_pw_multi_aff_as_union_map | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 597 of file isl_aff_map.c.
References isl_union_map_from_union_pw_multi_aff().
Referenced by isl::union_pw_multi_aff::as_union_map().
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_coalesce | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Referenced by isl::union_pw_multi_aff::coalesce().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_copy | ( | __isl_keep isl_union_pw_multi_aff * | upma | ) |
Referenced by collect_filter_prefix_expansion(), isl::union_pw_multi_aff::copy(), group_expansion(), isl_multi_union_pw_aff_from_union_pw_multi_aff(), isl_multi_union_pw_aff_pullback_union_pw_multi_aff(), isl_schedule_node_expand(), isl_schedule_node_group(), isl_schedule_tree_dup(), isl_schedule_tree_expansion_get_contraction(), preimage_explicit_domain(), and pullback_upma().
| isl_size isl_union_pw_multi_aff_dim | ( | __isl_keep isl_union_pw_multi_aff * | upma, |
| enum isl_dim_type | type | ||
| ) |
Referenced by group_context().
| __isl_export __isl_give isl_union_set * isl_union_pw_multi_aff_domain | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_drop_dims | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Referenced by group_context().
| void isl_union_pw_multi_aff_dump | ( | __isl_keep isl_union_pw_multi_aff * | upma | ) |
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_empty | ( | __isl_take isl_space * | space | ) |
Referenced by isl::union_pw_multi_aff::empty(), isl_schedule_node_get_prefix_schedule_union_pw_multi_aff(), isl_schedule_node_get_subtree_contraction(), isl_stream_read_with_params_union_pw_multi_aff(), isl_union_map_domain_map_union_pw_multi_aff(), isl_union_pw_multi_aff_from_domain(), isl_union_pw_multi_aff_from_union_map(), isl_union_pw_multi_aff_from_union_pw_aff(), isl_union_pw_multi_aff_multi_val_on_domain(), isl_union_pw_multi_aff_reset_range_space(), and isl_union_set_identity_union_pw_multi_aff().
| __isl_overload __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_empty_ctx | ( | isl_ctx * | ctx | ) |
Referenced by isl::union_pw_multi_aff::empty().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_empty_space | ( | __isl_take isl_space * | space | ) |
| isl_bool isl_union_pw_multi_aff_every_pw_multi_aff | ( | __isl_keep isl_union_pw_multi_aff * | upma, |
| isl_bool(*)(__isl_keep isl_pw_multi_aff *pma, void *user) | test, | ||
| void * | user | ||
| ) |
| __isl_export __isl_give isl_pw_multi_aff * isl_union_pw_multi_aff_extract_pw_multi_aff | ( | __isl_keep isl_union_pw_multi_aff * | upma, |
| __isl_take isl_space * | space | ||
| ) |
Referenced by isl::union_pw_multi_aff::extract_pw_multi_aff().
| int isl_union_pw_multi_aff_find_dim_by_name | ( | __isl_keep isl_union_pw_multi_aff * | upma, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_flat_range_product | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
| __isl_take isl_union_pw_multi_aff * | upma2 | ||
| ) |
Definition at line 6481 of file isl_aff.c.
References bin_op, flat_range_product_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::union_pw_multi_aff::flat_range_product(), and isl_union_pw_multi_aff_from_multi_union_pw_aff().
| isl_stat isl_union_pw_multi_aff_foreach_pw_multi_aff | ( | __isl_keep isl_union_pw_multi_aff * | upma, |
| isl_stat(*)(__isl_take isl_pw_multi_aff *pma, void *user) | fn, | ||
| void * | user | ||
| ) |
| __isl_null isl_union_pw_multi_aff * isl_union_pw_multi_aff_free | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Referenced by bin_op(), collect_filter_prefix_expansion(), group_context(), isl_multi_union_pw_aff_from_union_pw_multi_aff(), isl_multi_union_pw_aff_pullback_union_pw_multi_aff(), isl_schedule_band_pullback_union_pw_multi_aff(), isl_schedule_node_expansion_set_contraction_and_expansion(), isl_schedule_node_get_subtree_contraction(), isl_schedule_node_group(), isl_schedule_pullback_union_pw_multi_aff(), isl_schedule_tree_expansion_set_contraction_and_expansion(), isl_schedule_tree_free(), isl_schedule_tree_from_expansion(), isl_schedule_tree_pullback_union_pw_multi_aff(), isl_union_map_domain_map_union_pw_multi_aff(), isl_union_map_from_union_pw_multi_aff(), isl_union_pw_aff_pullback_union_pw_multi_aff(), isl_union_pw_multi_aff_from_domain(), isl_union_pw_multi_aff_from_union_map(), isl_union_pw_multi_aff_from_union_pw_aff(), isl_union_pw_multi_aff_multi_val_on_domain(), isl_union_pw_multi_aff_reset_range_space(), isl_union_pw_multi_aff_scale_multi_val(), isl_union_set_identity_union_pw_multi_aff(), preimage_union_pw_multi_aff(), read_expansion(), test_bin_upma(), test_bin_upma_fail(), test_schedule_tree_group_1(), test_subtract(), test_upma_test(), test_upma_uset(), and isl::union_pw_multi_aff::~union_pw_multi_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 5638 of file isl_aff.c.
References aff, isl_multi_aff_from_aff(), isl_pw_multi_aff_from_multi_aff(), isl_union_pw_multi_aff_from_pw_multi_aff(), ma, and pma.
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_domain | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 6322 of file isl_aff.c.
References add_pw_multi_aff_from_domain(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), isl_union_set_foreach_set(), isl_union_set_free(), and isl_union_set_get_space().
Referenced by isl_schedule_node_get_prefix_schedule_union_pw_multi_aff(), and isl::union_pw_multi_aff::union_pw_multi_aff().
| __isl_constructor __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Referenced by isl::union_pw_multi_aff::union_pw_multi_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_multi_union_pw_aff | ( | __isl_take isl_multi_union_pw_aff * | mupa | ) |
Definition at line 9237 of file isl_aff.c.
References isl_dim_set, isl_union_pw_multi_aff_flat_range_product(), isl_union_pw_multi_aff_from_multi_union_pw_aff_0D(), isl_union_pw_multi_aff_from_union_pw_aff(), isl_union_pw_multi_aff_reset_range_space(), mupa, and n.
Referenced by isl_multi_union_pw_aff_intersect_range(), isl_schedule_node_get_prefix_schedule_union_pw_multi_aff(), and isl_schedule_node_group().
| __isl_constructor __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_pw_multi_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_union_map | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 5654 of file isl_aff.c.
References isl_union_map_foreach_map(), isl_union_map_free(), isl_union_map_get_space(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), and pw_multi_aff_from_map().
Referenced by polly::Dependences::calculateDependences(), group_expansion(), isl_multi_union_pw_aff_from_union_map(), isl_schedule_node_group(), isl_union_map_as_union_pw_multi_aff(), isl_union_pw_multi_aff_from_union_set(), and isl::union_pw_multi_aff::union_pw_multi_aff().
| __isl_constructor __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_union_pw_aff | ( | __isl_take isl_union_pw_aff * | upa | ) |
Definition at line 8419 of file isl_aff.c.
References isl_union_pw_aff_foreach_pw_aff(), isl_union_pw_aff_free(), isl_union_pw_aff_get_space(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), and pw_multi_aff_from_pw_aff_entry().
Referenced by isl_union_pw_multi_aff_from_multi_union_pw_aff(), and isl::union_pw_multi_aff::union_pw_multi_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_from_union_set | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 5684 of file isl_aff.c.
References isl_union_pw_multi_aff_from_union_map().
| isl_ctx * isl_union_pw_multi_aff_get_ctx | ( | __isl_keep isl_union_pw_multi_aff * | upma | ) |
| __isl_export __isl_give isl_pw_multi_aff_list * isl_union_pw_multi_aff_get_pw_multi_aff_list | ( | __isl_keep isl_union_pw_multi_aff * | upma | ) |
Referenced by isl::union_pw_multi_aff::pw_multi_aff_list().
| __isl_export __isl_give isl_space * isl_union_pw_multi_aff_get_space | ( | __isl_keep isl_union_pw_multi_aff * | upma | ) |
Referenced by bin_op(), isl_multi_union_pw_aff_pullback_union_pw_multi_aff(), isl_union_map_from_union_pw_multi_aff(), isl_union_pw_aff_pullback_union_pw_multi_aff(), isl_union_pw_multi_aff_get_union_pw_aff(), isl_union_pw_multi_aff_reset_range_space(), isl_union_pw_multi_aff_scale_multi_val(), and isl::union_pw_multi_aff::space().
| __isl_give isl_union_pw_aff * isl_union_pw_multi_aff_get_union_pw_aff | ( | __isl_keep isl_union_pw_multi_aff * | upma, |
| int | pos | ||
| ) |
Definition at line 8201 of file isl_aff.c.
References get_union_pw_aff(), isl_die, isl_error_invalid, isl_union_pw_aff_empty(), isl_union_pw_aff_free(), isl_union_pw_multi_aff_foreach_pw_multi_aff(), isl_union_pw_multi_aff_get_ctx(), isl_union_pw_multi_aff_get_space(), isl_union_pw_multi_aff_get_union_pw_aff_data::pos, pos(), and isl_union_pw_multi_aff_get_union_pw_aff_data::res.
Referenced by isl_multi_union_pw_aff_from_union_pw_multi_aff().
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_gist | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_union_set * | context | ||
| ) |
Referenced by isl::union_pw_multi_aff::gist(), gist_enter_expansion(), and group_expansion().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_gist_params | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_set * | context | ||
| ) |
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_intersect_domain | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_union_set * | uset | ||
| ) |
| __isl_overload __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_intersect_domain_space | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_space * | space | ||
| ) |
Referenced by isl::union_pw_multi_aff::intersect_domain().
| __isl_overload __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_intersect_domain_union_set | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_union_set * | uset | ||
| ) |
Referenced by isl::union_pw_multi_aff::intersect_domain().
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_intersect_domain_wrapped_domain | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_union_set * | uset | ||
| ) |
Referenced by isl::union_pw_multi_aff::intersect_domain_wrapped_domain().
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_intersect_domain_wrapped_range | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_union_set * | uset | ||
| ) |
Referenced by isl::union_pw_multi_aff::intersect_domain_wrapped_range().
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_intersect_params | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_set * | set | ||
| ) |
Referenced by isl::union_pw_multi_aff::intersect_params().
| __isl_export isl_bool isl_union_pw_multi_aff_involves_locals | ( | __isl_keep isl_union_pw_multi_aff * | upma | ) |
Referenced by isl::union_pw_multi_aff::involves_locals().
| isl_bool isl_union_pw_multi_aff_involves_nan | ( | __isl_keep isl_union_pw_multi_aff * | upma | ) |
| __isl_export isl_bool isl_union_pw_multi_aff_isa_pw_multi_aff | ( | __isl_keep isl_union_pw_multi_aff * | upma | ) |
Referenced by isl::union_pw_multi_aff::isa_pw_multi_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_multi_val_on_domain | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 7840 of file isl_aff.c.
References domain, isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), isl_union_set_foreach_set(), isl_union_set_free(), isl_union_set_get_space(), isl_union_pw_multi_aff_multi_val_on_domain_data::mv, pw_multi_aff_multi_val_on_domain(), and isl_union_pw_multi_aff_multi_val_on_domain_data::res.
Referenced by append_range(), isl_union_pw_multi_aff_from_multi_union_pw_aff_0D(), and subtree_schedule_extend_from_children().
| isl_size isl_union_pw_multi_aff_n_pw_multi_aff | ( | __isl_keep isl_union_pw_multi_aff * | upma | ) |
Referenced by isl_multi_union_pw_aff_from_union_pw_multi_aff().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_neg | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
| __isl_export isl_bool isl_union_pw_multi_aff_plain_is_empty | ( | __isl_keep isl_union_pw_multi_aff * | upma | ) |
Referenced by isl::union_pw_multi_aff::plain_is_empty().
| isl_bool isl_union_pw_multi_aff_plain_is_equal | ( | __isl_keep isl_union_pw_multi_aff * | upma1, |
| __isl_keep isl_union_pw_multi_aff * | upma2 | ||
| ) |
Referenced by isl_schedule_tree_plain_is_equal(), test_bin_upma(), test_schedule_tree_group_1(), test_subtract(), and test_upma_uset().
| __isl_overload __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_preimage_domain_wrapped_domain_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
| __isl_take isl_union_pw_multi_aff * | upma2 | ||
| ) |
Definition at line 7993 of file isl_aff.c.
References bin_op, preimage_domain_wrapped_domain_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::union_pw_multi_aff::preimage_domain_wrapped_domain().
| __isl_overload __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_pullback_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
| __isl_take isl_union_pw_multi_aff * | upma2 | ||
| ) |
Definition at line 7883 of file isl_aff.c.
References bin_op, pullback_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl_union_pw_multi_aff_apply_union_pw_multi_aff(), isl::union_pw_multi_aff::pullback(), and subtree_contraction_enter().
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_range_factor_domain | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 9917 of file isl_aff.c.
References isl_union_pw_multi_aff_un_op_control::filter, isl_pw_multi_aff_range_factor_domain(), isl_pw_multi_aff_range_is_wrapping(), and isl_union_pw_multi_aff_un_op().
Referenced by isl::union_pw_multi_aff::range_factor_domain().
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_range_factor_range | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 9930 of file isl_aff.c.
References isl_union_pw_multi_aff_un_op_control::filter, isl_pw_multi_aff_range_factor_range(), isl_pw_multi_aff_range_is_wrapping(), and isl_union_pw_multi_aff_un_op().
Referenced by isl::union_pw_multi_aff::range_factor_range().
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_range_product | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
| __isl_take isl_union_pw_multi_aff * | upma2 | ||
| ) |
Definition at line 6501 of file isl_aff.c.
References bin_op, range_product_entry(), and isl_union_pw_multi_aff_bin_data::upma2.
Referenced by isl::union_pw_multi_aff::range_product().
| __isl_constructor __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_reset_user | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Referenced by isl_schedule_tree_reset_user().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_scale_down_val | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_val * | val | ||
| ) |
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_scale_multi_val | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_multi_val * | mv | ||
| ) |
Definition at line 6880 of file isl_aff.c.
References isl_union_pw_multi_aff_align_params(), isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_get_space(), and union_pw_multi_aff_scale_multi_val_entry().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_scale_val | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_val * | val | ||
| ) |
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_set_dim_name | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_sub | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
| __isl_take isl_union_pw_multi_aff * | upma2 | ||
| ) |
Referenced by isl::union_pw_multi_aff::sub().
| __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_subtract_domain | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_union_set * | uset | ||
| ) |
Referenced by test_subtract().
| __isl_overload __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_subtract_domain_space | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_space * | space | ||
| ) |
Referenced by isl::union_pw_multi_aff::subtract_domain().
| __isl_overload __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_subtract_domain_union_set | ( | __isl_take isl_union_pw_multi_aff * | upma, |
| __isl_take isl_union_set * | uset | ||
| ) |
Referenced by isl::union_pw_multi_aff::subtract_domain().
| __isl_give char * isl_union_pw_multi_aff_to_str | ( | __isl_keep isl_union_pw_multi_aff * | upma | ) |
Referenced by isl::operator<<().
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_pw_multi_aff_union_add | ( | __isl_take isl_union_pw_multi_aff * | upma1, |
| __isl_take isl_union_pw_multi_aff * | upma2 | ||
| ) |
| __isl_give isl_union_pw_multi_aff * isl_union_set_identity_union_pw_multi_aff | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2470 of file isl_union_map.c.
References identity_upma(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), isl_union_set_foreach_set(), isl_union_set_free(), isl_union_set_get_space(), and res.
Referenced by isl::union_set::identity_union_pw_multi_aff(), and isl_schedule_node_get_subtree_contraction().
1.9.6