|
Polly 20.0.0git
|
#include <isl/aff_type.h>#include <isl/space_type.h>#include <isl/printer.h>#include <isl/map_type.h>Go to the source code of this file.
Typedefs | |
| typedef struct isl_local_space | isl_local_space |
| typedef struct isl_local_space isl_local_space |
Definition at line 14 of file local_space.h.
| __isl_give isl_local_space * isl_local_space_add_dims | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | n | ||
| ) |
Definition at line 1022 of file isl_local_space.c.
References isl_local_space_dim(), isl_local_space_free(), isl_local_space_insert_dims(), n, pos(), and type.
Referenced by isl_aff_get_local_space().
| __isl_give isl_local_space * isl_local_space_copy | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 99 of file isl_local_space.c.
References isl_local_space::ref.
Referenced by add_rational(), isl::local_space::copy(), drop_unknown_divs_and_extract_div(), extract_aff_from_equality(), extract_div(), extract_rational(), isl_aff_dup(), isl_aff_get_domain_local_space(), isl_aff_get_local_space(), isl_aff_val_on_domain(), isl_basic_map_from_constraint(), isl_constraint_dup(), isl_constraint_get_aff(), isl_constraint_get_bound(), isl_constraint_get_local_space(), isl_morph_get_var_multi_aff(), isl_multi_aff_domain_map(), isl_multi_aff_from_aff_mat(), isl_multi_aff_multi_val_on_domain_space(), isl_multi_aff_project_out_map(), isl_multi_aff_range_map(), isl_sched_node_extract_partial_schedule_multi_aff(), isl_set_indicator_function(), MULTI(), plug_in_integral_divs(), range_map(), replace_space_by_local_space(), set_from_affine_matrix(), set_minimum_pa(), set_up_substitutions(), swap_div(), test_construction_1(), and test_div().
| isl_size isl_local_space_dim | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type | ||
| ) |
Definition at line 228 of file isl_local_space.c.
References isl_dim_all, isl_dim_div, isl_size_error, isl_space_dim(), and type.
Referenced by basic_replace_space_by_local_space(), drop_unknown_divs_and_extract_div(), insert_divs_from_local_space(), isl_aff_alloc(), isl_aff_domain_dim(), isl_basic_map_constraint(), isl_basic_map_from_local_space(), isl_constraint_alloc(), isl_local_space_add_dims(), isl_local_space_domain(), isl_local_space_get_active(), isl_local_space_lift_basic_set(), isl_local_space_lift_point(), isl_local_space_lift_set(), isl_local_space_preimage_multi_aff(), isl_local_space_range(), isl_local_space_substitute(), isl_local_space_substitute_equalities(), isl_printer_print_local_space(), n(), print_constraint_c(), print_ls_affine_c(), set_from_affine_matrix(), and set_ma_divs().
| __isl_give isl_local_space * isl_local_space_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 970 of file isl_local_space.c.
References isl_dim_out, isl_local_space_cow(), isl_local_space_dim(), isl_local_space_drop_dims(), isl_local_space_free(), and isl_space_domain().
Referenced by extract_aff_from_equality().
| __isl_give isl_local_space * isl_local_space_drop_dims | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 1281 of file isl_local_space.c.
References isl_dim_div, isl_local_space_check_range(), isl_local_space_cow(), isl_local_space_free(), isl_local_space_is_named_or_nested(), isl_local_space_offset(), isl_mat_drop_cols(), isl_mat_drop_rows(), isl_space_drop_dims(), n, and type.
Referenced by compute_divs(), drop_unknown_divs_and_extract_div(), isl_aff_drop_dims(), isl_aff_remove_unused_divs(), isl_local_space_domain(), isl_local_space_range(), and sol_push_sol_mat().
| void isl_local_space_dump | ( | __isl_keep isl_local_space * | ls | ) |
| int isl_local_space_find_dim_by_name | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
Definition at line 294 of file isl_local_space.c.
References isl_dim_div, isl_space_find_dim_by_name(), name, and type.
Referenced by isl_aff_find_dim_by_name().
| __isl_give isl_local_space * isl_local_space_flatten_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 1691 of file isl_local_space.c.
References isl_local_space_cow(), isl_local_space_free(), and isl_space_flatten_domain().
| __isl_give isl_local_space * isl_local_space_flatten_range | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 1715 of file isl_local_space.c.
References isl_local_space_cow(), isl_local_space_free(), and isl_space_flatten_range().
| __isl_null isl_local_space * isl_local_space_free | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 129 of file isl_local_space.c.
References isl_mat_free(), and isl_space_free().
Referenced by basic_replace_space_by_local_space(), drop_unknown_divs_and_extract_div(), extract_aff_from_equality(), extract_rational(), harmonize_divs_with_hulls(), isl_aff_alloc(), isl_aff_alloc_vec(), isl_aff_alloc_vec_validated(), isl_aff_free(), isl_aff_restore_domain_local_space(), isl_aff_val_on_domain(), isl_aff_var_on_domain(), isl_ast_expr_from_aff(), isl_ast_expr_from_constraint_no_stride(), isl_basic_map_constraint(), isl_basic_map_from_local_space(), isl_basic_map_get_div(), isl_constraint_alloc(), isl_constraint_alloc_vec(), isl_constraint_free(), isl_local_space_add_dims(), isl_local_space_add_div(), isl_local_space_alloc_div(), isl_local_space_domain(), isl_local_space_drop_dims(), isl_local_space_flatten_domain(), isl_local_space_flatten_range(), isl_local_space_from_domain(), isl_local_space_insert_dims(), isl_local_space_intersect(), isl_local_space_lift(), isl_local_space_lift_basic_set(), isl_local_space_lift_point(), isl_local_space_lift_set(), isl_local_space_lifting(), isl_local_space_move_dims(), isl_local_space_preimage_multi_aff(), isl_local_space_range(), isl_local_space_replace_divs(), isl_local_space_reset_space(), isl_local_space_restore_local(), isl_local_space_restore_space(), isl_local_space_set_dim_id(), isl_local_space_set_dim_name(), isl_local_space_set_tuple_id(), isl_local_space_substitute(), isl_local_space_substitute_equalities(), isl_local_space_substitute_seq(), isl_local_space_swap_div(), isl_local_space_wrap(), isl_morph_get_var_multi_aff(), isl_multi_aff_domain_map(), isl_multi_aff_from_aff_mat(), isl_multi_aff_multi_val_on_domain_space(), isl_multi_aff_project_out_map(), isl_multi_aff_range_map(), isl_printer_print_constraint(), isl_sched_node_extract_partial_schedule_multi_aff(), isl_val_zero_on_domain(), MULTI(), plug_in_integral_divs(), print_basic_set_c(), range_map(), replace_space_by_local_space(), set_from_affine_matrix(), set_ma_divs(), set_minimum_pa(), set_up_substitutions(), swap_div(), test_construction_1(), test_div(), and isl::local_space::~local_space().
| __isl_give isl_local_space * isl_local_space_from_domain | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 1010 of file isl_local_space.c.
References isl_local_space_cow(), isl_local_space_free(), and isl_space_from_domain().
Referenced by isl_aff_get_local_space().
| __isl_give isl_local_space * isl_local_space_from_space | ( | __isl_take isl_space * | space | ) |
Definition at line 93 of file isl_local_space.c.
References isl_local_space_alloc().
Referenced by accept_affine(), accept_affine_factor(), BFN(), polly::ScopBuilder::buildUnsignedConditionSets(), compute_size(), constraint_order_ge(), construct_insertion_map(), construct_shifted_executed(), identity_tuple_el_on_space(), isl_aff_nan_on_domain_space(), isl_aff_param_on_domain_space_id(), isl_aff_val_on_domain_space(), isl_aff_zero_in_space(), isl_aff_zero_on_domain_space(), isl_fixed_box_invalidate(), isl_local_space_alloc(), isl_morph_get_var_multi_aff(), isl_multi_aff_domain_map(), isl_multi_aff_from_aff_mat(), isl_multi_aff_lift(), isl_multi_aff_multi_val_on_domain_space(), isl_multi_aff_project_out_map(), isl_multi_aff_range_map(), isl_pw_aff_cond(), isl_pw_aff_val_on_domain(), isl_sched_node_extract_partial_schedule_multi_aff(), isl_set_indicator_function(), list_add_one(), isl::local_space::local_space(), map_bound_pw_aff(), map_from_tuple(), MULTI(), nan_on_domain_set(), pw_aff_gte_set(), pw_multi_aff_from_map_div(), pw_multi_aff_from_map_stride(), range_map(), set_detect_stride(), set_minimum_pa(), test_aff(), test_construction_1(), test_div(), polly::SCEVAffinator::visit(), polly::SCEVAffinator::visitAddRecExpr(), and polly::SCEVAffinator::visitConstant().
| isl_ctx * isl_local_space_get_ctx | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 25 of file isl_local_space.c.
Referenced by isl::local_space::ctx(), isl_aff_alloc(), isl_aff_alloc_vec(), isl_aff_get_ctx(), isl_constraint_alloc(), isl_constraint_get_ctx(), isl_local_space_add_div(), isl_local_space_check_has_space(), isl_local_space_get_active(), isl_local_space_get_div(), isl_local_space_intersect(), isl_local_space_lifting(), isl_local_space_move_dims(), isl_local_space_preimage_multi_aff(), isl_local_space_substitute(), isl_local_space_substitute_equalities(), isl_local_space_substitute_seq(), isl_local_space_swap_div(), isl_local_space_var_offset(), isl_val_zero_on_domain(), var(), and var_div().
| __isl_give isl_id * isl_local_space_get_dim_id | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 324 of file isl_local_space.c.
References isl_space_get_dim_id(), pos(), and type.
Referenced by var().
| const char * isl_local_space_get_dim_name | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 312 of file isl_local_space.c.
References isl_space_get_dim_name(), pos(), and type.
Referenced by isl_aff_get_dim_name(), and isl_constraint_get_dim_name().
| __isl_give isl_aff * isl_local_space_get_div | ( | __isl_keep isl_local_space * | ls, |
| int | pos | ||
| ) |
Definition at line 385 of file isl_local_space.c.
References drop_unknown_divs_and_extract_div(), extract_div(), isl_die, isl_error_invalid, isl_local_space_div_is_known(), isl_local_space_divs_known(), isl_local_space_get_ctx(), isl_local_space_is_set(), and pos().
Referenced by harmonize_divs_with_hulls(), isl_aff_get_div(), isl_basic_map_get_div(), isl_constraint_get_div(), set_up_substitutions(), and var_div().
| __isl_give isl_space * isl_local_space_get_space | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 426 of file isl_local_space.c.
References isl_local_space_peek_space(), and isl_space_copy().
Referenced by basic_replace_space_by_local_space(), isl_aff_get_space(), isl_aff_var_on_domain(), isl_basic_map_from_local_space(), isl_constraint_get_space(), isl_local_space_take_space(), isl_printer_print_constraint(), and replace_space_by_local_space().
| isl_bool isl_local_space_has_dim_id | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 318 of file isl_local_space.c.
References isl_bool_error, isl_space_has_dim_id(), pos(), and type.
Referenced by var().
| isl_bool isl_local_space_has_dim_name | ( | __isl_keep isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 306 of file isl_local_space.c.
References isl_bool_error, isl_space_has_dim_name(), pos(), and type.
| __isl_give isl_local_space * isl_local_space_insert_dims | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 1313 of file isl_local_space.c.
References isl_dim_div, isl_local_space_check_range(), isl_local_space_cow(), isl_local_space_free(), isl_local_space_is_named_or_nested(), isl_local_space_offset(), isl_mat_insert_zero_cols(), isl_mat_insert_zero_rows(), isl_space_insert_dims(), n, and type.
Referenced by isl_aff_insert_dims(), and isl_local_space_add_dims().
| __isl_give isl_local_space * isl_local_space_intersect | ( | __isl_take isl_local_space * | ls1, |
| __isl_take isl_local_space * | ls2 | ||
| ) |
Definition at line 877 of file isl_local_space.c.
References equal, isl_alloc_array, isl_die, isl_error_invalid, isl_local_space_cow(), isl_local_space_free(), isl_local_space_get_ctx(), isl_mat_free(), isl_mat_is_equal(), isl_merge_divs(), and isl_space_is_equal().
| isl_bool isl_local_space_is_equal | ( | __isl_keep isl_local_space * | ls1, |
| __isl_keep isl_local_space * | ls2 | ||
| ) |
Definition at line 187 of file isl_local_space.c.
References equal, isl_bool_false, isl_local_space_divs_known(), isl_local_space_has_equal_space(), and isl_mat_is_equal().
Referenced by isl_aff_align_divs(), isl_aff_plain_is_equal(), and isl_constraint_is_equal().
| isl_bool isl_local_space_is_params | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 148 of file isl_local_space.c.
References isl_bool_error, and isl_space_is_params().
| isl_bool isl_local_space_is_set | ( | __isl_keep isl_local_space * | ls | ) |
Definition at line 157 of file isl_local_space.c.
References isl_bool_error, and isl_space_is_set().
Referenced by isl_aff_alloc_vec(), isl_local_space_get_div(), and isl_local_space_lifting().
| __isl_give isl_basic_map * isl_local_space_lifting | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 1514 of file isl_local_space.c.
References isl_basic_map_domain_map(), isl_basic_map_reverse(), isl_basic_set_from_local_space(), isl_basic_set_lift(), isl_basic_set_unwrap(), isl_die, isl_error_invalid, isl_local_space_free(), isl_local_space_get_ctx(), and isl_local_space_is_set().
| __isl_give isl_local_space * isl_local_space_range | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 988 of file isl_local_space.c.
References isl_dim_in, isl_local_space_cow(), isl_local_space_dim(), isl_local_space_drop_dims(), isl_local_space_free(), and isl_space_range().
| __isl_give isl_local_space * isl_local_space_set_dim_id | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| __isl_take isl_id * | id | ||
| ) |
Definition at line 581 of file isl_local_space.c.
References isl_id_free(), isl_local_space_cow(), isl_local_space_free(), isl_space_set_dim_id(), pos(), and type.
Referenced by isl_aff_set_dim_id().
| __isl_give isl_local_space * isl_local_space_set_dim_name | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| unsigned | pos, | ||
| const char * | s | ||
| ) |
Definition at line 567 of file isl_local_space.c.
References isl_local_space_cow(), isl_local_space_free(), isl_space_set_dim_name(), pos(), and type.
Referenced by isl_aff_set_dim_name().
| __isl_give isl_local_space * isl_local_space_set_from_params | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 600 of file isl_local_space.c.
References isl_local_space_restore_space(), isl_local_space_take_space(), and isl_space_set_from_params().
Referenced by isl_aff_from_range().
| __isl_give isl_local_space * isl_local_space_set_tuple_id | ( | __isl_take isl_local_space * | ls, |
| enum isl_dim_type | type, | ||
| __isl_take isl_id * | id | ||
| ) |
Definition at line 551 of file isl_local_space.c.
References isl_id_free(), isl_local_space_cow(), isl_local_space_free(), isl_space_set_tuple_id(), and type.
Referenced by isl_aff_set_tuple_id().
| __isl_give isl_local_space * isl_local_space_wrap | ( | __isl_take isl_local_space * | ls | ) |
Definition at line 1739 of file isl_local_space.c.
References isl_local_space_cow(), isl_local_space_free(), and isl_space_wrap().
Referenced by harmonize_divs_with_hulls(), and set_up_substitutions().
| __isl_give isl_printer * isl_printer_print_local_space | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_local_space * | ls | ||
| ) |
Definition at line 2476 of file isl_output.c.
References isl_dim_div, isl_local_space_dim(), isl_print_space(), isl_printer_free(), isl_printer_print_str(), isl_space_is_params(), p, print_div_list(), print_param_tuple(), s_close_exists, s_open_exists, and s_such_that.
1.9.6