|
Polly 22.0.0git
|
#include <ctype.h>#include <stdio.h>#include <string.h>#include <isl_ctx_private.h>#include <isl_map_private.h>#include <isl_id_private.h>#include <isl/set.h>#include <isl_seq.h>#include <isl_stream_private.h>#include <isl/obj.h>#include "isl_polynomial_private.h"#include <isl/union_set.h>#include <isl/union_map.h>#include <isl_mat_private.h>#include <isl_aff_private.h>#include <isl_vec_private.h>#include <isl/list.h>#include <isl_val_private.h>#include "isl_read_from_str_templ.c"#include "isl_stream_read_pw_with_params_templ.c"#include "isl_stream_read_with_params_templ.c"#include <isl_multi_from_tuple_templ.c>#include <isl_multi_read_no_explicit_domain_templ.c>Go to the source code of this file.
Classes | |
| struct | variable |
| struct | vars |
Macros | |
| #define | TYPE_BASE val |
| #define | TYPE_BASE space |
| #define | TYPE_BASE basic_map |
| #define | TYPE_BASE basic_set |
| #define | TYPE_BASE map |
| #define | TYPE_BASE set |
| #define | TYPE_BASE union_map |
| #define | TYPE_BASE union_set |
| #define | TYPE_BASE pw_qpolynomial |
| #define | TYPE_BASE pw_qpolynomial_fold |
| #define | BASE aff |
| #define | TYPE_BASE aff |
| #define | TYPE_BASE pw_aff |
| #define | BASE pw_aff |
| #define | BASE multi_aff |
| #define | TYPE_BASE pw_multi_aff |
| #define | TYPE_BASE union_pw_multi_aff |
| #define | BASE val |
| #define | BASE id |
| #define | BASE aff |
| #define | TYPE_BASE multi_aff |
| #define | TYPE_BASE multi_pw_aff |
| #define | TYPE_BASE union_pw_aff |
| #define | TYPE_BASE multi_union_pw_aff |
| #define | TYPE_BASE union_pw_qpolynomial |
| #define BASE aff |
Definition at line 3845 of file isl_input.c.
| #define BASE pw_aff |
Definition at line 3845 of file isl_input.c.
| #define BASE multi_aff |
Definition at line 3845 of file isl_input.c.
| #define BASE val |
Definition at line 3845 of file isl_input.c.
| #define BASE id |
Definition at line 3845 of file isl_input.c.
| #define BASE aff |
Definition at line 3845 of file isl_input.c.
| #define TYPE_BASE val |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE space |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE basic_map |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE basic_set |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE map |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE set |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE union_map |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE union_set |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE pw_qpolynomial |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE pw_qpolynomial_fold |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE aff |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE pw_aff |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE pw_multi_aff |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE union_pw_multi_aff |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE multi_aff |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE multi_pw_aff |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE union_pw_aff |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE multi_union_pw_aff |
Definition at line 4284 of file isl_input.c.
| #define TYPE_BASE union_pw_qpolynomial |
Definition at line 4284 of file isl_input.c.
|
static |
Definition at line 604 of file isl_input.c.
References accept_affine_factor(), is_start_of_div(), isl_aff_zero_on_domain(), isl_int_neg, isl_local_space_from_space(), isl_pw_aff_add(), isl_pw_aff_free(), isl_pw_aff_from_aff(), isl_pw_aff_sub(), isl_space_copy(), isl_space_free(), isl_stream_error(), isl_stream_push_token(), ISL_TOKEN_AFF, isl_token_free(), ISL_TOKEN_IDENT, ISL_TOKEN_MAX, ISL_TOKEN_MIN, ISL_TOKEN_NAN, ISL_TOKEN_VALUE, nan_on_domain(), next_token(), op, res, isl_token::s, isl_token::type, isl_token::u, and isl_token::v.
Referenced by accept_affine_factor(), accept_affine_list(), accept_div(), accept_extended_affine(), accept_piecewise_affine(), read_pw_aff_with_dom(), resolve_paren_expr(), and update_piecewise_affine_colon().
|
static |
Definition at line 493 of file isl_input.c.
References accept_affine(), accept_affine_factor(), accept_cst_factor(), accept_div(), accept_minmax(), aff, affine_mod(), f, is_start_of_div(), isl_aff_add_constant(), isl_aff_free(), isl_aff_zero_on_domain(), isl_int_clear, isl_int_init, isl_int_neg, isl_int_set_si, isl_local_space_from_space(), isl_pw_aff_copy(), isl_pw_aff_floor(), isl_pw_aff_free(), isl_pw_aff_from_aff(), isl_pw_aff_scale(), isl_space_copy(), isl_space_free(), isl_stream_eat(), isl_stream_eat_if_available(), isl_stream_error(), isl_stream_next_token_is(), isl_stream_push_token(), ISL_TOKEN_AFF, isl_token_free(), ISL_TOKEN_IDENT, ISL_TOKEN_INT_DIV, ISL_TOKEN_MAX, ISL_TOKEN_MIN, ISL_TOKEN_MOD, ISL_TOKEN_VALUE, isl_vec_set_element_si(), n, next_token(), pos(), pw_aff_div_by_cst(), isl_token::pwaff, res, isl_token::s, isl_token::type, isl_token::u, isl_token::v, vars_drop(), and vars_pos().
Referenced by accept_affine(), and accept_affine_factor().
|
static |
Definition at line 885 of file isl_input.c.
References accept_affine(), isl_space_copy(), isl_space_free(), isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), isl_token::pwaff, isl_token::s, isl_token::type, and isl_token::v.
Referenced by accept_minmax(), and add_constraint().
|
static |
Definition at line 253 of file isl_input.c.
References accept_cst_factor(), f, isl_int_mul, isl_int_neg, isl_stat_error, isl_stat_ok, isl_stream_eat_if_available(), isl_stream_error(), isl_token_free(), ISL_TOKEN_VALUE, next_token(), isl_token::s, isl_token::type, isl_token::u, and isl_token::v.
Referenced by accept_affine_factor(), and accept_cst_factor().
|
static |
Definition at line 439 of file isl_input.c.
References accept_affine(), f, isl_pw_aff_ceil(), isl_pw_aff_floor(), isl_pw_aff_free(), isl_space_copy(), isl_space_free(), isl_stream_eat(), isl_stream_eat_if_available(), ISL_TOKEN_CEIL, ISL_TOKEN_CEILD, ISL_TOKEN_FLOOR, ISL_TOKEN_FLOORD, pw_aff_div_by_cst(), isl_token::pwaff, isl_token::s, and isl_token::v.
Referenced by accept_affine_factor(), and read_factor().
|
static |
Definition at line 820 of file isl_input.c.
References accept_affine(), accept_ternary(), isl_token::col, isl_map_free(), isl_map_universe(), isl_pw_aff_get_domain_space(), isl_pw_aff_set_rational(), isl_space_unwrap(), isl_token::line, next_is_comparator(), push_aff(), isl_token::pwaff, read_formula(), isl_token::s, set_current_line_col(), and isl_token::v.
Referenced by accept_piecewise_affine(), accept_ternary(), and read_var_def().
|
static |
Definition at line 317 of file isl_input.c.
References accept_affine_list(), isl_pw_aff_list_max(), isl_pw_aff_list_min(), isl_space_copy(), isl_space_free(), isl_stream_eat(), isl_stream_next_token(), isl_token_free(), ISL_TOKEN_MIN, isl_token::s, isl_token::type, and isl_token::v.
Referenced by accept_affine_factor().
|
static |
Definition at line 1321 of file isl_input.c.
References accept_affine(), accept_extended_affine(), accept_piecewise_affine(), isl_token::col, construct_upper(), identity_tuple_el_on_space(), isl_dim_out, isl_pw_aff_empty(), isl_pw_aff_free(), isl_pw_aff_union_add(), isl_space_add_dims(), isl_space_copy(), isl_space_free(), isl_space_from_domain(), isl_stream_eat(), isl_stream_eat_if_available(), isl_token::line, next_is_end_tuple_element(), push_aff(), res, isl_token::s, set_current_line_col(), update_piecewise_affine_colon(), and isl_token::v.
Referenced by accept_piecewise_affine(), and read_tuple_var_def().
|
static |
Definition at line 727 of file isl_input.c.
References accept_extended_affine(), isl_map_free(), isl_map_get_space(), isl_map_wrap(), isl_pw_aff_cond(), isl_pw_aff_free(), isl_pw_aff_get_domain_space(), isl_set_indicator_function(), isl_space_wrap(), isl_stream_eat(), isl_token::s, and isl_token::v.
Referenced by accept_extended_affine().
|
static |
Definition at line 1988 of file isl_input.c.
References accept_affine_list(), construct_constraints(), is_comparator(), is_list_comparator_type(), isl_map_wrap(), isl_set_free(), isl_set_get_space(), isl_set_unwrap(), isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), map, next_is_comparator(), isl_token::s, set, isl_token::type, type, and isl_token::v.
Referenced by read_conjunct().
|
static |
Definition at line 285 of file isl_input.c.
References aff, isl_pw_aff_copy(), isl_pw_aff_floor(), isl_pw_aff_free(), isl_pw_aff_scale(), isl_pw_aff_scale_down(), isl_pw_aff_sub(), isl_stream_error(), isl_token_free(), ISL_TOKEN_VALUE, next_token(), isl_token::s, isl_token::type, isl_token::u, and isl_token::v.
Referenced by accept_affine_factor().
|
static |
Definition at line 2358 of file isl_input.c.
References basic_map_read_polylib_constraint(), isl_basic_map::div, isl_assert, isl_basic_map_alloc(), isl_basic_map_alloc_div(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_simplify(), isl_int_get_si, isl_seq_clr(), isl_stream_error(), isl_stream_next_token(), isl_stream_next_token_on_same_line(), isl_token_free(), ISL_TOKEN_VALUE, isl_token::on_new_line, isl_token::type, isl_token::u, and isl_token::v.
Referenced by map_read_polylib().
|
static |
Definition at line 2296 of file isl_input.c.
References isl_assert, isl_basic_map_alloc_equality(), isl_basic_map_alloc_inequality(), isl_basic_map_dim(), isl_basic_map_free(), isl_dim_all, isl_int_get_si, isl_int_set, isl_stream_error(), isl_stream_next_token(), isl_token_free(), ISL_TOKEN_VALUE, next_signed_value_on_same_line(), isl_token::on_new_line, polylib_pos_to_isl_pos(), pos(), isl_token::s, total(), isl_token::type, type, isl_token::u, and isl_token::v.
Referenced by basic_map_read_polylib().
|
static |
Definition at line 1938 of file isl_input.c.
References is_list_comparator_type(), isl_pw_aff_list_eq_set(), isl_pw_aff_list_ge_set(), isl_pw_aff_list_gt_set(), isl_pw_aff_list_le_set(), isl_pw_aff_list_lt_set(), isl_pw_aff_list_ne_set(), isl_pw_aff_list_set_rational(), isl_set_intersect(), ISL_TOKEN_GE, ISL_TOKEN_GT, ISL_TOKEN_LE, ISL_TOKEN_LT, ISL_TOKEN_NE, list_cmp(), set, and type.
Referenced by add_constraint().
|
static |
Definition at line 1180 of file isl_input.c.
References init_range(), set_lower(), and isl_token::v.
Referenced by update_piecewise_affine_colon().
|
static |
Definition at line 1216 of file isl_input.c.
References init_range(), set_lower(), set_upper(), and isl_token::v.
Referenced by update_piecewise_affine_colon().
|
static |
Definition at line 1198 of file isl_input.c.
References init_range(), set_upper(), and isl_token::v.
Referenced by accept_piecewise_affine().
|
static |
Definition at line 3206 of file isl_input.c.
References isl_assert, isl_obj_set, isl_obj_union_set, isl_union_set_from_set(), and obj.
Referenced by isl_stream_read_union_set(), and read_union_set_body().
|
static |
Definition at line 1500 of file isl_input.c.
References identity_tuple_el_on_space(), isl_space_set_alloc(), and isl_token::v.
Referenced by read_tuple_pw_aff_el().
|
static |
Definition at line 1100 of file isl_input.c.
References aff, isl_aff_add_coefficient_si(), isl_aff_zero_on_domain(), isl_dim_in, isl_local_space_from_space(), isl_pw_aff_from_aff(), and isl_token::v.
Referenced by accept_piecewise_affine(), identity_tuple_el(), and init_range().
|
static |
Definition at line 1117 of file isl_input.c.
References identity_tuple_el_on_space(), isl_pw_aff_get_domain_space(), and isl_token::v.
Referenced by construct_lower(), construct_range(), and construct_upper().
|
static |
Definition at line 700 of file isl_input.c.
References is_list_comparator_type(), ISL_TOKEN_GE, ISL_TOKEN_GT, ISL_TOKEN_LE, ISL_TOKEN_LT, ISL_TOKEN_NE, and isl_token::type.
Referenced by add_constraint(), and next_is_comparator().
|
static |
Definition at line 687 of file isl_input.c.
References ISL_TOKEN_LEX_GE, ISL_TOKEN_LEX_GT, ISL_TOKEN_LEX_LE, ISL_TOKEN_LEX_LT, and type.
Referenced by add_constraint(), construct_constraints(), and is_comparator().
|
static |
Definition at line 2770 of file isl_input.c.
References isl_stream_eat(), isl_stream_next_token(), isl_stream_next_token_is(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_RAT, isl_token::s, and isl_token::type.
Referenced by extends(), and obj_read_body().
|
static |
Definition at line 412 of file isl_input.c.
References ISL_TOKEN_CEIL, ISL_TOKEN_CEILD, ISL_TOKEN_FLOOR, ISL_TOKEN_FLOORD, and isl_token::type.
Referenced by accept_affine(), accept_affine_factor(), and read_factor().
| __isl_give isl_basic_map * isl_basic_map_read_from_file | ( | isl_ctx * | ctx, |
| FILE * | input | ||
| ) |
Definition at line 3284 of file isl_input.c.
References isl_basic_map::ctx, isl_stream_free(), isl_stream_new_file(), and isl_stream_read_basic_map().
Referenced by test_application_case().
| __isl_give isl_basic_set * isl_basic_set_read_from_file | ( | isl_ctx * | ctx, |
| FILE * | input | ||
| ) |
Definition at line 3296 of file isl_input.c.
References isl_basic_map::ctx, isl_stream_free(), isl_stream_new_file(), and isl_stream_read_basic_set().
Referenced by main(), test_affine_hull_case(), test_application_case(), test_convex_hull_case(), and test_read().
| __isl_give isl_map * isl_map_read_from_file | ( | struct isl_ctx * | ctx, |
| FILE * | input | ||
| ) |
Definition at line 3316 of file isl_input.c.
References isl_map::ctx, isl_stream_free(), isl_stream_new_file(), isl_stream_read_map(), and map.
Referenced by main().
|
static |
Definition at line 3830 of file isl_input.c.
References aff, isl_pw_aff_as_aff(), ma, n, pos(), and separate_tuple_entry().
|
static |
Definition at line 3675 of file isl_input.c.
References n, pos(), and separate_tuple_entry().
| __isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_read_from_file | ( | isl_ctx * | ctx, |
| FILE * | input | ||
| ) |
Definition at line 3449 of file isl_input.c.
References isl_stream_free(), isl_stream_new_file(), isl_stream_read_pw_qpolynomial(), and pwqp.
| __isl_give isl_set * isl_set_read_from_file | ( | struct isl_ctx * | ctx, |
| FILE * | input | ||
| ) |
Definition at line 3332 of file isl_input.c.
References isl_map::ctx, isl_stream_free(), isl_stream_new_file(), isl_stream_read_set(), and set.
| __isl_give isl_aff * isl_stream_read_aff | ( | __isl_keep isl_stream * | s | ) |
Definition at line 3550 of file isl_input.c.
References aff, isl_die, isl_dim_out, isl_error_invalid, isl_stream_read_multi_aff(), ma, and isl_token::s.
|
static |
Definition at line 3234 of file isl_input.c.
References isl_basic_map_copy(), isl_basic_map_empty(), isl_die, isl_error_invalid, isl_map_free(), isl_map_get_space(), isl_obj_map, isl_obj_set, map, obj, and obj_read().
Referenced by isl_basic_map_read_from_file(), and isl_stream_read_basic_set().
| __isl_give isl_basic_set * isl_stream_read_basic_set | ( | __isl_keep isl_stream * | s | ) |
Definition at line 3269 of file isl_input.c.
References isl_basic_map_free(), isl_basic_map_may_be_set(), isl_basic_map_range(), isl_die, isl_error_invalid, and isl_stream_read_basic_map().
Referenced by isl_basic_set_read_from_file(), and isl_stream_read_ast_graft().
| __isl_give isl_map * isl_stream_read_map | ( | __isl_keep isl_stream * | s | ) |
Definition at line 3140 of file isl_input.c.
References isl_assert, isl_map_from_range(), isl_obj_map, isl_obj_set, obj, and obj_read().
Referenced by isl_map_read_from_file().
| __isl_give isl_multi_aff * isl_stream_read_multi_aff | ( | __isl_keep isl_stream * | s | ) |
Definition at line 3855 of file isl_input.c.
References isl_die, isl_error_invalid, isl_space_align_params(), isl_space_free(), isl_space_range(), isl_stream_eat(), isl_stream_eat_if_available(), ISL_TOKEN_TO, ma, read_params(), read_tuple(), tuple, tuple_has_expr(), vars::v, vars_free(), and vars_new().
Referenced by isl_stream_read_aff().
| __isl_give isl_multi_union_pw_aff * isl_stream_read_multi_union_pw_aff | ( | __isl_keep isl_stream * | s | ) |
Definition at line 4237 of file isl_input.c.
References isl_multi_union_pw_aff_intersect_domain(), isl_stream_eat(), isl_stream_eat_if_available(), isl_stream_next_token_is(), isl_stream_read_union_set(), mupa, and read_multi_union_pw_aff_core().
| struct isl_obj isl_stream_read_obj | ( | __isl_keep isl_stream * | s | ) |
Definition at line 3135 of file isl_input.c.
References obj_read().
Referenced by ISL_ARG_CHOICE(), and main().
| __isl_give isl_pw_qpolynomial * isl_stream_read_pw_qpolynomial | ( | __isl_keep isl_stream * | s | ) |
Definition at line 3429 of file isl_input.c.
References isl_assert, isl_obj_pw_qpolynomial, obj, and obj_read().
Referenced by isl_pw_qpolynomial_read_from_file().
| __isl_give isl_pw_qpolynomial_fold * isl_stream_read_pw_qpolynomial_fold | ( | __isl_keep isl_stream * | s | ) |
Definition at line 3465 of file isl_input.c.
References isl_die, isl_error_invalid, isl_obj_pw_qpolynomial_fold, obj, and obj_read().
| __isl_give isl_set * isl_stream_read_set | ( | __isl_keep isl_stream * | s | ) |
Definition at line 3158 of file isl_input.c.
References isl_assert, isl_map_may_be_set(), isl_map_range(), isl_obj_map, isl_obj_set, obj, and obj_read().
Referenced by construct_ast_from_union_map(), isl_set_read_from_file(), and isl_stream_read_ast_graft().
| __isl_give isl_space * isl_stream_read_space | ( | __isl_keep isl_stream * | s | ) |
Definition at line 1832 of file isl_input.c.
References isl_space_free(), isl_stream_eat(), isl_stream_eat_if_available(), read_params(), read_space_tuples(), vars::v, vars_free(), and vars_new().
| __isl_give isl_union_map * isl_stream_read_union_map | ( | __isl_keep isl_stream * | s | ) |
Definition at line 3177 of file isl_input.c.
References isl_die, isl_error_invalid, isl_obj_map, isl_obj_set, isl_obj_union_map, isl_obj_union_set, isl_union_map_from_map(), isl_union_set_from_set(), isl_union_set_is_empty(), obj, and obj_read().
Referenced by construct_ast_from_union_map(), and isl_union_map_read_from_file().
| __isl_give isl_union_pw_qpolynomial * isl_stream_read_union_pw_qpolynomial | ( | __isl_keep isl_stream * | s | ) |
Definition at line 4263 of file isl_input.c.
References isl_assert, isl_obj_pw_qpolynomial, isl_obj_union_pw_qpolynomial, isl_union_pw_qpolynomial_from_pw_qpolynomial(), obj, and obj_read().
| __isl_give isl_union_set * isl_stream_read_union_set | ( | __isl_keep isl_stream * | s | ) |
Definition at line 3226 of file isl_input.c.
References extract_union_set(), obj, and obj_read().
Referenced by isl_stream_read_multi_union_pw_aff(), and isl_union_set_read_from_file().
| __isl_give isl_val * isl_stream_read_val | ( | __isl_keep isl_stream * | s | ) |
Definition at line 191 of file isl_input.c.
References isl_int_neg, isl_stream_eat_if_available(), isl_stream_error(), isl_token_free(), ISL_TOKEN_INFTY, ISL_TOKEN_NAN, ISL_TOKEN_VALUE, isl_val_infty(), isl_val_int_from_isl_int(), isl_val_nan(), isl_val_neginfty(), isl_val_normalize(), isl_val_rat_from_isl_int(), next_token(), isl_token::s, isl_token::type, isl_token::u, isl_token::v, and val.
Referenced by read_band(), and read_int().
|
static |
Definition at line 3915 of file isl_input.c.
References isl_set_copy(), read_conditional_multi_pw_aff(), and vars::v.
|
static |
Definition at line 3963 of file isl_input.c.
References isl_set_copy(), read_union_pw_aff_with_dom(), and vars::v.
|
static |
Definition at line 3775 of file isl_input.c.
References isl_set_copy(), isl_set_get_space(), isl_stream_eat_if_available(), isl_stream_next_token_is(), isl_union_pw_multi_aff_empty(), isl_union_pw_multi_aff_from_pw_multi_aff(), isl_union_pw_multi_aff_union_add(), pma, read_conditional_multi_aff(), isl_token::s, and isl_token::v.
| __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_give isl_union_set * isl_union_set_read_from_file | ( | isl_ctx * | ctx, |
| FILE * | input | ||
| ) |
Definition at line 3364 of file isl_input.c.
References isl_map::ctx, isl_stream_free(), isl_stream_new_file(), and isl_stream_read_union_set().
| __isl_give isl_vec * isl_vec_read_from_file | ( | isl_ctx * | ctx, |
| FILE * | input | ||
| ) |
Definition at line 3418 of file isl_input.c.
References isl_stream_free(), isl_stream_new_file(), isl_token::s, isl_token::v, and vec_read().
Referenced by main().
|
static |
Definition at line 3380 of file isl_input.c.
References isl_vec::el, isl_int_get_si, isl_int_set, isl_stream_error(), isl_stream_next_token(), isl_token_free(), ISL_TOKEN_VALUE, isl_vec_alloc(), isl_vec_free(), next_signed_value(), isl_token::s, size, isl_token::type, isl_token::u, and isl_token::v.
Referenced by vec_read().
|
static |
Definition at line 1878 of file isl_input.c.
References isl_die, isl_dim_out, isl_error_internal, isl_map_lex_ge(), isl_map_lex_gt(), isl_map_lex_le(), isl_map_lex_lt(), isl_map_wrap(), isl_set_get_ctx(), isl_set_get_space(), isl_set_preimage_multi_pw_aff(), isl_space_add_dims(), isl_space_copy(), isl_space_free(), isl_space_from_domain(), isl_space_range(), ISL_TOKEN_LEX_GE, ISL_TOKEN_LEX_GT, ISL_TOKEN_LEX_LE, ISL_TOKEN_LEX_LT, n, set, and type.
Referenced by construct_constraints().
|
static |
Definition at line 1619 of file isl_input.c.
References aff, id, isl_aff_add_coefficient_si(), isl_aff_zero_on_domain(), isl_die, isl_dim_in, isl_dim_out, isl_dim_param, isl_dim_set, isl_error_invalid, isl_local_space_from_space(), isl_map_add_dims(), isl_map_domain(), isl_map_free(), isl_map_from_domain(), isl_map_from_domain_and_range(), isl_map_from_range(), isl_map_get_space(), isl_map_intersect(), isl_map_params(), isl_map_reset_space(), isl_map_set_dim_id(), isl_pw_aff_add(), isl_pw_aff_from_aff(), isl_pw_aff_get_domain_space(), isl_pw_aff_set_rational(), isl_pw_aff_zero_set(), isl_set_intersect_params(), isl_set_set_rational(), isl_set_universe(), isl_space_copy(), isl_space_free(), isl_space_get_dim_id(), isl_space_has_dim_name(), isl_space_has_tuple_name(), isl_space_is_wrapping(), isl_space_range(), map, n, set, tuple, type, and isl_token::v.
Referenced by read_conditional_multi_pw_aff(), and read_map_tuple().
|
static |
Definition at line 2475 of file isl_input.c.
References basic_map_read_polylib(), isl_assert, isl_int_get_si, isl_map_from_basic_map(), isl_map_union(), isl_stream_error(), isl_stream_next_token(), isl_stream_next_token_on_same_line(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_VALUE, map, n, isl_token::type, isl_token::u, and isl_token::v.
Referenced by obj_read().
|
static |
Definition at line 599 of file isl_input.c.
References isl_pw_aff_nan_on_domain_space(), and isl_space_copy().
Referenced by accept_affine().
|
static |
Definition at line 799 of file isl_input.c.
References is_comparator(), isl_stream_next_token(), isl_stream_push_token(), and isl_token::s.
Referenced by accept_extended_affine(), add_constraint(), and update_piecewise_affine_colon().
|
static |
Definition at line 1003 of file isl_input.c.
References isl_stream_next_token_is(), ISL_TOKEN_EXISTS, ISL_TOKEN_FALSE, ISL_TOKEN_MAP, ISL_TOKEN_NOT, ISL_TOKEN_TRUE, and isl_token::s.
Referenced by resolve_paren_expr(), and update_piecewise_affine_colon().
|
static |
Definition at line 2929 of file isl_input.c.
References isl_stream_next_token(), isl_stream_next_token_is(), isl_stream_push_token(), isl_token_get_str(), ISL_TOKEN_IDENT, ISL_TOKEN_STRING, name, res, isl_token::s, and isl_token::type.
Referenced by next_is_schedule().
|
static |
Definition at line 4006 of file isl_input.c.
References isl_stream_next_token(), isl_stream_push_token(), ISL_TOKEN_TO, isl_token::s, and isl_token::type.
Referenced by read_multi_union_pw_aff_core().
|
static |
Definition at line 995 of file isl_input.c.
References isl_stream_next_token_is(), and isl_token::s.
Referenced by accept_piecewise_affine(), and update_piecewise_affine_colon().
|
static |
Definition at line 3486 of file isl_input.c.
References isl_stream_next_token(), isl_stream_push_token(), ISL_TOKEN_IDENT, n, isl_token::s, isl_token::type, isl_token::u, isl_obj::v, isl_token::v, vars_drop(), and vars_pos().
Referenced by read_aff_domain().
|
static |
Definition at line 4037 of file isl_input.c.
References isl_stream_next_token(), isl_stream_push_token(), next_is_tuple(), isl_token::s, and isl_token::type.
Referenced by read_multi_union_pw_aff_core().
|
static |
Definition at line 2959 of file isl_input.c.
References isl_stream_next_token(), isl_stream_push_token(), next_is_domain_colon(), isl_token::s, and isl_token::type.
Referenced by obj_read().
|
static |
Definition at line 969 of file isl_input.c.
References isl_token::is_keyword, isl_stream_next_token(), isl_stream_next_token_is(), isl_stream_push_token(), ISL_TOKEN_IDENT, isl_token::s, and isl_token::type.
Referenced by FN(), MULTI(), next_is_param_tuple(), obj_read_body(), read_aff_domain(), read_tuple_space(), and read_universe_params().
|
static |
Definition at line 394 of file isl_input.c.
References isl_stream_next_token(), next_signed_value_fn(), and isl_token::s.
Referenced by isl_vec_read_polylib().
|
static |
Definition at line 372 of file isl_input.c.
References isl_int_neg, isl_stream_eat_if_available(), isl_stream_error(), isl_token_free(), ISL_TOKEN_VALUE, isl_token::s, isl_token::type, isl_token::u, and isl_token::v.
Referenced by next_signed_value(), and next_signed_value_on_same_line().
|
static |
Definition at line 403 of file isl_input.c.
References isl_stream_next_token_on_same_line(), next_signed_value_fn(), and isl_token::s.
Referenced by basic_map_read_polylib_constraint().
|
static |
Definition at line 152 of file isl_input.c.
References isl_int_get_ui, isl_int_pow_ui, isl_stream_eat_if_available(), isl_stream_error(), isl_stream_next_token(), isl_token_free(), ISL_TOKEN_VALUE, isl_token::s, isl_token::type, isl_token::u, and isl_token::v.
Referenced by accept_affine(), accept_affine_factor(), accept_cst_factor(), affine_mod(), isl_stream_read_val(), obj_read(), pw_aff_div_by_cst(), read_factor(), read_term(), read_tuple_id(), and read_tuple_pw_aff_el().
|
static |
Definition at line 2865 of file isl_input.c.
References isl_die, isl_error_internal, isl_map_has_equal_space(), isl_obj_map, isl_obj_none, isl_obj_pw_qpolynomial, isl_obj_pw_qpolynomial_fold, isl_obj_set, isl_obj_union_map, isl_obj_union_pw_qpolynomial, isl_obj_union_pw_qpolynomial_fold, isl_obj_union_set, isl_pw_qpolynomial_fold_has_equal_space(), isl_pw_qpolynomial_has_equal_space(), isl_set_has_equal_space(), isl_stream_error(), and to_union().
Referenced by obj_read_disjuncts().
|
static |
Definition at line 3024 of file isl_input.c.
References isl_dim_param, isl_int_is_neg, isl_map_free(), isl_map_may_be_set(), isl_map_range(), isl_map_universe(), isl_obj_map, isl_obj_none, isl_obj_set, isl_obj_val, isl_space_params_alloc(), isl_stream_eat(), isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_IDENT, ISL_TOKEN_TO, ISL_TOKEN_VALUE, isl_val_int_from_isl_int(), map, map_read_polylib(), next_is_schedule(), next_token(), obj, obj_read_disjuncts(), read_map_tuple(), isl_token::s, schedule_read(), isl_token::type, isl_token::u, vars::v, isl_token::v, vars_free(), and vars_new().
Referenced by isl_stream_read_basic_map(), isl_stream_read_map(), isl_stream_read_obj(), isl_stream_read_pw_qpolynomial(), isl_stream_read_pw_qpolynomial_fold(), isl_stream_read_set(), isl_stream_read_union_map(), isl_stream_read_union_pw_qpolynomial(), and isl_stream_read_union_set().
|
static |
Definition at line 2788 of file isl_input.c.
References is_rational(), isl_dim_in, isl_dim_out, isl_map_domain(), isl_map_free(), isl_map_set_rational(), isl_obj_map, isl_obj_none, isl_obj_set, isl_stream_next_token(), isl_stream_next_token_is(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_TO, map, n, next_is_tuple(), obj, obj_read_poly_or_fold(), read_map_tuple(), read_optional_formula(), set, isl_token::type, isl_obj::v, and vars_drop().
Referenced by obj_read_disjuncts().
|
static |
Definition at line 2995 of file isl_input.c.
References isl_map_copy(), isl_map_get_space(), isl_obj_none, isl_obj_set, isl_obj_union_set, isl_stream_eat_if_available(), isl_stream_next_token_is(), isl_union_set_empty(), map, obj, obj_add(), obj_read_body(), and isl_obj::v.
Referenced by obj_read(), and read_union_set_body().
|
static |
Definition at line 2706 of file isl_input.c.
References isl_map_range(), isl_obj_pw_qpolynomial, isl_pw_qpolynomial_intersect_domain(), map, vars::n, n, obj, pwqp, read_optional_formula(), read_term(), set, and vars_drop().
Referenced by obj_read_poly_or_fold().
|
static |
Definition at line 2725 of file isl_input.c.
References isl_fold_max, isl_fold_min, isl_obj_none, isl_obj_pw_qpolynomial_fold, isl_pw_qpolynomial_fold_fold(), isl_pw_qpolynomial_fold_free(), isl_pw_qpolynomial_fold_from_pw_qpolynomial(), isl_pw_qpolynomial_fold_intersect_domain(), isl_set_free(), isl_stream_eat(), isl_stream_eat_if_available(), ISL_TOKEN_MAX, ISL_TOKEN_MIN, n, obj, obj_read_poly(), pwqp, read_optional_formula(), read_term(), set, isl_obj::v, and vars_drop().
Referenced by obj_read_body().
|
static |
Definition at line 2513 of file isl_input.c.
References isl_int_get_si, isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_VALUE, isl_token::s, isl_token::type, isl_token::u, and isl_token::v.
Referenced by read_factor().
|
static |
Definition at line 2267 of file isl_input.c.
References isl_basic_map_dim(), isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, isl_size_error, and pos().
Referenced by basic_map_read_polylib_constraint().
|
static |
Definition at line 779 of file isl_input.c.
References isl_token::col, isl_pw_aff_free(), isl_stat_error, isl_stat_ok, isl_stream_push_token(), ISL_TOKEN_AFF, isl_token_new(), isl_token::line, isl_token::pwaff, isl_token::s, isl_token::type, and isl_token::u.
Referenced by accept_extended_affine(), accept_piecewise_affine(), resolve_paren_expr(), and update_piecewise_affine_colon().
|
static |
Definition at line 350 of file isl_input.c.
References isl_pw_aff_free(), isl_pw_aff_scale_down(), isl_stream_error(), isl_token_free(), ISL_TOKEN_VALUE, next_token(), isl_token::s, isl_token::type, isl_token::u, and isl_token::v.
Referenced by accept_affine_factor(), and accept_div().
|
static |
Definition at line 1019 of file isl_input.c.
References aff, isl_bool_error, isl_bool_false, isl_bool_true, isl_int_is_zero, isl_set_plain_is_universe(), and n.
Referenced by tuple_has_expr().
|
static |
Definition at line 3515 of file isl_input.c.
References isl_token::is_keyword, isl_dim_set, isl_set_free(), isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), ISL_TOKEN_IDENT, next_is_fresh_ident(), next_is_tuple(), read_map_tuple(), isl_token::s, isl_token::type, and isl_token::v.
Referenced by read_conditional_aff(), and read_union_pw_aff_with_dom().
|
static |
Definition at line 3606 of file isl_input.c.
References n, read_aff_domain(), read_pw_aff_with_dom(), isl_token::s, isl_token::v, and vars_drop().
|
static |
Definition at line 3758 of file isl_input.c.
References isl_pw_multi_aff_from_multi_pw_aff(), read_conditional_multi_pw_aff(), isl_token::s, and isl_token::v.
Referenced by isl_stream_read_with_params_union_pw_multi_aff().
|
static |
Definition at line 3714 of file isl_input.c.
References isl_dim_in, isl_map_domain(), isl_multi_pw_aff_intersect_domain(), isl_set_free(), isl_set_get_space(), isl_stream_eat_if_available(), ISL_TOKEN_TO, map, map_from_tuple(), n, read_optional_formula(), read_tuple(), isl_token::s, tuple, isl_token::v, and vars_drop().
Referenced by isl_stream_read_with_params_multi_pw_aff(), and read_conditional_multi_aff().
|
static |
Definition at line 2145 of file isl_input.c.
References add_constraint(), isl_map_copy(), isl_map_empty(), isl_map_free(), isl_map_get_space(), isl_stream_eat_if_available(), isl_stream_next_token(), isl_stream_next_token_is(), ISL_TOKEN_EXISTS, ISL_TOKEN_FALSE, isl_token_free(), ISL_TOKEN_MAP, ISL_TOKEN_TRUE, isl_token::map, map, read_exists(), resolve_paren_expr(), isl_token::s, isl_token::u, and isl_token::v.
Referenced by read_conjuncts().
|
static |
Definition at line 2181 of file isl_input.c.
References isl_map_copy(), isl_map_free(), isl_map_intersect(), isl_map_subtract(), isl_stream_eat_if_available(), ISL_TOKEN_AND, ISL_TOKEN_NOT, map, read_conjunct(), res, isl_token::s, and isl_token::v.
Referenced by read_disjuncts().
|
static |
Definition at line 924 of file isl_input.c.
References isl_dim_out, isl_map_add_dims(), isl_map_free(), isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_IDENT, map, n, p, read_var_def(), isl_token::s, isl_token::type, isl_token::u, isl_token::v, and vars_pos().
Referenced by read_exists().
|
static |
Definition at line 2207 of file isl_input.c.
References isl_map_copy(), isl_map_free(), isl_map_union(), isl_stream_eat_if_available(), isl_stream_next_token_is(), ISL_TOKEN_OR, map, read_conjuncts(), res, isl_token::s, and isl_token::v.
Referenced by read_formula().
|
static |
Definition at line 2042 of file isl_input.c.
References isl_map_domain(), isl_map_free(), isl_map_from_domain(), isl_map_wrap(), isl_set_unwrap(), isl_stream_eat(), isl_stream_eat_if_available(), map, n, read_defined_var_list(), read_formula(), isl_token::s, isl_token::v, and vars_drop().
Referenced by read_conjunct().
|
static |
Definition at line 2541 of file isl_input.c.
References accept_div(), is_start_of_div(), isl_map_get_space(), isl_pw_qpolynomial_free(), isl_pw_qpolynomial_from_pw_aff(), isl_pw_qpolynomial_from_qpolynomial(), isl_pw_qpolynomial_mul(), isl_pw_qpolynomial_neg(), isl_pw_qpolynomial_pow(), isl_qpolynomial_cst_on_domain(), isl_qpolynomial_infty_on_domain(), isl_qpolynomial_nan_on_domain(), isl_qpolynomial_rat_cst_on_domain(), isl_qpolynomial_var_pow_on_domain(), isl_stream_eat(), isl_stream_eat_if_available(), isl_stream_error(), isl_stream_next_token(), isl_stream_next_token_is(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_IDENT, ISL_TOKEN_INFTY, ISL_TOKEN_NAN, ISL_TOKEN_VALUE, map, n, next_token(), optional_power(), pos(), isl_token::pwaff, pwqp, read_factor(), read_term(), isl_token::s, isl_token::type, isl_token::u, isl_token::v, vars_drop(), and vars_pos().
Referenced by read_factor(), and read_term().
|
static |
Definition at line 2248 of file isl_input.c.
References isl_map_copy(), isl_map_free(), isl_map_subtract(), isl_map_union(), isl_stream_eat_if_available(), ISL_TOKEN_IMPLIES, map, read_disjuncts(), res, isl_token::s, and isl_token::v.
Referenced by accept_extended_affine(), read_exists(), read_optional_formula(), resolve_paren_expr(), and update_piecewise_affine_colon().
|
static |
Definition at line 1705 of file isl_input.c.
References isl_map_free(), map, map_from_tuple(), read_tuple(), isl_token::s, tuple, type, and isl_token::v.
Referenced by FN(), MULTI(), obj_read(), obj_read_body(), read_aff_domain(), read_multi_union_pw_aff_core(), and read_universe_params().
|
static |
Definition at line 4131 of file isl_input.c.
References isl_multi_union_pw_aff_intersect_domain(), isl_space_copy(), isl_space_free(), isl_stream_eat(), isl_stream_eat_if_available(), isl_stream_next_token_is(), mupa, read_multi_union_pw_aff_body_core(), read_union_set_body(), and isl_obj::v.
Referenced by read_multi_union_pw_aff_core().
|
static |
Definition at line 4073 of file isl_input.c.
References mupa, read_tuple_space(), read_union_pw_aff_el(), isl_token::s, and isl_token::v.
Referenced by read_multi_union_pw_aff_body().
|
static |
Definition at line 4184 of file isl_input.c.
References isl_dim_param, isl_multi_union_pw_aff_zero(), isl_set_free(), isl_set_get_space(), isl_set_universe(), isl_space_params_alloc(), isl_space_set_alloc(), isl_stream_eat(), ISL_TOKEN_TO, mupa, next_is_empty_tuple(), next_is_param_tuple(), read_map_tuple(), read_multi_union_pw_aff_body(), vars::v, vars_free(), and vars_new().
Referenced by isl_stream_read_multi_union_pw_aff().
|
static |
Definition at line 2683 of file isl_input.c.
References isl_map_free(), isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_OR, map, read_formula(), isl_token::s, isl_token::type, isl_token::u, and isl_token::v.
Referenced by obj_read_body(), obj_read_poly(), obj_read_poly_or_fold(), read_conditional_multi_pw_aff(), and read_pw_aff_with_dom().
|
static |
Definition at line 1749 of file isl_input.c.
References isl_set_free(), isl_set_get_space(), read_universe_params(), isl_token::s, set, and isl_token::v.
Referenced by isl_stream_read_multi_aff(), and isl_stream_read_space().
|
static |
Definition at line 3575 of file isl_input.c.
References accept_affine(), isl_pw_aff_free(), isl_pw_aff_intersect_domain(), isl_set_free(), isl_set_get_space(), isl_set_is_params(), isl_stream_eat(), ISL_TOKEN_TO, isl_token::pwaff, read_optional_formula(), isl_token::s, and isl_token::v.
Referenced by read_conditional_aff(), and read_union_pw_aff_with_dom().
|
static |
Definition at line 1807 of file isl_input.c.
References isl_space_copy(), isl_space_free(), isl_space_product(), isl_space_unwrap(), isl_stream_eat_if_available(), ISL_TOKEN_TO, params, read_tuple_id(), read_tuple_space(), isl_token::s, and isl_token::v.
Referenced by isl_stream_read_space().
|
static |
Definition at line 2649 of file isl_input.c.
References isl_pw_qpolynomial_add(), isl_pw_qpolynomial_sub(), isl_stream_push_token(), isl_token_free(), map, next_token(), pwqp, read_factor(), isl_token::s, isl_token::type, and isl_token::v.
Referenced by obj_read_poly(), obj_read_poly_or_fold(), and read_factor().
|
static |
Definition at line 1585 of file isl_input.c.
References isl_dim_in, isl_dim_set, isl_pw_aff_add_dims(), isl_space_add_dims(), isl_space_dim(), isl_space_free(), isl_space_from_range(), isl_space_params_alloc(), n, read_tuple_pw_aff_el(), read_tuple_space(), isl_token::s, and isl_token::v.
Referenced by isl_stream_read_multi_aff(), read_conditional_multi_pw_aff(), and read_map_tuple().
|
static |
Definition at line 1766 of file isl_input.c.
References isl_space_free(), isl_stream_error(), isl_token_free(), ISL_TOKEN_IDENT, n, next_token(), p, isl_token::s, space_set_last_dim_name(), isl_token::type, isl_token::u, isl_token::v, vars_add_anon(), and vars_pos().
Referenced by read_space_tuples().
|
static |
Definition at line 1401 of file isl_input.c.
References isl_dim_set, isl_space_add_dims(), isl_space_set_from_params(), isl_stream_next_token(), isl_stream_next_token_is(), isl_stream_push_token(), isl_token_free(), isl_token::s, isl_token::type, user, and isl_token::v.
Referenced by read_tuple_space().
|
static |
Definition at line 1518 of file isl_input.c.
References identity_tuple_el(), isl_space_free(), isl_stream_eat_if_available(), isl_stream_error(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_IDENT, n, next_token(), p, read_tuple_var_def(), isl_token::s, space_set_last_dim_name(), isl_token::type, isl_token::u, user, isl_token::v, vars_add_anon(), and vars_pos().
Referenced by read_tuple().
|
static |
Definition at line 1445 of file isl_input.c.
References isl_token::is_keyword, isl_dim_set, isl_space_copy(), isl_space_free(), isl_space_product(), isl_space_set_tuple_name(), isl_stream_eat(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_IDENT, ISL_TOKEN_TO, name, next_is_tuple(), read_tuple_list(), read_tuple_space(), res, isl_token::s, isl_token::type, isl_token::u, user, and isl_token::v.
Referenced by MULTI(), read_multi_union_pw_aff_body_core(), read_space_tuples(), read_tuple(), and read_tuple_space().
|
static |
Definition at line 1381 of file isl_input.c.
References accept_piecewise_affine(), isl_pw_aff_domain_factor_domain(), isl_space_alloc(), isl_space_wrap(), isl_token::s, and isl_token::v.
Referenced by read_tuple_pw_aff_el().
|
static |
Definition at line 3980 of file isl_input.c.
References isl_set_free(), isl_set_universe(), isl_space_copy(), isl_space_free(), isl_space_params(), isl_stream_eat(), read_union_pw_aff_with_dom(), user, and vars::v.
Referenced by read_multi_union_pw_aff_body_core().
|
static |
Definition at line 3928 of file isl_input.c.
References isl_set_copy(), isl_set_free(), isl_stream_eat_if_available(), isl_union_pw_aff_from_pw_aff(), isl_union_pw_aff_union_add(), n, read_aff_domain(), read_pw_aff_with_dom(), vars::v, and vars_drop().
Referenced by isl_stream_read_with_params_union_pw_aff(), and read_union_pw_aff_el().
|
static |
Definition at line 4095 of file isl_input.c.
References extract_union_set(), isl_map_free(), isl_obj_set, isl_set_universe(), isl_stream_eat(), map, obj, obj_read_disjuncts(), and isl_obj::v.
Referenced by read_multi_union_pw_aff_body().
|
static |
Definition at line 1724 of file isl_input.c.
References isl_die, isl_dim_param, isl_error_invalid, isl_set_free(), isl_set_plain_is_universe(), isl_set_universe(), isl_space_params_alloc(), isl_stream_eat(), ISL_TOKEN_TO, next_is_tuple(), read_map_tuple(), isl_token::s, and isl_token::v.
Referenced by read_params().
|
static |
Definition at line 850 of file isl_input.c.
References accept_extended_affine(), isl_dim_in, isl_dim_out, isl_dim_param, isl_map_dim(), isl_map_domain(), isl_map_equate(), isl_map_free(), isl_map_from_pw_aff(), isl_map_get_space(), isl_map_intersect(), isl_set_unwrap(), isl_space_wrap(), map, pos(), isl_token::s, type, and isl_token::v.
Referenced by read_defined_var_list().
|
static |
Definition at line 2082 of file isl_input.c.
References accept_affine(), isl_token::col, isl_map_copy(), isl_map_free(), isl_map_get_space(), isl_space_wrap(), isl_stream_eat(), isl_stream_eat_if_available(), isl_stream_next_token(), isl_stream_next_token_is(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_MAP, isl_token::line, isl_token::map, map, next_is_condition_start(), push_aff(), isl_token::pwaff, read_formula(), resolve_paren_expr(), isl_token::s, isl_token::type, isl_token::u, and isl_token::v.
Referenced by read_conjunct(), resolve_paren_expr(), and update_piecewise_affine_colon().
|
static |
Definition at line 2980 of file isl_input.c.
References isl_obj_schedule, isl_stream_read_schedule(), and obj.
Referenced by obj_read().
|
static |
Definition at line 3649 of file isl_input.c.
References isl_die, isl_dim_in, isl_error_invalid, isl_pw_aff_drop_dims(), isl_pw_aff_free(), isl_pw_aff_get_ctx(), isl_pw_aff_involves_dims(), isl_pw_aff_reset_domain_space(), n, and pos().
Referenced by isl_multi_aff_set_tuple_entry(), and isl_multi_pw_aff_set_tuple_entry().
|
static |
Definition at line 763 of file isl_input.c.
References isl_token::col, isl_stream_next_token(), isl_stream_push_token(), isl_token::line, and isl_token::s.
Referenced by accept_extended_affine(), accept_piecewise_affine(), and update_piecewise_affine_colon().
|
static |
Definition at line 1138 of file isl_input.c.
References isl_pw_aff_copy(), isl_pw_aff_ge_set(), isl_pw_aff_intersect_domain(), and range.
Referenced by construct_lower(), and construct_range().
|
static |
Definition at line 1159 of file isl_input.c.
References isl_pw_aff_copy(), isl_pw_aff_intersect_domain(), isl_pw_aff_le_set(), and range.
Referenced by construct_range(), and construct_upper().
|
static |
Definition at line 1065 of file isl_input.c.
References isl_dim_out, isl_space_set_dim_name(), name, and pos().
Referenced by space_set_last_dim_name().
|
static |
Definition at line 1086 of file isl_input.c.
References isl_dim_out, isl_space_dim(), isl_space_free(), name, pos(), and space_set_dim_name().
Referenced by read_tuple_id(), and read_tuple_pw_aff_el().
Definition at line 2842 of file isl_input.c.
References isl_assert, isl_obj_map, isl_obj_none, isl_obj_pw_qpolynomial, isl_obj_pw_qpolynomial_fold, isl_obj_set, isl_obj_union_map, isl_obj_union_pw_qpolynomial, isl_obj_union_pw_qpolynomial_fold, isl_obj_union_set, isl_union_map_from_map(), isl_union_pw_qpolynomial_fold_from_pw_qpolynomial_fold(), isl_union_pw_qpolynomial_from_pw_qpolynomial(), isl_union_set_from_set(), and obj.
Referenced by obj_add().
|
static |
Definition at line 1039 of file isl_input.c.
References isl_bool_error, isl_bool_false, isl_dim_out, isl_pw_aff_free(), n, pw_aff_is_expr(), and tuple.
Referenced by isl_stream_read_multi_aff().
|
static |
Definition at line 1240 of file isl_input.c.
References accept_affine(), isl_token::col, construct_lower(), construct_range(), isl_map_copy(), isl_map_domain(), isl_map_free(), isl_map_get_space(), isl_map_universe(), isl_pw_aff_domain_factor_domain(), isl_pw_aff_free(), isl_pw_aff_get_domain_space(), isl_pw_aff_intersect_domain(), isl_pw_aff_set_rational(), isl_space_from_domain(), isl_space_wrap(), isl_stream_next_token_is(), isl_token::line, map, next_is_comparator(), next_is_condition_start(), next_is_end_tuple_element(), push_aff(), read_formula(), resolve_paren_expr(), isl_token::s, set_current_line_col(), and isl_token::v.
Referenced by accept_piecewise_affine().
|
static |
Definition at line 60 of file isl_input.c.
References variable::next, and var().
Referenced by variable_new(), and vars_free().
|
static |
Definition at line 97 of file isl_input.c.
References vars::ctx, isl_calloc_type, name, pos(), vars::v, var(), and variable_free().
Referenced by vars_add_anon(), and vars_pos().
|
static |
Definition at line 137 of file isl_input.c.
References vars::n, vars::v, and variable_new().
Referenced by read_tuple_id(), and read_tuple_pw_aff_el().
|
static |
Definition at line 78 of file isl_input.c.
References vars::n, n, variable::next, vars::v, and var().
Referenced by accept_affine_factor(), next_is_fresh_ident(), obj_read_body(), obj_read_poly(), obj_read_poly_or_fold(), read_conditional_aff(), read_conditional_multi_pw_aff(), read_exists(), read_factor(), and read_union_pw_aff_with_dom().
|
static |
Definition at line 70 of file isl_input.c.
References vars::v, and variable_free().
Referenced by FN(), isl_stream_read_multi_aff(), isl_stream_read_space(), MULTI(), obj_read(), and read_multi_union_pw_aff_core().
Definition at line 48 of file isl_input.c.
References vars::ctx, isl_alloc_type, and vars::v.
Referenced by FN(), isl_stream_read_multi_aff(), isl_stream_read_space(), MULTI(), obj_read(), and read_multi_union_pw_aff_core().
|
static |
Definition at line 114 of file isl_input.c.
References vars::n, variable::name, variable::next, variable::pos, pos(), vars::v, and variable_new().
Referenced by accept_affine_factor(), next_is_fresh_ident(), read_defined_var_list(), read_factor(), read_tuple_id(), and read_tuple_pw_aff_el().
|
static |
Definition at line 3413 of file isl_input.c.
References isl_vec_read_polylib(), and isl_token::s.
Referenced by isl_vec_read_from_file().
1.9.6