|
Polly 22.0.0git
|
Go to the source code of this file.
Classes | |
| struct | isl_space |
| __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_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().
| 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 | ( | __isl_keep isl_space * | space, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
| 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().
| __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_extend_domain_with_range | ( | __isl_take isl_space * | domain, |
| __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_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().
| 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().
| 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_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_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_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_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_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_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_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_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().
| 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_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_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_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_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_stream_read_space | ( | __isl_keep isl_stream * | s | ) |
Definition at line 1832 of file isl_input.c.
References isl_space_free(), isl_stream_eat(), isl_stream_eat_if_available(), read_params(), read_space_tuples(), vars::v, vars_free(), and vars_new().
1.9.6