Polly 20.0.0git
|
#include <isl/ctx.h>
#include <isl/space.h>
#include <isl/local_space.h>
#include <isl/union_map.h>
#include <isl_map_private.h>
#include <isl_aff_private.h>
#include <isl_vec_private.h>
#include <isl_seq.h>
#include <bset_from_bmap.c>
#include <set_from_map.c>
Go to the source code of this file.
|
static |
Definition at line 176 of file isl_aff_map.c.
References isl_basic_map_from_multi_aff2(), and ma.
Referenced by isl_basic_map_from_multi_aff(), isl_basic_set_from_multi_aff(), and isl_map_from_multi_aff_internal().
|
static |
Definition at line 29 of file isl_aff_map.c.
References isl_die, isl_error_invalid, isl_space_get_ctx(), isl_space_is_set(), isl_stat_error, and isl_stat_ok.
Referenced by isl_basic_map_from_multi_aff(), isl_map_from_multi_aff(), isl_map_from_multi_pw_aff(), isl_map_from_pw_aff(), and isl_map_from_pw_multi_aff().
|
static |
Definition at line 45 of file isl_aff_map.c.
References isl_die, isl_error_invalid, isl_space_get_ctx(), isl_space_is_set(), isl_stat_error, and isl_stat_ok.
Referenced by isl_basic_set_from_multi_aff(), isl_set_from_multi_aff(), isl_set_from_multi_pw_aff(), isl_set_from_pw_aff(), and isl_set_from_pw_multi_aff().
__isl_give isl_basic_map * isl_basic_map_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 110 of file isl_aff_map.c.
References aff, and isl_basic_map_from_aff2().
Referenced by isl::basic_map::from_aff(), isl_basic_map_from_aff_list(), isl_map_from_aff(), and isl_map_from_pw_aff_internal().
|
static |
Definition at line 64 of file isl_aff_map.c.
References aff, isl_basic_map::eq, isl_aff_free(), isl_aff_get_ctx(), isl_aff_get_local_space(), isl_aff_is_nan(), isl_basic_map_alloc_equality(), isl_basic_map_extend_constraints(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_from_local_space(), isl_basic_map_gauss(), isl_basic_map_offset(), isl_basic_map_set_rational(), isl_die, isl_dim_out, isl_error_invalid, isl_int_neg, isl_seq_cpy(), and pos().
Referenced by isl_basic_map_from_aff(), and isl_basic_map_from_multi_aff2().
__isl_give isl_basic_map * isl_basic_map_from_aff_list | ( | __isl_take isl_space * | domain_space, |
__isl_take isl_aff_list * | list | ||
) |
Definition at line 265 of file isl_aff_map.c.
References aff, isl_aff_copy(), isl_basic_map_flat_range_product(), isl_basic_map_from_aff(), isl_basic_map_universe(), and isl_space_from_domain().
__isl_give isl_basic_map * isl_basic_map_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 186 of file isl_aff_map.c.
References basic_map_from_multi_aff(), check_input_is_map(), and ma.
Referenced by foreach_iteration().
__isl_give isl_basic_map * isl_basic_map_from_multi_aff2 | ( | __isl_take isl_multi_aff * | maff, |
int | rational | ||
) |
Definition at line 131 of file isl_aff_map.c.
References aff, isl_aff_copy(), isl_basic_map_flat_range_product(), isl_basic_map_from_aff2(), isl_basic_map_reset_space(), isl_basic_map_set_rational(), isl_basic_map_universe(), isl_die, isl_dim_out, isl_error_internal, isl_space_domain(), and isl_space_from_domain().
Referenced by basic_map_from_multi_aff(), isl_map_from_pw_multi_aff_internal(), and sol_map_add().
__isl_give isl_basic_set * isl_basic_set_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 198 of file isl_aff_map.c.
References basic_map_from_multi_aff(), bset_from_bmap(), check_input_is_set(), and ma.
Referenced by test_ma_conversion().
__isl_give isl_map * isl_map_from_aff | ( | __isl_take isl_aff * | aff | ) |
Definition at line 118 of file isl_aff_map.c.
References aff, isl_basic_map_from_aff(), and isl_map_from_basic_map().
Referenced by isl::map::from_aff().
__isl_give isl_map * isl_map_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 224 of file isl_aff_map.c.
References check_input_is_map(), isl_map_from_multi_aff_internal(), and ma.
Referenced by collect_cluster_map(), create_node(), extract_node_transformation(), final_row(), isl::map::from_multi_aff(), isl_ast_build_get_schedule_map(), isl_multi_aff_as_map(), isolate_final(), and node_extract_schedule().
__isl_give isl_map * isl_map_from_multi_aff_internal | ( | __isl_take isl_multi_aff * | maff | ) |
Definition at line 211 of file isl_aff_map.c.
References basic_map_from_multi_aff(), and isl_map_from_basic_map().
Referenced by isl_map_from_multi_aff(), isl_set_from_multi_aff(), and pw_multi_aff_from_map_div().
__isl_give isl_map * isl_map_from_multi_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 479 of file isl_aff_map.c.
References check_input_is_map(), and map_from_multi_pw_aff().
Referenced by isl_multi_pw_aff_as_map().
__isl_give isl_map * isl_map_from_pw_aff | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 327 of file isl_aff_map.c.
References check_input_is_map(), isl_map_from_pw_aff_internal(), and isl_pw_aff_free().
Referenced by isl::map::from_pw_aff(), isl_pw_aff_as_map(), map_from_pw_aff_entry(), and read_var_def().
__isl_give isl_map * isl_map_from_pw_aff_internal | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 296 of file isl_aff_map.c.
References isl_aff_copy(), isl_basic_map_from_aff(), isl_map_empty(), isl_map_from_basic_map(), isl_map_intersect_domain(), isl_map_union_disjoint(), isl_pw_aff_free(), isl_pw_aff_get_space(), isl_set_copy(), and map.
Referenced by isl_map_from_pw_aff(), isl_pw_aff_is_equal(), isl_set_from_pw_aff(), and map_from_multi_pw_aff().
__isl_give isl_map * isl_map_from_pw_multi_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 396 of file isl_aff_map.c.
References check_input_is_map(), isl_map_from_pw_multi_aff_internal(), isl_pw_multi_aff_free(), and pma.
Referenced by isl_pw_multi_aff_as_map(), map_from_pw_multi_aff(), project_out_fixed(), test_lexmin(), and test_map_conversion().
__isl_give isl_map * isl_map_from_pw_multi_aff_internal | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 360 of file isl_aff_map.c.
References isl_basic_map_from_multi_aff2(), isl_map_empty(), isl_map_free(), isl_map_from_basic_map(), isl_map_intersect_domain(), isl_map_union_disjoint(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_space(), isl_set_copy(), isl_set_is_rational(), map, and pma.
Referenced by isl_map_from_pw_multi_aff(), isl_map_partial_lexopt_aligned(), isl_pw_multi_aff_is_equal(), and isl_set_from_pw_multi_aff().
__isl_give isl_map * isl_multi_aff_as_map | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 234 of file isl_aff_map.c.
References isl_map_from_multi_aff(), and ma.
Referenced by isl::multi_aff::as_map().
__isl_give isl_set * isl_multi_aff_as_set | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 253 of file isl_aff_map.c.
References isl_set_from_multi_aff(), and ma.
Referenced by isl::multi_aff::as_set().
__isl_give isl_map * isl_multi_pw_aff_as_map | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 489 of file isl_aff_map.c.
References isl_map_from_multi_pw_aff().
Referenced by isl::multi_pw_aff::as_map().
__isl_give isl_set * isl_multi_pw_aff_as_set | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 509 of file isl_aff_map.c.
References isl_set_from_multi_pw_aff().
Referenced by isl::multi_pw_aff::as_set().
__isl_give isl_map * isl_pw_aff_as_map | ( | __isl_take isl_pw_aff * | pa | ) |
Definition at line 337 of file isl_aff_map.c.
References isl_map_from_pw_aff().
Referenced by isl::pw_aff::as_map().
__isl_give isl_map * isl_pw_multi_aff_as_map | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 406 of file isl_aff_map.c.
References isl_map_from_pw_multi_aff(), and pma.
Referenced by isl::pw_multi_aff::as_map().
__isl_give isl_set * isl_pw_multi_aff_as_set | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 421 of file isl_aff_map.c.
References isl_set_from_pw_multi_aff(), and pma.
Referenced by isl::pw_multi_aff::as_set().
__isl_give isl_set * isl_set_from_multi_aff | ( | __isl_take isl_multi_aff * | ma | ) |
Definition at line 243 of file isl_aff_map.c.
References check_input_is_set(), isl_map_from_multi_aff_internal(), and ma.
Referenced by isl_multi_aff_as_set().
__isl_give isl_set * isl_set_from_multi_pw_aff | ( | __isl_take isl_multi_pw_aff * | mpa | ) |
Definition at line 499 of file isl_aff_map.c.
References check_input_is_set(), map_from_multi_pw_aff(), and set_from_map().
Referenced by isl_multi_pw_aff_as_set().
__isl_give isl_set * isl_set_from_pw_aff | ( | __isl_take isl_pw_aff * | pwaff | ) |
Definition at line 346 of file isl_aff_map.c.
References check_input_is_set(), isl_map_from_pw_aff_internal(), isl_pw_aff_free(), and set_from_map().
Referenced by test_dim_max().
__isl_give isl_set * isl_set_from_pw_multi_aff | ( | __isl_take isl_pw_multi_aff * | pma | ) |
Definition at line 411 of file isl_aff_map.c.
References check_input_is_set(), isl_map_from_pw_multi_aff_internal(), isl_pw_multi_aff_free(), pma, and set_from_map().
Referenced by isl_pw_multi_aff_as_set(), main(), test_lexmin(), and test_set_conversion().
__isl_give isl_union_map * isl_union_map_from_union_pw_aff | ( | __isl_take isl_union_pw_aff * | upa | ) |
Definition at line 531 of file isl_aff_map.c.
References isl_union_map_empty(), isl_union_map_free(), isl_union_pw_aff_foreach_pw_aff(), isl_union_pw_aff_free(), isl_union_pw_aff_get_space(), and map_from_pw_aff_entry().
Referenced by isl_union_map_from_multi_union_pw_aff().
__isl_give isl_union_map * isl_union_map_from_union_pw_multi_aff | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 569 of file isl_aff_map.c.
References isl_union_map_empty(), isl_union_map_free(), isl_union_pw_multi_aff_foreach_pw_multi_aff(), isl_union_pw_multi_aff_free(), isl_union_pw_multi_aff_get_space(), and map_from_pw_multi_aff().
Referenced by append_range(), isl::union_map::from(), group_expansion(), isl_schedule_node_expand(), isl_schedule_node_get_prefix_schedule_union_map(), isl_schedule_node_group(), isl_union_pw_multi_aff_as_union_map(), and subtree_schedule_extend_from_children().
__isl_give isl_union_map * isl_union_pw_multi_aff_as_union_map | ( | __isl_take isl_union_pw_multi_aff * | upma | ) |
Definition at line 597 of file isl_aff_map.c.
References isl_union_map_from_union_pw_multi_aff().
Referenced by isl::union_pw_multi_aff::as_union_map().
|
static |
Definition at line 434 of file isl_aff_map.c.
References isl_die, isl_dim_out, isl_error_internal, isl_map_flat_range_product(), isl_map_from_pw_aff_internal(), isl_map_intersect_multi_pw_aff_explicit_domain(), isl_map_reset_space(), isl_map_universe(), isl_pw_aff_copy(), isl_space_dim(), isl_space_from_domain(), and map.
Referenced by isl_map_from_multi_pw_aff(), and isl_set_from_multi_pw_aff().
|
static |
Definition at line 516 of file isl_aff_map.c.
References isl_map_from_pw_aff(), isl_stat_error, isl_stat_ok, isl_union_map_add_map(), map, and user.
Referenced by isl_union_map_from_union_pw_aff().
|
static |
Definition at line 553 of file isl_aff_map.c.
References isl_map_from_pw_multi_aff(), isl_stat_ok, isl_union_map_add_map(), map, pma, and user.
Referenced by isl_union_map_from_union_pw_multi_aff().