|
Polly 20.0.0git
|
#include <isl/id.h>#include <isl/space.h>#include <isl/stream.h>#include <isl_ast_private.h>#include <isl_ast_build_expr.h>#include <isl_ast_build_private.h>#include <isl_ast_graft_private.h>#include "isl_set_to_ast_graft_list.h"#include <isl_list_templ.c>#include <isl_list_read_templ.c>#include <print_templ.c>#include "extract_key.c"Go to the source code of this file.
Classes | |
| struct | isl_insert_if_data |
| struct | isl_if_node |
| struct | isl_split_on_guard_data |
Macros | |
| #define | EL_BASE ast_graft |
| #define | BASE ast_graft |
| #define | KEY enum isl_graft_key |
| #define | KEY_ERROR isl_graft_key_error |
| #define | KEY_END isl_graft_key_end |
| #define | KEY_STR key_str |
| #define | KEY_EXTRACT extract_key |
| #define | KEY_GET get_key |
Enumerations | |
| enum | isl_graft_key { isl_graft_key_error = -1 , isl_graft_key_guard , isl_graft_key_enforced , isl_graft_key_node , isl_graft_key_end } |
Variables | |
| static char * | key_str [] |
| #define BASE ast_graft |
Definition at line 36 of file isl_ast_graft.c.
| #define EL_BASE ast_graft |
Definition at line 30 of file isl_ast_graft.c.
| #define KEY enum isl_graft_key |
Definition at line 1510 of file isl_ast_graft.c.
| #define KEY_END isl_graft_key_end |
Definition at line 1514 of file isl_ast_graft.c.
| #define KEY_ERROR isl_graft_key_error |
Definition at line 1512 of file isl_ast_graft.c.
| #define KEY_EXTRACT extract_key |
Definition at line 1518 of file isl_ast_graft.c.
| #define KEY_GET get_key |
Definition at line 1520 of file isl_ast_graft.c.
| #define KEY_STR key_str |
Definition at line 1516 of file isl_ast_graft.c.
| enum isl_graft_key |
| Enumerator | |
|---|---|
| isl_graft_key_error | |
| isl_graft_key_guard | |
| isl_graft_key_enforced | |
| isl_graft_key_node | |
| isl_graft_key_end | |
Definition at line 1468 of file isl_ast_graft.c.
|
static |
Definition at line 1406 of file isl_ast_graft.c.
References isl_set_free(), isl_stat_non_null(), and user.
Referenced by reconstruct().
|
static |
Definition at line 1355 of file isl_ast_graft.c.
References isl_split_on_guard_data::any_match, isl_split_on_guard_data::guard2list, isl_ast_graft_free(), isl_set_copy(), isl_stat_error, isl_stat_non_null(), m, and user.
Referenced by split_on_guard().
|
static |
Definition at line 938 of file isl_ast_graft.c.
References isl_if_node::guard, isl_ast_graft_alloc_from_children(), isl_ast_graft_list_extract_hoistable_guard(), and isl_ast_graft_list_extract_shared_enforced().
Referenced by isl_ast_graft_fuse(), and isl_ast_graft_list_fuse().
|
static |
Definition at line 312 of file isl_ast_graft.c.
References isl_insert_if_data::build, insert_if(), isl_ast_build_expr_from_set_internal(), isl_ast_build_get_ctx(), isl_ast_node_alloc_block(), isl_ast_node_alloc_if(), isl_ast_node_free(), isl_ast_node_if_set_then(), isl_options_get_ast_build_allow_or(), isl_set_foreach_basic_set(), isl_set_free(), isl_set_make_disjoint(), isl_set_n_basic_set(), isl_insert_if_data::list, n, and isl_insert_if_data::node.
Referenced by insert_if(), and insert_if_node().
|
static |
Definition at line 561 of file isl_ast_graft.c.
References isl_set_free(), and n.
Referenced by insert_pending_guard_nodes().
|
static |
Definition at line 1221 of file isl_ast_graft.c.
References a(), b(), and isl_set_plain_cmp().
Referenced by isl_ast_graft_list_sort_guard().
|
static |
Definition at line 129 of file isl_ast_graft.c.
References equal, isl_ast_graft::guard, isl_ast_build_get_depth(), isl_ast_graft_free(), isl_bool_error, isl_bool_false, isl_bool_not(), isl_bool_true, isl_dim_set, isl_set_dim(), isl_set_involves_dims(), isl_set_is_equal(), and n.
Referenced by isl_ast_graft_list_extract_hoistable_guard().
|
static |
Definition at line 463 of file isl_ast_graft.c.
References isl_ast_node_alloc_block(), isl_ast_node_block, isl_ast_node_block_get_children(), isl_ast_node_free(), isl_insert_if_data::list, and isl_insert_if_data::node.
Referenced by graft_extend_body().
|
static |
Definition at line 538 of file isl_ast_graft.c.
References isl_insert_if_data::build, graft_extend_body(), and isl_insert_if_data::list.
Referenced by insert_pending_guard_nodes().
|
static |
Definition at line 527 of file isl_ast_graft.c.
References isl_insert_if_data::build, graft_extend_body(), and isl_insert_if_data::list.
Referenced by insert_pending_guard_nodes().
|
static |
Definition at line 745 of file isl_ast_graft.c.
References isl_ast_graft_free(), isl_ast_graft_get_node(), n, and isl_if_node::node.
Referenced by isl_ast_graft_alloc_from_children(), and isl_ast_node_from_graft_list().
|
static |
Definition at line 845 of file isl_ast_graft.c.
References context, isl_ast_graft::guard, isl_ast_graft_free(), isl_set_copy(), isl_set_gist(), and n.
Referenced by isl_ast_graft_alloc_from_children(), and isl_ast_graft_list_gist_guards().
|
static |
Definition at line 55 of file isl_ast_graft.c.
References isl_ast_graft::enforced, isl_ast_graft::guard, isl_ast_node_free(), isl_ast_node_get_ctx(), isl_basic_set_free(), isl_calloc_type, isl_set_free(), isl_ast_graft::node, and isl_ast_graft::ref.
Referenced by isl_ast_graft_alloc(), and isl_stream_read_ast_graft().
|
static |
Definition at line 489 of file isl_ast_graft.c.
References isl_insert_if_data::build, extend_body(), isl_ast_build_get_depth(), isl_ast_build_get_space(), isl_ast_graft_free(), isl_ast_graft_set_enforced(), isl_ast_node_copy(), isl_basic_set_empty(), isl_insert_if_data::list, n, and update_enforced().
Referenced by extend_else(), and extend_then().
|
static |
Definition at line 182 of file isl_ast_graft.c.
References isl_ast_build_get_depth(), isl_dim_set, isl_set_compute_divs(), isl_set_dim(), isl_set_eliminate(), isl_set_free(), and isl_set_remove_divs_involving_dims().
Referenced by isl_ast_graft_list_extract_hoistable_guard().
|
static |
Definition at line 354 of file isl_ast_graft.c.
References ast_node_insert_if(), isl_insert_if_data::build, isl_ast_node_copy(), isl_set_from_basic_set(), isl_stat_ok, isl_insert_if_data::list, isl_insert_if_data::node, set, and user.
Referenced by ast_node_insert_if().
|
static |
Definition at line 371 of file isl_ast_graft.c.
References ast_node_insert_if(), isl_insert_if_data::build, isl_ast_graft_free(), isl_set_free(), and isl_set_plain_is_universe().
Referenced by insert_pending_guard_node().
|
static |
Definition at line 402 of file isl_ast_graft.c.
References isl_insert_if_data::build, insert_if_node(), and isl_set_copy().
Referenced by insert_pending_guard_nodes().
|
static |
Definition at line 589 of file isl_ast_graft.c.
References clear_if_nodes(), isl_if_node::complement, extend_else(), extend_then(), isl_if_node::guard, isl_ast_graft::guard, insert_pending_guard_node(), isl_alloc_array, isl_ast_build_get_ctx(), isl_ast_graft_free(), isl_options_get_ast_build_allow_else(), isl_set_copy(), isl_set_free(), isl_set_gist(), isl_set_intersect(), isl_set_is_subset(), isl_set_subtract(), n, isl_if_node::node, isl_ast_graft::node, res, set, subset, and test.
Referenced by isl_ast_graft_alloc_from_children(), isl_ast_graft_list_insert_pending_guard_nodes(), and isl_ast_node_from_graft_list().
| __isl_give isl_ast_graft * isl_ast_graft_add_guard | ( | __isl_take isl_ast_graft * | graft, |
| __isl_take isl_set * | guard, | ||
| __isl_keep isl_ast_build * | build | ||
| ) |
Definition at line 1102 of file isl_ast_graft.c.
References isl_if_node::guard, and store_guard().
Referenced by add_domain(), call_create_leaf(), and list_add_guard().
| __isl_give isl_ast_graft * isl_ast_graft_alloc | ( | __isl_take isl_ast_node * | node, |
| __isl_keep isl_ast_build * | build | ||
| ) |
Definition at line 84 of file isl_ast_graft.c.
References graft_alloc(), isl_ast_build_get_space(), isl_basic_set_universe(), isl_set_universe(), and isl_space_copy().
Referenced by call_create_leaf(), isl_ast_graft_alloc_domain(), and isl_ast_graft_alloc_from_children().
| __isl_give isl_ast_graft * isl_ast_graft_alloc_domain | ( | __isl_take isl_map * | executed, |
| __isl_keep isl_ast_build * | build | ||
| ) |
Definition at line 106 of file isl_ast_graft.c.
References isl_ast_build_call_from_executed(), and isl_ast_graft_alloc().
Referenced by add_domain().
| __isl_give isl_ast_graft * isl_ast_graft_alloc_from_children | ( | __isl_take isl_ast_graft_list * | list, |
| __isl_take isl_set * | guard, | ||
| __isl_take isl_basic_set * | enforced, | ||
| __isl_keep isl_ast_build * | build, | ||
| __isl_keep isl_ast_build * | sub_build | ||
| ) |
Definition at line 895 of file isl_ast_graft.c.
References extract_node_list(), gist_guards(), isl_if_node::guard, insert_pending_guard_nodes(), isl_ast_build_copy(), isl_ast_build_free(), isl_ast_build_replace_pending_by_guard(), isl_ast_graft_alloc(), isl_ast_graft_enforce(), isl_ast_node_from_ast_node_list(), isl_set_copy(), isl_if_node::node, and store_guard().
Referenced by ast_graft_list_fuse(), build_ast_from_guard(), create_node_scaled(), and hoist_out_of_context().
|
static |
Definition at line 116 of file isl_ast_graft.c.
References isl_ast_graft::ref.
| __isl_give isl_ast_graft * isl_ast_graft_enforce | ( | __isl_take isl_ast_graft * | graft, |
| __isl_take isl_basic_set * | enforced | ||
| ) |
Definition at line 1069 of file isl_ast_graft.c.
References isl_ast_graft_free(), isl_basic_set_align_params(), isl_basic_set_free(), isl_basic_set_get_space(), and isl_basic_set_intersect().
Referenced by isl_ast_graft_alloc_from_children(), set_enforced_from_list(), and set_enforced_from_set().
| __isl_null isl_ast_graft * isl_ast_graft_free | ( | __isl_take isl_ast_graft * | graft | ) |
Definition at line 1050 of file isl_ast_graft.c.
References isl_ast_node_free(), isl_basic_set_free(), and isl_set_free().
Referenced by add_to_guard_list(), after_each_for(), after_each_mark(), at_each_domain(), equal_independent_guards(), extract_node_list(), gist_guards(), graft_extend_body(), insert_if_node(), insert_pending_guard_nodes(), isl_ast_graft_enforce(), isl_ast_graft_insert_for(), isl_ast_graft_insert_mark(), isl_ast_graft_list_extract_hoistable_guard(), isl_ast_graft_list_extract_shared_enforced(), isl_ast_graft_list_insert_pending_guard_nodes(), isl_ast_graft_list_merge(), isl_ast_graft_preimage_multi_aff(), isl_ast_graft_set_enforced(), isl_ast_graft_unembed(), refine_degenerate(), refine_generic(), refine_generic_bounds(), refine_generic_split(), set_enforced_from_set(), set_for_cond_from_list(), set_for_cond_from_set(), set_for_node_expressions(), and store_guard().
|
static |
Definition at line 979 of file isl_ast_graft.c.
References ast_graft_list_fuse(), and isl_ast_build_get_ctx().
Referenced by isl_ast_graft_list_merge().
| isl_ctx * isl_ast_graft_get_ctx | ( | __isl_keep isl_ast_graft * | graft | ) |
Definition at line 39 of file isl_ast_graft.c.
References isl_basic_set_get_ctx().
Referenced by refine_generic_bounds().
| __isl_give isl_basic_set * isl_ast_graft_get_enforced | ( | __isl_keep isl_ast_graft * | graft | ) |
Definition at line 1089 of file isl_ast_graft.c.
References isl_basic_set_copy().
Referenced by isl_ast_graft_list_extract_hoistable_guard(), and update_enforced().
| __isl_give isl_set * isl_ast_graft_get_guard | ( | __isl_keep isl_ast_graft * | graft | ) |
Definition at line 1095 of file isl_ast_graft.c.
References isl_set_copy().
| __isl_give isl_ast_node * isl_ast_graft_get_node | ( | __isl_keep isl_ast_graft * | graft | ) |
Definition at line 46 of file isl_ast_graft.c.
References isl_ast_node_copy().
Referenced by extract_node_list().
| __isl_give isl_ast_graft * isl_ast_graft_insert_for | ( | __isl_take isl_ast_graft * | graft, |
| __isl_take isl_ast_node * | node | ||
| ) |
Definition at line 997 of file isl_ast_graft.c.
References isl_ast_graft_free(), isl_ast_node_for_set_body(), isl_ast_node_free(), isl_if_node::node, isl_ast_graft::node, and isl_ast_node::node.
Referenced by create_node_scaled().
| __isl_give isl_ast_graft * isl_ast_graft_insert_mark | ( | __isl_take isl_ast_graft * | graft, |
| __isl_take isl_id * | mark | ||
| ) |
Definition at line 1016 of file isl_ast_graft.c.
References isl_ast_graft_free(), isl_ast_node_alloc_mark(), isl_id_free(), and isl_ast_graft::node.
Referenced by build_ast_from_mark().
| __isl_give isl_set * isl_ast_graft_list_extract_hoistable_guard | ( | __isl_keep isl_ast_graft_list * | list, |
| __isl_keep isl_ast_build * | build | ||
| ) |
Definition at line 228 of file isl_ast_graft.c.
References equal, equal_independent_guards(), isl_ast_graft::guard, hoist_guard(), hull, isl_ast_build_get_ctx(), isl_ast_build_get_domain(), isl_ast_build_get_space(), isl_ast_graft_free(), isl_ast_graft_get_enforced(), isl_set_copy(), isl_set_empty(), isl_set_from_basic_set(), isl_set_intersect(), isl_set_list, isl_set_union(), isl_set_universe(), isl_set_unshifted_simple_hull_from_set_list(), and n.
Referenced by ast_graft_list_fuse(), build_ast_from_guard(), create_node_scaled(), and hoist_out_of_context().
| __isl_give isl_basic_set * isl_ast_graft_list_extract_shared_enforced | ( | __isl_keep isl_ast_graft_list * | list, |
| __isl_keep isl_ast_build * | build | ||
| ) |
Definition at line 776 of file isl_ast_graft.c.
References isl_ast_build_get_depth(), isl_ast_build_get_space(), isl_ast_graft_free(), isl_basic_set_empty(), n, and update_enforced().
Referenced by ast_graft_list_fuse(), extract_shared_enforced(), and hoist_out_of_context().
| __isl_give isl_ast_graft_list * isl_ast_graft_list_fuse | ( | __isl_take isl_ast_graft_list * | list, |
| __isl_keep isl_ast_build * | build | ||
| ) |
Definition at line 960 of file isl_ast_graft.c.
References ast_graft_list_fuse(), and n.
Referenced by build_ast_from_context(), build_ast_from_mark(), generate_sorted_domains_wrap(), and list_add_guard().
| __isl_give isl_ast_graft_list * isl_ast_graft_list_gist_guards | ( | __isl_take isl_ast_graft_list * | list, |
| __isl_take isl_set * | context | ||
| ) |
Definition at line 876 of file isl_ast_graft.c.
References context, gist_guards(), and isl_set_free().
Referenced by build_ast_from_guard(), and create_node_scaled().
| __isl_give isl_ast_graft_list * isl_ast_graft_list_group_on_guard | ( | __isl_take isl_ast_graft_list * | list, |
| __isl_keep isl_ast_build * | build | ||
| ) |
Definition at line 1443 of file isl_ast_graft.c.
References isl_split_on_guard_data::any_match, isl_split_on_guard_data::guard2list, n, reconstruct(), and split_on_guard().
Referenced by build_ast_from_leaf().
| __isl_give isl_ast_graft_list * isl_ast_graft_list_insert_pending_guard_nodes | ( | __isl_take isl_ast_graft_list * | list, |
| __isl_keep isl_ast_build * | build | ||
| ) |
Definition at line 711 of file isl_ast_graft.c.
References isl_ast_graft::guard, insert_pending_guard_nodes(), isl_ast_build_get_space(), isl_ast_graft_free(), isl_set_copy(), isl_set_free(), isl_set_universe(), n, and universe().
Referenced by build_ast_from_context().
| __isl_give isl_ast_graft_list * isl_ast_graft_list_merge | ( | __isl_take isl_ast_graft_list * | list1, |
| __isl_take isl_ast_graft_list * | list2, | ||
| __isl_keep isl_ast_build * | build | ||
| ) |
Definition at line 1257 of file isl_ast_graft.c.
References cmp(), isl_ast_graft::guard, isl_ast_build_get_ctx(), isl_ast_graft_free(), isl_ast_graft_fuse(), isl_die, isl_error_internal, isl_set_is_disjoint(), isl_set_plain_cmp(), and n.
Referenced by generate_components().
| __isl_give isl_ast_graft_list * isl_ast_graft_list_preimage_multi_aff | ( | __isl_take isl_ast_graft_list * | list, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 1197 of file isl_ast_graft.c.
References isl_ast_graft_preimage_multi_aff(), ma, and n.
Referenced by generate_shift_component().
| __isl_give isl_ast_graft_list * isl_ast_graft_list_sort_guard | ( | __isl_take isl_ast_graft_list * | list | ) |
Definition at line 1229 of file isl_ast_graft.c.
References cmp_graft().
Referenced by generate_parallel_domains().
| __isl_give isl_ast_graft_list * isl_ast_graft_list_unembed | ( | __isl_take isl_ast_graft_list * | list, |
| int | product | ||
| ) |
Definition at line 1152 of file isl_ast_graft.c.
References isl_ast_graft_unembed(), and n.
Referenced by build_ast_from_band(), and generate_code_in_space().
| __isl_give isl_ast_graft * isl_ast_graft_preimage_multi_aff | ( | __isl_take isl_ast_graft * | graft, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 1175 of file isl_ast_graft.c.
References isl_ast_graft::enforced, isl_ast_graft_free(), isl_basic_set_preimage_multi_aff(), isl_set_preimage_multi_aff(), and ma.
Referenced by isl_ast_graft_list_preimage_multi_aff().
| __isl_give isl_ast_graft * isl_ast_graft_set_enforced | ( | __isl_take isl_ast_graft * | graft, |
| __isl_take isl_basic_set * | enforced | ||
| ) |
Definition at line 413 of file isl_ast_graft.c.
References isl_ast_graft_free(), and isl_basic_set_free().
Referenced by graft_extend_body().
| __isl_give isl_ast_graft * isl_ast_graft_unembed | ( | __isl_take isl_ast_graft * | graft, |
| int | product | ||
| ) |
Definition at line 1123 of file isl_ast_graft.c.
References isl_ast_graft::enforced, isl_ast_graft_free(), isl_basic_map_domain(), isl_basic_set_params(), isl_basic_set_unwrap(), isl_map_domain(), isl_set_compute_divs(), isl_set_params(), and isl_set_unwrap().
Referenced by isl_ast_graft_list_unembed().
| __isl_give isl_ast_node * isl_ast_node_from_graft_list | ( | __isl_take isl_ast_graft_list * | list, |
| __isl_keep isl_ast_build * | build | ||
| ) |
Definition at line 1037 of file isl_ast_graft.c.
References extract_node_list(), insert_pending_guard_nodes(), and isl_ast_node_from_ast_node_list().
Referenced by build_ast_from_domain(), and isl_ast_build_node_from_schedule_map().
| __isl_give isl_printer * isl_printer_print_ast_graft | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_ast_graft * | graft | ||
| ) |
Definition at line 1484 of file isl_ast_graft.c.
References isl_graft_key_enforced, isl_graft_key_guard, isl_graft_key_node, isl_printer_free(), isl_printer_print_ast_node(), isl_printer_print_basic_set(), isl_printer_print_set(), isl_printer_print_str(), key_str, and p.
|
static |
Definition at line 1544 of file isl_ast_graft.c.
References graft_alloc(), isl_ast_node_free(), isl_basic_set_free(), isl_graft_key_enforced, isl_graft_key_guard, isl_graft_key_node, isl_set_free(), isl_stream_eat(), isl_stream_read_ast_node(), isl_stream_read_basic_set(), isl_stream_read_set(), and read_key().
|
static |
Definition at line 1525 of file isl_ast_graft.c.
References isl_die, isl_error_invalid, isl_stat_error, isl_stat_ok, isl_stream_eat(), isl_stream_get_ctx(), and key.
Referenced by isl_stream_read_ast_graft().
|
static |
Definition at line 1421 of file isl_ast_graft.c.
References add_same_guard(), and isl_split_on_guard_data::guard2list.
Referenced by isl_ast_graft_list_group_on_guard().
|
static |
Definition at line 1384 of file isl_ast_graft.c.
References add_to_guard_list(), isl_split_on_guard_data::any_match, isl_split_on_guard_data::guard2list, and n.
Referenced by isl_ast_graft_list_group_on_guard().
|
static |
Definition at line 813 of file isl_ast_graft.c.
References isl_if_node::guard, isl_ast_build_get_generated(), isl_ast_graft_free(), isl_set_coalesce(), isl_set_free(), isl_set_gist(), isl_set_intersect(), and isl_set_plain_is_universe().
Referenced by isl_ast_graft_add_guard(), and isl_ast_graft_alloc_from_children().
|
static |
Definition at line 431 of file isl_ast_graft.c.
References isl_ast_graft_get_enforced(), isl_basic_set_align_params(), isl_basic_set_dim(), isl_basic_set_eliminate(), isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_remove_unknown_divs(), isl_basic_set_union(), isl_dim_set, and isl_set_simple_hull().
Referenced by graft_extend_body(), and isl_ast_graft_list_extract_shared_enforced().
|
static |
Definition at line 1478 of file isl_ast_graft.c.
Referenced by isl_printer_print_ast_graft().
1.9.6