|
Polly 20.0.0git
|
#include <isl_ctx_private.h>#include <isl_map_private.h>#include <isl_seq.h>#include <isl/set.h>#include <isl/lp.h>#include <isl/map.h>#include "isl_equalities.h"#include "isl_sample.h"#include "isl_tab.h"#include <isl_mat_private.h>#include <isl_vec_private.h>#include <bset_to_bmap.c>#include <bset_from_bmap.c>#include <set_to_map.c>#include <set_from_map.c>Go to the source code of this file.
|
static |
Definition at line 361 of file isl_affine_hull.c.
References adjacent_point(), affine_hull(), contains(), hull, isl_basic_set_contains(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_from_vec(), isl_dim_set, isl_vec_copy(), isl_vec_free(), and point.
Referenced by extend_affine_hull(), and initialize_hull().
|
static |
Definition at line 1026 of file isl_affine_hull.c.
References gcd(), isl_basic_map_alloc_div(), isl_basic_map_alloc_equality(), isl_basic_map_extend(), isl_basic_map_free(), isl_int_clear, isl_int_init, isl_int_is_divisible_by, isl_int_is_one, isl_int_set, isl_int_set_si, isl_seq_clr(), isl_seq_cpy(), isl_seq_gcd(), and M().
Referenced by isl_basic_map_make_strides_explicit().
|
static |
Definition at line 346 of file isl_affine_hull.c.
References isl_int_add_ui, isl_int_sub_ui, and pos().
Referenced by add_adjacent_points().
|
static |
Definition at line 202 of file isl_affine_hull.c.
References construct_column(), isl_assert, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_normalize_constraints(), isl_dim_set, isl_int_is_zero, set_common_multiple(), total(), transform(), and transform_column().
Referenced by add_adjacent_points(), extend_affine_hull(), isl_map_affine_hull(), isl_map_convex_hull(), isl_tab_detect_equalities(), map_simple_hull(), and modulo_affine_hull().
|
static |
Definition at line 730 of file isl_affine_hull.c.
References cone, hull, isl_basic_set_dim(), isl_basic_set_drop_constraints_involving(), isl_basic_set_drop_dims(), isl_basic_set_free(), isl_basic_set_preimage(), isl_dim_all, isl_mat_copy(), isl_mat_drop_cols(), isl_mat_drop_rows(), isl_mat_free(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_sub_alloc6(), isl_mat_vec_product(), isl_vec_copy(), isl_vec_free(), M(), isl_vec::size, total(), and uset_affine_hull_bounded().
Referenced by uset_affine_hull().
|
static |
Definition at line 117 of file isl_affine_hull.c.
References a(), b(), delete_row(), isl_basic_set_dim(), isl_dim_set, isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_is_zero, isl_seq_combine(), isl_seq_scale(), isl_stat_error, isl_stat_ok, and total().
Referenced by affine_hull().
|
static |
Definition at line 96 of file isl_affine_hull.c.
References t.
Referenced by construct_column(), and transform_column().
|
static |
Definition at line 854 of file isl_affine_hull.c.
References hull, isl_basic_map_underlying_set(), isl_basic_set_free(), isl_basic_set_preimage(), isl_basic_set_remove_equalities(), isl_mat_free(), isl_mat_vec_product(), isl_vec_copy(), isl_vec_free(), isl_vec::size, and uset_affine_hull().
Referenced by isl_basic_map_detect_equalities().
|
static |
Definition at line 421 of file isl_affine_hull.c.
References add_adjacent_points(), affine_hull(), hull, isl_basic_set_free(), isl_basic_set_from_vec(), isl_tab_add_eq(), isl_tab_add_sample(), isl_tab_extend_cons(), isl_vec_copy(), isl_vec_free(), isl_tab::n_var, outside_point(), point, isl_tab::samples, and isl_vec::size.
Referenced by isl_tab_detect_equalities(), and uset_affine_hull_bounded().
|
static |
Definition at line 575 of file isl_affine_hull.c.
References isl_tab::basis, isl_ctx::error, isl_assert, isl_basic_set_alloc(), isl_basic_set_alloc_equality(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_gauss(), isl_dim_set, isl_int_neg, isl_seq_cpy(), isl_seq_inner_product(), isl_vec_free(), isl_tab::n_unbounded, and isl_mat::row.
Referenced by isl_tab_detect_equalities().
|
static |
Definition at line 478 of file isl_affine_hull.c.
References add_adjacent_points(), hull, isl_basic_set_from_vec(), and isl_vec_copy().
Referenced by uset_affine_hull_bounded().
| __isl_give isl_basic_map * isl_basic_map_affine_hull | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 994 of file isl_affine_hull.c.
References isl_basic_map_detect_equalities(), and isl_basic_map_plain_affine_hull().
Referenced by isl::basic_map::affine_hull(), isl_basic_set_affine_hull(), and isl_map_local_affine_hull().
| __isl_give isl_basic_map * isl_basic_map_detect_equalities | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 903 of file isl_affine_hull.c.
References equalities_in_underlying_set(), hull, ISL_BASIC_MAP_ALL_EQUALITIES, isl_basic_map_alloc_equality(), isl_basic_map_copy(), ISL_BASIC_MAP_EMPTY, isl_basic_map_extend(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_implicit_equalities(), ISL_BASIC_MAP_NO_IMPLICIT, ISL_BASIC_MAP_RATIONAL, isl_basic_map_set_to_empty(), isl_basic_map_simplify(), isl_basic_set_dim(), ISL_BASIC_SET_EMPTY, isl_basic_set_free(), isl_dim_all, ISL_F_ISSET, ISL_F_SET, isl_seq_cpy(), isl_vec_copy(), isl_vec_free(), and total().
Referenced by isl::basic_map::detect_equalities(), isl_basic_map_affine_hull(), isl_basic_set_detect_equalities(), isl_map_detect_equalities(), and SF().
| __isl_give isl_basic_map * isl_basic_map_implicit_equalities | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 32 of file isl_affine_hull.c.
References isl_tab::bmap, ISL_BASIC_MAP_EMPTY, isl_basic_map_free(), isl_basic_map_gauss(), ISL_BASIC_MAP_NO_IMPLICIT, isl_basic_map_update_from_tab(), ISL_F_ISSET, ISL_F_SET, isl_tab_detect_implicit_equalities(), isl_tab_free(), isl_tab_from_basic_map(), and isl_basic_map::n_ineq.
Referenced by isl_basic_map_detect_equalities(), isl_basic_map_has_rational(), and isl_basic_set_implicit_equalities().
|
static |
Definition at line 1090 of file isl_affine_hull.c.
References A(), add_strides(), B(), isl_basic_map_divs_known(), isl_basic_map_free(), isl_basic_map_gauss(), isl_basic_map_get_ctx(), isl_basic_map_sort_divs(), isl_basic_map_var_offset(), isl_dim_div, isl_int_is_zero, isl_mat_drop_cols(), isl_mat_free(), isl_mat_insert_zero_rows(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_product(), isl_mat_right_inverse(), isl_mat_set_element_si(), isl_mat_sub_alloc6(), isl_seq_first_non_zero(), M(), and n.
Referenced by isl_map_local_affine_hull().
| __isl_give isl_basic_map * isl_basic_map_plain_affine_hull | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 971 of file isl_affine_hull.c.
References isl_basic_map_cow(), isl_basic_map_finalize(), and isl_basic_map_free_inequality().
Referenced by check_coalesce_into_eq(), coalesce_info_set_hull_hash(), coalesce_subset_with_equalities(), harmonize_divs(), isl_basic_map_affine_hull(), isl_basic_set_plain_affine_hull(), and isl_pw_multi_aff_from_map().
| __isl_give isl_basic_set * isl_basic_set_affine_hull | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 1002 of file isl_affine_hull.c.
References bset_from_bmap(), bset_to_bmap(), and isl_basic_map_affine_hull().
Referenced by isl::basic_set::affine_hull(), induced_lineality_space(), test_affine_hull_case(), and uset_gist().
| __isl_give isl_basic_set * isl_basic_set_detect_equalities | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 950 of file isl_affine_hull.c.
References bset_from_bmap(), bset_to_bmap(), and isl_basic_map_detect_equalities().
Referenced by isl::basic_set::detect_equalities(), isl_basic_set_full_compression(), main(), multiplicative_call_base(), unwrapped_guarded_poly_bound(), and uset_gist().
| __isl_give isl_basic_set * isl_basic_set_implicit_equalities | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 62 of file isl_affine_hull.c.
References bset_from_bmap(), bset_to_bmap(), and isl_basic_map_implicit_equalities().
Referenced by isl_basic_set_recession_cone().
| __isl_give isl_basic_set * isl_basic_set_plain_affine_hull | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 984 of file isl_affine_hull.c.
References isl_basic_map_plain_affine_hull().
Referenced by uset_gist().
| __isl_give isl_basic_set * isl_basic_set_recession_cone | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 317 of file isl_affine_hull.c.
References isl_basic_set_check_no_locals(), isl_basic_set_cow(), isl_basic_set_free(), isl_basic_set_implicit_equalities(), ISL_BASIC_SET_NO_IMPLICIT, isl_basic_set_plain_is_empty(), ISL_F_CLR, and isl_int_set_si.
Referenced by gbr_sample(), test_recession_cone(), and uset_affine_hull().
| __isl_give isl_basic_map * isl_map_affine_hull | ( | __isl_take isl_map * | map | ) |
Definition at line 1209 of file isl_affine_hull.c.
References affine_hull(), hull, isl_basic_map_copy(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_overlying_set(), isl_basic_map_simplify(), isl_basic_set_copy(), isl_map_align_divs_internal(), isl_map_detect_equalities(), isl_map_local_affine_hull(), isl_map_remove_empty_parts(), isl_map_remove_unknown_divs(), isl_map_underlying_set(), isl_set_cow(), isl_set_free(), isl_set_local_affine_hull(), map, replace_map_by_empty_basic_map(), and set.
Referenced by isl::map::affine_hull(), compute_weights(), isl_map_affine_hull_map(), isl_set_affine_hull(), and map_simple_hull().
| __isl_give isl_map * isl_map_detect_equalities | ( | __isl_take isl_map * | map | ) |
Definition at line 957 of file isl_affine_hull.c.
References isl_basic_map_detect_equalities(), isl_map_inline_foreach_basic_map(), and map.
Referenced by isl::map::detect_equalities(), isl_map_affine_hull(), isl_map_convex_hull(), isl_map_get_range_simple_fixed_box_hull(), isl_pw_multi_aff_from_map(), isl_set_detect_equalities(), isl_union_map_detect_equalities(), and map_simple_hull().
|
static |
Definition at line 1154 of file isl_affine_hull.c.
References isl_basic_map_affine_hull(), isl_basic_map_gauss(), isl_basic_map_make_strides_explicit(), isl_map_cow(), isl_map_free(), and map.
Referenced by isl_map_affine_hull(), and isl_set_local_affine_hull().
| __isl_give isl_basic_set * isl_set_affine_hull | ( | __isl_take isl_set * | set | ) |
Definition at line 1249 of file isl_affine_hull.c.
References bset_from_bmap(), isl_map_affine_hull(), set, and set_to_map.
Referenced by isl::set::affine_hull(), box_closure_on_domain(), convex_hull_pair(), extract_node(), FN(), initial_facet_constraint(), isl_aff_gist(), isl_map_convex_hull(), isl_qpolynomial_gist(), isl_set_combined_lineality_space(), set_detect_stride(), and test_affine_hull().
| __isl_give isl_set * isl_set_detect_equalities | ( | __isl_take isl_set * | set | ) |
Definition at line 963 of file isl_affine_hull.c.
References isl_map_detect_equalities(), set, set_from_map(), and set_to_map.
Referenced by create_node_scaled(), isl::set::detect_equalities(), explicit_bounds(), and isl_ast_build_eliminate_inner().
|
static |
Definition at line 1173 of file isl_affine_hull.c.
References isl_map_local_affine_hull(), and set.
Referenced by isl_map_affine_hull().
Definition at line 624 of file isl_affine_hull.c.
References affine_hull(), isl_tab::basis, isl_tab::bmap, isl_mat::ctx, isl_vec::el, extend_affine_hull(), hull, initial_hull(), isl_assert, isl_basic_set_free(), isl_basic_set_from_vec(), isl_mat_free(), isl_seq_cpy(), isl_seq_normalize(), isl_tab_add_eq(), isl_tab_free(), isl_tab_rollback(), isl_tab_set_initial_basis_with_cone(), isl_tab_snap(), isl_vec_alloc(), isl_vec_copy(), isl_vec_free(), isl_tab::mat, isl_mat::n_col, isl_tab::n_outside, isl_tab::n_sample, isl_tab::n_unbounded, isl_tab::n_var, isl_tab::n_zero, isl_mat::row, isl_basic_map::sample, isl_tab::samples, and isl_vec::size.
Referenced by context_gbr_detect_equalities().
|
static |
Definition at line 266 of file isl_affine_hull.c.
References isl_tab::bmap, isl_mat::ctx, isl_vec::el, isl_basic_map_contains(), isl_int_add_ui, isl_int_set_si, isl_int_sub_ui, isl_seq_combine(), isl_seq_neg(), isl_tab_add_ineq(), isl_tab_extend_cons(), isl_tab_rollback(), isl_tab_sample(), isl_tab_snap(), isl_vec_alloc(), isl_vec_free(), isl_tab::mat, isl_tab::n_var, isl_ctx::negone, isl_ctx::one, and isl_basic_map::sample.
Referenced by extend_affine_hull().
|
static |
Definition at line 1180 of file isl_affine_hull.c.
References isl_basic_map_empty(), isl_map_free(), isl_map_get_space(), and map.
Referenced by isl_map_affine_hull().
|
static |
Definition at line 74 of file isl_affine_hull.c.
References isl_int_clear, isl_int_divexact, isl_int_eq, isl_int_init, isl_int_lcm, isl_seq_scale(), and m.
Referenced by affine_hull().
|
static |
Definition at line 158 of file isl_affine_hull.c.
References a(), b(), delete_row(), isl_basic_set_dim(), isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_set, isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_ne, isl_int_sub, isl_seq_combine(), t, and total().
Referenced by affine_hull().
|
static |
Definition at line 808 of file isl_affine_hull.c.
References affine_hull_with_cone(), cone, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_plain_is_empty(), isl_basic_set_recession_cone(), isl_basic_set_universe(), isl_dim_all, total(), and uset_affine_hull_bounded().
Referenced by equalities_in_underlying_set().
|
static |
Definition at line 498 of file isl_affine_hull.c.
References isl_tab::bmap, contains(), isl_tab::empty, extend_affine_hull(), hull, initialize_hull(), isl_basic_set_contains(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_plain_is_empty(), isl_basic_set_set_to_empty(), isl_dim_set, isl_tab_free(), isl_tab_from_basic_set(), isl_tab_rollback(), isl_tab_sample(), isl_tab_snap(), isl_vec_copy(), isl_vec_free(), isl_basic_map::sample, and isl_vec::size.
Referenced by affine_hull_with_cone(), and uset_affine_hull().
1.9.6