|
Polly 20.0.0git
|
#include <stdlib.h>#include <string.h>#include <isl_space_private.h>#include <isl_id_private.h>#include <isl_reordering.h>#include "check_type_range_templ.c"Go to the source code of this file.
Macros | |
| #define | TYPE isl_space |
| #define TYPE isl_space |
Definition at line 1305 of file isl_space.c.
|
static |
Definition at line 2313 of file isl_space.c.
References id, isl_dim_param, isl_space_add_dims(), isl_space_dim(), isl_space_free(), isl_space_set_dim_id(), n, and tuple.
Referenced by isl_space_bind_domain_wrapped_domain(), isl_space_bind_map_domain(), and isl_space_bind_set().
|
static |
Definition at line 2284 of file isl_space.c.
References id, isl_die, isl_dim_param, isl_error_invalid, isl_id_free(), isl_space_find_dim_by_id(), isl_space_get_ctx(), isl_stat_error, isl_stat_ok, n, pos(), and tuple.
Referenced by isl_space_bind_domain_wrapped_domain(), isl_space_bind_map_domain(), and isl_space_bind_set().
|
static |
Definition at line 1012 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_get_ctx(), isl_stat_error, isl_stat_ok, and match().
Referenced by isl_space_check_domain_tuples(), isl_space_check_equal_tuples(), and isl_space_check_wrapped_tuple_is_equal().
|
static |
Definition at line 372 of file isl_space.c.
References get_id(), id, isl_id_copy(), n, offset, and set_id().
Referenced by isl_space_dup(), isl_space_join(), isl_space_map_from_set(), isl_space_replace_params(), and isl_space_wrap().
|
static |
Definition at line 231 of file isl_space.c.
References isl_calloc_array, isl_dim_all, isl_realloc_array, isl_space_dim(), and isl_space_free().
Referenced by isl_space_drop_dims(), and set_id().
|
static |
Definition at line 292 of file isl_space.c.
References global_pos(), pos(), and type.
Referenced by copy_ids(), get_ids(), isl_hash_params(), isl_space_cmp(), isl_space_drop_dims(), isl_space_find_dim_by_name(), isl_space_get_dim_id(), isl_space_get_dim_name(), isl_space_has_dim_id(), isl_space_has_dim_name(), isl_space_reset_dim_id(), isl_space_set_dim_id(), isl_space_underlying(), and match().
|
static |
Definition at line 1166 of file isl_space.c.
References get_id(), n, and type.
Referenced by isl_space_drop_dims(), isl_space_insert_dims(), isl_space_map_from_set(), isl_space_move_dims(), isl_space_reverse(), and space_extend().
|
static |
Definition at line 210 of file isl_space.c.
References isl_assert, isl_dim_in, isl_dim_out, isl_dim_param, isl_size_error, isl_space_check_range(), isl_space_get_ctx(), pos(), and type.
|
static |
Definition at line 2656 of file isl_space.c.
References get_id(), id, isl_dim_param, isl_hash_byte, and isl_hash_id().
Referenced by isl_space_get_full_hash().
|
static |
Definition at line 2677 of file isl_space.c.
References id, isl_dim_in, isl_dim_out, isl_hash_byte, isl_hash_id(), isl_hash_tuples(), and tuple_id().
Referenced by isl_hash_tuples(), isl_hash_tuples_domain(), isl_space_get_full_hash(), and isl_space_get_tuple_hash().
|
static |
Definition at line 2702 of file isl_space.c.
References id, isl_dim_in, isl_hash_byte, isl_hash_id(), isl_hash_tuples(), isl_id_none, and tuple_id().
Referenced by isl_space_get_tuple_domain_hash().
| __isl_give isl_space * isl_space_add_dims | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | n | ||
| ) |
Definition at line 1229 of file isl_space.c.
References isl_die, isl_dim_in, isl_dim_out, isl_dim_param, isl_error_invalid, isl_space_add_dims(), isl_space_free(), isl_space_reset(), n, space_extend(), and type.
Referenced by accept_piecewise_affine(), add_bind_params(), isl::space::add_dims(), add_non_trivial_lineality(), append_range(), bernstein_coefficients_base(), bernstein_coefficients_cell(), cluster_space(), construct_insertion_map(), construct_power(), deltas_map(), extension_from_domain(), generate_shift_component(), guarded_poly_bound(), has_sign(), increment(), isl_aff_get_space(), isl_ast_build_get_option_domain(), isl_ast_build_insert_dim(), isl_basic_set_variable_compression(), isl_factorizer_groups(), isl_map_power(), isl_multi_aff_project_out_map(), isl_multi_union_pw_aff_extract_multi_pw_aff(), isl_parameter_alignment_reordering(), isl_pw_qpolynomial_fold_bound(), isl_qpolynomial_as_polynomial_on_domain(), isl_qpolynomial_fold_get_space(), isl_qpolynomial_get_space(), isl_sched_node_extract_partial_schedule_multi_aff(), isl_schedule_band_get_ast_isolate_option(), isl_space_add_dims(), isl_space_add_param_id(), isl_space_add_unnamed_tuple_ui(), isl_space_extend_domain_with_range(), isl_space_lift(), isl_space_replace_params(), list_cmp(), loop_type_space(), MULTI(), read_tuple(), read_tuple_list(), set_minimum_pa(), subtree_schedule_extend_from_children(), and unwrapped_guarded_poly_bound().
| __isl_give isl_space * isl_space_add_named_tuple_id_ui | ( | __isl_take isl_space * | space, |
| __isl_take isl_id * | tuple_id, | ||
| unsigned | dim | ||
| ) |
Definition at line 2273 of file isl_space.c.
References isl_dim_out, isl_space_add_unnamed_tuple_ui(), isl_space_set_tuple_id(), and tuple_id().
Referenced by isl::space::add_named_tuple(), and test_union_set_contains().
| __isl_give isl_space * isl_space_add_param_id | ( | __isl_take isl_space * | space, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 1266 of file isl_space.c.
References isl_dim_param, isl_id_free(), isl_space_add_dims(), isl_space_dim(), isl_space_find_dim_by_id(), isl_space_free(), isl_space_set_dim_id(), and pos().
Referenced by isl::space::add_param(), isl_aff_bind_id(), isl_pw_aff_param_on_domain_id(), and isl_union_pw_aff_param_on_domain_id().
| __isl_give isl_space * isl_space_add_unnamed_tuple_ui | ( | __isl_take isl_space * | space, |
| unsigned | dim | ||
| ) |
Definition at line 2248 of file isl_space.c.
References isl_die, isl_dim_out, isl_error_invalid, isl_space_add_dims(), isl_space_free(), isl_space_from_domain(), isl_space_get_ctx(), isl_space_is_params(), isl_space_is_set(), and isl_space_set_from_params().
Referenced by isl::space::add_unnamed_tuple(), and isl_space_add_named_tuple_id_ui().
| __isl_give isl_space * isl_space_align_params | ( | __isl_take isl_space * | space1, |
| __isl_take isl_space * | space2 | ||
| ) |
Definition at line 3262 of file isl_space.c.
References isl_parameter_alignment_reordering(), isl_reordering_free(), isl_reordering_get_space(), isl_space_check_named_params(), and isl_space_free().
Referenced by isl::space::align_params(), generate_code(), isl_ast_build_get_separation_class(), isl_compute_flow_schedule_data_align_params(), isl_multi_aff_multi_val_on_domain_space(), isl_schedule_constraints_align_params(), isl_space_extend_domain_with_range(), isl_stream_read_multi_aff(), isl_union_access_info_align_params(), isl_union_map_contains(), isl_union_pw_aff_pw_aff_on_domain(), MULTI(), and space_align_and_join().
| __isl_give isl_space * isl_space_alloc | ( | isl_ctx * | ctx, |
| unsigned | nparam, | ||
| unsigned | n_in, | ||
| unsigned | n_out | ||
| ) |
Definition at line 28 of file isl_space.c.
References isl_space::ctx, isl_space::ids, isl_alloc_type, isl_ctx_ref(), isl_space::n_id, isl_space::n_in, isl_space::n_out, isl_space::nested, isl_space::nparam, isl_space::ref, and isl_space::tuple_id.
Referenced by isl_ast_build_get_separation_class(), isl_basic_map_alloc(), isl_multi_aff_from_aff_mat_anonymous(), isl_space_dup(), isl_space_join(), isl_space_params_alloc(), isl_space_set_alloc(), read_tuple_var_def(), isl::space::space(), and test_dep().
| __isl_give isl_space * isl_space_bind_domain_wrapped_domain | ( | __isl_take isl_space * | space, |
| __isl_keep isl_multi_id * | tuple | ||
| ) |
Definition at line 2388 of file isl_space.c.
References add_bind_params(), check_fresh_params(), isl_space_check_domain_wrapped_domain_tuples(), isl_space_check_is_map(), isl_space_domain_factor_range(), isl_space_free(), and tuple.
Referenced by FN().
| __isl_give isl_space * isl_space_bind_map_domain | ( | __isl_take isl_space * | space, |
| __isl_keep isl_multi_id * | tuple | ||
| ) |
Definition at line 2364 of file isl_space.c.
References add_bind_params(), check_fresh_params(), isl_space_check_domain_tuples(), isl_space_check_is_map(), isl_space_free(), isl_space_range(), and tuple.
Referenced by FN(), and isl_map_bind_domain().
| __isl_give isl_space * isl_space_bind_set | ( | __isl_take isl_space * | space, |
| __isl_keep isl_multi_id * | tuple | ||
| ) |
Definition at line 2341 of file isl_space.c.
References add_bind_params(), check_fresh_params(), isl_space_check_equal_tuples(), isl_space_check_is_set(), isl_space_free(), isl_space_params(), and tuple.
Referenced by isl_set_bind().
| isl_bool isl_space_can_curry | ( | __isl_keep isl_space * | space | ) |
Definition at line 3120 of file isl_space.c.
References isl_space_domain_is_wrapping().
Referenced by isl_basic_map_can_curry(), isl_map_can_curry(), isl_space_can_range_curry(), and isl_space_curry().
| isl_bool isl_space_can_range_curry | ( | __isl_keep isl_space * | space | ) |
Definition at line 3157 of file isl_space.c.
References isl_bool_error, isl_space_can_curry(), and isl_space_range_is_wrapping().
Referenced by isl_map_can_range_curry(), and isl_space_range_curry().
| isl_bool isl_space_can_uncurry | ( | __isl_keep isl_space * | space | ) |
Definition at line 3194 of file isl_space.c.
References isl_space_range_is_wrapping().
Referenced by isl_basic_map_can_uncurry(), isl_map_can_uncurry(), and isl_space_uncurry().
| isl_bool isl_space_can_zip | ( | __isl_keep isl_space * | space | ) |
Definition at line 3077 of file isl_space.c.
References isl_bool_error, isl_bool_false, isl_space_is_product(), and isl_space_is_set().
Referenced by isl_basic_map_can_zip(), isl_map_can_zip(), and isl_space_zip().
| isl_stat isl_space_check_domain_is_wrapping | ( | __isl_keep isl_space * | space | ) |
Definition at line 127 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_domain_is_wrapping(), isl_space_get_ctx(), isl_stat_error, and isl_stat_ok.
Referenced by isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(), isl_space_domain_factor_domain(), and isl_space_domain_factor_range().
| isl_stat isl_space_check_domain_tuples | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 2567 of file isl_space.c.
References check_match(), is_equal(), and isl_space_has_domain_tuples().
Referenced by FN(), isl_space_bind_map_domain(), isl_space_check_domain_wrapped_domain_tuples(), and map_equate_params().
| isl_stat isl_space_check_domain_wrapped_domain_tuples | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 2581 of file isl_space.c.
References domain, isl_space_check_domain_tuples(), isl_space_copy(), isl_space_domain(), isl_space_free(), and isl_space_unwrap().
Referenced by FN(), and isl_space_bind_domain_wrapped_domain().
| isl_stat isl_space_check_equal_params | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 1490 of file isl_space.c.
References equal, isl_die, isl_error_invalid, isl_space_get_ctx(), isl_space_has_equal_params(), isl_stat_error, and isl_stat_ok.
Referenced by isl_space_domain_product(), isl_space_join(), isl_space_product(), isl_space_range_product(), and isl_union_pw_qpolynomial_fold_fold_pw_qpolynomial_fold().
| isl_stat isl_space_check_equal_tuples | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 1026 of file isl_space.c.
References check_match(), is_equal(), and isl_space_has_equal_tuples().
Referenced by equate_params(), FN(), and isl_space_bind_set().
|
static |
Definition at line 111 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_get_ctx(), isl_space_is_map(), isl_stat_error, and isl_stat_ok.
Referenced by isl_space_bind_domain_wrapped_domain(), isl_space_bind_map_domain(), isl_space_get_domain_tuple_id(), isl_space_get_range_tuple_id(), isl_space_has_domain_tuple_id(), isl_space_has_range_tuple_id(), isl_space_set_domain_tuple_id(), and isl_space_set_range_tuple_id().
| isl_stat isl_space_check_is_set | ( | __isl_keep isl_space * | space | ) |
Definition at line 83 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_get_ctx(), isl_space_is_set(), isl_stat_error, and isl_stat_ok.
Referenced by FN(), isl_basic_set_from_constraint(), isl_constraint_get_bound(), isl_qpolynomial_var_on_domain(), isl_set_alloc_space(), isl_set_insert_domain(), and isl_space_bind_set().
| isl_stat isl_space_check_named_params | ( | __isl_keep isl_space * | space | ) |
Definition at line 3246 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_get_ctx(), isl_space_has_named_params(), isl_stat_error, and isl_stat_ok.
Referenced by FN(), and isl_space_align_params().
| isl_stat isl_space_check_range_is_wrapping | ( | __isl_keep isl_space * | space | ) |
Definition at line 143 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_get_ctx(), isl_space_range_is_wrapping(), isl_stat_error, and isl_stat_ok.
Referenced by isl_basic_map_range_reverse(), isl_space_range_factor_domain(), isl_space_range_factor_range(), and isl_space_range_reverse().
| isl_stat isl_space_check_wrapped_tuple_is_equal | ( | __isl_keep isl_space * | space1, |
| enum isl_dim_type | outer, | ||
| enum isl_dim_type | inner, | ||
| __isl_keep isl_space * | space2, | ||
| enum isl_dim_type | type2 | ||
| ) |
Definition at line 1101 of file isl_space.c.
References check_match(), is_equal(), and isl_space_wrapped_tuple_is_equal().
Referenced by isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff().
| int isl_space_cmp | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 3364 of file isl_space.c.
References cmp(), get_id(), isl_dim_in, isl_dim_out, isl_dim_param, isl_id_cmp(), isl_space_cmp_type(), and n.
Referenced by FN(), isl_basic_map_plain_cmp(), isl_local_space_cmp(), isl_pw_aff_plain_cmp(), isl_qpolynomial_plain_cmp(), and isl_space_cmp_type().
|
static |
Definition at line 3331 of file isl_space.c.
References cmp(), isl_id_cmp(), isl_space_cmp(), isl_space_dim(), nested(), tuple_id(), and type.
Referenced by isl_space_cmp().
| __isl_give isl_space * isl_space_copy | ( | __isl_keep isl_space * | space | ) |
Definition at line 436 of file isl_space.c.
References isl_space::ref.
Referenced by accept_affine(), accept_affine_factor(), accept_affine_list(), accept_div(), accept_minmax(), accept_piecewise_affine(), add_non_trivial_lineality(), align_params(), basic_map_from_equalities(), bernstein_coefficients_base(), bernstein_coefficients_cell(), bin_op(), cluster_space(), collect_validity(), collectInfo(), compressed_multiplicative_call(), compute_incremental(), construct_component(), construct_extended_path(), construct_power(), construct_power_components(), construct_shifted_executed(), convex_hull_0d(), isl::space::copy(), copy_nodes(), equator(), extract_hull(), FN(), foreach_point(), fuse(), gen_bin_op(), gen_bin_set_op(), generate_code(), generate_shift_component(), get_size_bounds(), group_context(), guarded_poly_bound(), incremental_closure(), incremental_on_entire_domain(), internal_executed(), isl_aff_bind_id(), isl_aff_get_domain_space(), isl_ast_build_align_params(), isl_ast_build_get_separation_class(), isl_ast_build_init(), isl_ast_build_init_derived(), isl_ast_build_insert_dim(), isl_ast_build_product(), isl_ast_graft_alloc(), isl_basic_map_dup(), isl_basic_map_floordiv(), isl_basic_map_from_constraint_matrices(), isl_basic_map_get_local_space(), isl_basic_map_get_space(), isl_basic_map_product(), isl_basic_map_range_product(), isl_basic_map_reverse(), isl_basic_map_sum(), isl_basic_map_union(), isl_basic_set_box_from_points(), isl_basic_set_from_point(), isl_basic_set_parameter_compression(), isl_basic_set_variable_compression(), isl_compute_flow_schedule_data_align_params(), isl_factorizer_groups(), isl_fixed_box_init(), isl_local_space_dup(), isl_local_space_get_space(), isl_map_apply_range(), isl_map_dup(), isl_map_from_basic_map(), isl_map_get_space(), isl_map_reset_space(), isl_map_sum(), isl_map_underlying_set(), isl_map_universe(), isl_morph_empty(), isl_morph_get_dom_space(), isl_morph_get_ran_space(), isl_morph_get_var_multi_aff(), isl_morph_identity(), isl_multi_aff_domain_map(), isl_multi_aff_from_aff_mat(), isl_multi_aff_lex_gte_set(), isl_multi_aff_multi_val_on_domain_space(), isl_multi_aff_project_out_map(), isl_multi_aff_range_map(), isl_multi_pw_aff_lex_map_on_space(), isl_multi_union_pw_aff_extract_multi_pw_aff(), isl_parameter_alignment_reordering(), isl_point_dup(), isl_point_get_space(), isl_pw_aff_order_map(), isl_pw_aff_param_on_domain_id(), isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(), isl_pw_multi_aff_product(), isl_pw_multi_aff_substitute(), isl_pw_qpolynomial_fold_bound(), isl_pw_qpolynomial_fold_fold(), isl_pw_qpolynomial_fold_from_pw_qpolynomial(), isl_pw_qpolynomial_mul(), isl_qpolynomial_as_polynomial_on_domain(), isl_qpolynomial_coeff(), isl_qpolynomial_dup(), isl_qpolynomial_fold_get_domain_space(), isl_qpolynomial_fold_get_space(), isl_qpolynomial_fold_mul_isl_int(), isl_qpolynomial_foreach_term(), isl_qpolynomial_from_term(), isl_qpolynomial_get_domain_space(), isl_qpolynomial_get_space(), isl_qpolynomial_morph_domain(), isl_qpolynomial_mul_isl_int(), isl_qpolynomial_sign(), isl_reordering_get_space(), isl_reordering_unbind_params_insert_domain(), isl_sched_graph_domain(), isl_sched_node_extract_partial_schedule_multi_aff(), isl_schedule_band_align_params(), isl_schedule_constraints_align_params(), isl_schedule_constraints_init(), isl_schedule_node_group(), isl_schedule_tree_align_params(), isl_set_flatten_map(), isl_set_get_space(), isl_set_universe(), isl_space_check_domain_wrapped_domain_tuples(), isl_space_coefficients(), isl_space_curry(), isl_space_domain_factor_domain(), isl_space_domain_factor_range(), isl_space_domain_map(), isl_space_domain_product(), isl_space_dup(), isl_space_extend_domain_with_range(), isl_space_get_nested(), isl_space_join(), isl_space_map_from_set(), isl_space_product(), isl_space_range_map(), isl_space_range_product(), isl_space_uncurry(), isl_space_unwrap(), isl_space_zip(), isl_term_dup(), isl_term_get_div(), isl_union_access_info_align_params(), isl_union_access_info_init(), isl_union_map_contains(), isl_union_map_dup(), isl_union_map_get_space(), isl_union_map_reset_equal_dim_space(), isl_union_pw_aff_pw_aff_on_domain(), isl_union_pw_aff_reset_domain_space(), isolate_final(), lift(), list_cmp(), lp_add_inter(), map_from_tuple(), map_intersect_internal(), map_lex_gte_first(), map_lex_lte_first(), map_product(), map_union_disjoint(), match_bin_op(), monotonicity(), MULTI(), nan_on_domain(), path_along_delta(), path_along_steps(), print_basic_set_c(), print_multi_pw_aff_isl(), propagate_on_bound_pair(), proto_hull(), pw_multi_aff_from_map_div(), range_factor_domain(), range_factor_range(), range_map(), read_multi_union_pw_aff_body(), read_space_tuples(), read_tuple_space(), read_union_pw_aff_el(), reset_domain_space(), reset_range_space(), separates(), set_div_slice(), set_enforced_from_set(), set_minimum(), set_minimum_pa(), sol_map_init(), sol_pma_init(), sol_push_sol_mat(), space_align_and_join(), subtree_schedule_extend_from_children(), test_construction_1(), test_dep(), test_div(), test_parse_mpa(), union_set_drop_extra_params(), unwrapped_guarded_poly_bound(), uset_convex_hull_wrap_bounded(), uset_simple_hull(), and polly::SCEVAffinator::visit().
| __isl_give isl_space * isl_space_copy_ids_if_unset | ( | __isl_take isl_space * | dst, |
| enum isl_dim_type | dst_type, | ||
| __isl_keep isl_space * | src, | ||
| enum isl_dim_type | src_type | ||
| ) |
Definition at line 3017 of file isl_space.c.
References id, isl_space_dim(), isl_space_free(), isl_space_get_dim_id(), isl_space_has_dim_id(), isl_space_set_dim_id(), n, and set.
Referenced by isl_map_intersect_domain().
| __isl_give isl_space * isl_space_cow | ( | __isl_take isl_space * | space | ) |
Definition at line 425 of file isl_space.c.
References isl_space_dup(), and isl_space::ref.
Referenced by basic_set_parameter_preimage(), isl_basic_set_preimage(), isl_map_underlying_set(), isl_set_preimage(), isl_space_drop_dims(), isl_space_insert_dims(), isl_space_map_from_set(), isl_space_move_dims(), isl_space_replace_params(), isl_space_reset(), isl_space_reset_dim_id(), isl_space_reset_tuple_id(), isl_space_reset_user(), isl_space_restore_nested(), isl_space_reverse(), isl_space_set_dim_id(), isl_space_set_tuple_id(), isl_space_underlying(), mark_as_set(), set_id(), and space_extend().
| __isl_give isl_space * isl_space_curry | ( | __isl_take isl_space * | space | ) |
Definition at line 3128 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_can_curry(), isl_space_copy(), isl_space_domain(), isl_space_free(), isl_space_from_domain(), isl_space_from_range(), isl_space_join(), isl_space_range(), isl_space_unwrap(), and isl_space_wrap().
Referenced by isl::space::curry(), isl_basic_map_curry(), isl_map_curry(), and isl_space_range_curry().
| isl_size isl_space_dim | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 340 of file isl_space.c.
References isl_size_error, n, and type.
Referenced by add_bind_params(), add_inter_proximity_constraints(), add_intra_proximity_constraints(), basic_map_from_equalities(), basic_map_init(), box_closure_on_domain(), build_ast_from_guard(), check_map_space_equal_total_dim(), check_union_map_space_equal_dim(), coef_var_offset(), construct_projected_component(), count_same_name(), isl::space::dim(), equate_parameter_to_length(), equator(), extend_ids(), FN(), group_context(), guarded_poly_bound(), importSchedule(), isl_ast_build_init_derived(), isl_ast_build_product(), isl_basic_map_dim(), isl_basic_map_from_constraint_matrices(), isl_basic_map_identity(), isl_basic_map_insert_dims(), isl_basic_map_intersect(), isl_basic_map_move_dims(), isl_basic_map_nat_universe(), isl_basic_map_plain_is_disjoint(), isl_basic_map_total_dim(), isl_basic_map_var_offset(), isl_basic_map_zip(), isl_basic_set_positive_orthant(), isl_dim_map_dim(), isl_dim_map_from_reordering(), isl_local_space_alloc(), isl_local_space_dim(), isl_local_space_substitute_equalities(), isl_local_space_var_offset(), isl_map_dim(), isl_map_domain_factor_domain(), isl_map_domain_factor_range(), isl_map_factor_domain(), isl_map_factor_range(), isl_map_range_factor_domain(), isl_map_range_factor_range(), isl_multi_aff_domain_map(), isl_multi_aff_from_aff_mat(), isl_multi_aff_project_out_map(), isl_multi_aff_range_map(), isl_multi_union_pw_aff_from_union_pw_multi_aff(), isl_multi_union_pw_aff_zero(), isl_parameter_alignment_reordering(), isl_point_alloc(), isl_point_dim(), isl_point_zero(), isl_pw_qpolynomial_fold_bound(), isl_qpolynomial_alloc(), isl_qpolynomial_degree(), isl_qpolynomial_domain_dim(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_from_affine(), isl_qpolynomial_homogenize(), isl_qpolynomial_involves_dims(), isl_qpolynomial_lift(), isl_qpolynomial_sign(), isl_reordering_extend_space(), isl_reordering_set_dst_len_from_space(), isl_reordering_unbind_params_insert_domain(), isl_set_insert_domain(), isl_space_add_param_id(), isl_space_cmp_type(), isl_space_coefficients(), isl_space_copy_ids_if_unset(), isl_space_drop_all_params(), isl_space_extend_domain_with_range(), isl_space_find_dim_by_id(), isl_space_find_dim_by_name(), isl_space_may_be_set(), isl_space_params(), isl_space_prefix(), isl_space_replace_params(), isl_space_solutions(), isl_space_unprefix(), isl_space_wrapped_dim(), isl_term_alloc(), isl_term_dim(), isl_term_offset(), isl_union_map_dim(), map_from_multi_pw_aff(), move_last(), MULTI(), neg_halfspace(), nonneg_halfspace(), path_along_steps(), pos2type(), print_affine(), print_base(), print_nested_tuple(), print_nested_var_list(), print_omega_parameters(), print_param_tuple(), pw_multi_aff_from_map_div(), read_tuple(), sched_info_alloc(), set_active(), set_div_slice(), set_path_length(), setup_lp(), and space_set_last_dim_name().
| __isl_give isl_space * isl_space_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 2138 of file isl_space.c.
References isl_dim_out, isl_space_drop_dims(), isl_space_reverse(), and mark_as_set().
Referenced by all_intermediate_sources(), collect_edge_constraints(), isl::space::domain(), find_domain_node(), FN(), generate_shift_component(), isl_aff_zero_in_space(), isl_ast_build_scale_down(), isl_basic_map_deltas(), isl_basic_map_deltas_map(), isl_basic_map_domain(), isl_basic_map_domain_map(), isl_basic_map_from_multi_aff2(), isl_fixed_box_invalidate(), isl_local_space_domain(), isl_local_space_preimage_multi_aff(), isl_map_deltas(), isl_map_domain(), isl_multi_aff_domain(), 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_multi_pw_aff_apply_aff_aligned(), isl_multi_pw_aff_order_map(), isl_pw_aff_order_map(), isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(), isl_pw_qpolynomial_fold_bound(), isl_qpolynomial_fold_zero_in_space(), isl_qpolynomial_from_affine(), isl_qpolynomial_zero_in_space(), isl_space_check_domain_wrapped_domain_tuples(), isl_space_curry(), isl_space_domain_map(), isl_space_domain_product(), isl_space_domain_wrapped_domain(), isl_space_domain_wrapped_range(), isl_space_product(), isl_space_range_product(), isl_space_set(), isl_space_uncurry(), isl_space_zip(), isl_union_map_subtract_domain(), lp_add_inter(), MULTI(), order_at(), print_multi_pw_aff_isl(), pw_multi_aff_from_map_div(), reset_range_space(), sched_info_alloc(), test_domain_hash(), test_special_conditional_schedule_constraints_2(), test_strongly_satisfying_schedule(), union_map_gist_domain(), and union_map_intersect_domain().
| __isl_give isl_space * isl_space_domain_factor_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 1642 of file isl_space.c.
References domain, isl_dim_in, isl_id_copy(), isl_space_check_domain_is_wrapping(), isl_space_copy(), isl_space_drop_dims(), isl_space_free(), isl_space::n_in, isl_space::n_out, nested(), isl_space::nested, and isl_space::tuple_id.
Referenced by isl_map_domain_factor_domain(), isl_map_intersect_domain_factor_range(), isl_space_factor_domain(), and isl_union_map_intersect_domain_factor_domain().
| __isl_give isl_space * isl_space_domain_factor_range | ( | __isl_take isl_space * | space | ) |
Definition at line 1678 of file isl_space.c.
References isl_dim_in, isl_id_copy(), isl_space_check_domain_is_wrapping(), isl_space_copy(), isl_space_drop_dims(), isl_space_free(), isl_space::n_in, nested(), isl_space::nested, range, and isl_space::tuple_id.
Referenced by isl_map_domain_factor_range(), isl_map_intersect_domain_factor_domain(), isl_space_bind_domain_wrapped_domain(), isl_space_factor_range(), and isl_union_map_intersect_domain_factor_range().
| isl_bool isl_space_domain_is_wrapping | ( | __isl_keep isl_space * | space | ) |
Definition at line 2788 of file isl_space.c.
References isl_bool_error, isl_bool_false, isl_bool_ok(), and isl_space_is_set().
Referenced by FN(), isl_map_domain_factor_domain(), isl_map_domain_factor_range(), isl_map_domain_is_wrapping(), isl_map_factor_domain(), isl_map_factor_range(), isl_pw_aff_domain_is_product(), isl_space_can_curry(), isl_space_check_domain_is_wrapping(), isl_space_is_product(), and preimage_domain_wrapped_domain_entry().
| __isl_give isl_space * isl_space_domain_map | ( | __isl_take isl_space * | space | ) |
Definition at line 2187 of file isl_space.c.
References domain, isl_space_copy(), isl_space_domain(), isl_space_from_domain(), isl_space_from_range(), isl_space_join(), and isl_space_wrap().
Referenced by isl_map_domain_map(), and isl_multi_aff_domain_map().
| __isl_give isl_space * isl_space_domain_product | ( | __isl_take isl_space * | left, |
| __isl_take isl_space * | right | ||
| ) |
Definition at line 1590 of file isl_space.c.
References isl_die, isl_dim_out, isl_error_invalid, isl_space_check_equal_params(), isl_space_copy(), isl_space_domain(), isl_space_free(), isl_space_join(), isl_space_range(), isl_space_reverse(), isl_space_tuple_is_equal(), and isl_space_wrap().
Referenced by isl_basic_map_domain_product(), and isl_map_domain_product().
| __isl_give isl_space * isl_space_domain_wrapped_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 1864 of file isl_space.c.
References isl_space_domain(), and isl_space_factor_domain().
Referenced by isl_union_map_intersect_domain_wrapped_domain_union_set().
| __isl_give isl_space * isl_space_domain_wrapped_range | ( | __isl_take isl_space * | space | ) |
Definition at line 1872 of file isl_space.c.
References isl_space_domain(), and isl_space_factor_range().
Referenced by isl_map_intersect_domain_wrapped_domain().
| __isl_give isl_space * isl_space_drop_all_params | ( | __isl_take isl_space * | space | ) |
Definition at line 2128 of file isl_space.c.
References isl_dim_param, isl_space_dim(), isl_space_drop_dims(), and isl_space_free().
Referenced by FN(), get_size_bounds(), isl_fixed_box_init(), isl_multi_aff_get_constant_multi_val(), isl_set_get_plain_multi_val_if_fixed(), and isl_union_map_contains().
| __isl_give isl_space * isl_space_drop_dims | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | num | ||
| ) |
Definition at line 2047 of file isl_space.c.
References extend_ids(), get_id(), get_ids(), isl_die, isl_dim_in, isl_dim_out, isl_dim_param, isl_error_invalid, isl_id_free(), isl_space_check_range(), isl_space_cow(), isl_space_drop_dims(), isl_space_free(), isl_space_reset(), n, offset, set_id(), type, and valid_dim_type().
Referenced by isl::space::drop_dims(), FN(), isl_ast_build_get_space(), isl_basic_map_drop_core(), isl_basic_map_project_out(), isl_basic_set_variable_compression(), isl_factorizer_groups(), isl_local_space_drop_dims(), isl_map_drop(), isl_map_project_out(), isl_pw_multi_aff_get_at(), isl_qpolynomial_drop_dims(), isl_qpolynomial_fold_drop_dims(), isl_space_coefficients(), isl_space_domain(), isl_space_domain_factor_domain(), isl_space_domain_factor_range(), isl_space_drop_all_params(), isl_space_drop_dims(), isl_space_drop_inputs(), isl_space_drop_outputs(), isl_space_extend_domain_with_range(), isl_space_lift(), isl_space_params(), isl_space_range(), isl_space_replace_params(), isl_space_solutions(), isl_space_unbind_params_insert_domain(), isl_union_map_project_out(), range_factor_domain(), range_factor_range(), split_domain(), split_domain_pma(), and tag().
| __isl_give isl_space * isl_space_drop_inputs | ( | __isl_take isl_space * | space, |
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 2110 of file isl_space.c.
References isl_dim_in, isl_space_drop_dims(), and n.
| __isl_give isl_space * isl_space_drop_outputs | ( | __isl_take isl_space * | space, |
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 2118 of file isl_space.c.
References isl_dim_out, isl_space_drop_dims(), and n.
| __isl_give isl_space * isl_space_dup | ( | __isl_keep isl_space * | space | ) |
Definition at line 393 of file isl_space.c.
References copy_ids(), dup(), isl_dim_in, isl_dim_out, isl_dim_param, isl_id_copy(), isl_space_alloc(), isl_space_copy(), and isl_space_free().
Referenced by isl_space_cow(), and isl_space_lift().
| __isl_give isl_space * isl_space_extend | ( | __isl_take isl_space * | space, |
| unsigned | nparam, | ||
| unsigned | n_in, | ||
| unsigned | n_out | ||
| ) |
Definition at line 1223 of file isl_space.c.
References space_extend().
| __isl_give isl_space * isl_space_extend_domain_with_range | ( | __isl_take isl_space * | space, |
| __isl_take isl_space * | model | ||
| ) |
Definition at line 3286 of file isl_space.c.
References isl_dim_out, isl_dim_param, isl_space_add_dims(), isl_space_align_params(), isl_space_copy(), isl_space_dim(), isl_space_drop_dims(), isl_space_free(), isl_space_from_domain(), isl_space_get_tuple_id(), isl_space_has_tuple_id(), isl_space_set_tuple_id(), and nested().
Referenced by FN(), isl_multi_aff_lift(), and reset_range_space().
| __isl_give isl_space * isl_space_factor_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 1776 of file isl_space.c.
References isl_space_domain_factor_domain(), isl_space_is_set(), isl_space_range_factor_domain(), and set_factor_domain().
Referenced by FN(), isl_map_factor_domain(), isl_set_intersect_factor_range(), isl_space_domain_wrapped_domain(), and isl_space_range_wrapped_domain().
| __isl_give isl_space * isl_space_factor_range | ( | __isl_take isl_space * | space | ) |
Definition at line 1851 of file isl_space.c.
References isl_space_domain_factor_range(), isl_space_is_set(), isl_space_range_factor_range(), and set_factor_range().
Referenced by FN(), isl_map_factor_range(), isl_set_intersect_factor_domain(), isl_space_domain_wrapped_range(), and isl_space_range_wrapped_range().
| int isl_space_find_dim_by_id | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type, | ||
| __isl_keep isl_id * | id | ||
| ) |
Definition at line 870 of file isl_space.c.
References isl_space_dim(), isl_space_offset(), n, offset, and type.
Referenced by check_fresh_params(), isl::space::find_dim_by_id(), FN(), isl_aff_param_on_domain_space_id(), isl_map_find_dim_by_id(), isl_reordering_unbind_params_insert_domain(), isl_space_add_param_id(), isl_space_unbind_params_insert_domain(), and isl_union_map_find_dim_by_id().
| int isl_space_find_dim_by_name | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
Definition at line 889 of file isl_space.c.
References get_id(), id, isl_space_dim(), isl_space_offset(), n, name, offset, and type.
Referenced by FN(), isl_basic_map_find_dim_by_name(), isl_local_space_find_dim_by_name(), isl_map_find_dim_by_name(), and isl_union_map_find_dim_by_name().
| __isl_give isl_space * isl_space_flatten | ( | __isl_take isl_space * | space | ) |
Definition at line 2929 of file isl_space.c.
References isl_dim_in, isl_dim_out, and isl_space_reset().
Referenced by isl_basic_map_flatten(), isl_map_flatten(), and isl_set_flatten_map().
| __isl_give isl_space * isl_space_flatten_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 2944 of file isl_space.c.
References isl_dim_in, and isl_space_reset().
Referenced by isl::space::flatten_domain(), isl_basic_map_flatten_domain(), isl_local_space_flatten_domain(), isl_map_flatten_domain(), and isl_multi_aff_flatten_domain().
| __isl_give isl_space * isl_space_flatten_range | ( | __isl_take isl_space * | space | ) |
Definition at line 2954 of file isl_space.c.
References isl_dim_out, and isl_space_reset().
Referenced by isl::space::flatten_range(), isl_basic_map_flatten_range(), isl_local_space_flatten_range(), isl_map_flatten_range(), and isl_pw_multi_aff_flat_range_product().
| __isl_null isl_space * isl_space_free | ( | __isl_take isl_space * | space | ) |
Definition at line 445 of file isl_space.c.
References isl_ctx_deref(), isl_id_free(), and isl_space_free().
Referenced by accept_affine(), accept_affine_factor(), accept_affine_list(), accept_div(), accept_minmax(), accept_piecewise_affine(), add_bind_params(), add_matching_sources(), add_non_trivial_lineality(), basic_map_from_equalities(), basic_replace_space_by_local_space(), bernstein_coefficients_cell(), bin_try_get_match(), bound2poly(), build_ast_from_domain(), check_basic_map_compatible_range_multi_aff(), check_map_compatible_range_multi_aff(), check_space_multi_union_pw_aff(), check_space_multi_val(), clear_node(), coef_var_offset(), collect_bounds(), collect_matching_array(), compute_flow(), compute_incremental(), constraint_order_ge(), construct_component(), construct_extended_path(), construct_power(), construct_power_components(), count_matching_array(), equate_parameter_to_length(), equator(), extend_ids(), extract_node_transformation(), extract_space(), find_domain_node(), find_range_node(), floyd_warshall(), floyd_warshall_with_groups(), FN(), generate_code_set(), greator(), group_context(), importSchedule(), incremental_closure(), isl_aff_align_params(), isl_aff_check_match_domain_space(), isl_aff_matching_params(), isl_aff_param_on_domain_space_id(), isl_aff_reset_domain_space(), isl_aff_reset_space_and_domain(), isl_aff_var_on_domain(), isl_ast_build_align_params(), isl_ast_build_from_multi_pw_aff(), isl_ast_build_get_space(), isl_ast_build_init(), isl_ast_build_init_derived(), isl_ast_build_product(), isl_basic_map_add_constraint(), isl_basic_map_align_params(), isl_basic_map_alloc_space(), isl_basic_map_free(), isl_basic_map_from_constraint_matrices(), isl_basic_map_identity(), isl_basic_map_nat_universe(), isl_basic_map_overlying_set(), isl_basic_map_realign(), isl_basic_map_reset_space(), isl_basic_map_restore_space(), isl_basic_set_alloc_space(), isl_basic_set_lift(), isl_basic_set_positive_orthant(), isl_compute_flow_schedule_data_align_params(), isl_local_space_alloc(), isl_local_space_alloc_div(), isl_local_space_free(), isl_local_space_reset_space(), isl_local_space_restore_space(), isl_map_align_params(), isl_map_alloc_space(), isl_map_apply_pw_qpolynomial_fold(), isl_map_free(), isl_map_reset_equal_dim_space(), isl_map_reset_space(), isl_map_restore_space(), isl_map_underlying_set(), 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_pullback_multi_aff(), isl_multi_aff_range_map(), isl_multi_pw_aff_eq_map_on_space(), isl_multi_pw_aff_lex_map_on_space(), isl_multi_union_pw_aff_apply_aff(), isl_multi_union_pw_aff_apply_multi_aff(), isl_multi_union_pw_aff_apply_pw_aff(), isl_multi_union_pw_aff_apply_pw_multi_aff(), isl_multi_union_pw_aff_extract_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_zero(), isl_parameter_alignment_reordering(), isl_point_align_params(), isl_point_alloc(), isl_point_free(), isl_point_reorder(), isl_point_restore_space(), isl_point_zero(), isl_printer_print_constraint(), isl_pw_aff_check_match_domain_space(), isl_pw_aff_matching_params(), isl_pw_qpolynomial_fold_bound(), isl_qpolynomial_align_params(), isl_qpolynomial_alloc(), isl_qpolynomial_fold_free(), isl_qpolynomial_fold_lift(), isl_qpolynomial_fold_morph_domain(), isl_qpolynomial_fold_reset_domain_space(), isl_qpolynomial_fold_reset_space_and_domain(), isl_qpolynomial_fold_restore_domain_space(), isl_qpolynomial_free(), isl_qpolynomial_lift(), isl_qpolynomial_morph_domain(), isl_qpolynomial_reset_domain_space(), isl_qpolynomial_reset_space_and_domain(), isl_qpolynomial_var_on_domain(), isl_reordering_extend_space(), isl_reordering_free(), isl_schedule_align_params(), isl_schedule_band_align_params(), isl_schedule_constraints_align_params(), isl_schedule_tree_align_params(), isl_set_alloc_space(), isl_set_foreach_point(), isl_set_insert_domain(), isl_set_lift(), isl_space_add_dims(), isl_space_add_param_id(), isl_space_add_unnamed_tuple_ui(), isl_space_align_params(), isl_space_bind_domain_wrapped_domain(), isl_space_bind_map_domain(), isl_space_bind_set(), isl_space_check_domain_wrapped_domain_tuples(), isl_space_coefficients(), isl_space_copy_ids_if_unset(), isl_space_curry(), isl_space_domain_factor_domain(), isl_space_domain_factor_range(), isl_space_domain_product(), isl_space_drop_all_params(), isl_space_drop_dims(), isl_space_dup(), isl_space_extend_domain_with_range(), isl_space_free(), isl_space_from_domain(), isl_space_from_range(), isl_space_insert_dims(), isl_space_insert_domain(), isl_space_join(), isl_space_map_from_domain_and_range(), isl_space_map_from_set(), isl_space_move_dims(), isl_space_params(), isl_space_prefix(), isl_space_product(), isl_space_range_curry(), isl_space_range_factor_domain(), isl_space_range_factor_range(), isl_space_range_product(), isl_space_range_reverse(), isl_space_replace_params(), isl_space_reset(), isl_space_reset_dim_id(), isl_space_reset_tuple_id(), isl_space_reset_user(), isl_space_restore_nested(), isl_space_reverse(), isl_space_set_dim_id(), isl_space_set_dim_name(), isl_space_set_domain_tuple_id(), isl_space_set_from_params(), isl_space_set_range_tuple_id(), isl_space_set_tuple_id(), isl_space_set_tuple_name(), isl_space_solutions(), isl_space_unbind_params_insert_domain(), isl_space_uncurry(), isl_space_underlying(), isl_space_unprefix(), isl_space_unwrap(), isl_space_wrap(), isl_space_zip(), isl_stream_read_multi_aff(), isl_stream_read_space(), isl_term_alloc(), isl_term_free(), isl_union_access_info_align_params(), isl_union_access_info_init(), isl_union_flow_alloc(), isl_union_map_align_params(), isl_union_map_alloc(), isl_union_map_contains(), isl_union_map_extract_map(), isl_union_map_free(), isl_union_map_intersect_domain_space(), isl_union_map_intersect_range_space(), isl_union_map_reset_equal_dim_space(), isl_union_map_reset_range_space(), isl_union_pw_aff_check_match_domain_space(), isl_union_pw_aff_matching_params(), isl_union_pw_aff_pw_aff_on_domain(), isl_union_pw_aff_reset_domain_space(), isl_union_pw_multi_aff_reset_range_space(), list_cmp(), lp_add_inter(), lp_add_intra(), map_from_tuple(), map_lex_gte_first(), map_lex_lte_first(), map_preimage_multi_aff(), merge(), MULTI(), neg_halfspace(), nonneg_halfspace(), path_along_delta(), path_along_steps(), preimage_multi_pw_aff(), preimage_pw_multi_aff(), print_body_pw_qpolynomial(), print_body_pw_qpolynomial_fold(), print_dim_ma(), print_dim_mpa(), print_multi_pw_aff_isl(), print_multi_union_pw_aff_isl(), print_pw_qpolynomial_c(), print_pw_qpolynomial_fold_c(), print_unnamed_pw_multi_aff_c(), pw_multi_aff_from_map_div(), pw_qpolynomial_fold_apply(), qpolynomial_fold_alloc(), range_factor_domain(), range_factor_range(), read_multi_union_pw_aff_body(), read_space_tuples(), read_tuple(), read_tuple_id(), read_tuple_pw_aff_el(), read_tuple_space(), read_union_pw_aff_el(), replace_space_by_local_space(), S(), sched_info_alloc(), separates(), set_div_slice(), set_factor_domain(), set_factor_range(), set_id(), set_minimum(), set_minimum_pa(), set_path_length(), SF(), sol_free(), space_align_and_join(), space_extend(), space_set_last_dim_name(), test_domain_hash(), test_union_set_contains(), vertex_coordinate(), and isl::space::~space().
| __isl_give isl_space * isl_space_from_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 2148 of file isl_space.c.
References isl_die, isl_dim_out, isl_error_invalid, isl_space_free(), isl_space_get_ctx(), isl_space_is_set(), isl_space_reset(), and isl_space_reverse().
Referenced by accept_piecewise_affine(), add_non_trivial_lineality(), bernstein_coefficients_base(), generate_shift_component(), guarded_poly_bound(), has_sign(), isl_aff_get_space(), isl_ast_build_get_option_domain(), isl_basic_map_from_aff_list(), isl_basic_map_from_multi_aff2(), isl_local_space_from_domain(), isl_multi_aff_project_out_map(), isl_multi_union_pw_aff_extract_multi_pw_aff(), isl_pw_multi_aff_from_domain(), isl_pw_qpolynomial_fold_bound(), isl_qpolynomial_fold_get_space(), isl_qpolynomial_get_space(), isl_sched_node_extract_partial_schedule_multi_aff(), isl_space_add_unnamed_tuple_ui(), isl_space_coefficients(), isl_space_curry(), isl_space_domain_map(), isl_space_extend_domain_with_range(), isl_space_lift(), isl_space_range_map(), isl_space_uncurry(), isl_space_zip(), list_cmp(), map_from_multi_pw_aff(), set_minimum_pa(), unwrapped_guarded_poly_bound(), and update_piecewise_affine_colon().
| __isl_give isl_space * isl_space_from_range | ( | __isl_take isl_space * | space | ) |
Definition at line 2172 of file isl_space.c.
References isl_die, isl_dim_in, isl_error_invalid, isl_space_free(), isl_space_get_ctx(), isl_space_is_set(), and isl_space_reset().
Referenced by FN(), isl_basic_map_deltas_map(), isl_basic_map_domain_map(), isl_basic_map_from_range(), isl_basic_map_range_map(), isl_map_from_range(), isl_map_power(), isl_schedule_band_get_ast_isolate_option(), isl_space_coefficients(), isl_space_curry(), isl_space_domain_map(), isl_space_lift(), isl_space_range_map(), isl_space_uncurry(), isl_space_zip(), loop_type_space(), and read_tuple().
| isl_ctx * isl_space_get_ctx | ( | __isl_keep isl_space * | space | ) |
Definition at line 23 of file isl_space.c.
Referenced by basic_map_from_equalities(), check_fresh_params(), check_input_is_map(), check_input_is_set(), check_match(), check_space_match(), cluster_space(), isl::space::ctx(), extract_space(), FN(), global_pos(), graph_find_edge_entry(), isl_aff_param_on_domain_space_id(), isl_aff_var_on_domain(), isl_basic_map_align_params(), isl_local_space_alloc(), isl_local_space_alloc_div(), isl_map_align_params(), isl_multi_aff_domain_map(), isl_multi_aff_project_out_map(), isl_multi_aff_range_map(), isl_multi_union_pw_aff_zero(), isl_parameter_alignment_reordering(), isl_point_get_ctx(), isl_printer_print_space(), isl_qpolynomial_alloc(), isl_qpolynomial_fold_empty(), isl_reordering_get_ctx(), isl_reordering_unbind_params_insert_domain(), isl_space_add_unnamed_tuple_ui(), isl_space_check_domain_is_wrapping(), isl_space_check_equal_params(), isl_space_check_is_map(), isl_space_check_is_set(), isl_space_check_named_params(), isl_space_check_range_is_wrapping(), isl_space_from_domain(), isl_space_from_range(), isl_space_insert_dims(), isl_space_map_from_domain_and_range(), isl_space_map_from_set(), isl_space_peek_nested(), isl_space_prefix(), isl_space_product(), isl_space_range_curry(), isl_space_reset_user(), isl_space_set_from_params(), isl_space_wrapped_dim(), isl_space_wrapped_tuple_is_equal(), isl_union_flow_alloc(), isl_union_pw_aff_check_match_domain_space(), MULTI(), qpolynomial_fold_alloc(), S(), set_factor_domain(), set_factor_range(), space_extend(), and zero_out_node_coef().
| __isl_give isl_id * isl_space_get_dim_id | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 774 of file isl_space.c.
References get_id(), isl_die, isl_error_invalid, isl_id_copy(), pos(), and type.
Referenced by isl::space::dim_id(), FN(), importSchedule(), isl_basic_set_get_dim_id(), isl_local_space_get_dim_id(), isl_map_get_dim_id(), isl_parameter_alignment_reordering(), isl_reordering_unbind_params_insert_domain(), isl_space_copy_ids_if_unset(), isl_union_map_get_dim_id(), and map_from_tuple().
| __isl_keep const char * isl_space_get_dim_name | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 863 of file isl_space.c.
References get_id(), pos(), and type.
Referenced by count_same_name(), FN(), isl_basic_map_get_dim_name(), isl_basic_set_get_dim_name(), isl_local_space_get_dim_name(), isl_map_get_dim_name(), isl_printer_print_point(), isl_set_get_dim_name(), isl_space_prefix(), isl_space_unprefix(), print_ls_name_c(), and print_name().
| __isl_give isl_id * isl_space_get_domain_tuple_id | ( | __isl_keep isl_space * | space | ) |
Definition at line 617 of file isl_space.c.
References isl_dim_in, isl_space_check_is_map(), and isl_space_get_tuple_id().
Referenced by isl::space::domain_tuple_id().
| uint32_t isl_space_get_full_hash | ( | __isl_keep isl_space * | space | ) |
Definition at line 2742 of file isl_space.c.
References isl_hash_init, isl_hash_params(), and isl_hash_tuples().
Referenced by isl_local_space_get_hash().
|
static |
Definition at line 490 of file isl_space.c.
References isl_space_copy(), isl_space_peek_nested(), and pos().
Referenced by isl_space_take_nested().
| __isl_give isl_id * isl_space_get_range_tuple_id | ( | __isl_keep isl_space * | space | ) |
Definition at line 628 of file isl_space.c.
References isl_dim_out, isl_space_check_is_map(), and isl_space_get_tuple_id().
Referenced by isl::space::range_tuple_id().
| uint32_t isl_space_get_tuple_domain_hash | ( | __isl_keep isl_space * | space | ) |
Definition at line 2760 of file isl_space.c.
References isl_hash_init, and isl_hash_tuples_domain().
Referenced by FN(), and test_domain_hash().
| uint32_t isl_space_get_tuple_hash | ( | __isl_keep isl_space * | space | ) |
Definition at line 2727 of file isl_space.c.
References isl_hash_init, and isl_hash_tuples().
Referenced by FN(), graph_init_table(), isl_sched_graph_find_node(), isl_union_map_find_entry(), and test_domain_hash().
| __isl_give isl_id * isl_space_get_tuple_id | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 598 of file isl_space.c.
References isl_die, isl_dim_in, isl_error_invalid, isl_id_copy(), isl_space_has_tuple_id(), and type.
Referenced by extract_node_transformation(), FN(), graph_find_compressed_node(), importSchedule(), isl_map_get_tuple_id(), isl_space_extend_domain_with_range(), isl_space_get_domain_tuple_id(), isl_space_get_range_tuple_id(), and isl::space::tuple_id().
| __isl_keep const char * isl_space_get_tuple_name | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 819 of file isl_space.c.
References id, isl_dim_in, isl_dim_out, and type.
Referenced by FN(), isl_basic_map_get_tuple_name(), isl_basic_set_get_tuple_name(), isl_map_get_tuple_name(), isl_set_get_tuple_name(), print_nested_tuple(), and isl::space::tuple_name().
| isl_bool isl_space_has_dim_id | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 766 of file isl_space.c.
References get_id(), isl_bool_error, isl_bool_ok(), pos(), and type.
Referenced by FN(), isl_basic_map_has_dim_id(), isl_local_space_has_dim_id(), isl_map_has_dim_id(), and isl_space_copy_ids_if_unset().
| isl_bool isl_space_has_dim_name | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 852 of file isl_space.c.
References get_id(), id, isl_bool_error, isl_bool_ok(), pos(), and type.
Referenced by isl_local_space_has_dim_name(), isl_map_has_dim_name(), isl_set_has_dim_name(), map_from_tuple(), and print_dim_eq().
| isl_bool isl_space_has_domain_tuple_id | ( | __isl_keep isl_space * | space | ) |
Definition at line 582 of file isl_space.c.
References isl_bool_error, isl_dim_in, isl_space_check_is_map(), and isl_space_has_tuple_id().
Referenced by isl::space::has_domain_tuple_id().
| isl_bool isl_space_has_domain_tuples | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 2532 of file isl_space.c.
References isl_dim_in, isl_dim_set, isl_space_is_set(), and isl_space_tuple_is_equal().
Referenced by FN(), has_domain_space_tuples(), isl_space_check_domain_tuples(), and isl_space_is_domain_internal().
| isl_bool isl_space_has_equal_ids | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 1149 of file isl_space.c.
References equal, isl_dim_in, isl_dim_out, and match().
Referenced by isl_basic_map_reset_space(), and isl_map_reset_equal_dim_space().
| isl_bool isl_space_has_equal_params | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 1140 of file isl_space.c.
References isl_dim_param, and match().
Referenced by check_basic_map_compatible_range_multi_aff(), FN(), isl_aff_align_params(), isl_aff_check_match_domain_space(), isl_aff_matching_params(), isl_basic_map_align_params(), isl_basic_map_has_equal_params(), isl_basic_set_space_has_equal_params(), isl_map_has_equal_params(), isl_map_space_has_equal_params(), isl_multi_pw_aff_apply_aff(), isl_multi_pw_aff_apply_pw_aff(), isl_multi_pw_aff_is_equal(), isl_multi_union_pw_aff_multi_val_on_domain(), isl_point_align_params(), isl_pw_aff_check_match_domain_space(), isl_pw_aff_matching_params(), isl_pw_multi_aff_set_pw_aff(), isl_qpolynomial_align_params(), isl_space_check_equal_params(), isl_space_is_domain_internal(), isl_space_is_equal(), isl_space_is_range_internal(), isl_space_replace_params(), isl_union_map_align_params(), isl_union_map_space_has_equal_params(), isl_union_pw_aff_check_match_domain_space(), isl_union_pw_aff_matching_params(), isl_union_pw_aff_pw_aff_on_domain(), join_compatible(), and space_align_and_join().
| isl_bool isl_space_has_equal_tuples | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 996 of file isl_space.c.
References isl_bool_error, isl_bool_true, isl_dim_in, isl_dim_out, and isl_space_tuple_is_equal().
Referenced by FN(), isl::space::has_equal_tuples(), isl_map_has_space_tuples(), isl_space_check_equal_tuples(), isl_space_is_equal(), isl_space_tuple_is_equal(), and node_has_tuples().
| isl_bool isl_space_has_named_params | ( | __isl_keep isl_space * | space | ) |
Definition at line 3225 of file isl_space.c.
References isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_param, and isl_space_offset().
Referenced by FN(), isl_basic_map_align_params(), isl_map_align_params(), isl_map_preimage_multi_aff(), isl_multi_pw_aff_is_equal(), isl_space_check_named_params(), MULTI(), and SF().
| isl_bool isl_space_has_range_tuple_id | ( | __isl_keep isl_space * | space | ) |
Definition at line 591 of file isl_space.c.
References isl_bool_error, isl_dim_out, isl_space_check_is_map(), and isl_space_has_tuple_id().
Referenced by isl::space::has_range_tuple_id().
| isl_bool isl_space_has_range_tuples | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 2550 of file isl_space.c.
References isl_dim_out, isl_dim_set, isl_space_is_set(), and isl_space_tuple_is_equal().
Referenced by has_range_space_tuples(), and isl_space_is_range_internal().
| isl_bool isl_space_has_tuple_id | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 572 of file isl_space.c.
References isl_bool_error, isl_bool_ok(), isl_dim_in, space_can_have_id(), and type.
Referenced by FN(), isl::space::has_tuple_id(), isl_map_has_tuple_id(), isl_space_extend_domain_with_range(), isl_space_get_tuple_id(), isl_space_has_domain_tuple_id(), and isl_space_has_range_tuple_id().
| isl_bool isl_space_has_tuple_name | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 808 of file isl_space.c.
References id, isl_bool_error, isl_bool_ok(), isl_dim_in, space_can_have_id(), and type.
Referenced by FN(), isl::space::has_tuple_name(), isl_map_has_tuple_name(), isl_set_has_tuple_name(), and map_from_tuple().
| __isl_give isl_space * isl_space_insert_dims | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| unsigned | n | ||
| ) |
Definition at line 1312 of file isl_space.c.
References get_ids(), isl_calloc_array, isl_die, isl_dim_in, isl_dim_out, isl_dim_param, isl_error_invalid, isl_space_check_range(), isl_space_cow(), isl_space_free(), isl_space_get_ctx(), isl_space_insert_dims(), isl_space_reset(), n, pos(), t, type, and valid_dim_type().
Referenced by construct_shifted_executed(), FN(), isl_basic_map_insert_dims(), isl_local_space_insert_dims(), isl_map_insert_dims(), isl_qpolynomial_fold_insert_dims(), isl_qpolynomial_insert_dims(), isl_space_coefficients(), isl_space_insert_dims(), and MULTI().
|
static |
Definition at line 2412 of file isl_space.c.
References domain, isl_space_free(), isl_space_is_params(), isl_space_map_from_domain_and_range(), and isl_space_replace_params().
Referenced by isl_space_unbind_params_insert_domain().
| isl_bool isl_space_is_domain | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 2614 of file isl_space.c.
References isl_bool_error, isl_bool_false, isl_space_is_domain_internal(), and isl_space_is_map().
Referenced by generate_code_set().
| isl_bool isl_space_is_domain_internal | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 2599 of file isl_space.c.
References isl_bool_error, isl_space_has_domain_tuples(), and isl_space_has_equal_params().
Referenced by FN(), and isl_space_is_domain().
| isl_bool isl_space_is_equal | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 2511 of file isl_space.c.
References equal, isl_bool_error, isl_bool_true, isl_space_has_equal_params(), and isl_space_has_equal_tuples().
Referenced by add_matching_sources(), collect_matching_array(), count_matching_array(), extract_space(), FN(), isl::space::is_equal(), isl_aff_add(), isl_aff_check_has_domain_space(), isl_aff_substitute(), isl_basic_map_add_constraint(), isl_basic_map_reset_space(), isl_basic_set_box_from_points(), isl_basic_set_opt(), isl_basic_set_opt_lp_val_aligned(), isl_local_space_intersect(), isl_local_space_substitute(), isl_map_reset_equal_dim_space(), isl_morph_check_applies(), isl_multi_pw_aff_is_equal(), isl_multi_union_pw_aff_apply_aff(), isl_multi_union_pw_aff_apply_multi_aff(), isl_multi_union_pw_aff_apply_pw_aff(), isl_multi_union_pw_aff_apply_pw_multi_aff(), isl_pw_qpolynomial_fold_fold(), isl_pw_qpolynomial_mul(), isl_qpolynomial_eval(), isl_qpolynomial_fold_check_equal_space(), isl_qpolynomial_fold_eval(), isl_qpolynomial_fold_lift(), isl_qpolynomial_lift(), isl_qpolynomial_plain_is_equal(), isl_union_map_reset_equal_dim_space(), and map_intersect_internal().
| isl_bool isl_space_is_map | ( | __isl_keep isl_space * | space | ) |
Definition at line 98 of file isl_space.c.
References isl_bool_error, isl_bool_ok(), and isl_id_none.
Referenced by isl_aff_var_on_domain(), isl_multi_aff_domain_map(), isl_multi_aff_range_map(), isl_space_check_is_map(), isl_space_is_domain(), and isl_space_is_range().
| isl_bool isl_space_is_named_or_nested | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 2877 of file isl_space.c.
References isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_in, isl_dim_out, and type.
Referenced by basic_map_space_reset(), FN(), isl_basic_map_drop(), isl_basic_map_remove_dims(), isl_basic_map_underlying_set(), isl_local_space_is_named_or_nested(), isl_map_drop(), isl_map_reset(), isl_qpolynomial_drop_dims(), isl_qpolynomial_fold_insert_dims(), isl_qpolynomial_insert_dims(), isl_qpolynomial_move_dims(), isl_space_may_be_set(), isl_space_reset(), map_space_reset(), and MULTI().
| isl_bool isl_space_is_params | ( | __isl_keep isl_space * | space | ) |
Definition at line 179 of file isl_space.c.
References isl_bool_error, isl_bool_false, isl_bool_true, and isl_id_none.
Referenced by build_ast_from_domain(), FN(), isl::space::is_params(), isl_ast_build_from_context(), isl_basic_set_is_params(), isl_local_space_is_params(), isl_map_is_params(), isl_multi_union_pw_aff_zero(), isl_print_space(), isl_printer_print_local_space(), isl_printer_print_space_isl(), isl_set_is_params(), isl_space_add_unnamed_tuple_ui(), isl_space_insert_domain(), isl_space_params(), isl_space_set_from_params(), MULTI(), print_body_aff(), print_body_pw_qpolynomial(), print_body_pw_qpolynomial_fold(), print_disjuncts_map(), print_qpolynomial_isl(), and space_can_have_id().
| isl_bool isl_space_is_product | ( | __isl_keep isl_space * | space | ) |
Definition at line 2816 of file isl_space.c.
References isl_bool_error, isl_space_domain_is_wrapping(), isl_space_is_set(), isl_space_is_wrapping(), and isl_space_range_is_wrapping().
Referenced by isl_aff_domain_is_product(), isl_map_is_product(), and isl_space_can_zip().
| isl_bool isl_space_is_range | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 2644 of file isl_space.c.
References isl_bool_error, isl_bool_false, isl_space_is_map(), and isl_space_is_range_internal().
| isl_bool isl_space_is_range_internal | ( | __isl_keep isl_space * | space1, |
| __isl_keep isl_space * | space2 | ||
| ) |
Definition at line 2629 of file isl_space.c.
References isl_bool_error, isl_space_has_equal_params(), and isl_space_has_range_tuples().
Referenced by isl_local_space_preimage_multi_aff(), and isl_space_is_range().
| isl_bool isl_space_is_set | ( | __isl_keep isl_space * | space | ) |
Definition at line 70 of file isl_space.c.
References isl_bool_error, isl_bool_false, isl_bool_true, and isl_id_none.
Referenced by check_input_is_map(), check_input_is_set(), FN(), isl::space::is_set(), isl_basic_map_is_set(), isl_local_space_is_set(), isl_map_is_set(), isl_multi_aff_project_out_map(), isl_multi_union_pw_aff_zero(), isl_print_space(), isl_qpolynomial_alloc(), isl_space_add_unnamed_tuple_ui(), isl_space_can_zip(), isl_space_check_is_set(), isl_space_domain_is_wrapping(), isl_space_factor_domain(), isl_space_factor_range(), isl_space_from_domain(), isl_space_from_range(), isl_space_has_domain_tuples(), isl_space_has_range_tuples(), isl_space_is_product(), isl_space_is_wrapping(), isl_space_map_from_domain_and_range(), isl_space_map_from_set(), isl_space_may_be_set(), isl_space_product(), isl_space_range_is_wrapping(), isl_space_underlying(), isl_union_pw_aff_check_match_domain_space(), isl_union_pw_aff_pw_aff_on_domain(), MULTI(), print_name(), print_pw_qpolynomial_fold_isl(), print_pw_qpolynomial_isl(), and space_can_have_id().
| isl_bool isl_space_is_wrapping | ( | __isl_keep isl_space * | space | ) |
Definition at line 2775 of file isl_space.c.
References isl_bool_error, isl_bool_false, isl_bool_ok(), and isl_space_is_set().
Referenced by isl::space::is_wrapping(), isl_basic_set_is_wrapping(), isl_pw_qpolynomial_fold_bound(), isl_set_is_wrapping(), isl_space_is_product(), isl_space_unwrap(), map_from_tuple(), set_factor_domain(), and set_factor_range().
| __isl_give isl_space * isl_space_join | ( | __isl_take isl_space * | left, |
| __isl_take isl_space * | right | ||
| ) |
Definition at line 1504 of file isl_space.c.
References copy_ids(), isl_assert, isl_dim_in, isl_dim_out, isl_dim_param, isl_id_copy(), isl_space_alloc(), isl_space_check_equal_params(), isl_space_copy(), isl_space_free(), isl_space_tuple_is_equal(), isl_space::nested, and isl_space::tuple_id.
Referenced by all_later_sources(), coscheduled_source(), FN(), isl_basic_map_apply_range(), isl_map_apply_range(), isl_multi_aff_pullback_multi_aff(), isl_multi_pw_aff_apply_pw_aff_aligned(), isl_set_flatten_map(), isl_space_coefficients(), isl_space_curry(), isl_space_domain_map(), isl_space_domain_product(), isl_space_lift(), isl_space_map_from_domain_and_range(), isl_space_product(), isl_space_range_map(), isl_space_range_product(), isl_space_uncurry(), isl_space_zip(), space_align_and_join(), and union_floyd_warshall_on_list().
| __isl_give isl_space * isl_space_lift | ( | __isl_take isl_space * | space, |
| unsigned | n_local | ||
| ) |
Definition at line 3055 of file isl_space.c.
References isl_dim_set, isl_space_add_dims(), isl_space_drop_dims(), isl_space_dup(), isl_space_from_domain(), isl_space_from_range(), isl_space_join(), isl_space_set_tuple_name(), and isl_space_wrap().
Referenced by isl_basic_set_lift(), isl_local_space_lift(), isl_local_space_lift_point(), isl_multi_aff_lift(), and isl_set_lift().
| __isl_give isl_space * isl_space_map_from_domain_and_range | ( | __isl_take isl_space * | domain, |
| __isl_take isl_space * | range | ||
| ) |
Definition at line 1934 of file isl_space.c.
References domain, isl_die, isl_error_invalid, isl_space_free(), isl_space_get_ctx(), isl_space_is_set(), isl_space_join(), isl_space_reverse(), and range.
Referenced by isl_ast_build_get_separation_class(), isl_morph_get_var_multi_aff(), isl_multi_aff_multi_val_on_domain_space(), isl_multi_pw_aff_order_map(), isl_multi_union_pw_aff_extract_multi_pw_aff(), isl_pw_aff_order_map(), isl_set_insert_domain(), isl_space_insert_domain(), isl_space_set(), isl::space::map_from_domain_and_range(), MULTI(), and range_map().
| __isl_give isl_space * isl_space_map_from_set | ( | __isl_take isl_space * | space | ) |
Definition at line 1894 of file isl_space.c.
References copy_ids(), get_ids(), isl_calloc_array, isl_die, isl_dim_in, isl_dim_out, isl_dim_param, isl_error_invalid, isl_id_copy(), isl_id_free(), isl_space_copy(), isl_space_cow(), isl_space_free(), isl_space_get_ctx(), and isl_space_is_set().
Referenced by add_nodes(), construct_insertion_map(), construct_shifted_executed(), create_node(), FN(), generate_shift_component(), generate_shifted_component_tree(), identity_upma(), increment(), insert_dummy_tags(), internal_executed(), isl_ast_build_get_schedule_map_multi_aff(), isl_ast_build_get_stride_expansion(), isl_ast_build_init_derived(), isl_ast_build_insert_dim(), isl_ast_build_product(), isl_ast_build_scale_down(), isl_basic_map_is_single_valued(), isl_basic_set_coefficients_morphed_product(), isl_map_is_single_valued(), isl_map_lex_ge(), isl_map_lex_gt(), isl_map_lex_le(), isl_map_lex_lt(), isl_schedule_node_group(), isl_set_identity(), isl_set_translation(), isl::space::map_from_set(), options_insert_dim(), project_out_fixed(), pw_multi_aff_from_map_div(), pw_multi_aff_from_map_stride(), and set_enforced_from_set().
| isl_bool isl_space_match | ( | __isl_keep isl_space * | space1, |
| enum isl_dim_type | type1, | ||
| __isl_keep isl_space * | space2, | ||
| enum isl_dim_type | type2 | ||
| ) |
Definition at line 1160 of file isl_space.c.
References match().
| isl_bool isl_space_may_be_set | ( | __isl_keep isl_space * | space | ) |
Definition at line 2891 of file isl_space.c.
References isl_bool_error, isl_bool_false, isl_bool_not(), isl_bool_true, isl_dim_in, isl_space_dim(), isl_space_is_named_or_nested(), isl_space_is_set(), and nested().
Referenced by isl_basic_map_may_be_set(), and isl_map_may_be_set().
| __isl_give isl_space * isl_space_move_dims | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | dst_type, | ||
| unsigned | dst_pos, | ||
| enum isl_dim_type | src_type, | ||
| unsigned | src_pos, | ||
| unsigned | n | ||
| ) |
Definition at line 1389 of file isl_space.c.
References get_ids(), isl_assert, isl_calloc_array, isl_dim_in, isl_dim_out, isl_dim_param, isl_space_check_range(), isl_space_cow(), isl_space_free(), isl_space_replace_params(), isl_space_reset(), isl_space_restore_nested(), isl_space_take_nested(), n, nested(), and t.
Referenced by FN(), isl_basic_map_move_dims(), isl_local_space_move_dims(), isl_map_move_dims(), isl_qpolynomial_fold_move_dims(), isl_qpolynomial_move_dims(), isl_space_coefficients(), isl_space_solutions(), MULTI(), and set_parameter_preimage().
| unsigned isl_space_offset | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 365 of file isl_space.c.
Referenced by can_select(), defining_equality(), isl_basic_map_from_qpolynomial(), isl_basic_map_var_offset(), isl_basic_set_factorizer(), isl_basic_set_is_box(), isl_dim_map_dim_range(), isl_factorizer_groups(), isl_local_space_var_offset(), isl_morph_remove_dom_dims(), isl_morph_remove_ran_dims(), isl_point_set_coordinate_val(), isl_point_var_offset(), isl_qpolynomial_degree(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_homogenize(), isl_qpolynomial_var_on_domain(), isl_space_find_dim_by_id(), isl_space_find_dim_by_name(), isl_space_has_named_params(), isl_term_offset(), print_coordinate(), and print_dim_eq().
| __isl_give isl_space * isl_space_params | ( | __isl_take isl_space * | space | ) |
Definition at line 2211 of file isl_space.c.
References isl_dim_in, isl_dim_out, isl_space_dim(), isl_space_drop_dims(), isl_space_free(), isl_space_is_params(), and mark_as_params().
Referenced by add_length(), bernstein_coefficients_base(), cluster_space(), compressed_multiplicative_call(), FN(), guarded_poly_bound(), has_sign(), insert_dummy_tags(), isl_aff_project_domain_on_params(), isl_ast_build_insert_dim(), isl_basic_set_params(), isl_map_params(), isl_multi_union_pw_aff_apply_pw_aff(), isl_multi_union_pw_aff_init_explicit_domain(), isl_qpolynomial_project_domain_on_params(), isl_space_bind_set(), isl_union_map_alloc(), isl_union_map_from_map(), isl::space::params(), read_union_pw_aff_el(), test_parse_mpa(), and unwrapped_guarded_poly_bound().
| __isl_give isl_space * isl_space_params_alloc | ( | isl_ctx * | ctx, |
| unsigned | nparam | ||
| ) |
Definition at line 195 of file isl_space.c.
References isl_space_alloc(), and mark_as_params().
Referenced by collect_cluster_map(), collect_domain(), FN(), polly::Scop::getDomains(), has_violated_conditional_constraint(), isl_ast_build_alloc(), isl_ast_build_from_context(), isl_schedule_band_from_multi_union_pw_aff(), isl_space_unit(), isl_union_set_list_union(), MULTI(), obj_read(), isl::space::params_alloc(), read_multi_union_pw_aff_core(), read_tuple(), read_universe_params(), subtree_schedule_extend_from_children(), test_align_parameters_1(), test_ast_build(), test_ast_gen2(), test_ast_gen3(), test_ast_gen4(), test_ast_gen5(), union_drop_coalescing_constraints(), and update_edges().
|
static |
Definition at line 307 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_get_ctx(), and pos().
Referenced by isl_space_get_nested(), isl_space_range_reverse(), isl_space_wrapped_dim(), and isl_space_wrapped_tuple_is_equal().
| __isl_give isl_space * isl_space_product | ( | __isl_take isl_space * | left, |
| __isl_take isl_space * | right | ||
| ) |
Definition at line 1552 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_check_equal_params(), isl_space_copy(), isl_space_domain(), isl_space_free(), isl_space_get_ctx(), isl_space_is_set(), isl_space_join(), isl_space_range(), isl_space_range_product(), isl_space_reverse(), and isl_space_wrap().
Referenced by isl_basic_map_product(), isl_map_product(), isl_pw_multi_aff_product(), MULTI(), isl::space::product(), read_space_tuples(), and read_tuple_space().
| __isl_give isl_space * isl_space_range | ( | __isl_take isl_space * | space | ) |
Definition at line 2163 of file isl_space.c.
References isl_dim_in, isl_space_drop_dims(), and mark_as_set().
Referenced by add_matching_sources(), collect_edge_constraints(), collect_matching_array(), compute_flow(), count_matching_array(), extract_space(), find_range_node(), FN(), generate_code_set(), isl_basic_map_is_single_valued(), isl_basic_map_range_map(), isl_fixed_box_init(), isl_local_space_range(), isl_map_is_single_valued(), isl_map_lex_ge_map(), isl_map_lex_gt_map(), isl_map_lex_le_map(), isl_map_lex_lt_map(), isl_map_range(), isl_multi_aff_get_constant_multi_val(), isl_multi_union_pw_aff_apply_multi_aff(), isl_multi_union_pw_aff_apply_pw_multi_aff(), isl_multi_union_pw_aff_from_multi_pw_aff(), isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(), isl_space_bind_map_domain(), isl_space_curry(), isl_space_domain_product(), isl_space_product(), isl_space_range_map(), isl_space_range_product(), isl_space_range_wrapped_domain(), isl_space_range_wrapped_range(), isl_space_set(), isl_space_solutions(), isl_space_uncurry(), isl_space_zip(), isl_stream_read_multi_aff(), isl_union_map_gist_range(), isl_union_map_intersect_range_union_set(), isl_union_map_subtract_range(), isolate_final(), list_cmp(), lp_add_inter(), lp_add_intra(), map_bound_pw_aff(), map_from_tuple(), MULTI(), order_at(), isl::space::range(), and range_map().
| __isl_give isl_space * isl_space_range_curry | ( | __isl_take isl_space * | space | ) |
Definition at line 3172 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_can_range_curry(), isl_space_curry(), isl_space_free(), isl_space_get_ctx(), isl_space_restore_nested(), isl_space_take_nested(), and nested().
Referenced by isl_map_range_curry().
| __isl_give isl_space * isl_space_range_factor_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 1751 of file isl_space.c.
References isl_space_check_range_is_wrapping(), isl_space_free(), and range_factor_domain.
Referenced by isl_map_intersect_range_factor_range(), isl_map_range_factor_domain(), isl_pw_multi_aff_range_factor_domain(), isl_space_factor_domain(), and isl_union_map_intersect_range_factor_domain().
| __isl_give isl_space * isl_space_range_factor_range | ( | __isl_take isl_space * | space | ) |
Definition at line 1826 of file isl_space.c.
References isl_space_check_range_is_wrapping(), isl_space_free(), and range_factor_range.
Referenced by isl_map_intersect_range_factor_domain(), isl_map_range_factor_range(), isl_pw_multi_aff_range_factor_range(), isl_space_factor_range(), and isl_union_map_intersect_range_factor_range().
| isl_bool isl_space_range_is_wrapping | ( | __isl_keep isl_space * | space | ) |
Definition at line 2801 of file isl_space.c.
References isl_bool_error, isl_bool_false, isl_bool_ok(), and isl_space_is_set().
Referenced by FN(), isl_map_factor_domain(), isl_map_factor_range(), isl_map_range_factor_domain(), isl_map_range_factor_range(), isl_map_range_is_wrapping(), isl_pw_multi_aff_range_is_wrapping(), isl_space_can_range_curry(), isl_space_can_uncurry(), isl_space_check_range_is_wrapping(), and isl_space_is_product().
| __isl_give isl_space * isl_space_range_map | ( | __isl_take isl_space * | space | ) |
Definition at line 2200 of file isl_space.c.
References isl_space_copy(), isl_space_from_domain(), isl_space_from_range(), isl_space_join(), isl_space_range(), isl_space_wrap(), and range.
Referenced by isl_map_deltas_map(), isl_map_range_map(), and isl_multi_aff_range_map().
| __isl_give isl_space * isl_space_range_product | ( | __isl_take isl_space * | left, |
| __isl_take isl_space * | right | ||
| ) |
Definition at line 1615 of file isl_space.c.
References isl_die, isl_dim_in, isl_error_invalid, isl_space_check_equal_params(), isl_space_copy(), isl_space_domain(), isl_space_free(), isl_space_join(), isl_space_range(), isl_space_reverse(), isl_space_tuple_is_equal(), and isl_space_wrap().
Referenced by isl_basic_map_range_product(), isl_map_range_product(), isl_pw_multi_aff_flat_range_product(), isl_pw_multi_aff_range_product(), and isl_space_product().
| __isl_give isl_space * isl_space_range_reverse | ( | __isl_take isl_space * | space | ) |
Definition at line 2024 of file isl_space.c.
References equal, isl_dim_in, isl_dim_out, isl_space_check_range_is_wrapping(), isl_space_free(), isl_space_peek_nested(), isl_space_reset_tuple_id(), isl_space_restore_nested(), isl_space_reverse(), isl_space_take_nested(), isl_space_tuple_is_equal(), and nested().
Referenced by isl_basic_map_range_reverse(), isl_map_range_reverse(), and isl::space::range_reverse().
| __isl_give isl_space * isl_space_range_wrapped_domain | ( | __isl_take isl_space * | space | ) |
Definition at line 1880 of file isl_space.c.
References isl_space_factor_domain(), and isl_space_range().
Referenced by isl_union_map_intersect_range_wrapped_domain_union_set().
| __isl_give isl_space * isl_space_range_wrapped_range | ( | __isl_take isl_space * | space | ) |
Definition at line 1888 of file isl_space.c.
References isl_space_factor_range(), and isl_space_range().
Referenced by isl_map_intersect_range_wrapped_domain().
| __isl_give isl_space * isl_space_replace_params | ( | __isl_take isl_space * | dst, |
| __isl_keep isl_space * | src | ||
| ) |
Definition at line 2966 of file isl_space.c.
References copy_ids(), isl_dim_param, isl_space_add_dims(), isl_space_cow(), isl_space_dim(), isl_space_drop_dims(), isl_space_free(), isl_space_has_equal_params(), isl_space_replace_params(), isl_space_restore_nested(), isl_space_take_nested(), nested(), and type.
Referenced by FN(), isl_multi_union_pw_aff_extract_multi_pw_aff(), isl_parameter_alignment_reordering(), isl_reordering_extend_space(), isl_set_insert_domain(), isl_space_insert_domain(), isl_space_move_dims(), isl_space_replace_params(), and reset_params().
| __isl_give isl_space * isl_space_reset | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 2911 of file isl_space.c.
References isl_dim_in, isl_id_free(), isl_space_cow(), isl_space_free(), isl_space_is_named_or_nested(), and type.
Referenced by basic_map_space_reset(), isl_basic_map_reset(), isl_map_reset(), isl_space_add_dims(), isl_space_drop_dims(), isl_space_flatten(), isl_space_flatten_domain(), isl_space_flatten_range(), isl_space_from_domain(), isl_space_from_range(), isl_space_insert_dims(), isl_space_move_dims(), isl_space_set_from_params(), isl_space_underlying(), and map_space_reset().
| __isl_give isl_space * isl_space_reset_dim_id | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 738 of file isl_space.c.
References get_id(), isl_dim_param, isl_id_free(), isl_space_cow(), isl_space_free(), isl_space_reset_dim_id(), pos(), set_id(), and type.
Referenced by isl_space_reset_dim_id(), and isl_space_set_dim_name().
| __isl_give isl_space * isl_space_reset_tuple_id | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 679 of file isl_space.c.
References isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_id_free(), isl_space_cow(), isl_space_free(), and type.
Referenced by FN(), isl_map_reset_tuple_id(), isl_space_range_reverse(), and isl_space_set_tuple_name().
| __isl_give isl_space * isl_space_reset_user | ( | __isl_take isl_space * | space | ) |
Definition at line 913 of file isl_space.c.
References id, isl_id_alloc(), isl_id_free(), isl_id_get_name(), isl_id_get_user(), isl_space_cow(), isl_space_free(), isl_space_get_ctx(), isl_space_reset_user(), isl_space_restore_nested(), isl_space_take_nested(), name, and nested().
Referenced by FN(), isl_map_reset_user(), isl_space_reset_user(), and isl_union_map_reset_user().
|
static |
Definition at line 525 of file isl_space.c.
References isl_space_cow(), isl_space_free(), nested(), and pos().
Referenced by isl_space_move_dims(), isl_space_range_curry(), isl_space_range_reverse(), isl_space_replace_params(), and isl_space_reset_user().
| __isl_give isl_space * isl_space_reverse | ( | __isl_take isl_space * | space | ) |
Definition at line 1964 of file isl_space.c.
References equal, get_ids(), id, isl_alloc_array, isl_dim_in, isl_dim_out, isl_space_cow(), isl_space_free(), match(), isl_space::n_in, nested(), isl_space::nested, set_ids(), and t.
Referenced by all_later_sources(), coscheduled_source(), isl_basic_map_reverse(), isl_flow_alloc(), isl_map_reverse(), isl_set_flatten_map(), isl_space_domain(), isl_space_domain_product(), isl_space_from_domain(), isl_space_map_from_domain_and_range(), isl_space_product(), isl_space_range_product(), isl_space_range_reverse(), last_later_source(), project_out_fixed(), isl::space::reverse(), and union_floyd_warshall_on_list().
| __isl_give isl_space * isl_space_set_alloc | ( | isl_ctx * | ctx, |
| unsigned | nparam, | ||
| unsigned | dim | ||
| ) |
Definition at line 156 of file isl_space.c.
References isl_space_alloc(), and mark_as_set().
Referenced by polly::ScopBuilder::buildDomains(), compute_divs(), construct_product(), farkas(), generate_component(), identity_tuple_el(), ISL_ARG_BOOL(), isl_basic_set_alloc(), isl_schedule_node_group(), isl_space_wrap(), isl_union_set_coefficients(), read_multi_union_pw_aff_core(), setup_carry_lp(), setup_lp(), isl::space::space(), test_aff(), test_construction_1(), test_construction_2(), test_div(), test_lex(), test_parse_mpa(), test_parse_mupa(), valid_direction_lp(), polly::SCEVAffinator::visit(), polly::SCEVAffinator::visitAddRecExpr(), and polly::SCEVAffinator::visitConstant().
| __isl_give isl_space * isl_space_set_dim_id | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_take isl_id * | id | ||
| ) |
Definition at line 704 of file isl_space.c.
References get_id(), isl_dim_param, isl_id_copy(), isl_id_free(), isl_space_cow(), isl_space_free(), isl_space_set_dim_id(), pos(), set_id(), and type.
Referenced by add_bind_params(), FN(), isl_ast_build_get_schedule_space(), isl_local_space_set_dim_id(), isl_map_set_dim_id(), isl_parameter_alignment_reordering(), isl_space_add_param_id(), isl_space_copy_ids_if_unset(), isl_space_set_dim_id(), isl_space_set_dim_name(), isl_space_unbind_params_insert_domain(), isl::space::set_dim_id(), and polly::SCEVAffinator::visit().
| __isl_give isl_space * isl_space_set_dim_name | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
Definition at line 831 of file isl_space.c.
References id, isl_id_alloc(), isl_space_free(), isl_space_reset_dim_id(), isl_space_set_dim_id(), name_ok(), pos(), and type.
| __isl_give isl_space * isl_space_set_domain_tuple_id | ( | __isl_take isl_space * | space, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 660 of file isl_space.c.
References isl_dim_in, isl_space_check_is_map(), isl_space_free(), and isl_space_set_tuple_id().
Referenced by isl::space::set_domain_tuple().
| __isl_give isl_space * isl_space_set_from_params | ( | __isl_take isl_space * | space | ) |
Definition at line 2227 of file isl_space.c.
References isl_die, isl_dim_set, isl_error_invalid, isl_space_free(), isl_space_get_ctx(), isl_space_is_params(), and isl_space_reset().
Referenced by append_range(), build_ast_from_domain(), cluster_space(), collect_filter_prefix_expansion(), construct_insertion_map(), extension_from_domain(), increment(), insert_dummy_tags(), isl_ast_build_from_context(), isl_ast_build_insert_dim(), isl_basic_set_from_params(), isl_local_space_set_from_params(), isl_schedule_node_get_prefix_schedule_multi_union_pw_aff(), isl_schedule_node_get_prefix_schedule_relation(), isl_schedule_node_get_prefix_schedule_union_pw_multi_aff(), isl_set_from_params(), isl_space_add_unnamed_tuple_ui(), loop_type_space(), MULTI(), read_tuple_list(), isl::space::set_from_params(), subtree_schedule_extend_from_children(), and test_multi_pw_aff_3().
| __isl_give isl_space * isl_space_set_range_tuple_id | ( | __isl_take isl_space * | space, |
| __isl_take isl_id * | id | ||
| ) |
Definition at line 671 of file isl_space.c.
References isl_dim_out, isl_space_check_is_map(), isl_space_free(), and isl_space_set_tuple_id().
Referenced by isl::space::set_range_tuple().
| __isl_give isl_space * isl_space_set_tuple_id | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type, | ||
| __isl_take isl_id * | id | ||
| ) |
Definition at line 636 of file isl_space.c.
References id, isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_id_free(), isl_space_cow(), isl_space_free(), and type.
Referenced by cluster_space(), FN(), insert_dummy_tags(), isl_basic_map_set_tuple_id(), isl_local_space_set_tuple_id(), isl_map_set_tuple_id(), isl_schedule_node_group(), isl_space_add_named_tuple_id_ui(), isl_space_extend_domain_with_range(), isl_space_set_domain_tuple_id(), isl_space_set_range_tuple_id(), isl_space_set_tuple_name(), mark_as_params(), mark_as_set(), isl::space::set_tuple_id(), and tag().
| __isl_give isl_space * isl_space_set_tuple_name | ( | __isl_take isl_space * | space, |
| enum isl_dim_type | type, | ||
| const char * | s | ||
| ) |
Definition at line 785 of file isl_space.c.
References id, isl_id_alloc(), isl_space_free(), isl_space_reset_tuple_id(), isl_space_set_tuple_id(), name_ok(), and type.
Referenced by ISL_ARG_BOOL(), isl_ast_build_get_option_domain(), isl_ast_build_get_separation_class(), isl_basic_map_set_tuple_name(), isl_map_set_tuple_name(), isl_schedule_band_get_ast_isolate_option(), isl_space_coefficients(), isl_space_lift(), loop_type_space(), MULTI(), read_tuple_space(), test_parse_mpa(), and test_parse_mupa().
|
static |
Definition at line 505 of file isl_space.c.
References isl_space_get_nested(), nested(), isl_space::nested, and pos().
Referenced by isl_space_move_dims(), isl_space_range_curry(), isl_space_range_reverse(), isl_space_replace_params(), and isl_space_reset_user().
| isl_bool isl_space_tuple_is_equal | ( | __isl_keep isl_space * | space1, |
| enum isl_dim_type | type1, | ||
| __isl_keep isl_space * | space2, | ||
| enum isl_dim_type | type2 | ||
| ) |
Definition at line 1047 of file isl_space.c.
References isl_bool_error, isl_bool_false, isl_bool_true, isl_space_has_equal_tuples(), n, nested(), and tuple_id().
Referenced by check_basic_map_compatible_range_multi_aff(), check_space_multi_union_pw_aff(), check_space_multi_val(), FN(), gen_range_product_entry(), isl_aff_check_match_domain_space(), isl_ast_build_from_multi_pw_aff(), isl_basic_map_applies_range(), isl_basic_map_apply_domain(), isl_basic_map_is_transformation(), isl_basic_map_set_tuple_is_equal(), isl_map_space_tuple_is_equal(), isl_map_tuple_is_equal(), isl_multi_pw_aff_order_map(), isl_multi_union_pw_aff_intersect_range(), isl_pw_aff_check_match_domain_space(), isl_space_domain_product(), isl_space_has_domain_tuples(), isl_space_has_equal_tuples(), isl_space_has_range_tuples(), isl_space_join(), isl_space_range_product(), isl_space_range_reverse(), isl_space_wrapped_tuple_is_equal(), join_compatible(), match(), pa_pb_pma(), pullback_entry(), and pw_multi_aff_set_pw_aff().
| __isl_give isl_space * isl_space_unbind_params_insert_domain | ( | __isl_take isl_space * | space, |
| __isl_keep isl_multi_id * | tuple | ||
| ) |
Definition at line 2446 of file isl_space.c.
References id, isl_dim_param, isl_dim_set, isl_id_free(), isl_space_drop_dims(), isl_space_find_dim_by_id(), isl_space_free(), isl_space_insert_domain(), isl_space_set_dim_id(), n, pos(), and tuple.
Referenced by isl_reordering_unbind_params_insert_domain().
| __isl_give isl_space * isl_space_uncurry | ( | __isl_take isl_space * | space | ) |
Definition at line 3202 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_can_uncurry(), isl_space_copy(), isl_space_domain(), isl_space_free(), isl_space_from_domain(), isl_space_from_range(), isl_space_join(), isl_space_range(), isl_space_unwrap(), and isl_space_wrap().
Referenced by isl_basic_map_uncurry(), isl_map_uncurry(), and isl::space::uncurry().
| __isl_give isl_space * isl_space_underlying | ( | __isl_take isl_space * | space, |
| unsigned | n_div | ||
| ) |
Definition at line 2480 of file isl_space.c.
References get_id(), isl_dim_in, isl_dim_out, isl_id_free(), isl_space_cow(), isl_space_free(), isl_space_is_set(), isl_space_reset(), and mark_as_set().
Referenced by isl_basic_map_underlying_set(), and isl_map_underlying_set().
| __isl_give isl_space * isl_space_unit | ( | isl_ctx * | ctx | ) |
Definition at line 205 of file isl_space.c.
References isl_space_params_alloc().
Referenced by FN(), isl_union_map_empty_ctx(), test_union_set_contains(), and isl::space::unit().
| __isl_give isl_space * isl_space_unwrap | ( | __isl_take isl_space * | space | ) |
Definition at line 2857 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_copy(), isl_space_free(), isl_space_is_wrapping(), and unwrap.
Referenced by accept_extended_affine(), coef_var_offset(), embed_options(), generate_code_set(), isl_basic_set_unwrap(), isl_pw_multi_aff_preimage_domain_wrapped_domain_pw_multi_aff(), isl_pw_qpolynomial_fold_bound(), isl_set_unwrap(), isl_space_check_domain_wrapped_domain_tuples(), isl_space_curry(), isl_space_solutions(), isl_space_uncurry(), isl_space_zip(), lp_add_inter(), lp_add_intra(), range_map(), read_space_tuples(), sched_info_alloc(), and isl::space::unwrap().
| __isl_give isl_space * isl_space_wrap | ( | __isl_take isl_space * | space | ) |
Definition at line 2832 of file isl_space.c.
References copy_ids(), isl_dim_in, isl_dim_out, isl_dim_param, isl_dim_set, isl_space_free(), isl_space_set_alloc(), and wrap.
Referenced by accept_ternary(), isl_ast_build_get_separation_class(), isl_basic_map_wrap(), isl_local_space_wrap(), isl_map_power(), isl_map_wrap(), isl_schedule_band_get_ast_isolate_option(), isl_space_coefficients(), isl_space_curry(), isl_space_domain_map(), isl_space_domain_product(), isl_space_lift(), isl_space_product(), isl_space_range_map(), isl_space_range_product(), isl_space_uncurry(), isl_space_zip(), loop_type_space(), read_tuple_var_def(), read_var_def(), resolve_paren_expr(), update_piecewise_affine_colon(), and isl::space::wrap().
| isl_size isl_space_wrapped_dim | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | outer, | ||
| enum isl_dim_type | inner | ||
| ) |
Definition at line 350 of file isl_space.c.
References isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_size_error, isl_space_dim(), isl_space_get_ctx(), isl_space_peek_nested(), and pos().
Referenced by isl_basic_map_range_reverse().
| isl_bool isl_space_wrapped_tuple_is_equal | ( | __isl_keep isl_space * | space1, |
| enum isl_dim_type | outer, | ||
| enum isl_dim_type | inner, | ||
| __isl_keep isl_space * | space2, | ||
| enum isl_dim_type | type2 | ||
| ) |
Definition at line 1080 of file isl_space.c.
References isl_bool_error, isl_die, isl_dim_in, isl_dim_out, isl_error_invalid, isl_space_get_ctx(), isl_space_peek_nested(), isl_space_tuple_is_equal(), nested(), and pos().
Referenced by isl_space_check_wrapped_tuple_is_equal(), and preimage_domain_wrapped_domain_entry().
| __isl_give isl_space * isl_space_zip | ( | __isl_take isl_space * | space | ) |
Definition at line 3089 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_can_zip(), isl_space_copy(), isl_space_domain(), isl_space_free(), isl_space_from_domain(), isl_space_from_range(), isl_space_join(), isl_space_range(), isl_space_unwrap(), and isl_space_wrap().
Referenced by isl_basic_map_zip(), and isl_map_zip().
|
static |
Definition at line 168 of file isl_space.c.
References isl_dim_in, isl_dim_out, isl_id_none, and isl_space_set_tuple_id().
Referenced by isl_space_params(), and isl_space_params_alloc().
|
static |
Definition at line 59 of file isl_space.c.
References isl_dim_in, isl_id_none, isl_space_cow(), and isl_space_set_tuple_id().
Referenced by isl_space_domain(), isl_space_range(), isl_space_set_alloc(), and isl_space_underlying().
|
static |
Definition at line 1112 of file isl_space.c.
References equal, get_id(), isl_bool_error, isl_bool_false, isl_bool_true, isl_space_tuple_is_equal(), and n.
Referenced by apply_range_entry(), check_match(), check_space_match(), domain_product_entry(), flat_domain_product_entry(), flat_range_product_entry(), gen_range_product_entry(), is_subset_of_identity(), isl_aff_check_match_domain_space(), isl_aff_matching_params(), isl_basic_map_check_equal_params(), isl_map_plain_is_disjoint(), isl_map_plain_is_disjoint_global(), isl_multi_pw_aff_order_map(), isl_multi_union_pw_aff_intersect_range(), isl_pw_aff_check_match_domain_space(), isl_pw_aff_matching_params(), isl_space_has_equal_ids(), isl_space_has_equal_params(), isl_space_match(), isl_space_reverse(), isl_union_pw_aff_check_match_domain_space(), isl_union_pw_aff_matching_params(), isl_union_pw_aff_reset_domain_space(), map_lex_le_entry(), map_lex_lt_entry(), preimage_domain_wrapped_domain_entry(), preimage_multi_pw_aff(), preimage_pw_multi_aff(), and range_product_entry().
|
static |
Definition at line 328 of file isl_space.c.
References isl_dim_all, isl_dim_in, isl_dim_out, isl_dim_param, and type.
|
static |
Definition at line 476 of file isl_space.c.
References isl_die, isl_error_invalid, and p.
Referenced by isl_space_set_dim_name(), and isl_space_set_tuple_name().
|
static |
Definition at line 982 of file isl_space.c.
References isl_dim_in, isl_dim_out, isl_space::nested, and type.
Referenced by check_coalesce_eq(), isl_space_cmp_type(), isl_space_domain_factor_domain(), isl_space_domain_factor_range(), isl_space_extend_domain_with_range(), isl_space_may_be_set(), isl_space_move_dims(), isl_space_range_curry(), isl_space_range_reverse(), isl_space_replace_params(), isl_space_reset_user(), isl_space_restore_nested(), isl_space_reverse(), isl_space_take_nested(), isl_space_tuple_is_equal(), isl_space_wrapped_tuple_is_equal(), range_factor_domain(), and range_factor_range().
|
static |
Definition at line 318 of file isl_space.c.
References isl_dim_in, isl_dim_out, isl_dim_param, and type.
|
static |
Definition at line 1716 of file isl_space.c.
References domain, isl_dim_out, isl_id_copy(), isl_space_copy(), isl_space_drop_dims(), isl_space_free(), isl_space::n_in, isl_space::n_out, nested(), isl_space::nested, and isl_space::tuple_id.
|
static |
Definition at line 1792 of file isl_space.c.
References isl_dim_out, isl_id_copy(), isl_space_copy(), isl_space_drop_dims(), isl_space_free(), isl_space::n_in, nested(), isl_space::nested, range, and isl_space::tuple_id.
|
static |
Definition at line 1762 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_free(), isl_space_get_ctx(), isl_space_is_wrapping(), and range_factor_domain.
Referenced by isl_space_factor_domain().
|
static |
Definition at line 1837 of file isl_space.c.
References isl_die, isl_error_invalid, isl_space_free(), isl_space_get_ctx(), isl_space_is_wrapping(), and range_factor_range.
Referenced by isl_space_factor_range().
|
static |
Definition at line 264 of file isl_space.c.
References extend_ids(), global_pos(), id, isl_id_free(), isl_space_cow(), isl_space_free(), pos(), and type.
Referenced by copy_ids(), isl_space_drop_dims(), isl_space_reset_dim_id(), isl_space_set_dim_id(), and set_ids().
|
static |
Definition at line 1952 of file isl_space.c.
References n, set_id(), and type.
Referenced by isl_space_reverse().
|
static |
Definition at line 551 of file isl_space.c.
References isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_space_is_params(), isl_space_is_set(), and type.
Referenced by isl_space_has_tuple_id(), and isl_space_has_tuple_name().
|
static |
Definition at line 1175 of file isl_space.c.
References get_ids(), isl_assert, isl_calloc_array, isl_die, isl_dim_in, isl_dim_out, isl_dim_param, isl_error_invalid, isl_space_cow(), isl_space_free(), isl_space_get_ctx(), and n.
Referenced by isl_space_add_dims(), and isl_space_extend().
|
static |
Definition at line 970 of file isl_space.c.
References isl_dim_in, isl_dim_out, and type.
Referenced by isl_hash_tuples(), isl_hash_tuples_domain(), isl_space_add_named_tuple_id_ui(), isl_space_cmp_type(), and isl_space_tuple_is_equal().
|
static |
Definition at line 1292 of file isl_space.c.
References isl_dim_in, isl_dim_out, isl_dim_param, and type.
Referenced by isl_space_drop_dims(), and isl_space_insert_dims().
1.9.6