#include <isl_map_private.h>#include <isl_aff_private.h>#include <isl_morph.h>#include <isl_seq.h>#include <isl_mat_private.h>#include <isl_space_private.h>#include <isl_equalities.h>#include <isl_id_private.h>#include <isl_vec_private.h>Go to the source code of this file.
Function Documentation
◆ check_space_match()
|
static |
Definition at line 202 of file isl_morph.c.
References __isl_keep, isl_die, isl_error_invalid, isl_space_get_ctx(), isl_stat_error, isl_stat_ok, and match().
Referenced by isl_morph_check_applies().
◆ copy_equalities()
|
static |
Definition at line 420 of file isl_morph.c.
References __isl_give, __isl_keep, isl_basic_set, isl_basic_set_alloc_equality(), isl_basic_set_alloc_space(), isl_basic_set_check_no_locals(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_get_space(), isl_dim_all, isl_seq_cpy(), n, and total().
Referenced by isl_basic_set_variable_compression().
◆ identity_on_parameters()
|
static |
Definition at line 108 of file isl_morph.c.
References __isl_keep, isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_param, isl_mat_free(), isl_mat_is_scaled_identity(), isl_mat_sub_alloc(), isl_morph_dom_dim(), isl_morph_ran_dim(), and sub().
Referenced by isl_morph_get_var_multi_aff().
◆ isl_basic_set_full_compression()
| __isl_give isl_morph * isl_basic_set_full_compression | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 766 of file isl_morph.c.
References __isl_give, __isl_keep, isl_basic_set, isl_basic_set_copy(), isl_basic_set_detect_equalities(), isl_basic_set_free(), isl_basic_set_parameter_compression(), isl_basic_set_variable_compression(), isl_dim_param, isl_dim_set, isl_morph_basic_set(), isl_morph_compose(), and isl_morph_copy().
Referenced by isl_basic_set_multiplicative_call(), lower_dim_vertices(), and unwrapped_guarded_poly_bound().
◆ isl_basic_set_parameter_compression()
| __isl_give isl_morph * isl_basic_set_parameter_compression | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 564 of file isl_morph.c.
References __isl_give, __isl_keep, B(), isl_basic_set, isl_basic_set_dim(), isl_basic_set_get_ctx(), isl_basic_set_plain_is_empty(), isl_basic_set_universe(), isl_die, isl_dim_div, isl_dim_param, isl_dim_set, isl_error_invalid, isl_mat_copy(), isl_mat_diagonal(), isl_mat_identity(), isl_mat_parameter_compression_ext(), isl_mat_right_inverse(), isl_mat_sub_alloc6(), isl_morph_alloc(), isl_morph_empty(), isl_morph_identity(), isl_seq_first_non_zero(), isl_space_copy(), and map.
Referenced by base_compute_divs(), and isl_basic_set_full_compression().
◆ isl_basic_set_variable_compression()
| __isl_give isl_morph * isl_basic_set_variable_compression | ( | __isl_keep isl_basic_set * | bset, |
| enum isl_dim_type | type ) |
Definition at line 472 of file isl_morph.c.
References __isl_give, __isl_keep, C, copy_equalities(), isl_basic_set, isl_basic_set_check_no_locals(), isl_basic_set_dim(), isl_basic_set_offset(), isl_basic_set_plain_is_empty(), isl_basic_set_universe(), isl_dim_all, isl_mat_diagonal(), isl_mat_final_variable_compression(), isl_mat_free(), isl_mat_identity(), isl_mat_sub_alloc6(), isl_morph_alloc(), isl_morph_empty(), isl_morph_identity(), isl_seq_first_non_zero(), isl_space_add_dims(), isl_space_copy(), isl_space_drop_dims(), total(), and type.
Referenced by base_compute_divs(), isl_basic_set_full_compression(), isl_basic_set_variable_compression_with_id(), and main().
◆ isl_basic_set_variable_compression_with_id()
| __isl_give isl_morph * isl_basic_set_variable_compression_with_id | ( | __isl_keep isl_basic_set * | bset, |
| __isl_keep isl_id * | id ) |
Definition at line 538 of file isl_morph.c.
References __isl_give, __isl_keep, isl_basic_set, isl_basic_set_variable_compression(), isl_dim_set, and isl_morph_set_ran_tuple_id().
Referenced by extract_node().
◆ isl_morph_alloc()
| __isl_give isl_morph * isl_morph_alloc | ( | __isl_take isl_basic_set * | dom, |
| __isl_take isl_basic_set * | ran, | ||
| __isl_take isl_mat * | map, | ||
| __isl_take isl_mat * | inv ) |
Definition at line 31 of file isl_morph.c.
References __isl_give, __isl_take, isl_morph::dom, isl_morph::inv, isl_alloc_type, isl_basic_set, isl_basic_set_free(), isl_mat_free(), isl_morph::map, map, isl_morph::ran, and isl_morph::ref.
Referenced by isl_basic_set_parameter_compression(), isl_basic_set_variable_compression(), isl_factorizer_groups(), isl_morph_compose(), isl_morph_dup(), isl_morph_empty(), and isl_morph_identity().
◆ isl_morph_basic_set()
| __isl_give isl_basic_set * isl_morph_basic_set | ( | __isl_take isl_morph * | morph, |
| __isl_take isl_basic_set * | bset ) |
Definition at line 641 of file isl_morph.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_check_equal_space(), isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_intersect(), isl_basic_set_move_dims(), isl_basic_set_preimage_multi_aff(), isl_basic_set_reset_space(), isl_dim_param, isl_dim_set, isl_mat_copy(), isl_morph_free(), isl_multi_aff_from_aff_mat_anonymous(), and ma.
Referenced by base_compute_divs(), isl_basic_set_full_compression(), isl_basic_set_multiplicative_call(), isl_factorizer_every_factor_basic_set(), isl_morph_compose(), isl_morph_vertices(), lower_dim_vertices(), main(), and unwrapped_guarded_poly_bound().
◆ isl_morph_check_applies()
| isl_stat isl_morph_check_applies | ( | __isl_keep isl_morph * | morph, |
| __isl_keep isl_space * | space ) |
Definition at line 215 of file isl_morph.c.
References __isl_keep, check_space_match(), isl_morph_peek_dom_space(), and isl_space_is_equal().
Referenced by isl_qpolynomial_fold_morph_domain(), and isl_qpolynomial_morph_domain().
◆ isl_morph_compose()
| __isl_give isl_morph * isl_morph_compose | ( | __isl_take isl_morph * | morph1, |
| __isl_take isl_morph * | morph2 ) |
Definition at line 711 of file isl_morph.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_copy(), isl_basic_set_intersect(), isl_mat_copy(), isl_mat_product(), isl_morph_alloc(), isl_morph_basic_set(), isl_morph_copy(), isl_morph_free(), isl_morph_inverse(), and map.
Referenced by isl_basic_set_full_compression().
◆ isl_morph_copy()
| __isl_give isl_morph * isl_morph_copy | ( | __isl_keep isl_morph * | morph | ) |
Definition at line 59 of file isl_morph.c.
References __isl_give, __isl_keep, and isl_morph::ref.
Referenced by base_compute_divs(), bernstein_coefficients_factors(), factored_sample(), FN(), isl_basic_set_full_compression(), isl_basic_set_multiplicative_call(), isl_factorizer_every_factor_basic_set(), isl_morph_compose(), isl_morph_vertices(), lower_dim_vertices(), morph_domain(), and unwrapped_guarded_poly_bound().
◆ isl_morph_cow()
| __isl_give isl_morph * isl_morph_cow | ( | __isl_take isl_morph * | morph | ) |
Definition at line 78 of file isl_morph.c.
References __isl_give, __isl_take, isl_morph_dup(), and isl_morph::ref.
Referenced by isl_morph_dom_params(), isl_morph_inverse(), isl_morph_ran_params(), isl_morph_remove_dom_dims(), isl_morph_remove_ran_dims(), and isl_morph_set_ran_tuple_id().
◆ isl_morph_dom_dim()
| isl_size isl_morph_dom_dim | ( | __isl_keep isl_morph * | morph, |
| enum isl_dim_type | type ) |
Definition at line 234 of file isl_morph.c.
References __isl_keep, isl_basic_set_dim(), isl_size_error, and type.
Referenced by identity_on_parameters().
◆ isl_morph_dom_params()
| __isl_give isl_morph * isl_morph_dom_params | ( | __isl_take isl_morph * | morph | ) |
Definition at line 306 of file isl_morph.c.
References __isl_give, __isl_take, isl_basic_set_dim(), isl_basic_set_params(), isl_dim_set, isl_morph_cow(), isl_morph_free(), isl_morph_remove_dom_dims(), and n.
Referenced by isl_basic_set_multiplicative_call(), isl_morph_vertices(), and unwrapped_guarded_poly_bound().
◆ isl_morph_dump()
| void isl_morph_dump | ( | __isl_take isl_morph * | morph | ) |
Definition at line 375 of file isl_morph.c.
References __isl_take, and isl_morph_print_internal().
◆ isl_morph_dup()
| __isl_give isl_morph * isl_morph_dup | ( | __isl_keep isl_morph * | morph | ) |
Definition at line 68 of file isl_morph.c.
References __isl_give, __isl_keep, isl_basic_set_copy(), isl_mat_copy(), and isl_morph_alloc().
Referenced by isl_morph_cow().
◆ isl_morph_empty()
| __isl_give isl_morph * isl_morph_empty | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 400 of file isl_morph.c.
References __isl_give, __isl_keep, id, isl_basic_set, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_empty(), isl_dim_all, isl_mat_copy(), isl_mat_identity(), isl_morph_alloc(), isl_space_copy(), and total().
Referenced by isl_basic_set_parameter_compression(), and isl_basic_set_variable_compression().
◆ isl_morph_free()
| __isl_null isl_morph * isl_morph_free | ( | __isl_take isl_morph * | morph | ) |
Definition at line 89 of file isl_morph.c.
References __isl_null, __isl_take, isl_basic_set_free(), and isl_mat_free().
Referenced by extract_node(), FN(), isl_factorizer_alloc(), isl_factorizer_free(), isl_morph_basic_set(), isl_morph_compose(), isl_morph_dom_params(), isl_morph_ran_params(), isl_morph_remove_dom_dims(), isl_morph_remove_ran_dims(), isl_morph_set(), isl_morph_set_ran_tuple_id(), isl_morph_vec(), isl_morph_vertices(), isl_qpolynomial_fold_morph_domain(), and isl_qpolynomial_morph_domain().
◆ isl_morph_get_ctx()
| isl_ctx * isl_morph_get_ctx | ( | __isl_keep isl_morph * | morph | ) |
Definition at line 24 of file isl_morph.c.
References __isl_keep, and isl_basic_set_get_ctx().
Referenced by isl_morph_get_var_multi_aff().
◆ isl_morph_get_dom_space()
| __isl_give isl_space * isl_morph_get_dom_space | ( | __isl_keep isl_morph * | morph | ) |
Definition at line 195 of file isl_morph.c.
References __isl_give, __isl_keep, isl_morph_peek_dom_space(), and isl_space_copy().
Referenced by isl_morph_get_var_multi_aff().
◆ isl_morph_get_ran_space()
| __isl_give isl_space * isl_morph_get_ran_space | ( | __isl_keep isl_morph * | morph | ) |
Definition at line 226 of file isl_morph.c.
References __isl_give, __isl_keep, and isl_space_copy().
Referenced by isl_morph_get_var_multi_aff(), isl_qpolynomial_fold_morph_domain(), and unwrapped_guarded_poly_bound().
◆ isl_morph_get_var_multi_aff()
| __isl_give isl_multi_aff * isl_morph_get_var_multi_aff | ( | __isl_keep isl_morph * | morph | ) |
Definition at line 135 of file isl_morph.c.
References __isl_give, __isl_keep, aff, identity_on_parameters(), isl_aff_alloc_vec(), isl_die, isl_dim_out, isl_dim_param, isl_error_invalid, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_mat_get_element_val(), isl_mat_get_row(), isl_morph_get_ctx(), isl_morph_get_dom_space(), isl_morph_get_ran_space(), isl_space_copy(), isl_space_map_from_domain_and_range(), isl_vec_insert_els(), isl_vec_set_element_val(), ma, and val.
Referenced by extract_node().
◆ isl_morph_identity()
| __isl_give isl_morph * isl_morph_identity | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 380 of file isl_morph.c.
References __isl_give, __isl_keep, id, isl_basic_set, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_universe(), isl_dim_all, isl_mat_copy(), isl_mat_identity(), isl_morph_alloc(), isl_space_copy(), total(), and universe().
Referenced by isl_basic_set_parameter_compression(), isl_basic_set_variable_compression(), and isl_factorizer_identity().
◆ isl_morph_inverse()
| __isl_give isl_morph * isl_morph_inverse | ( | __isl_take isl_morph * | morph | ) |
Definition at line 739 of file isl_morph.c.
References __isl_give, __isl_take, isl_basic_set, and isl_morph_cow().
Referenced by base_compute_divs(), extract_node(), factored_sample(), isl_basic_set_multiplicative_call(), isl_morph_compose(), lower_dim_vertices(), and unwrapped_guarded_poly_bound().
◆ isl_morph_peek_dom_space()
|
static |
Definition at line 184 of file isl_morph.c.
References __isl_keep, and isl_basic_set_peek_space().
Referenced by isl_morph_check_applies(), and isl_morph_get_dom_space().
◆ isl_morph_print_internal()
| void isl_morph_print_internal | ( | __isl_take isl_morph * | morph, |
| FILE * | out ) |
Definition at line 364 of file isl_morph.c.
References __isl_take, isl_basic_set_dump(), and isl_mat_print_internal().
Referenced by isl_factorizer_dump(), and isl_morph_dump().
◆ isl_morph_ran_dim()
| isl_size isl_morph_ran_dim | ( | __isl_keep isl_morph * | morph, |
| enum isl_dim_type | type ) |
Definition at line 242 of file isl_morph.c.
References __isl_keep, isl_basic_set_dim(), isl_size_error, and type.
Referenced by extract_node(), and identity_on_parameters().
◆ isl_morph_ran_params()
| __isl_give isl_morph * isl_morph_ran_params | ( | __isl_take isl_morph * | morph | ) |
Definition at line 329 of file isl_morph.c.
References __isl_give, __isl_take, isl_basic_set_dim(), isl_basic_set_params(), isl_dim_set, isl_morph_cow(), isl_morph_free(), isl_morph_remove_ran_dims(), and n.
Referenced by isl_basic_set_multiplicative_call(), isl_morph_vertices(), and unwrapped_guarded_poly_bound().
◆ isl_morph_remove_dom_dims()
| __isl_give isl_morph * isl_morph_remove_dom_dims | ( | __isl_take isl_morph * | morph, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n ) |
Definition at line 250 of file isl_morph.c.
References __isl_give, __isl_take, isl_basic_set_remove_dims(), isl_mat_drop_cols(), isl_mat_drop_rows(), isl_morph_cow(), isl_morph_free(), isl_space_offset(), n, and type.
Referenced by isl_morph_dom_params().
◆ isl_morph_remove_ran_dims()
| __isl_give isl_morph * isl_morph_remove_ran_dims | ( | __isl_take isl_morph * | morph, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n ) |
Definition at line 277 of file isl_morph.c.
References __isl_give, __isl_take, isl_basic_set_remove_dims(), isl_mat_drop_cols(), isl_mat_drop_rows(), isl_morph_cow(), isl_morph_free(), isl_space_offset(), n, and type.
Referenced by isl_morph_ran_params().
◆ isl_morph_set()
| __isl_give isl_set * isl_morph_set | ( | __isl_take isl_morph * | morph, |
| __isl_take isl_set * | set ) |
Definition at line 678 of file isl_morph.c.
References __isl_give, __isl_take, isl_basic_set, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_get_space(), isl_dim_param, isl_dim_set, isl_mat_copy(), isl_morph_free(), isl_multi_aff_from_aff_mat_anonymous(), isl_set, isl_set_basic_set_check_equal_space(), isl_set_free(), isl_set_from_basic_set(), isl_set_intersect(), isl_set_move_dims(), isl_set_preimage_multi_aff(), isl_set_reset_space(), ma, and set.
Referenced by base_compute_divs(), and FN().
◆ isl_morph_set_ran_tuple_id()
|
static |
Definition at line 352 of file isl_morph.c.
References __isl_give, __isl_keep, __isl_take, isl_basic_set_set_tuple_id(), isl_id_copy(), isl_morph_cow(), and isl_morph_free().
Referenced by isl_basic_set_variable_compression_with_id().
◆ isl_morph_vec()
| __isl_give isl_vec * isl_morph_vec | ( | __isl_take isl_morph * | morph, |
| __isl_take isl_vec * | vec ) |
Definition at line 790 of file isl_morph.c.
References __isl_give, __isl_take, isl_mat_copy(), isl_mat_vec_product(), isl_morph_free(), and isl_vec_free().
Referenced by factored_sample().
◆ isl_multi_aff_from_aff_mat_anonymous()
|
static |
Definition at line 616 of file isl_morph.c.
References __isl_give, __isl_take, isl_mat_cols(), isl_mat_get_ctx(), isl_mat_rows(), isl_multi_aff_from_aff_mat(), and isl_space_alloc().
Referenced by isl_morph_basic_set(), and isl_morph_set().
Generated on for Polly by
1.14.0