|
Polly 20.0.0git
|
#include <isl/stdint.h>#include <isl/space_type.h>#include <isl/aff_type.h>#include <isl/map_type.h>#include <isl/union_map_type.h>#include <isl/printer.h>#include <isl/val_type.h>Go to the source code of this file.
| __isl_give isl_map * isl_map_from_union_map | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 736 of file isl_union_map.c.
References copy_map(), isl_die, isl_error_invalid, isl_hash_table_foreach(), isl_union_map_free(), isl_union_map_get_ctx(), isl_union_map_isa_map(), and map.
Referenced by polly::Dependences::calculateDependences(), isl::map::from_union_map(), is_condition_false(), isl_set_from_union_set(), isl_union_map_as_map(), polly::Dependences::isParallel(), single_map_is_single_valued(), test_special_conditional_schedule_constraints_2(), and test_strongly_satisfying_schedule().
| __isl_export __isl_give isl_union_map * isl_map_to_union_map | ( | __isl_take isl_map * | map | ) |
Definition at line 540 of file isl_union_map.c.
References isl_union_map_from_map(), and map.
Referenced by isl::map::to_union_map().
| __isl_give isl_printer * isl_printer_print_union_map | ( | __isl_take isl_printer * | p, |
| __isl_keep isl_union_map * | umap | ||
| ) |
Definition at line 1657 of file isl_output.c.
References isl_die, isl_error_invalid, ISL_FORMAT_ISL, ISL_FORMAT_LATEX, isl_printer_free(), isl_union_map_print_latex(), and p.
Referenced by isl_obj_union_map_print().
| __isl_give isl_union_map * isl_union_map_add_map | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_map * | map | ||
| ) |
Definition at line 469 of file isl_union_map.c.
References isl_hash_table_entry::data, isl_map_align_params(), isl_map_copy(), isl_map_free(), isl_map_get_space(), isl_map_peek_space(), isl_map_plain_is_empty(), isl_map_space_has_equal_params(), isl_map_union(), isl_union_map_align_params(), isl_union_map_cow(), isl_union_map_find_entry(), isl_union_map_free(), isl_union_map_get_space(), and map.
Referenced by add_inter(), add_intra(), add_map(), add_non_trivial_lineality(), align_entry(), apply_range_entry(), bin_add_map(), bin_add_pair(), polly::Dependences::calculateDependences(), collect_cluster_map(), collectInfo(), construct_component_executed(), construct_shifted_executed(), domain_product_entry(), flat_domain_product_entry(), flat_range_product_entry(), gist_params_entry(), intersect_params_entry(), isl_union_map_from_map(), isl_union_set_add_set(), map_from_pw_aff_entry(), map_from_pw_multi_aff(), map_lex_le_entry(), map_lex_lt_entry(), match_bin_entry(), options_insert_dim(), order_at(), preimage_entry(), preimage_mpa_entry(), product_entry(), project_out(), range_product_entry(), reset_params(), reset_range_space(), separates(), un_entry(), union_components(), and union_floyd_warshall_on_list().
| __isl_export __isl_give isl_union_map * isl_union_map_affine_hull | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2094 of file isl_union_map.c.
References isl_map_affine_hull_map(), and total().
Referenced by isl::union_map::affine_hull(), and isl_union_set_affine_hull().
| __isl_give isl_union_map * isl_union_map_align_params | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_space * | model | ||
| ) |
Definition at line 296 of file isl_union_map.c.
References align_entry(), isl_union_align::exp, isl_hash_table_foreach(), isl_parameter_alignment_reordering(), isl_reordering_free(), isl_reordering_get_space(), isl_space_free(), isl_space_has_equal_params(), isl_union_map_alloc(), isl_union_map_free(), isl_union_map_get_ctx(), isl_union_map_peek_space(), and isl_union_align::res.
Referenced by bin_op(), build_ast_from_expansion(), gen_bin_op(), gen_bin_set_op(), generate_code(), group_context(), isl_ast_build_align_params(), isl_schedule_constraints_align_params(), isl_schedule_tree_align_params(), isl_union_access_info_align_params(), isl_union_map_add_map(), isl_union_map_apply_union_pw_qpolynomial_fold(), isl_union_map_is_disjoint(), isl_union_map_order_at_multi_union_pw_aff(), isl_union_map_union(), isl_union_set_align_params(), match_bin_op(), preimage_multi_pw_aff(), and preimage_pw_multi_aff().
| __isl_export __isl_give isl_union_map * isl_union_map_apply_domain | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 1695 of file isl_union_map.c.
References isl_union_map_apply_range(), and isl_union_map_reverse().
Referenced by add_conditional_constraints(), after_in_band(), after_in_expansion(), apply(), isl::union_map::apply_domain(), apply_factor_domain(), collect_edge_constraints(), create_node(), internal_executed(), isl_ast_build_get_schedule(), isl_ast_build_scale_down(), isl_union_map_power(), polly::Dependences::isParallel(), options_insert_dim(), subtree_schedule_extend(), test_special_conditional_schedule_constraints_2(), and test_strongly_satisfying_schedule().
| __isl_export __isl_give isl_union_map * isl_union_map_apply_range | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 1689 of file isl_union_map.c.
References apply_range_entry(), and bin_op.
Referenced by polly::Dependences::addPrivatizationDependences(), after_in_band(), after_in_context(), after_in_expansion(), apply(), isl::union_map::apply_range(), build_ast_from_expansion(), collect_edge_constraints(), collect_sink_source(), embed_options(), exploit_inter_lineality(), group_expansion(), isl_union_access_info_introduce_schedule(), isl_union_map_apply_domain(), isl_union_map_from_domain_and_range(), isl_union_map_is_transitively_closed(), isl_union_set_apply(), polly::Dependences::isParallel(), options_insert_dim(), single_valued_on_domain(), subtree_expansion_enter(), test_one_schedule(), test_special_conditional_schedule_constraints_2(), test_strongly_satisfying_schedule(), and union_components().
| __isl_export __isl_give isl_map * isl_union_map_as_map | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 764 of file isl_union_map.c.
References isl_map_from_union_map().
Referenced by isl::union_map::as_map().
| __isl_export __isl_give isl_union_set * isl_union_map_bind_range | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_multi_id * | tuple | ||
| ) |
Definition at line 4566 of file isl_union_map.c.
References bind_range, bound, isl_un_op_control::filter, has_range_space_tuples(), tuple, un_op, and uset_from_umap().
Referenced by isl::union_map::bind_range(), and test_bind_umap_range().
| __isl_export __isl_give isl_union_map * isl_union_map_coalesce | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2197 of file isl_union_map.c.
References inplace(), and isl_map_coalesce().
Referenced by polly::Dependences::addPrivatizationDependences(), polly::Dependences::calculateDependences(), isl::union_map::coalesce(), collectInfo(), polly::PolyhedralInfo::getScheduleForLoop(), isl_ast_build_node_from_schedule_map(), isl_union_map_transitive_closure(), and isl_union_set_coalesce().
| __isl_export __isl_give isl_union_map * isl_union_map_compute_divs | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2221 of file isl_union_map.c.
References inplace(), and isl_map_compute_divs().
Referenced by isl::union_map::compute_divs(), isl_union_map_transitive_closure(), isl_union_set_compute_divs(), and polly::simplify().
| isl_bool isl_union_map_contains | ( | __isl_keep isl_union_map * | umap, |
| __isl_keep isl_space * | space | ||
| ) |
Definition at line 810 of file isl_union_map.c.
References isl_bool_error, isl_bool_ok(), isl_hash_table_entry_none, isl_space_align_params(), isl_space_copy(), isl_space_drop_all_params(), isl_space_free(), isl_union_map_find_entry(), and isl_union_map_get_space().
Referenced by isl_union_set_contains().
| __isl_give isl_union_map * isl_union_map_copy | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 369 of file isl_union_map.c.
References isl_union_map::ref.
Referenced by add_conditional_constraints(), add_node(), add_nodes(), add_non_conditional_constraints(), polly::Dependences::addPrivatizationDependences(), after_in_band(), after_in_context(), after_in_expansion(), after_in_filter(), after_in_sequence(), append_range(), apply(), apply_factor_domain(), build_ast_from_filter(), build_ast_from_mark(), build_ast_from_sequence(), buildFlow(), polly::Dependences::calculateDependences(), check_band_schedule_total_on_instances(), collect_edge_constraints(), collect_filter_prefix_expansion(), collect_sink_source(), compute_domains(), compute_separate_domain(), isl::union_map::copy(), copy_edges(), count_sink_source(), create_leaf(), create_node(), create_node_scaled(), do_unroll_tree_iteration(), domain_intersects(), exploit_inter_lineality(), exploit_intra_lineality(), generate_code(), generate_code_in_space(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), generate_shifted_component_tree_part(), generate_shifted_component_tree_separate(), generate_sorted_domains(), graft_extension(), group_expansion(), has_violated_conditional_constraint(), insert_extension(), is_condition_false(), is_disjoint_extension(), isl_ast_build_dup(), isl_ast_build_get_schedule(), isl_obj_union_map_copy(), isl_schedule_constraints_copy(), isl_schedule_constraints_get(), isl_schedule_constraints_init(), isl_schedule_node_expand(), isl_schedule_node_group(), isl_schedule_tree_dup(), isl_schedule_tree_expansion_get_expansion(), isl_schedule_tree_extension_get_extension(), isl_union_access_info_copy(), isl_union_access_info_get(), isl_union_access_info_init(), isl_union_access_info_introduce_schedule(), isl_union_access_info_normalize(), isl_union_flow_alloc(), isl_union_flow_copy(), isl_union_flow_drop_kill_source(), isl_union_flow_get_full_may_dependence(), isl_union_flow_get_full_must_dependence(), isl_union_flow_get_may_dependence(), isl_union_flow_get_may_no_source(), isl_union_flow_get_must_dependence(), isl_union_flow_get_must_no_source(), isl_union_flow_get_non_must_dependence(), isl_union_flow_get_non_must_no_source(), isl_union_map_is_disjoint(), isl_union_map_is_injective(), isl_union_map_is_single_valued(), isl_union_map_is_transitively_closed(), isl_union_map_plain_is_injective(), isl_union_set_copy(), polly::Dependences::isParallel(), plain_injective_on_range_wrap(), preimage_upma(), range_intersects(), set_universe(), single_map_is_single_valued(), single_valued_on_domain(), subtree_schedule_extend_from_children(), test_conditional_schedule_constraints(), test_flow(), test_one_schedule(), test_padded_schedule(), test_special_conditional_schedule_constraints_2(), test_strongly_satisfying_schedule(), test_union_map_mupa_conversion(), union_components(), and update_edges().
| __isl_export __isl_give isl_union_map * isl_union_map_curry | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 3408 of file isl_union_map.c.
References isl_un_op_control::filter, isl_map_can_curry(), isl_map_curry(), un_op, and un_op_filter_drop_user().
Referenced by apply_factor_domain(), and isl::union_map::curry().
| __isl_export __isl_give isl_union_set * isl_union_map_deltas | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2424 of file isl_union_map.c.
References equal_tuples(), isl_un_op_control::filter, isl_map_deltas(), and un_op.
Referenced by polly::Dependences::addPrivatizationDependences(), collect_intra_validity(), isl::union_map::deltas(), and test_one_schedule().
| __isl_give isl_union_map * isl_union_map_deltas_map | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2433 of file isl_union_map.c.
References equal_tuples(), isl_un_op_control::filter, isl_map_deltas_map(), and un_op.
| __isl_export __isl_give isl_union_map * isl_union_map_detect_equalities | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2209 of file isl_union_map.c.
References inplace(), and isl_map_detect_equalities().
Referenced by build_ast_from_band(), isl::union_map::detect_equalities(), isl_schedule_constraints_set(), and isl_union_set_detect_equalities().
| isl_size isl_union_map_dim | ( | __isl_keep isl_union_map * | umap, |
| enum isl_dim_type | type | ||
| ) |
Referenced by build_ast_from_expansion(), build_ast_from_filter(), and group_context().
| __isl_export __isl_give isl_union_set * isl_union_map_domain | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2335 of file isl_union_map.c.
References isl_un_op_control::fn_map, isl_map_domain(), and un_op.
Referenced by add_node(), after_in_band(), after_in_context(), append_range(), polly::Dependences::calculateDependences(), collect_filter_prefix_expansion(), collectInfo(), compute_domains(), create_leaf(), isl::union_map::domain(), generate_code(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), has_violated_conditional_constraint(), initial_domain(), is_condition_false(), isl_schedule_node_expand(), isl_schedule_node_group(), isl_union_map_is_single_valued(), test_one_schedule(), test_union(), and update_edges().
| __isl_export __isl_give isl_union_map * isl_union_map_domain_factor_domain | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2486 of file isl_union_map.c.
References isl_un_op_control::filter, isl_map_domain_factor_domain(), isl_map_domain_is_wrapping(), un_op, and un_op_filter_drop_user().
Referenced by isl::union_map::domain_factor_domain().
| __isl_export __isl_give isl_union_map * isl_union_map_domain_factor_range | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2501 of file isl_union_map.c.
References isl_un_op_control::filter, isl_map_domain_factor_range(), isl_map_domain_is_wrapping(), un_op, and un_op_filter_drop_user().
Referenced by isl::union_map::domain_factor_range(), and isl_union_flow_drop_schedule().
| __isl_export __isl_give isl_union_map * isl_union_map_domain_map | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2351 of file isl_union_map.c.
References isl_un_op_control::fn_map, isl_map_domain_map(), and un_op.
Referenced by isl::union_map::domain_map().
| __isl_export __isl_give isl_union_pw_multi_aff * isl_union_map_domain_map_union_pw_multi_aff | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2380 of file isl_union_map.c.
References domain_map_upma(), isl_union_map_foreach_map(), isl_union_map_free(), isl_union_map_get_space(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_free(), and res.
Referenced by polly::Dependences::calculateDependences(), and isl::union_map::domain_map_union_pw_multi_aff().
| __isl_export __isl_give isl_union_map * isl_union_map_domain_product | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 1820 of file isl_union_map.c.
References bin_op, domain_product_entry(), and isl_union_map_bin_data::umap2.
Referenced by build_ast_from_band(), and isl::union_map::domain_product().
| void isl_union_map_dump | ( | __isl_keep isl_union_map * | umap | ) |
Referenced by isl_union_flow_dump().
| __isl_give isl_union_map * isl_union_map_empty | ( | __isl_take isl_space * | space | ) |
Definition at line 146 of file isl_union_map.c.
References isl_union_map_empty_space().
Referenced by add_non_trivial_lineality(), polly::Dependences::calculateDependences(), collect_cluster_map(), collect_validity(), collectInfo(), construct_shifted_executed(), polly::PolyhedralInfo::getScheduleForLoop(), isl_ast_build_clear_local_info(), isl_ast_build_from_context(), isl_schedule_constraints_init(), isl_schedule_node_get_prefix_schedule_relation(), isl_schedule_node_get_subtree_expansion(), isl_union_access_info_init(), isl_union_flow_alloc(), isl_union_map_dup(), isl_union_map_from_map(), isl_union_map_from_union_pw_aff(), isl_union_map_from_union_pw_multi_aff(), isl_union_map_order_at_multi_union_pw_aff(), isl_union_map_project_out(), isl_union_map_reset_equal_dim_space(), isl_union_map_reset_range_space(), options_insert_dim(), preimage_union_pw_multi_aff(), subtree_schedule_extend_from_children(), test_one_schedule(), test_padded_schedule(), union_components(), and union_floyd_warshall_on_list().
| __isl_overload __isl_give isl_union_map * isl_union_map_empty_ctx | ( | isl_ctx * | ctx | ) |
Definition at line 134 of file isl_union_map.c.
References isl_space_unit(), and isl_union_map_empty_space().
Referenced by isl::union_map::empty(), and isl_union_set_empty_ctx().
| __isl_give isl_union_map * isl_union_map_empty_space | ( | __isl_take isl_space * | space | ) |
Definition at line 139 of file isl_union_map.c.
References isl_union_map_alloc().
Referenced by isl_union_map_empty(), isl_union_map_empty_ctx(), and isl_union_set_empty_space().
| __isl_overload __isl_give isl_union_map * isl_union_map_eq_at_multi_union_pw_aff | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_multi_union_pw_aff * | mupa | ||
| ) |
Definition at line 4329 of file isl_union_map.c.
References isl_multi_pw_aff_eq_map(), isl_union_map_order_at_multi_union_pw_aff(), and mupa.
Referenced by isl::union_map::eq_at().
| __isl_export isl_bool isl_union_map_every_map | ( | __isl_keep isl_union_map * | umap, |
| isl_bool(*)(__isl_keep isl_map *map, void *user) | test, | ||
| void * | user | ||
| ) |
Definition at line 641 of file isl_union_map.c.
References call_every(), isl_union_map_every_data::failed, isl_bool_error, isl_bool_false, isl_bool_true, isl_hash_table_foreach(), isl_union_map_get_ctx(), test, and user.
Referenced by isl::union_map::every_map(), isl_ast_build_options_involve_depth(), and isl_union_set_every_set().
| __isl_export __isl_give isl_map * isl_union_map_extract_map | ( | __isl_keep isl_union_map * | umap, |
| __isl_take isl_space * | space | ||
| ) |
Definition at line 785 of file isl_union_map.c.
References isl_hash_table_entry::data, isl_hash_table_entry_none, isl_map_copy(), isl_map_empty(), isl_space_free(), and isl_union_map_find_entry().
Referenced by isl::union_map::extract_map(), isl_ast_build_get_option_domain(), isl_ast_build_get_separation_class(), and isl_union_set_extract_set().
| __isl_export __isl_give isl_union_map * isl_union_map_factor_domain | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2546 of file isl_union_map.c.
References isl_un_op_control::filter, isl_map_factor_domain(), isl_map_is_product(), un_op, and un_op_filter_drop_user().
Referenced by isl::union_map::factor_domain().
| __isl_export __isl_give isl_union_map * isl_union_map_factor_range | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2561 of file isl_union_map.c.
References isl_un_op_control::filter, isl_map_factor_range(), isl_map_is_product(), un_op, and un_op_filter_drop_user().
Referenced by isl::union_map::factor_range(), and isl_union_flow_drop_schedule().
| int isl_union_map_find_dim_by_name | ( | __isl_keep isl_union_map * | umap, |
| enum isl_dim_type | type, | ||
| const char * | name | ||
| ) |
Definition at line 203 of file isl_union_map.c.
References isl_space_find_dim_by_name(), name, and type.
| __isl_overload __isl_give isl_union_map * isl_union_map_fixed_power_val | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_val * | exp | ||
| ) |
Referenced by isl::union_map::fixed_power().
| __isl_give isl_union_map * isl_union_map_flat_domain_product | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 1878 of file isl_union_map.c.
References bin_op, flat_domain_product_entry(), and isl_union_map_bin_data::umap2.
| __isl_give isl_union_map * isl_union_map_flat_range_product | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 1904 of file isl_union_map.c.
References bin_op, flat_range_product_entry(), and isl_union_map_bin_data::umap2.
Referenced by append_range(), isl::union_map::flat_range_product(), isl_union_map_from_multi_union_pw_aff(), subtree_schedule_extend(), and subtree_schedule_extend_from_children().
| __isl_export isl_stat isl_union_map_foreach_map | ( | __isl_keep isl_union_map * | umap, |
| isl_stat(*)(__isl_take isl_map *map, void *user) | fn, | ||
| void * | user | ||
| ) |
Definition at line 595 of file isl_union_map.c.
References call_on_copy(), fn, isl_hash_table_foreach(), isl_stat_error, and user.
Referenced by collect_sink_source(), compute_flow(), compute_flow_union_map(), create_node(), isl::union_map::foreach_map(), generate_components(), generate_inner_level(), isl_sched_graph_init(), isl_schedule_constraints_n_basic_map(), isl_union_map_apply_union_pw_qpolynomial_fold(), isl_union_map_domain_map_union_pw_multi_aff(), isl_union_map_dup(), isl_union_map_get_hash(), isl_union_map_get_map_list(), isl_union_map_is_identity(), isl_union_map_order_at_multi_union_pw_aff(), isl_union_map_plain_is_not_identity(), isl_union_map_power(), isl_union_map_print_latex(), isl_union_map_project_out(), isl_union_map_reset_equal_dim_space(), isl_union_map_reset_range_space(), isl_union_map_union(), isl_union_pw_multi_aff_from_union_map(), isl_union_set_foreach_set(), range_dim(), separate_schedule_domains(), test_one_schedule(), union_components(), and union_floyd_warshall().
| __isl_null isl_union_map * isl_union_map_free | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 383 of file isl_union_map.c.
References free_umap_entry(), isl_hash_table_clear(), isl_hash_table_foreach(), and isl_space_free().
Referenced by add_node(), after_in_band(), after_in_context(), after_in_expansion(), after_in_filter(), after_in_sequence(), after_in_subtree(), bin_add_pair(), bin_op(), build_ast_from_band(), build_ast_from_expansion(), build_ast_from_filter(), build_ast_from_schedule_node(), build_ast_from_sequence(), polly::Dependences::calculateDependences(), polly::PolyhedralInfo::checkParallel(), collect_edge_constraints(), collect_filter_prefix_expansion(), collect_filter_prefix_update(), collect_sink_source(), compute_separate_domain(), construct_shifted_executed(), count_sink_source(), create_node(), create_node_scaled(), domain_intersects(), exploit_inter_lineality(), gen_bin_op(), gen_bin_set_op(), generate_code(), generate_components(), generate_inner_level(), generate_next_level(), generate_shifted_component_flat(), generate_shifted_component_parts(), generate_shifted_component_tree(), generate_shifted_component_tree_base(), generate_shifted_component_tree_part(), generate_shifted_component_tree_separate(), generate_shifted_component_tree_unroll(), gist_leave_expansion(), init_merge_graph(), insert_extension(), intersect_explicit_domain(), is_disjoint_extension(), isl_ast_build_clear_local_info(), isl_ast_build_free(), isl_ast_build_scale_down(), isl_ast_build_set_executed(), isl_ast_build_set_options(), isl_ast_build_substitute_values_union_map_domain(), isl_carry_clear(), isl_map_from_union_map(), isl_obj_union_map_free(), isl_printer_print_union_flow(), isl_sched_graph_free(), isl_sched_graph_init(), isl_schedule_constraints_add(), isl_schedule_constraints_apply(), isl_schedule_constraints_free(), isl_schedule_constraints_init(), isl_schedule_constraints_set(), isl_schedule_node_expansion_set_contraction_and_expansion(), isl_schedule_node_extension_set_extension(), isl_schedule_node_get_subtree_expansion(), isl_schedule_node_group(), isl_schedule_tree_expansion_set_contraction_and_expansion(), isl_schedule_tree_extension_set_extension(), isl_schedule_tree_free(), isl_schedule_tree_from_expansion(), isl_schedule_tree_from_extension(), isl_union_access_info_compute_flow(), isl_union_access_info_free(), isl_union_access_info_from_sink(), isl_union_access_info_init(), isl_union_access_info_set(), isl_union_access_info_set_schedule(), isl_union_access_info_set_schedule_map(), isl_union_flow_drop_kill_source(), isl_union_flow_free(), isl_union_map_add_map(), isl_union_map_align_params(), isl_union_map_alloc(), isl_union_map_apply_union_pw_qpolynomial_fold(), isl_union_map_compute_flow(), isl_union_map_domain_map_union_pw_multi_aff(), isl_union_map_dup(), isl_union_map_from_union_pw_aff(), isl_union_map_from_union_pw_multi_aff(), isl_union_map_intersect_params(), isl_union_map_is_disjoint(), isl_union_map_is_injective(), isl_union_map_is_transitively_closed(), isl_union_map_order_at_multi_union_pw_aff(), isl_union_map_params(), isl_union_map_power(), isl_union_map_project_out(), isl_union_map_reset_equal_dim_space(), isl_union_map_reset_range_space(), isl_union_map_reset_user(), isl_union_map_sample(), isl_union_map_transitive_closure(), isl_union_map_union(), isl_union_pw_multi_aff_from_union_map(), isl_union_set_free(), polly::Dependences::isParallel(), main(), match_bin_op(), plain_injective_on_range(), preimage_multi_pw_aff(), preimage_pw_multi_aff(), preimage_union_pw_multi_aff(), range_intersects(), read_expansion(), read_extension(), polly::Dependences::releaseMemory(), separate_schedule_domains(), single_valued_on_domain(), subtree_schedule_extend(), subtree_schedule_extend_child(), subtree_schedule_extend_from_children(), test_bin_locus(), test_bin_union_map(), test_conflicting_context_schedule(), test_flow(), test_has_schedule(), test_multi_pw_aff_3(), test_one_schedule(), test_plain_injective(), test_schedule_tree(), test_schedule_tree_group_1(), test_schedule_tree_group_2(), test_special_conditional_schedule_constraints(), test_special_schedule(), test_subtract(), test_sv(), test_un_union_map(), test_union(), test_union_map_mupa_conversion(), un_op(), union_components(), union_floyd_warshall(), and isl::union_map::~union_map().
| __isl_constructor __isl_give isl_union_map * isl_union_map_from_basic_map | ( | __isl_take isl_basic_map * | bmap | ) |
Definition at line 558 of file isl_union_map.c.
References isl_map_from_basic_map(), and isl_union_map_from_map().
Referenced by isl_union_set_from_basic_set(), and isl::union_map::union_map().
| __isl_export __isl_give isl_union_map * isl_union_map_from_domain | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2060 of file isl_union_map.c.
References isl_union_map_from_range(), and isl_union_map_reverse().
Referenced by create_leaf(), isl::union_map::from_domain(), isl_schedule_node_band_get_partial_schedule_union_map(), isl_schedule_node_get_prefix_schedule_relation(), isl_schedule_node_get_subtree_schedule_union_map(), isl_schedule_tree_get_subtree_schedule_union_map(), isl_union_map_from_domain_and_range(), and subtree_schedule_extend().
| __isl_export __isl_give isl_union_map * isl_union_map_from_domain_and_range | ( | __isl_take isl_union_set * | domain, |
| __isl_take isl_union_set * | range | ||
| ) |
Definition at line 2066 of file isl_union_map.c.
References domain, isl_union_map_apply_range(), isl_union_map_from_domain(), isl_union_map_from_range(), and range.
Referenced by build_ast_from_domain(), extension_from_domain(), isl::union_map::from_domain_and_range(), isl_schedule_node_group(), isl_union_map_from_multi_union_pw_aff_0D(), and set_universe().
| __isl_constructor __isl_give isl_union_map * isl_union_map_from_map | ( | __isl_take isl_map * | map | ) |
Definition at line 521 of file isl_union_map.c.
References isl_map_get_space(), isl_space_params(), isl_union_map_add_map(), isl_union_map_empty(), and map.
Referenced by after_in_band(), after_in_subtree(), at_each_domain(), collect_edge_constraints(), compute_flow(), compute_single_flow(), construct_component_executed(), create_node(), deltas_map(), embed_options(), extract_edge(), generate_non_single_valued(), polly::PolyhedralInfo::getScheduleForLoop(), internal_executed(), isl_ast_build_get_schedule(), isl_map_to_union_map(), isl_stream_read_union_map(), isl_union_map_from_basic_map(), isl_union_map_power(), isl_union_set_from_set(), main(), options_insert_dim(), power(), to_union(), and isl::union_map::union_map().
| __isl_export __isl_give isl_union_map * isl_union_map_from_range | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2051 of file isl_union_map.c.
References isl_un_op_control::fn_map, isl_map_from_range(), and un_op.
Referenced by isl::union_map::from_range(), isl_union_map_from_domain(), and isl_union_map_from_domain_and_range().
| isl_ctx * isl_union_map_get_ctx | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 170 of file isl_union_map.c.
Referenced by check_band_schedule_total_on_instances(), check_union_map_space_equal_dim(), compute_domains(), isl::union_map::ctx(), generate_inner_level(), isl_map_from_union_map(), isl_schedule_node_from_extension(), isl_schedule_tree_from_expansion(), isl_schedule_tree_from_extension(), isl_union_access_info_from_sink(), isl_union_access_info_get_ctx(), isl_union_flow_get_ctx(), isl_union_map_align_params(), isl_union_map_dim(), isl_union_map_every_map(), isl_union_map_find_entry(), isl_union_map_get_dim_id(), isl_union_map_get_map_list(), isl_union_map_involves_dims(), isl_union_map_project_out(), plain_injective_on_range(), preimage_multi_pw_aff(), preimage_pw_multi_aff(), range_dim(), set_options(), set_universe(), un_op(), union_components(), and union_floyd_warshall().
| __isl_give isl_id * isl_union_map_get_dim_id | ( | __isl_keep isl_union_map * | umap, |
| enum isl_dim_type | type, | ||
| unsigned | pos | ||
| ) |
Definition at line 69 of file isl_union_map.c.
References isl_die, isl_dim_param, isl_error_invalid, isl_space_get_dim_id(), isl_union_map_get_ctx(), pos(), and type.
| uint32_t isl_union_map_get_hash | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 4402 of file isl_union_map.c.
References add_hash(), isl_hash_init, and isl_union_map_foreach_map().
Referenced by isl_union_set_get_hash().
| __isl_export __isl_give isl_map_list * isl_union_map_get_map_list | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 677 of file isl_union_map.c.
References add_list_map(), isl_union_map_foreach_map(), isl_union_map_get_ctx(), and isl_union_map_n_map().
Referenced by isl_union_set_get_set_list(), and isl::union_map::map_list().
| __isl_export __isl_give isl_space * isl_union_map_get_space | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 194 of file isl_union_map.c.
References isl_space_copy(), and isl_union_map_peek_space().
Referenced by bin_op(), build_ast_from_expansion(), build_ast_from_filter(), polly::Dependences::calculateDependences(), compute_flow_schedule(), compute_flow_union_map(), gen_bin_op(), gen_bin_set_op(), generate_code(), group_context(), isl_ast_build_clear_local_info(), isl_schedule_constraints_align_params(), isl_union_access_info_align_params(), isl_union_access_info_init(), isl_union_flow_copy(), isl_union_map_add_map(), isl_union_map_apply_union_pw_qpolynomial_fold(), isl_union_map_contains(), isl_union_map_domain_map_union_pw_multi_aff(), isl_union_map_is_disjoint(), isl_union_map_order_at_multi_union_pw_aff(), isl_union_map_params(), isl_union_map_power(), isl_union_map_project_out(), isl_union_map_reset_range_space(), isl_union_map_sample(), isl_union_map_union(), isl_union_pw_multi_aff_from_union_map(), isl_union_set_get_space(), match_bin_op(), options_insert_dim(), plain_injective_on_range(), preimage_multi_pw_aff(), preimage_pw_multi_aff(), preimage_union_pw_multi_aff(), isl::union_map::space(), test_one_schedule(), un_op(), and union_components().
| __isl_export __isl_give isl_union_map * isl_union_map_gist | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_map * | context | ||
| ) |
Definition at line 1308 of file isl_union_map.c.
References context, isl_map_gist(), and match_bin_op().
Referenced by isl::union_map::gist(), and isl_union_set_gist().
| __isl_export __isl_give isl_union_map * isl_union_map_gist_domain | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_set * | uset | ||
| ) |
Definition at line 1471 of file isl_union_map.c.
References isl_union_set_is_params(), union_map_gist_domain(), and union_map_gist_params().
Referenced by isl::union_map::gist_domain(), and gist_enter_expansion().
| __isl_export __isl_give isl_union_map * isl_union_map_gist_params | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_set * | set | ||
| ) |
Definition at line 1296 of file isl_union_map.c.
References gen_bin_set_op(), gist_params_entry(), and set.
Referenced by isl::union_map::gist_params(), isl_union_set_gist_params(), and union_map_gist_params().
| __isl_export __isl_give isl_union_map * isl_union_map_gist_range | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_set * | uset | ||
| ) |
Definition at line 1482 of file isl_union_map.c.
References gen_bin_op(), isl_map_gist_range(), isl_space_range(), and isl_bin_op_control::match_space.
Referenced by isl::union_map::gist_range().
| __isl_export __isl_give isl_union_map * isl_union_map_intersect | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 1245 of file isl_union_map.c.
References isl_map_intersect(), match_bin_op(), and isl_union_map_match_bin_data::umap2.
Referenced by after_in_band(), after_in_context(), polly::Dependences::calculateDependences(), isl::union_map::intersect(), and isl_union_set_intersect().
| __isl_give isl_union_map * isl_union_map_intersect_domain | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_set * | uset | ||
| ) |
Definition at line 1420 of file isl_union_map.c.
References isl_union_map_intersect_domain_union_set().
Referenced by add_node(), after_in_band(), after_in_context(), after_in_filter(), after_in_sequence(), build_ast_from_context(), build_ast_from_extension(), polly::Dependences::calculateDependences(), collect_edge_constraints(), compute_separate_domain(), count_sink_source(), domain_intersects(), generate_code_in_space(), generate_shifted_component_tree_part(), intersect_domains(), intersect_explicit_domain(), isl_schedule_node_get_prefix_schedule_relation(), single_valued_on_domain(), test_one_schedule(), and test_schedule_tree_group_2().
| __isl_export __isl_give isl_union_map * isl_union_map_intersect_domain_factor_domain | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_map * | factor | ||
| ) |
Definition at line 1516 of file isl_union_map.c.
References isl_bin_op_control::filter, gen_bin_op(), isl_map_domain_is_wrapping(), isl_map_intersect_domain_factor_domain(), and isl_space_domain_factor_domain().
Referenced by isl::union_map::intersect_domain_factor_domain().
| __isl_export __isl_give isl_union_map * isl_union_map_intersect_domain_factor_range | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_map * | factor | ||
| ) |
Definition at line 1532 of file isl_union_map.c.
References isl_bin_op_control::filter, gen_bin_op(), isl_map_domain_is_wrapping(), isl_map_intersect_domain_factor_range(), and isl_space_domain_factor_range().
Referenced by isl::union_map::intersect_domain_factor_range().
| __isl_overload __isl_give isl_union_map * isl_union_map_intersect_domain_space | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_space * | space | ||
| ) |
Definition at line 4584 of file isl_union_map.c.
References isl_un_op_control::filter, has_domain_space_tuples(), isl_space_free(), and un_op.
Referenced by isl::union_map::intersect_domain().
| __isl_overload __isl_give isl_union_map * isl_union_map_intersect_domain_union_set | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_set * | uset | ||
| ) |
Definition at line 1409 of file isl_union_map.c.
References isl_union_set_is_params(), union_map_intersect_domain(), and union_map_intersect_params().
Referenced by isl::union_map::intersect_domain(), and isl_union_map_intersect_domain().
| __isl_overload __isl_give isl_union_map * isl_union_map_intersect_domain_wrapped_domain_union_set | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_set * | domain | ||
| ) |
Definition at line 1660 of file isl_union_map.c.
References domain, isl_bin_op_control::filter, gen_bin_op(), isl_map_domain_is_wrapping(), isl_map_intersect_domain_wrapped_domain(), and isl_space_domain_wrapped_domain().
| __isl_export __isl_give isl_union_map * isl_union_map_intersect_params | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_set * | set | ||
| ) |
Definition at line 1138 of file isl_union_map.c.
References gen_bin_set_op(), intersect_params_entry(), isl_set_free(), isl_set_plain_is_universe(), isl_union_map_free(), and set.
Referenced by collectInfo(), generate_code_in_space(), intersect_explicit_domain(), isl::union_map::intersect_params(), isl_union_set_intersect_params(), and union_map_intersect_params().
| __isl_give isl_union_map * isl_union_map_intersect_range | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_set * | uset | ||
| ) |
Definition at line 1506 of file isl_union_map.c.
References isl_union_map_intersect_range_union_set().
Referenced by after_in_context(), after_in_filter(), after_in_sequence(), build_ast_from_filter(), collect_filter_prefix_update(), intersect_explicit_domain(), is_disjoint_extension(), isl_schedule_node_expand(), isl_schedule_node_group(), plain_injective_on_range_wrap(), range_intersects(), and subtree_expansion_enter().
| __isl_export __isl_give isl_union_map * isl_union_map_intersect_range_factor_domain | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_map * | factor | ||
| ) |
Definition at line 1548 of file isl_union_map.c.
References isl_bin_op_control::filter, gen_bin_op(), isl_map_intersect_range_factor_domain(), isl_map_range_is_wrapping(), and isl_space_range_factor_domain().
Referenced by isl::union_map::intersect_range_factor_domain().
| __isl_export __isl_give isl_union_map * isl_union_map_intersect_range_factor_range | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_map * | factor | ||
| ) |
Definition at line 1564 of file isl_union_map.c.
References isl_bin_op_control::filter, gen_bin_op(), isl_map_intersect_range_factor_range(), isl_map_range_is_wrapping(), and isl_space_range_factor_range().
Referenced by isl::union_map::intersect_range_factor_range(), and isl_union_flow_drop_kill_source().
| __isl_overload __isl_give isl_union_map * isl_union_map_intersect_range_space | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_space * | space | ||
| ) |
Definition at line 4599 of file isl_union_map.c.
References isl_un_op_control::filter, has_range_space_tuples(), isl_space_free(), and un_op.
Referenced by isl::union_map::intersect_range().
| __isl_overload __isl_give isl_union_map * isl_union_map_intersect_range_union_set | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_set * | uset | ||
| ) |
Definition at line 1493 of file isl_union_map.c.
References gen_bin_op(), isl_map_intersect_range(), isl_space_range(), and isl_bin_op_control::match_space.
Referenced by isl::union_map::intersect_range(), and isl_union_map_intersect_range().
| __isl_overload __isl_give isl_union_map * isl_union_map_intersect_range_wrapped_domain_union_set | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_set * | domain | ||
| ) |
Definition at line 1677 of file isl_union_map.c.
References domain, isl_bin_op_control::filter, gen_bin_op(), isl_map_intersect_range_wrapped_domain(), isl_map_range_is_wrapping(), and isl_space_range_wrapped_domain().
| isl_bool isl_union_map_involves_dims | ( | __isl_keep isl_union_map * | umap, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 4085 of file isl_union_map.c.
References isl_union_map_involves_dims_data::first, isl_bool_error, isl_bool_not(), isl_die, isl_dim_param, isl_error_invalid, isl_union_map_get_ctx(), map_excludes(), n, type, and union_map_forall_user().
Referenced by group_context().
| __isl_export isl_bool isl_union_map_is_bijective | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 3369 of file isl_union_map.c.
References isl_union_map_is_injective(), isl_union_map_is_single_valued(), and sv.
Referenced by isl::union_map::is_bijective().
| __isl_export isl_bool isl_union_map_is_disjoint | ( | __isl_keep isl_union_map * | umap1, |
| __isl_keep isl_union_map * | umap2 | ||
| ) |
Definition at line 2724 of file isl_union_map.c.
References isl_union_map_is_disjoint_data::is_disjoint, is_disjoint_entry(), isl_bool_error, isl_bool_true, isl_hash_table_foreach(), isl_union_map_align_params(), isl_union_map_copy(), isl_union_map_free(), isl_union_map_get_space(), and isl_union_map_is_disjoint_data::umap2.
Referenced by extend_extension(), isl::union_map::is_disjoint(), and isl_union_set_is_disjoint().
| __isl_export isl_bool isl_union_map_is_empty | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 2897 of file isl_union_map.c.
References isl_map_is_empty(), and union_map_forall().
Referenced by add_node(), after_in_band(), after_in_sequence(), after_in_tree(), build_ast_from_filter(), polly::Dependences::calculateDependences(), collect_filter_prefix_update(), compute_separate_domain(), domain_intersects(), generate_next_level(), generate_shifted_component_tree_part(), is_condition_false(), is_disjoint_extension(), isl::union_map::is_empty(), isl_union_access_has_kill(), isl_union_map_params(), isl_union_set_is_empty(), polly::Dependences::isParallel(), print_access_field(), range_intersects(), subtree_schedule_extend_from_children(), and test_special_conditional_schedule_constraints().
| __isl_export isl_bool isl_union_map_is_equal | ( | __isl_keep isl_union_map * | umap1, |
| __isl_keep isl_union_map * | umap2 | ||
| ) |
Definition at line 2648 of file isl_union_map.c.
References isl_union_map_is_subset_data::is_subset, isl_bool_error, isl_bool_true, isl_union_map_is_subset(), and isl_union_map_is_subset_data::umap2.
Referenced by polly::Dependences::calculateDependences(), isl::union_map::is_equal(), isl_schedule_tree_plain_is_equal(), isl_union_set_is_equal(), main(), test_bin_locus(), test_bin_union_map(), test_schedule_tree_group_1(), test_schedule_tree_group_2(), test_special_schedule(), test_subtract(), test_un_union_map(), test_union(), and test_union_map_mupa_conversion().
| isl_bool isl_union_map_is_identity | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 3120 of file isl_union_map.c.
References identity(), isl_bool_error, isl_bool_not(), isl_bool_true, isl_union_map_foreach_map(), isl_union_map_plain_is_not_identity(), map_is_identity(), and isl_union_map_is_sv_data::umap.
Referenced by gist_leave_expansion().
| __isl_export isl_bool isl_union_map_is_injective | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 3033 of file isl_union_map.c.
References isl_union_map_copy(), isl_union_map_free(), isl_union_map_is_single_valued(), isl_union_map_reverse(), and isl_union_map_is_sv_data::umap.
Referenced by isl::union_map::is_injective(), and isl_union_map_is_bijective().
| __isl_export isl_bool isl_union_map_is_single_valued | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 3007 of file isl_union_map.c.
References domain, isl_bool_error, isl_bool_true, isl_union_map_copy(), isl_union_map_domain(), isl_union_map_n_map(), isl_union_map_universe(), isl_union_set_foreach_set(), isl_union_set_free(), n, single_map_is_single_valued(), single_valued_on_domain(), isl_union_map_is_sv_data::sv, isl_union_map_is_sv_data::umap, and universe().
Referenced by isl::union_map::is_single_valued(), isl_union_map_is_bijective(), isl_union_map_is_injective(), and test_sv().
| __isl_export isl_bool isl_union_map_is_strict_subset | ( | __isl_keep isl_union_map * | umap1, |
| __isl_keep isl_union_map * | umap2 | ||
| ) |
Definition at line 2668 of file isl_union_map.c.
References isl_union_map_is_subset_data::is_subset, isl_bool_error, isl_bool_not(), isl_bool_true, isl_union_map_is_subset(), and isl_union_map_is_subset_data::umap2.
Referenced by isl::union_map::is_strict_subset(), and isl_union_set_is_strict_subset().
| __isl_export isl_bool isl_union_map_is_subset | ( | __isl_keep isl_union_map * | umap1, |
| __isl_keep isl_union_map * | umap2 | ||
| ) |
Definition at line 2625 of file isl_union_map.c.
References isl_union_map_is_subset_data::is_subset, is_subset_entry(), isl_bool_error, isl_bool_true, isl_hash_table_foreach(), and isl_union_map_is_subset_data::umap2.
Referenced by build_ast_from_filter(), isl::union_map::is_subset(), isl_union_map_is_equal(), isl_union_map_is_strict_subset(), isl_union_map_is_transitively_closed(), and isl_union_set_is_subset().
| __isl_export isl_bool isl_union_map_isa_map | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 708 of file isl_union_map.c.
References isl_bool_error, isl_bool_ok(), isl_union_map_n_map(), and n.
Referenced by isl::union_map::isa_map(), isl_map_from_union_map(), and isl_union_set_isa_set().
| __isl_give isl_union_map * isl_union_map_lex_ge_at_multi_union_pw_aff | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_multi_union_pw_aff * | mupa | ||
| ) |
| __isl_give isl_union_map * isl_union_map_lex_ge_union_map | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 1386 of file isl_union_map.c.
References isl_union_map_lex_le_union_map(), and isl_union_map_reverse().
| __isl_give isl_union_map * isl_union_map_lex_gt_at_multi_union_pw_aff | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_multi_union_pw_aff * | mupa | ||
| ) |
| __isl_give isl_union_map * isl_union_map_lex_gt_union_map | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 1380 of file isl_union_map.c.
References isl_union_map_lex_lt_union_map(), and isl_union_map_reverse().
| __isl_give isl_union_map * isl_union_map_lex_le_at_multi_union_pw_aff | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_multi_union_pw_aff * | mupa | ||
| ) |
| __isl_give isl_union_map * isl_union_map_lex_le_union_map | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 1755 of file isl_union_map.c.
References bin_op, map_lex_le_entry(), and isl_union_map_bin_data::umap2.
Referenced by isl_union_map_lex_ge_union_map().
| __isl_give isl_union_map * isl_union_map_lex_lt_at_multi_union_pw_aff | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_multi_union_pw_aff * | mupa | ||
| ) |
| __isl_give isl_union_map * isl_union_map_lex_lt_union_map | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 1729 of file isl_union_map.c.
References bin_op, map_lex_lt_entry(), and isl_union_map_bin_data::umap2.
Referenced by isl_union_map_lex_gt_union_map().
| __isl_export __isl_give isl_union_map * isl_union_map_lexmax | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2245 of file isl_union_map.c.
References isl_map_lexmax(), and total().
Referenced by isl_union_set_lexmax(), and isl::union_map::lexmax().
| __isl_export __isl_give isl_union_map * isl_union_map_lexmin | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2233 of file isl_union_map.c.
References isl_map_lexmin(), and total().
Referenced by isl_union_set_lexmin(), and isl::union_map::lexmin().
| isl_size isl_union_map_n_map | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 585 of file isl_union_map.c.
References isl_size_error.
Referenced by count_sink_source(), generate_components(), generate_next_level(), isl_sched_graph_init(), isl_schedule_constraints_n_map(), isl_union_map_get_map_list(), isl_union_map_is_single_valued(), isl_union_map_isa_map(), isl_union_map_plain_is_empty(), isl_union_map_power(), plain_injective_on_range(), range_dim(), single_valued_on_domain(), and polly::singleton().
| __isl_give isl_set * isl_union_map_params | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2306 of file isl_union_map.c.
References isl_un_op_control::fn_map, isl_map_params(), isl_set_empty(), isl_set_from_union_set(), isl_union_map_free(), isl_union_map_get_space(), isl_union_map_is_empty(), and un_op.
Referenced by isl_union_set_params(), and isl::union_map::params().
| isl_bool isl_union_map_plain_is_empty | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 2887 of file isl_union_map.c.
References isl_bool_error, isl_union_map_n_map(), and n.
Referenced by print_constraint().
| isl_bool isl_union_map_plain_is_injective | ( | __isl_keep isl_union_map * | umap | ) |
Definition at line 3347 of file isl_union_map.c.
References isl_bool_error, isl_bool_false, isl_map_plain_is_injective(), isl_union_map_copy(), isl_union_map_range(), isl_union_map_universe(), isl_union_set_free(), plain_injective_on_range_wrap(), union_map_forall(), and union_map_forall_user().
Referenced by test_plain_injective().
| __isl_export __isl_give isl_union_map * isl_union_map_polyhedral_hull | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2135 of file isl_union_map.c.
References isl_map_polyhedral_hull_map(), and total().
Referenced by isl_union_set_polyhedral_hull(), and isl::union_map::polyhedral_hull().
| __isl_give isl_union_map * isl_union_map_power | ( | __isl_take isl_union_map * | umap, |
| isl_bool * | exact | ||
| ) |
Definition at line 2913 of file isl_transitive_closure.c.
References deltas_map(), isl_union_power::exact, increment(), isl_union_map_apply_domain(), isl_union_map_foreach_map(), isl_union_map_free(), isl_union_map_from_map(), isl_union_map_get_space(), isl_union_map_n_map(), isl_union_map_product(), isl_union_map_transitive_closure(), isl_union_map_zip(), n, isl_union_power::pow, and power().
| __isl_overload __isl_give isl_union_map * isl_union_map_preimage_domain_multi_aff | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 3688 of file isl_union_map.c.
References isl_pw_multi_aff_from_multi_aff(), isl_union_map_preimage_domain_pw_multi_aff(), and ma.
Referenced by build_ast_from_extension(), isl_ast_build_substitute_values_union_map_domain(), and isl::union_map::preimage_domain().
| __isl_overload __isl_give isl_union_map * isl_union_map_preimage_domain_multi_pw_aff | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_multi_pw_aff * | mpa | ||
| ) |
Definition at line 3822 of file isl_union_map.c.
References domain_match(), isl_map_preimage_domain_multi_pw_aff(), isl_union_map_preimage_mpa_data::mpa, and preimage_multi_pw_aff().
Referenced by isl::union_map::preimage_domain().
| __isl_overload __isl_give isl_union_map * isl_union_map_preimage_domain_pw_multi_aff | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_pw_multi_aff * | pma | ||
| ) |
Definition at line 3647 of file isl_union_map.c.
References domain_match(), isl_map_preimage_domain_pw_multi_aff(), pma, and preimage_pw_multi_aff().
Referenced by isl_union_map_preimage_domain_multi_aff(), isl_union_map_preimage_domain_union_pw_multi_aff(), and isl::union_map::preimage_domain().
| __isl_overload __isl_give isl_union_map * isl_union_map_preimage_domain_union_pw_multi_aff | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_pw_multi_aff * | upma | ||
| ) |
Definition at line 3892 of file isl_union_map.c.
References isl_union_map_preimage_domain_pw_multi_aff(), preimage_union_pw_multi_aff(), and isl_union_map_preimage_upma_data::umap.
Referenced by isl::union_map::preimage_domain().
| __isl_overload __isl_give isl_union_map * isl_union_map_preimage_range_multi_aff | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_multi_aff * | ma | ||
| ) |
Definition at line 3702 of file isl_union_map.c.
References isl_pw_multi_aff_from_multi_aff(), isl_union_map_preimage_range_pw_multi_aff(), and ma.
Referenced by isl::union_map::preimage_range().
| __isl_overload __isl_give isl_union_map * isl_union_map_preimage_range_pw_multi_aff | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_pw_multi_aff * | pma | ||
| ) |
Definition at line 3661 of file isl_union_map.c.
References isl_map_preimage_range_pw_multi_aff(), pma, preimage_pw_multi_aff(), and range_match().
Referenced by isl_union_map_preimage_range_multi_aff(), isl_union_map_preimage_range_union_pw_multi_aff(), and isl::union_map::preimage_range().
| __isl_overload __isl_give isl_union_map * isl_union_map_preimage_range_union_pw_multi_aff | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_pw_multi_aff * | upma | ||
| ) |
Definition at line 3908 of file isl_union_map.c.
References isl_union_map_preimage_range_pw_multi_aff(), preimage_union_pw_multi_aff(), and isl_union_map_preimage_upma_data::umap.
Referenced by isl_schedule_tree_pullback_union_pw_multi_aff(), and isl::union_map::preimage_range().
| __isl_export __isl_give isl_union_map * isl_union_map_product | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 1773 of file isl_union_map.c.
References bin_op, product_entry(), and isl_union_map_bin_data::umap2.
Referenced by collect_edge_constraints(), isl_union_map_power(), and isl::union_map::product().
| __isl_give isl_union_map * isl_union_map_project_out | ( | __isl_take isl_union_map * | umap, |
| enum isl_dim_type | type, | ||
| unsigned | first, | ||
| unsigned | n | ||
| ) |
Definition at line 4004 of file isl_union_map.c.
References isl_union_map_project_out_data::first, isl_die, isl_dim_param, isl_error_invalid, isl_space_drop_dims(), isl_union_map_empty(), isl_union_map_foreach_map(), isl_union_map_free(), isl_union_map_get_ctx(), isl_union_map_get_space(), n, project_out(), isl_union_map_project_out_data::res, and type.
Referenced by group_context(), and isl_union_set_project_out().
| __isl_export __isl_give isl_union_map * isl_union_map_project_out_all_params | ( | __isl_take isl_union_map * | umap | ) |
Referenced by isl_union_set_project_out_all_params(), and isl::union_map::project_out_all_params().
| __isl_overload __isl_give isl_union_map * isl_union_map_project_out_param_id | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_id * | id | ||
| ) |
| __isl_overload __isl_give isl_union_map * isl_union_map_project_out_param_id_list | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_id_list * | list | ||
| ) |
| __isl_export __isl_give isl_union_set * isl_union_map_range | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2343 of file isl_union_map.c.
References isl_un_op_control::fn_map, isl_map_range(), and un_op.
Referenced by after_in_band(), after_in_context(), before_for(), check_band_schedule_total_on_instances(), collect_universe_domain_extension(), gist_enter_extension(), graft_extension(), group_expansion(), has_violated_conditional_constraint(), insert_extension(), is_disjoint_extension(), isl_union_map_plain_is_injective(), isl::union_map::range(), set_universe(), test_padded_schedule(), and update_edges().
| __isl_give isl_union_map * isl_union_map_range_curry | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 3422 of file isl_union_map.c.
References isl_un_op_control::filter, isl_map_can_range_curry(), isl_map_range_curry(), un_op, and un_op_filter_drop_user().
Referenced by isl_union_flow_drop_schedule().
| __isl_export __isl_give isl_union_map * isl_union_map_range_factor_domain | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2516 of file isl_union_map.c.
References isl_un_op_control::filter, isl_map_range_factor_domain(), isl_map_range_is_wrapping(), un_op, and un_op_filter_drop_user().
Referenced by isl_union_flow_get_may_dependence(), isl_union_flow_get_must_dependence(), and isl::union_map::range_factor_domain().
| __isl_export __isl_give isl_union_map * isl_union_map_range_factor_range | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2531 of file isl_union_map.c.
References isl_un_op_control::filter, isl_map_range_factor_range(), isl_map_range_is_wrapping(), un_op, and un_op_filter_drop_user().
Referenced by isl::union_map::range_factor_range().
| __isl_export __isl_give isl_union_map * isl_union_map_range_map | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2393 of file isl_union_map.c.
References isl_un_op_control::fn_map, isl_map_range_map(), and un_op.
Referenced by collect_sink_source(), isl_union_access_info_introduce_schedule(), and isl::union_map::range_map().
| __isl_export __isl_give isl_union_map * isl_union_map_range_product | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 1846 of file isl_union_map.c.
References bin_op, range_product_entry(), and isl_union_map_bin_data::umap2.
Referenced by create_leaf(), and isl::union_map::range_product().
| __isl_export __isl_give isl_union_map * isl_union_map_range_reverse | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2292 of file isl_union_map.c.
References isl_un_op_control::filter, isl_map_range_is_wrapping(), isl_map_range_reverse(), un_op, and un_op_filter_drop_user().
Referenced by isl::union_map::range_reverse().
| __isl_give isl_union_map * isl_union_map_read_from_file | ( | isl_ctx * | ctx, |
| FILE * | input | ||
| ) |
Definition at line 3348 of file isl_input.c.
References isl_map::ctx, isl_stream_free(), isl_stream_new_file(), and isl_stream_read_union_map().
| __isl_constructor __isl_give isl_union_map * isl_union_map_read_from_str | ( | isl_ctx * | ctx, |
| const char * | str | ||
| ) |
Referenced by compute_schedule_with_context(), read_expansion(), read_extension(), test_ast_gen1(), test_ast_gen2(), test_ast_gen3(), test_ast_gen4(), test_ast_gen5(), test_bin_locus(), test_bin_union_map(), test_bind_umap_range(), test_coalescing_schedule(), test_conditional_schedule_constraints(), test_flow(), test_one_schedule(), test_plain_injective(), test_schedule_tree_group_2(), test_special_conditional_schedule_constraints(), test_special_conditional_schedule_constraints_2(), test_special_schedule(), test_strongly_satisfying_schedule(), test_subtract(), test_sv(), test_un_union_map(), test_union(), test_union_map_mupa_conversion(), and isl::union_map::union_map().
| __isl_give isl_union_map * isl_union_map_remove_divs | ( | __isl_take isl_union_map * | bmap | ) |
Definition at line 3958 of file isl_union_map.c.
References isl_map_remove_divs(), total(), and isl_union_map_preimage_upma_data::umap.
Referenced by collect_inter_validity(), exploit_inter_lineality(), and isl_union_set_remove_divs().
| __isl_give isl_union_map * isl_union_map_remove_map_if | ( | __isl_take isl_union_map * | umap, |
| isl_bool(*)(__isl_keep isl_map *map, void *user) | fn, | ||
| void * | user | ||
| ) |
Definition at line 4522 of file isl_union_map.c.
References isl_un_op_control::filter, fn, map_id(), not(), un_op, and user.
| __isl_give isl_union_map * isl_union_map_remove_redundancies | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2183 of file isl_union_map.c.
References inplace(), and isl_map_remove_redundancies().
Referenced by isl_ast_build_node_from_schedule_map(), and isl_union_set_remove_redundancies().
| __isl_give isl_union_map * isl_union_map_reset_user | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 3934 of file isl_union_map.c.
References isl_union_map::dim, isl_map_reset_user(), isl_space_reset_user(), isl_union_map_cow(), isl_union_map_free(), total(), and isl_union_map_preimage_upma_data::umap.
Referenced by isl_schedule_tree_reset_user(), and isl_union_set_reset_user().
| __isl_export __isl_give isl_union_map * isl_union_map_reverse | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2281 of file isl_union_map.c.
References isl_un_op_control::fn_map, isl_map_reverse(), and un_op.
Referenced by polly::Dependences::addPrivatizationDependences(), after_in_band(), after_in_context(), apply_factor_domain(), build_ast_from_band(), collect_sink_source(), isl_ast_build_get_schedule(), isl_ast_build_node_from_schedule_map(), isl_schedule_node_expand(), isl_schedule_node_group(), isl_union_access_info_introduce_schedule(), isl_union_map_apply_domain(), isl_union_map_from_domain(), isl_union_map_is_injective(), isl_union_map_lex_ge_union_map(), isl_union_map_lex_gt_union_map(), isl_union_set_lex_ge_union_set(), isl_union_set_lex_gt_union_set(), isl::union_map::reverse(), single_valued_on_domain(), and test_one_schedule().
| __isl_give isl_basic_map * isl_union_map_sample | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2776 of file isl_union_map.c.
References isl_basic_map_empty(), isl_hash_table_foreach(), isl_union_map_free(), isl_union_map_get_space(), and sample_entry().
Referenced by isl_union_set_sample().
| __isl_give isl_union_map * isl_union_map_simple_hull | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2156 of file isl_union_map.c.
References isl_map_simple_hull_map(), and total().
Referenced by isl_union_set_simple_hull().
| __isl_export __isl_give isl_union_map * isl_union_map_subtract | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 1063 of file isl_union_map.c.
References gen_bin_op(), identity(), isl_map_subtract(), and isl_bin_op_control::subtract.
Referenced by polly::Dependences::addPrivatizationDependences(), polly::Dependences::calculateDependences(), isl_union_access_info_normalize(), isl_union_set_subtract(), and isl::union_map::subtract().
| __isl_export __isl_give isl_union_map * isl_union_map_subtract_domain | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_set * | dom | ||
| ) |
Definition at line 1428 of file isl_union_map.c.
References gen_bin_op(), isl_map_subtract_domain(), isl_space_domain(), and isl_bin_op_control::subtract.
Referenced by exploit_inter_lineality(), isl::union_map::subtract_domain(), and test_subtract().
| __isl_export __isl_give isl_union_map * isl_union_map_subtract_range | ( | __isl_take isl_union_map * | umap, |
| __isl_take isl_union_set * | dom | ||
| ) |
Definition at line 1442 of file isl_union_map.c.
References gen_bin_op(), isl_map_subtract_range(), isl_space_range(), and isl_bin_op_control::subtract.
Referenced by exploit_inter_lineality(), group_expansion(), set_options(), and isl::union_map::subtract_range().
| __isl_give char * isl_union_map_to_str | ( | __isl_keep isl_union_map * | umap | ) |
Referenced by isl::operator<<().
| __isl_give isl_union_map * isl_union_map_transitive_closure | ( | __isl_take isl_union_map * | umap, |
| isl_bool * | exact | ||
| ) |
Definition at line 2855 of file isl_transitive_closure.c.
References isl_bool_true, isl_union_map_coalesce(), isl_union_map_compute_divs(), isl_union_map_free(), isl_union_map_is_transitively_closed(), and union_components().
Referenced by polly::Dependences::addPrivatizationDependences(), and isl_union_map_power().
| __isl_export __isl_give isl_union_map * isl_union_map_uncurry | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 3394 of file isl_union_map.c.
References isl_un_op_control::filter, isl_map_can_uncurry(), isl_map_uncurry(), un_op, and un_op_filter_drop_user().
Referenced by apply_factor_domain(), and isl::union_map::uncurry().
| __isl_export __isl_give isl_union_map * isl_union_map_union | ( | __isl_take isl_union_map * | umap1, |
| __isl_take isl_union_map * | umap2 | ||
| ) |
Definition at line 340 of file isl_union_map.c.
References add_map(), isl_union_map_align_params(), isl_union_map_cow(), isl_union_map_foreach_map(), isl_union_map_free(), and isl_union_map_get_space().
Referenced by polly::Dependences::addPrivatizationDependences(), apply(), build_ast_from_extension(), polly::Dependences::calculateDependences(), compute_flow(), compute_single_flow(), exploit_inter_lineality(), extend_extension(), polly::PolyhedralInfo::getScheduleForLoop(), group_expansion(), isl_obj_union_map_add(), isl_schedule_constraints_add(), isl_union_access_info_add_kill_to_must_source(), isl_union_flow_copy(), isl_union_flow_drop_kill_source(), isl_union_flow_get_full_may_dependence(), isl_union_flow_get_may_dependence(), isl_union_flow_get_may_no_source(), isl_union_set_union(), merge_edge(), preimage_upma(), set_universe(), subtree_expansion_leave(), subtree_schedule_extend_from_children(), test_one_schedule(), union_components(), and isl::union_map::unite().
| __isl_export __isl_give isl_union_map * isl_union_map_universe | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2268 of file isl_union_map.c.
References isl_un_op_control::fn_map, un_op, and universe().
Referenced by after_in_band(), after_in_context(), append_range(), collect_filter_prefix_expansion(), collect_universe_domain_extension(), generate_code(), group_expansion(), initial_domain(), is_disjoint_extension(), isl_schedule_node_group(), isl_union_map_is_single_valued(), isl_union_map_plain_is_injective(), isl_union_set_universe(), and isl::union_map::universe().
| __isl_export __isl_give isl_union_set * isl_union_map_wrap | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 2584 of file isl_union_map.c.
References isl_un_op_control::fn_map, isl_map_wrap(), and un_op.
Referenced by collect_inter_validity(), and isl::union_map::wrap().
| __isl_export __isl_give isl_union_map * isl_union_map_zip | ( | __isl_take isl_union_map * | umap | ) |
Definition at line 3380 of file isl_union_map.c.
References isl_un_op_control::filter, isl_map_can_zip(), isl_map_zip(), un_op, and un_op_filter_drop_user().
Referenced by add_conditional_constraints(), polly::Dependences::calculateDependences(), intersect_domains(), is_condition_false(), isl_union_map_power(), and isl::union_map::zip().
| __isl_give isl_union_set * isl_union_set_align_params | ( | __isl_take isl_union_set * | uset, |
| __isl_take isl_space * | model | ||
| ) |
Definition at line 334 of file isl_union_map.c.
References isl_union_map_align_params().
Referenced by build_ast_from_filter(), isl_multi_union_pw_aff_multi_val_on_domain(), isl_multi_union_pw_aff_pw_multi_aff_on_domain(), isl_schedule_band_align_params(), isl_schedule_constraints_align_params(), isl_schedule_tree_align_params(), isl_union_pw_aff_pw_aff_on_domain(), and union_set_drop_extra_params().
| __isl_export __isl_give isl_union_map * isl_union_set_identity | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2443 of file isl_union_map.c.
References isl_un_op_control::fn_map, isl_set_identity(), and un_op.
Referenced by polly::Dependences::calculateDependences(), isl::union_set::identity(), and isl_schedule_node_get_subtree_expansion().
| __isl_export __isl_give isl_union_map * isl_union_set_unwrap | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2573 of file isl_union_map.c.
References isl_un_op_control::filter, isl_set_is_wrapping(), isl_set_unwrap(), un_op, and un_op_filter_drop_user().
Referenced by polly::Dependences::calculateDependences(), is_condition_false(), and isl::union_set::unwrap().
| __isl_give isl_union_map * isl_union_set_wrapped_domain_map | ( | __isl_take isl_union_set * | uset | ) |
Definition at line 2405 of file isl_union_map.c.
References isl_un_op_control::filter, isl_set_is_wrapping(), isl_set_wrapped_domain_map(), un_op, and un_op_filter_drop_user().
1.9.6