#include <isl_ctx_private.h>#include <isl/id.h>#include <isl_map_private.h>#include <isl_local_space_private.h>#include <isl_space_private.h>#include <isl_mat_private.h>#include <isl_aff_private.h>#include <isl_vec_private.h>#include <isl_point_private.h>#include <isl_seq.h>#include <isl_local.h>#include "isl_type_has_equal_space_bin_templ.c"#include "isl_type_has_space_templ.c"#include "check_type_range_templ.c"Go to the source code of this file.
Macros | |
| #define | TYPE isl_local_space |
| #define | TYPE isl_local_space |
Macro Definition Documentation
◆ TYPE [1/2]
| #define TYPE isl_local_space |
Definition at line 163 of file isl_local_space.c.
◆ TYPE [2/2]
| #define TYPE isl_local_space |
Definition at line 163 of file isl_local_space.c.
Function Documentation
◆ bmap_cmp_row()
|
static |
Definition at line 750 of file isl_local_space.c.
References __isl_keep, cmp_row(), and total().
Referenced by isl_basic_map_sort_divs().
◆ cmp_row()
|
static |
Definition at line 714 of file isl_local_space.c.
References isl_int_is_zero, isl_seq_cmp(), and isl_seq_last_non_zero().
Referenced by bmap_cmp_row(), and isl_mat_cmp_div().
◆ drop_unknown_divs_and_extract_div()
|
static |
Definition at line 351 of file isl_local_space.c.
References __isl_give, __isl_keep, aff, extract_div(), isl_dim_div, isl_local_space_copy(), isl_local_space_dim(), isl_local_space_div_is_marked_unknown(), isl_local_space_drop_dims(), isl_local_space_free(), n, and pos().
Referenced by isl_local_space_get_div().
◆ expand_row()
|
static |
Definition at line 695 of file isl_local_space.c.
References __isl_keep, isl_int_set, isl_seq_clr(), and isl_seq_cpy().
Referenced by isl_merge_divs().
◆ extract_div()
|
static |
Definition at line 334 of file isl_local_space.c.
References __isl_give, __isl_keep, aff, isl_aff_alloc(), isl_local_space_copy(), isl_seq_cpy(), and pos().
Referenced by drop_unknown_divs_and_extract_div(), and isl_local_space_get_div().
◆ is_linear_div_constraint()
|
static |
Definition at line 1356 of file isl_local_space.c.
References __isl_keep, isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_div, isl_int_abs_eq, isl_int_eq, isl_local_space_div_is_marked_unknown(), isl_local_space_offset(), isl_seq_eq(), isl_seq_first_non_zero(), isl_seq_is_neg(), and pos().
Referenced by isl_local_space_is_div_constraint(), and isl_local_space_is_div_equality().
◆ isl_basic_map_sort_divs()
| __isl_give isl_basic_map * isl_basic_map_sort_divs | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 762 of file isl_local_space.c.
References __isl_give, __isl_take, bmap_cmp_row(), isl_basic_map_dim(), isl_basic_map_free(), isl_basic_map_order_divs(), isl_basic_map_swap_div(), isl_dim_all, and total().
Referenced by compute_divs(), isl_basic_map_drop_redundant_divs(), isl_basic_map_make_strides_explicit(), isl_basic_set_sort_divs(), and isl_map_sort_divs().
◆ isl_local_space_add_dims()
| __isl_give isl_local_space * isl_local_space_add_dims | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | n ) |
Definition at line 1022 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_space_dim(), isl_local_space_free(), isl_local_space_insert_dims(), n, pos(), and type.
Referenced by isl_aff_get_local_space().
◆ isl_local_space_add_div()
| __isl_give isl_local_space * isl_local_space_add_div | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_vec * | div ) |
Definition at line 648 of file isl_local_space.c.
References __isl_give, __isl_take, isl_die, isl_error_invalid, isl_int_set_si, isl_local_space_cow(), isl_local_space_free(), isl_local_space_get_ctx(), isl_mat_add_rows(), isl_mat_add_zero_cols(), isl_seq_cpy(), and isl_vec_free().
Referenced by isl_aff_floor().
◆ isl_local_space_alloc()
| __isl_give isl_local_space * isl_local_space_alloc | ( | __isl_take isl_space * | space, |
| unsigned | n_div ) |
Definition at line 74 of file isl_local_space.c.
References __isl_give, __isl_take, isl_dim_all, isl_local_space_alloc_div(), isl_local_space_from_space(), isl_mat_alloc(), isl_space_dim(), isl_space_free(), isl_space_get_ctx(), and total().
Referenced by isl_local_space_from_space(), and isl_local_space_preimage_multi_aff().
◆ isl_local_space_alloc_div()
| __isl_give isl_local_space * isl_local_space_alloc_div | ( | __isl_take isl_space * | space, |
| __isl_take isl_mat * | div ) |
Definition at line 48 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_space::dim, isl_local_space::div, isl_calloc_type, isl_local_space_free(), isl_mat_free(), isl_space_free(), isl_space_get_ctx(), and isl_local_space::ref.
Referenced by isl_basic_map_get_local_space(), isl_local_space_alloc(), isl_local_space_dup(), isl_qpolynomial_get_domain_local_space(), isl_term_get_div(), and print_basic_set_c().
◆ isl_local_space_check_has_space()
|
static |
Definition at line 170 of file isl_local_space.c.
References __isl_keep, isl_die, isl_error_invalid, isl_local_space_get_ctx(), isl_local_space_has_space(), isl_stat_error, and isl_stat_ok.
Referenced by isl_local_space_lift_basic_set(), isl_local_space_lift_point(), and isl_local_space_lift_set().
◆ isl_local_space_cmp()
| int isl_local_space_cmp | ( | __isl_keep isl_local_space * | ls1, |
| __isl_keep isl_local_space * | ls2 ) |
Definition at line 209 of file isl_local_space.c.
References __isl_keep, cmp(), isl_local_cmp(), and isl_space_cmp().
Referenced by isl_aff_plain_cmp(), isl_constraint_cmp_last_non_zero(), and isl_constraint_plain_cmp().
◆ isl_local_space_copy()
| __isl_give isl_local_space * isl_local_space_copy | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 99 of file isl_local_space.c.
References __isl_give, __isl_keep, and isl_local_space::ref.
Referenced by add_rational(), isl::local_space::copy(), drop_unknown_divs_and_extract_div(), extract_aff_from_equality(), extract_div(), extract_rational(), isl_aff_dup(), isl_aff_get_domain_local_space(), isl_aff_get_local_space(), isl_aff_val_on_domain(), isl_basic_map_from_constraint(), isl_constraint_dup(), isl_constraint_get_aff(), isl_constraint_get_bound(), isl_constraint_get_local_space(), isl_morph_get_var_multi_aff(), isl_multi_aff_domain_map(), isl_multi_aff_from_aff_mat(), isl_multi_aff_multi_val_on_domain_space(), isl_multi_aff_project_out_map(), isl_multi_aff_range_map(), isl_sched_node_extract_partial_schedule_multi_aff(), isl_set_indicator_function(), isl::local_space::manage_copy, MULTI(), plug_in_integral_divs(), range_map(), replace_space_by_local_space(), set_from_affine_matrix(), set_minimum_pa(), set_up_substitutions(), swap_div(), test_construction_1(), and test_div().
◆ isl_local_space_cow()
| __isl_give isl_local_space * isl_local_space_cow | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 118 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_space_dup(), and isl_local_space::ref.
Referenced by isl_local_space_add_div(), isl_local_space_domain(), isl_local_space_drop_dims(), isl_local_space_flatten_domain(), isl_local_space_flatten_range(), isl_local_space_from_domain(), isl_local_space_insert_dims(), isl_local_space_intersect(), isl_local_space_lift(), isl_local_space_range(), isl_local_space_replace_divs(), isl_local_space_reset_space(), isl_local_space_restore_local(), isl_local_space_restore_space(), isl_local_space_set_dim_id(), isl_local_space_set_dim_name(), isl_local_space_set_tuple_id(), isl_local_space_substitute(), isl_local_space_substitute_equalities(), isl_local_space_substitute_seq(), isl_local_space_swap_div(), and isl_local_space_wrap().
◆ isl_local_space_dim()
| isl_size isl_local_space_dim | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type ) |
Definition at line 228 of file isl_local_space.c.
References __isl_keep, isl_dim_all, isl_dim_div, isl_size_error, isl_space_dim(), and type.
Referenced by basic_replace_space_by_local_space(), drop_unknown_divs_and_extract_div(), insert_divs_from_local_space(), isl_aff_alloc(), isl_aff_domain_dim(), isl_basic_map_constraint(), isl_basic_map_from_local_space(), isl_constraint_alloc(), isl_local_space_add_dims(), isl_local_space_domain(), isl_local_space_get_active(), isl_local_space_lift_basic_set(), isl_local_space_lift_point(), isl_local_space_lift_set(), isl_local_space_preimage_multi_aff(), isl_local_space_range(), isl_local_space_substitute(), isl_local_space_substitute_equalities(), isl_printer_print_local_space(), n(), print_constraint_c(), print_ls_affine_c(), set_from_affine_matrix(), and set_ma_divs().
◆ isl_local_space_div_is_known()
| isl_bool isl_local_space_div_is_known | ( | __isl_keep isl_local_space * | ls, |
| int | div ) |
Definition at line 954 of file isl_local_space.c.
References __isl_keep, isl_bool_error, and isl_local_div_is_known().
Referenced by harmonize_divs_with_hulls(), and isl_local_space_get_div().
◆ isl_local_space_div_is_marked_unknown()
| isl_bool isl_local_space_div_is_marked_unknown | ( | __isl_keep isl_local_space * | ls, |
| int | div ) |
Definition at line 944 of file isl_local_space.c.
References __isl_keep, isl_bool_error, and isl_local_div_is_marked_unknown().
Referenced by drop_unknown_divs_and_extract_div(), and is_linear_div_constraint().
◆ isl_local_space_divs_known()
| isl_bool isl_local_space_divs_known | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 963 of file isl_local_space.c.
References __isl_keep, isl_bool_error, and isl_local_divs_known().
Referenced by isl_aff_alloc_vec(), isl_local_space_get_div(), and isl_local_space_is_equal().
◆ isl_local_space_domain()
| __isl_give isl_local_space * isl_local_space_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 970 of file isl_local_space.c.
References __isl_give, __isl_take, isl_dim_out, isl_local_space_cow(), isl_local_space_dim(), isl_local_space_drop_dims(), isl_local_space_free(), and isl_space_domain().
Referenced by extract_aff_from_equality().
◆ isl_local_space_drop_dims()
| __isl_give isl_local_space * isl_local_space_drop_dims | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n ) |
Definition at line 1281 of file isl_local_space.c.
References __isl_give, __isl_take, isl_dim_div, isl_local_space_check_range(), isl_local_space_cow(), isl_local_space_free(), isl_local_space_is_named_or_nested(), isl_local_space_offset(), isl_mat_drop_cols(), isl_mat_drop_rows(), isl_space_drop_dims(), n, and type.
Referenced by compute_divs(), drop_unknown_divs_and_extract_div(), isl_aff_drop_dims(), isl_aff_remove_unused_divs(), isl_local_space_domain(), isl_local_space_range(), and sol_push_sol_mat().
◆ isl_local_space_dup()
| __isl_give isl_local_space * isl_local_space_dup | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 108 of file isl_local_space.c.
References __isl_give, __isl_keep, isl_local_space_alloc_div(), isl_mat_copy(), and isl_space_copy().
Referenced by isl_local_space_cow().
◆ isl_local_space_find_dim_by_name()
| int isl_local_space_find_dim_by_name | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| const char * | name ) |
Definition at line 294 of file isl_local_space.c.
References __isl_keep, isl_dim_div, isl_space_find_dim_by_name(), name, and type.
Referenced by isl_aff_find_dim_by_name().
◆ isl_local_space_flatten_domain()
| __isl_give isl_local_space * isl_local_space_flatten_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 1691 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_space_cow(), isl_local_space_free(), and isl_space_flatten_domain().
◆ isl_local_space_flatten_range()
| __isl_give isl_local_space * isl_local_space_flatten_range | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 1715 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_space_cow(), isl_local_space_free(), and isl_space_flatten_range().
◆ isl_local_space_free()
| __isl_null isl_local_space * isl_local_space_free | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 129 of file isl_local_space.c.
References __isl_null, __isl_take, isl_mat_free(), and isl_space_free().
Referenced by basic_replace_space_by_local_space(), drop_unknown_divs_and_extract_div(), extract_aff_from_equality(), extract_rational(), harmonize_divs_with_hulls(), isl_aff_alloc(), isl_aff_alloc_vec(), isl_aff_alloc_vec_validated(), isl_aff_free(), isl_aff_restore_domain_local_space(), isl_aff_val_on_domain(), isl_aff_var_on_domain(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint_no_stride(), isl_basic_map_constraint(), isl_basic_map_from_local_space(), isl_basic_map_get_div(), isl_constraint_alloc(), isl_constraint_alloc_vec(), isl_constraint_free(), isl_local_space_add_dims(), isl_local_space_add_div(), isl_local_space_alloc_div(), isl_local_space_domain(), isl_local_space_drop_dims(), isl_local_space_flatten_domain(), isl_local_space_flatten_range(), isl_local_space_from_domain(), isl_local_space_insert_dims(), isl_local_space_intersect(), isl_local_space_lift(), isl_local_space_lift_basic_set(), isl_local_space_lift_point(), isl_local_space_lift_set(), isl_local_space_lifting(), isl_local_space_move_dims(), isl_local_space_preimage_multi_aff(), isl_local_space_range(), isl_local_space_replace_divs(), isl_local_space_reset_space(), isl_local_space_restore_local(), isl_local_space_restore_space(), isl_local_space_set_dim_id(), isl_local_space_set_dim_name(), isl_local_space_set_tuple_id(), isl_local_space_substitute(), isl_local_space_substitute_equalities(), isl_local_space_substitute_seq(), isl_local_space_swap_div(), isl_local_space_wrap(), isl_morph_get_var_multi_aff(), isl_multi_aff_domain_map(), isl_multi_aff_from_aff_mat(), isl_multi_aff_multi_val_on_domain_space(), isl_multi_aff_project_out_map(), isl_multi_aff_range_map(), isl_printer_print_constraint(), isl_sched_node_extract_partial_schedule_multi_aff(), isl_val_zero_on_domain(), MULTI(), plug_in_integral_divs(), print_basic_set_c(), range_map(), replace_space_by_local_space(), set_from_affine_matrix(), set_ma_divs(), set_minimum_pa(), set_up_substitutions(), swap_div(), test_construction_1(), test_div(), and isl::local_space::~local_space().
◆ isl_local_space_from_domain()
| __isl_give isl_local_space * isl_local_space_from_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 1010 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_space_cow(), isl_local_space_free(), and isl_space_from_domain().
Referenced by isl_aff_get_local_space().
◆ isl_local_space_from_space()
| __isl_give isl_local_space * isl_local_space_from_space | ( | __isl_take isl_space * | space | ) |
Definition at line 93 of file isl_local_space.c.
References __isl_give, __isl_take, and isl_local_space_alloc().
Referenced by accept_affine(), accept_affine_factor(), BFN(), polly::ScopBuilder::buildUnsignedConditionSets(), compute_size(), constraint_order_ge(), construct_insertion_map(), construct_shifted_executed(), identity_tuple_el_on_space(), isl_aff_nan_on_domain_space(), isl_aff_param_on_domain_space_id(), isl_aff_val_on_domain_space(), isl_aff_zero_in_space(), isl_aff_zero_on_domain_space(), isl_fixed_box_invalidate(), isl_local_space_alloc(), isl_morph_get_var_multi_aff(), isl_multi_aff_domain_map(), isl_multi_aff_from_aff_mat(), isl_multi_aff_lift(), isl_multi_aff_multi_val_on_domain_space(), isl_multi_aff_project_out_map(), isl_multi_aff_range_map(), isl_pw_aff_cond(), isl_pw_aff_val_on_domain(), isl_sched_node_extract_partial_schedule_multi_aff(), isl_set_indicator_function(), list_add_one(), isl::local_space::local_space(), map_bound_pw_aff(), map_from_tuple(), MULTI(), nan_on_domain_set(), pw_aff_gte_set(), pw_multi_aff_from_map_div(), pw_multi_aff_from_map_stride(), range_map(), set_detect_stride(), set_minimum_pa(), test_aff(), test_construction_1(), test_div(), polly::SCEVAffinator::visit(), polly::SCEVAffinator::visitAddRecExpr(), and polly::SCEVAffinator::visitConstant().
◆ isl_local_space_get_active()
| int * isl_local_space_get_active | ( | __isl_keep isl_local_space * | ls, |
| isl_int * | l ) |
Definition at line 1461 of file isl_local_space.c.
References __isl_keep, isl_calloc_array, isl_dim_all, isl_dim_div, isl_int_is_zero, isl_local_space_dim(), isl_local_space_get_ctx(), isl_local_space_offset(), offset, and total().
Referenced by isl_aff_involves_dims(), and isl_constraint_involves_dims().
◆ isl_local_space_get_ctx()
| isl_ctx * isl_local_space_get_ctx | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 25 of file isl_local_space.c.
References __isl_keep.
Referenced by isl::local_space::ctx(), isl_aff_alloc(), isl_aff_alloc_vec(), isl_aff_get_ctx(), isl_constraint_alloc(), isl_constraint_get_ctx(), isl_local_space_add_div(), isl_local_space_check_has_space(), isl_local_space_get_active(), isl_local_space_get_div(), isl_local_space_intersect(), isl_local_space_lifting(), isl_local_space_move_dims(), isl_local_space_preimage_multi_aff(), isl_local_space_substitute(), isl_local_space_substitute_equalities(), isl_local_space_substitute_seq(), isl_local_space_swap_div(), isl_local_space_var_offset(), isl_val_zero_on_domain(), var(), and var_div().
◆ isl_local_space_get_dim_id()
| __isl_give isl_id * isl_local_space_get_dim_id | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos ) |
Definition at line 324 of file isl_local_space.c.
References __isl_give, __isl_keep, isl_space_get_dim_id(), pos(), and type.
Referenced by var().
◆ isl_local_space_get_dim_name()
| const char * isl_local_space_get_dim_name | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos ) |
Definition at line 312 of file isl_local_space.c.
References __isl_keep, isl_space_get_dim_name(), pos(), and type.
Referenced by isl_aff_get_dim_name(), and isl_constraint_get_dim_name().
◆ isl_local_space_get_div()
| __isl_give isl_aff * isl_local_space_get_div | ( | __isl_keep isl_local_space * | ls, |
| int | pos ) |
Definition at line 385 of file isl_local_space.c.
References __isl_give, __isl_keep, drop_unknown_divs_and_extract_div(), extract_div(), isl_die, isl_error_invalid, isl_local_space_div_is_known(), isl_local_space_divs_known(), isl_local_space_get_ctx(), isl_local_space_is_set(), and pos().
Referenced by harmonize_divs_with_hulls(), isl_aff_get_div(), isl_basic_map_get_div(), isl_constraint_get_div(), set_up_substitutions(), and var_div().
◆ isl_local_space_get_hash()
| uint32_t isl_local_space_get_hash | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 32 of file isl_local_space.c.
References __isl_keep, isl_hash_hash, isl_hash_init, isl_local_space_peek_space(), isl_mat_get_hash(), and isl_space_get_full_hash().
Referenced by isl_aff_get_hash().
◆ isl_local_space_get_local()
| __isl_keep isl_local * isl_local_space_get_local | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 491 of file isl_local_space.c.
References __isl_keep, isl_local_copy(), and isl_local_space_peek_local().
Referenced by isl_local_space_take_local().
◆ isl_local_space_get_space()
| __isl_give isl_space * isl_local_space_get_space | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 426 of file isl_local_space.c.
References __isl_give, __isl_keep, isl_local_space_peek_space(), and isl_space_copy().
Referenced by basic_replace_space_by_local_space(), isl_aff_get_space(), isl_aff_var_on_domain(), isl_basic_map_from_local_space(), isl_constraint_get_space(), isl_local_space_take_space(), isl_printer_print_constraint(), and replace_space_by_local_space().
◆ isl_local_space_has_dim_id()
| isl_bool isl_local_space_has_dim_id | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos ) |
Definition at line 318 of file isl_local_space.c.
References __isl_keep, isl_bool_error, isl_space_has_dim_id(), pos(), and type.
Referenced by var().
◆ isl_local_space_has_dim_name()
| isl_bool isl_local_space_has_dim_name | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos ) |
Definition at line 306 of file isl_local_space.c.
References __isl_keep, isl_bool_error, isl_space_has_dim_name(), pos(), and type.
◆ isl_local_space_insert_dims()
| __isl_give isl_local_space * isl_local_space_insert_dims | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n ) |
Definition at line 1313 of file isl_local_space.c.
References __isl_give, __isl_take, isl_dim_div, isl_local_space_check_range(), isl_local_space_cow(), isl_local_space_free(), isl_local_space_is_named_or_nested(), isl_local_space_offset(), isl_mat_insert_zero_cols(), isl_mat_insert_zero_rows(), isl_space_insert_dims(), n, and type.
Referenced by isl_aff_insert_dims(), and isl_local_space_add_dims().
◆ isl_local_space_intersect()
| __isl_give isl_local_space * isl_local_space_intersect | ( | __isl_take isl_local_space * | ls1, |
| __isl_take isl_local_space * | ls2 ) |
Definition at line 877 of file isl_local_space.c.
References __isl_give, __isl_take, equal, isl_alloc_array, isl_die, isl_error_invalid, isl_local_space_cow(), isl_local_space_free(), isl_local_space_get_ctx(), isl_mat_free(), isl_mat_is_equal(), isl_merge_divs(), and isl_space_is_equal().
◆ isl_local_space_is_div_constraint()
| isl_bool isl_local_space_is_div_constraint | ( | __isl_keep isl_local_space * | ls, |
| isl_int * | constraint, | ||
| unsigned | div ) |
Definition at line 1400 of file isl_local_space.c.
References __isl_keep, is_linear_div_constraint(), isl_bool_false, isl_bool_true, isl_int_add, isl_int_add_ui, isl_int_eq, isl_int_sub, isl_int_sub_ui, isl_seq_is_neg(), and neg().
Referenced by isl_constraint_is_div_constraint(), and print_constraint_c().
◆ isl_local_space_is_div_equality()
| isl_bool isl_local_space_is_div_equality | ( | __isl_keep isl_local_space * | ls, |
| isl_int * | constraint, | ||
| unsigned | div ) |
Definition at line 1444 of file isl_local_space.c.
References __isl_keep, is_linear_div_constraint(), and isl_bool_ok().
Referenced by isl_constraint_is_div_equality().
◆ isl_local_space_is_equal()
| isl_bool isl_local_space_is_equal | ( | __isl_keep isl_local_space * | ls1, |
| __isl_keep isl_local_space * | ls2 ) |
Definition at line 187 of file isl_local_space.c.
References __isl_keep, equal, isl_bool_false, isl_local_space_divs_known(), isl_local_space_has_equal_space(), and isl_mat_is_equal().
Referenced by isl_aff_align_divs(), isl_aff_plain_is_equal(), and isl_constraint_is_equal().
◆ isl_local_space_is_named_or_nested()
| isl_bool isl_local_space_is_named_or_nested | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type ) |
Definition at line 1273 of file isl_local_space.c.
References __isl_keep, isl_bool_error, isl_space_is_named_or_nested(), and type.
Referenced by isl_aff_drop_dims(), isl_aff_insert_dims(), isl_aff_move_dims(), isl_local_space_drop_dims(), isl_local_space_insert_dims(), and isl_local_space_move_dims().
◆ isl_local_space_is_params()
| isl_bool isl_local_space_is_params | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 148 of file isl_local_space.c.
References __isl_keep, isl_bool_error, and isl_space_is_params().
◆ isl_local_space_is_set()
| isl_bool isl_local_space_is_set | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 157 of file isl_local_space.c.
References __isl_keep, isl_bool_error, and isl_space_is_set().
Referenced by isl_aff_alloc_vec(), isl_local_space_get_div(), and isl_local_space_lifting().
◆ isl_local_space_lift()
| __isl_give isl_local_space * isl_local_space_lift | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 1496 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_space_cow(), isl_local_space_free(), isl_mat_drop_rows(), and isl_space_lift().
Referenced by isl_aff_lift().
◆ isl_local_space_lift_basic_set()
| __isl_give isl_basic_set * isl_local_space_lift_basic_set | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_basic_set * | bset ) |
Definition at line 1037 of file isl_local_space.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_add_dims(), isl_basic_set_flatten(), isl_basic_set_free(), isl_basic_set_from_local_space(), isl_basic_set_intersect(), isl_basic_set_lift(), isl_basic_set_peek_space(), isl_dim_div, isl_dim_set, isl_local_space_check_has_space(), isl_local_space_dim(), and isl_local_space_free().
Referenced by isl_qpolynomial_as_polynomial_on_domain().
◆ isl_local_space_lift_point()
| __isl_give isl_point * isl_local_space_lift_point | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_point * | pnt ) |
Definition at line 1756 of file isl_local_space.c.
References __isl_give, __isl_take, isl_dim_div, isl_local_extend_point_vec(), isl_local_space_check_has_space(), isl_local_space_dim(), isl_local_space_free(), isl_local_space_peek_local(), isl_point_free(), isl_point_peek_space(), isl_point_restore_space(), isl_point_restore_vec(), isl_point_take_space(), isl_point_take_vec(), and isl_space_lift().
Referenced by isl_aff_eval().
◆ isl_local_space_lift_set()
| __isl_give isl_set * isl_local_space_lift_set | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_set * | set ) |
Definition at line 1072 of file isl_local_space.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_flatten(), isl_basic_set_from_local_space(), isl_basic_set_lift(), isl_dim_div, isl_dim_set, isl_local_space_check_has_space(), isl_local_space_dim(), isl_local_space_free(), isl_set, isl_set_add_dims(), isl_set_free(), isl_set_from_basic_set(), isl_set_intersect(), isl_set_peek_space(), and set.
Referenced by isl_aff_gist(), and isl_qpolynomial_gist().
◆ isl_local_space_lifting()
| __isl_give isl_basic_map * isl_local_space_lifting | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 1514 of file isl_local_space.c.
References __isl_give, __isl_take, isl_basic_map_domain_map(), isl_basic_map_reverse(), isl_basic_set, isl_basic_set_from_local_space(), isl_basic_set_lift(), isl_basic_set_unwrap(), isl_die, isl_error_invalid, isl_local_space_free(), isl_local_space_get_ctx(), and isl_local_space_is_set().
◆ isl_local_space_move_dims()
| __isl_give isl_local_space * isl_local_space_move_dims | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n ) |
Definition at line 1631 of file isl_local_space.c.
References __isl_give, __isl_take, isl_die, isl_dim_div, isl_error_invalid, isl_error_unsupported, isl_local_move_vars(), isl_local_space_check_range(), isl_local_space_free(), isl_local_space_get_ctx(), isl_local_space_is_named_or_nested(), isl_local_space_restore_local(), isl_local_space_restore_space(), isl_local_space_take_local(), isl_local_space_take_space(), isl_local_space_var_offset(), isl_space_move_dims(), and n.
Referenced by isl_aff_move_dims().
◆ isl_local_space_offset()
| unsigned isl_local_space_offset | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type ) |
Definition at line 274 of file isl_local_space.c.
References __isl_keep, isl_dim_cst, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, isl_local_space_var_offset(), and type.
Referenced by is_linear_div_constraint(), isl_aff_add_coefficient(), isl_aff_add_coefficient_val(), isl_aff_coefficient_sgn(), isl_aff_domain_offset(), isl_aff_drop_dims(), isl_aff_get_coefficient_val(), isl_aff_insert_dims(), isl_aff_involves_dims(), isl_aff_set_coefficient(), isl_aff_set_coefficient_si(), isl_aff_set_coefficient_val(), isl_aff_substitute(), isl_aff_var_on_domain(), isl_constraint_get_coefficient(), isl_constraint_get_coefficient_val(), isl_constraint_involves_dims(), isl_constraint_is_lower_bound(), isl_constraint_is_upper_bound(), isl_constraint_set_coefficient_si(), isl_constraint_set_coefficient_val(), isl_local_space_drop_dims(), isl_local_space_get_active(), isl_local_space_insert_dims(), isl_local_space_substitute_seq(), offset(), and print_constraint_c().
◆ isl_local_space_peek_local()
| __isl_keep isl_local * isl_local_space_peek_local | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 484 of file isl_local_space.c.
References __isl_keep.
Referenced by isl_local_space_get_local(), and isl_local_space_lift_point().
◆ isl_local_space_peek_space()
| __isl_keep isl_space * isl_local_space_peek_space | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 418 of file isl_local_space.c.
References __isl_keep.
Referenced by isl_aff_peek_domain_space(), isl_constraint_peek_space(), isl_local_space_get_hash(), isl_local_space_get_space(), and isl_local_space_var_offset().
◆ isl_local_space_preimage_multi_aff()
| __isl_give isl_local_space * isl_local_space_preimage_multi_aff | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_multi_aff * | ma ) |
Definition at line 1556 of file isl_local_space.c.
References __isl_give, __isl_take, c1, c2, f, isl_aff_dim(), isl_die, isl_dim_div, isl_error_invalid, isl_int_clear, isl_int_init, isl_int_is_zero, isl_int_set_si, isl_local_space_alloc(), isl_local_space_dim(), isl_local_space_free(), isl_local_space_get_ctx(), isl_mat_add_rows(), isl_mat_add_zero_cols(), isl_mat_copy(), isl_mat_free(), isl_multi_aff_align_divs(), isl_seq_preimage(), isl_space_domain(), isl_space_is_range_internal(), ma, normalize_div(), and res.
Referenced by isl_aff_pullback_multi_aff().
◆ isl_local_space_range()
| __isl_give isl_local_space * isl_local_space_range | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 988 of file isl_local_space.c.
References __isl_give, __isl_take, isl_dim_in, isl_local_space_cow(), isl_local_space_dim(), isl_local_space_drop_dims(), isl_local_space_free(), and isl_space_range().
◆ isl_local_space_realign()
| __isl_give isl_local_space * isl_local_space_realign | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_reordering * | r ) |
Definition at line 633 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_reorder(), isl_local_space_reset_space(), isl_local_space_restore_local(), isl_local_space_take_local(), isl_reordering_copy(), isl_reordering_free(), and isl_reordering_get_space().
Referenced by isl_aff_realign_domain().
◆ isl_local_space_replace_divs()
| __isl_give isl_local_space * isl_local_space_replace_divs | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_mat * | div ) |
Definition at line 675 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_space_cow(), isl_local_space_free(), and isl_mat_free().
Referenced by isl_aff_expand_divs().
◆ isl_local_space_reset_space()
| __isl_give isl_local_space * isl_local_space_reset_space | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_space * | space ) |
Definition at line 612 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_space_cow(), isl_local_space_free(), and isl_space_free().
Referenced by isl_aff_reset_domain_space(), and isl_local_space_realign().
◆ isl_local_space_restore_local()
|
static |
Definition at line 525 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_free(), isl_local_space_cow(), and isl_local_space_free().
Referenced by isl_local_space_move_dims(), and isl_local_space_realign().
◆ isl_local_space_restore_space()
| __isl_give isl_local_space * isl_local_space_restore_space | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_space * | space ) |
Definition at line 458 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_space_cow(), isl_local_space_free(), and isl_space_free().
Referenced by isl_local_space_move_dims(), and isl_local_space_set_from_params().
◆ isl_local_space_set_dim_id()
| __isl_give isl_local_space * isl_local_space_set_dim_id | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_take isl_id * | id ) |
Definition at line 581 of file isl_local_space.c.
References __isl_give, __isl_take, isl_id_free(), isl_local_space_cow(), isl_local_space_free(), isl_space_set_dim_id(), pos(), and type.
Referenced by isl_aff_set_dim_id().
◆ isl_local_space_set_dim_name()
| __isl_give isl_local_space * isl_local_space_set_dim_name | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s ) |
Definition at line 567 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_space_cow(), isl_local_space_free(), isl_space_set_dim_name(), pos(), and type.
Referenced by isl_aff_set_dim_name().
◆ isl_local_space_set_from_params()
| __isl_give isl_local_space * isl_local_space_set_from_params | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 600 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_space_restore_space(), isl_local_space_take_space(), and isl_space_set_from_params().
Referenced by isl_aff_from_range().
◆ isl_local_space_set_tuple_id()
| __isl_give isl_local_space * isl_local_space_set_tuple_id | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| __isl_take isl_id * | id ) |
Definition at line 551 of file isl_local_space.c.
References __isl_give, __isl_take, isl_id_free(), isl_local_space_cow(), isl_local_space_free(), isl_space_set_tuple_id(), and type.
Referenced by isl_aff_set_tuple_id().
◆ isl_local_space_substitute()
| __isl_give isl_local_space * isl_local_space_substitute | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_keep isl_aff * | subs ) |
Definition at line 1248 of file isl_local_space.c.
References __isl_give, __isl_keep, __isl_take, isl_die, isl_dim_div, isl_error_invalid, isl_error_unsupported, isl_local_space_cow(), isl_local_space_dim(), isl_local_space_free(), isl_local_space_get_ctx(), isl_local_space_substitute_seq(), isl_space_is_equal(), pos(), and type.
Referenced by isl_aff_substitute().
◆ isl_local_space_substitute_equalities()
| __isl_give isl_local_space * isl_local_space_substitute_equalities | ( | __isl_take isl_local_space * | ls, |
| __isl_take isl_basic_set * | eq ) |
Definition at line 1130 of file isl_local_space.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_free(), isl_die, isl_dim_all, isl_error_invalid, isl_int_is_zero, isl_local_space_cow(), isl_local_space_dim(), isl_local_space_free(), isl_local_space_get_ctx(), isl_mat_cow(), isl_seq_elim(), isl_seq_last_non_zero(), isl_space_dim(), normalize_div(), and total().
Referenced by isl_aff_substitute_equalities_lifted().
◆ isl_local_space_substitute_seq()
| __isl_give isl_local_space * isl_local_space_substitute_seq | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| isl_int * | subs, | ||
| int | subs_len, | ||
| int | first, | ||
| int | n ) |
Definition at line 1195 of file isl_local_space.c.
References __isl_give, __isl_take, isl_die, isl_error_invalid, isl_int_clear, isl_int_init, isl_int_is_zero, isl_local_space_cow(), isl_local_space_free(), isl_local_space_get_ctx(), isl_local_space_offset(), isl_mat_cow(), isl_seq_substitute(), n, normalize_div(), pos(), and type.
Referenced by isl_local_space_substitute(), plug_in_integral_divs(), and plug_in_unit_divs().
◆ isl_local_space_swap_div()
| __isl_give isl_local_space * isl_local_space_swap_div | ( | __isl_take isl_local_space * | ls, |
| int | a, | ||
| int | b ) |
Definition at line 855 of file isl_local_space.c.
References __isl_give, __isl_take, a(), b(), isl_die, isl_error_invalid, isl_local_space_cow(), isl_local_space_free(), isl_local_space_get_ctx(), isl_mat_swap_cols(), isl_mat_swap_rows(), and offset.
Referenced by swap_div().
◆ isl_local_space_take_local()
|
static |
Definition at line 505 of file isl_local_space.c.
References __isl_give, __isl_keep, and isl_local_space_get_local().
Referenced by isl_local_space_move_dims(), and isl_local_space_realign().
◆ isl_local_space_take_space()
| __isl_give isl_space * isl_local_space_take_space | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 440 of file isl_local_space.c.
References __isl_give, __isl_keep, and isl_local_space_get_space().
Referenced by isl_local_space_move_dims(), and isl_local_space_set_from_params().
◆ isl_local_space_var_offset()
| isl_size isl_local_space_var_offset | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type ) |
Definition at line 251 of file isl_local_space.c.
References __isl_keep, isl_die, isl_dim_all, isl_dim_cst, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, isl_error_invalid, isl_local_space_get_ctx(), isl_local_space_peek_space(), isl_size_error, isl_space_dim(), isl_space_offset(), and type.
Referenced by isl_local_space_move_dims(), and isl_local_space_offset().
◆ isl_local_space_wrap()
| __isl_give isl_local_space * isl_local_space_wrap | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 1739 of file isl_local_space.c.
References __isl_give, __isl_take, isl_local_space_cow(), isl_local_space_free(), and isl_space_wrap().
Referenced by harmonize_divs_with_hulls(), and set_up_substitutions().
◆ isl_map_sort_divs()
| __isl_give isl_map * isl_map_sort_divs | ( | __isl_take isl_map * | map | ) |
Definition at line 792 of file isl_local_space.c.
References __isl_give, __isl_take, isl_basic_map_sort_divs(), isl_map_inline_foreach_basic_map(), and map.
Referenced by isl_map_coalesce().
◆ isl_mat_cmp_div()
| int isl_mat_cmp_div | ( | __isl_keep isl_mat * | div, |
| int | i, | ||
| int | j ) |
Definition at line 743 of file isl_local_space.c.
References __isl_keep, and cmp_row().
Referenced by isl_merge_divs(), and sort_divs().
◆ isl_merge_divs()
| __isl_give isl_mat * isl_merge_divs | ( | __isl_keep isl_mat * | div1, |
| __isl_keep isl_mat * | div2, | ||
| int * | exp1, | ||
| int * | exp2 ) |
Definition at line 805 of file isl_local_space.c.
References __isl_give, __isl_keep, cmp(), expand_row(), isl_mat_alloc(), isl_mat_cmp_div(), and isl_seq_cpy().
Referenced by coalesce_after_aligning_divs(), isl_aff_add(), isl_aff_align_divs(), isl_basic_set_opt(), isl_basic_set_opt_lp_val_aligned(), isl_local_space_intersect(), and with_merged_divs().
◆ normalize_div()
|
static |
Definition at line 1103 of file isl_local_space.c.
References __isl_give, __isl_take, isl_int_divexact, isl_int_fdiv_q, isl_int_gcd, isl_int_is_one, isl_seq_gcd(), isl_seq_scale_down(), isl_ctx::normalize_gcd, and total().
Referenced by isl_local_space_preimage_multi_aff(), isl_local_space_substitute_equalities(), and isl_local_space_substitute_seq().
Generated on for Polly by
1.14.0