Polly 20.0.0git
|
#include <ctype.h>
#include <string.h>
#include <isl_ctx_private.h>
#include <isl_stream_private.h>
#include <isl/map.h>
#include <isl/aff.h>
#include <isl_val_private.h>
#include <isl_options_private.h>
Go to the source code of this file.
Classes | |
struct | isl_keyword |
|
static |
Definition at line 317 of file isl_stream.c.
References isl_hash_table_entry::data, isl_hash_init, isl_hash_string(), isl_hash_table_entry_none, isl_hash_table_find(), ISL_TOKEN_AND, ISL_TOKEN_CEIL, ISL_TOKEN_CEILD, ISL_TOKEN_ERROR, ISL_TOKEN_EXISTS, ISL_TOKEN_FALSE, ISL_TOKEN_FLOOR, ISL_TOKEN_FLOORD, ISL_TOKEN_IDENT, ISL_TOKEN_IMPLIES, ISL_TOKEN_INFTY, ISL_TOKEN_MAX, ISL_TOKEN_MIN, ISL_TOKEN_MOD, ISL_TOKEN_NAN, ISL_TOKEN_NOT, ISL_TOKEN_OR, ISL_TOKEN_RAT, ISL_TOKEN_TRUE, same_name(), and isl_keyword::type.
Referenced by next_token().
|
static |
Definition at line 891 of file isl_stream.c.
References isl_yaml_none, and isl_token::s.
Referenced by isl_stream_yaml_next().
|
static |
Definition at line 779 of file isl_stream.c.
References isl_stat_ok, isl_keyword::name, and p.
Referenced by isl_stream_free().
|
static |
Definition at line 918 of file isl_stream.c.
References isl_die, isl_error_internal, and isl_token::s.
Referenced by isl_stream_yaml_next(), isl_stream_yaml_read_end_mapping(), and isl_stream_yaml_read_end_sequence().
int isl_stream_eat | ( | __isl_keep isl_stream * | s, |
int | type | ||
) |
Definition at line 747 of file isl_stream.c.
References isl_stream_error(), isl_stream_next_token(), isl_token_free(), isl_token::s, isl_token::type, and type.
Referenced by accept_affine_factor(), accept_div(), accept_minmax(), accept_piecewise_affine(), accept_ternary(), FN(), is_rational(), isl_stream_read_ast_graft(), isl_stream_read_multi_aff(), isl_stream_read_multi_union_pw_aff(), isl_stream_read_space(), isl_stream_yaml_read_end_mapping(), isl_stream_yaml_read_end_sequence(), LIST(), main(), MULTI(), obj_read(), obj_read_poly_or_fold(), read_exists(), read_factor(), read_key(), read_multi_union_pw_aff_body(), read_multi_union_pw_aff_core(), read_pw_aff_with_dom(), read_tuple_space(), read_union_pw_aff_el(), read_union_set_body(), read_universe_params(), and resolve_paren_expr().
int isl_stream_eat_if_available | ( | __isl_keep isl_stream * | s, |
int | type | ||
) |
Definition at line 703 of file isl_stream.c.
References isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), isl_token::s, isl_token::type, and type.
Referenced by accept_affine_factor(), accept_cst_factor(), accept_div(), accept_piecewise_affine(), FN(), isl_stream_read_multi_aff(), isl_stream_read_multi_union_pw_aff(), isl_stream_read_space(), isl_stream_read_val(), isl_stream_read_with_params_union_pw_multi_aff(), isl_stream_yaml_next(), LIST(), next_signed_value_fn(), next_token(), obj_read_disjuncts(), obj_read_poly_or_fold(), read_conditional_multi_pw_aff(), read_conjunct(), read_conjuncts(), read_disjuncts(), read_exists(), read_factor(), read_formula(), read_multi_union_pw_aff_body(), read_space_tuples(), read_tuple_pw_aff_el(), read_union_pw_aff_with_dom(), and resolve_paren_expr().
void isl_stream_error | ( | __isl_keep isl_stream * | s, |
struct isl_token * | tok, | ||
char * | msg | ||
) |
Definition at line 142 of file isl_stream.c.
References isl_token::col, isl_token::is_keyword, isl_ctx_set_full_error(), isl_error_invalid, isl_int_print, ISL_ON_ERROR_ABORT, ISL_ON_ERROR_CONTINUE, isl_printer_free(), isl_printer_print_map(), isl_printer_print_pw_aff(), isl_printer_to_file(), ISL_TOKEN_AFF, ISL_TOKEN_IDENT, ISL_TOKEN_MAP, ISL_TOKEN_VALUE, isl_token::line, isl_token::map, p, isl_token::pwaff, isl_token::s, isl_token::type, isl_token::u, and isl_token::v.
Referenced by accept_affine(), accept_affine_factor(), accept_affine_list(), accept_cst_factor(), add_constraint(), affine_mod(), basic_map_read_polylib(), basic_map_read_polylib_constraint(), eat_key(), isl_stream_eat(), isl_stream_free(), isl_stream_read_ast_expr(), isl_stream_read_ast_node(), isl_stream_read_id(), isl_stream_read_schedule_constraints(), isl_stream_read_schedule_tree(), isl_stream_read_union_access_info(), isl_stream_read_val(), isl_stream_yaml_next(), isl_stream_yaml_read_start_mapping(), isl_stream_yaml_read_start_sequence(), isl_vec_read_polylib(), KEY_EXTRACT(), map_read_polylib(), next_key(), next_signed_value_fn(), next_token(), obj_add(), obj_read(), optional_power(), pw_aff_div_by_cst(), read_aff_domain(), read_band(), read_context(), read_defined_var_list(), read_domain(), read_extension(), read_factor(), read_filter(), read_guard(), read_mark(), read_optional_formula(), read_tuple_id(), and read_tuple_pw_aff_el().
void isl_stream_flush_tokens | ( | __isl_keep isl_stream * | s | ) |
Definition at line 789 of file isl_stream.c.
References isl_token_free().
void isl_stream_free | ( | __isl_take isl_stream * | s | ) |
Definition at line 805 of file isl_stream.c.
References free_keyword(), isl_ctx_deref(), isl_hash_table_foreach(), isl_hash_table_free(), isl_stream_error(), isl_stream_next_token(), isl_token_free(), and isl_token::s.
Referenced by FN(), ISL_ARG_CHOICE(), isl_basic_map_read_from_file(), isl_basic_set_read_from_file(), isl_map_read_from_file(), isl_pw_qpolynomial_read_from_file(), isl_schedule_constraints_read_from_file(), isl_schedule_read_from_file(), isl_set_read_from_file(), isl_stream_new(), isl_union_access_info_read_from_file(), isl_union_map_read_from_file(), isl_union_set_read_from_file(), isl_vec_read_from_file(), and main().
isl_ctx * isl_stream_get_ctx | ( | __isl_keep isl_stream * | s | ) |
Definition at line 800 of file isl_stream.c.
Referenced by construct_ast_from_union_map(), FN(), isl_stream_read_ast_node(), isl_stream_read_id(), isl_stream_read_schedule(), isl_stream_read_schedule_constraints(), isl_stream_read_schedule_tree(), isl_stream_read_union_access_info(), isl_stream_yaml_read_end_mapping(), isl_stream_yaml_read_end_sequence(), KEY_EXTRACT(), LIST(), next_key(), pop_state(), read_band(), read_context(), read_domain(), read_expansion(), read_extension(), read_filter(), read_for(), read_guard(), read_key(), read_mark(), and update_state().
|
static |
Definition at line 279 of file isl_stream.c.
References isl_stream_ungetc(), isl_token::s, and stream_getc().
Referenced by isl_stream_skip_line(), and next_token().
int isl_stream_is_empty | ( | __isl_keep isl_stream * | s | ) |
Definition at line 766 of file isl_stream.c.
References isl_stream_next_token(), isl_stream_push_token(), and isl_token::s.
|
static |
Definition at line 188 of file isl_stream.c.
References isl_alloc_array, isl_calloc_type, isl_ctx_ref(), isl_stream_free(), and isl_token::s.
Referenced by isl_stream_new_file(), and isl_stream_new_str().
__isl_give isl_stream * isl_stream_new_file | ( | struct isl_ctx * | ctx, |
FILE * | file | ||
) |
Definition at line 219 of file isl_stream.c.
References isl_stream_new(), and isl_token::s.
Referenced by ISL_ARG_CHOICE(), isl_basic_map_read_from_file(), isl_basic_set_read_from_file(), isl_map_read_from_file(), isl_pw_qpolynomial_read_from_file(), isl_schedule_constraints_read_from_file(), isl_schedule_read_from_file(), isl_set_read_from_file(), isl_union_access_info_read_from_file(), isl_union_map_read_from_file(), isl_union_set_read_from_file(), isl_vec_read_from_file(), and main().
__isl_give isl_stream * isl_stream_new_str | ( | struct isl_ctx * | ctx, |
const char * | str | ||
) |
Definition at line 228 of file isl_stream.c.
References isl_stream_new(), isl_token::s, and str.
Referenced by FN().
struct isl_token * isl_stream_next_token | ( | __isl_keep isl_stream * | s | ) |
Definition at line 693 of file isl_stream.c.
References next_token(), and isl_token::s.
Referenced by accept_affine_list(), accept_minmax(), add_constraint(), basic_map_read_polylib(), basic_map_read_polylib_constraint(), FN(), is_rational(), isl_stream_eat(), isl_stream_eat_if_available(), isl_stream_free(), isl_stream_is_empty(), isl_stream_next_token_is(), isl_stream_read_id(), isl_stream_read_ident_if_available(), isl_stream_read_schedule_tree(), isl_stream_yaml_next(), isl_stream_yaml_read_end_mapping(), isl_stream_yaml_read_end_sequence(), isl_stream_yaml_read_start_mapping(), isl_stream_yaml_read_start_sequence(), isl_vec_read_polylib(), KEY_GET(), map_read_polylib(), next_is_comparator(), next_is_domain_colon(), next_is_empty_tuple(), next_is_fresh_ident(), next_is_param_tuple(), next_is_schedule(), next_is_sequence(), next_is_tuple(), next_key(), next_signed_value(), next_token(), obj_read(), obj_read_body(), optional_power(), read_aff_domain(), read_band(), read_children(), read_conjunct(), read_context(), read_defined_var_list(), read_domain(), read_expansion(), read_extension(), read_factor(), read_filter(), read_guard(), read_mark(), read_optional_formula(), read_tuple_list(), read_tuple_space(), resolve_paren_expr(), and set_current_line_col().
int isl_stream_next_token_is | ( | __isl_keep isl_stream * | s, |
int | type | ||
) |
Definition at line 718 of file isl_stream.c.
References isl_stream_next_token(), isl_stream_push_token(), isl_token::s, isl_token::type, and type.
Referenced by accept_affine_factor(), is_rational(), isl_stream_read_multi_union_pw_aff(), isl_stream_read_with_params_union_pw_multi_aff(), isl_stream_yaml_next(), next_is_condition_start(), next_is_domain_colon(), next_is_end_tuple_element(), next_is_tuple(), obj_read_body(), obj_read_disjuncts(), read_conjunct(), read_disjuncts(), read_factor(), read_multi_union_pw_aff_body(), read_tuple_list(), resolve_paren_expr(), and update_piecewise_affine_colon().
struct isl_token * isl_stream_next_token_on_same_line | ( | __isl_keep isl_stream * | s | ) |
Definition at line 698 of file isl_stream.c.
References next_token(), and isl_token::s.
Referenced by basic_map_read_polylib(), map_read_polylib(), and next_signed_value_on_same_line().
|
static |
Definition at line 297 of file isl_stream.c.
References isl_realloc_array, and isl_token::s.
Referenced by next_token().
void isl_stream_push_token | ( | __isl_keep isl_stream * | s, |
struct isl_token * | tok | ||
) |
Definition at line 311 of file isl_stream.c.
References isl_assert, and isl_token::s.
Referenced by accept_affine(), accept_affine_factor(), accept_affine_list(), add_constraint(), FN(), is_rational(), isl_stream_eat_if_available(), isl_stream_is_empty(), isl_stream_next_token_is(), isl_stream_read_ident_if_available(), isl_stream_read_schedule_tree(), isl_stream_yaml_next(), isl_stream_yaml_read_end_mapping(), isl_stream_yaml_read_end_sequence(), isl_stream_yaml_read_start_mapping(), isl_stream_yaml_read_start_sequence(), map_read_polylib(), next_is_comparator(), next_is_domain_colon(), next_is_empty_tuple(), next_is_fresh_ident(), next_is_param_tuple(), next_is_schedule(), next_is_sequence(), next_is_tuple(), next_token(), obj_read(), obj_read_body(), optional_power(), push_aff(), read_aff_domain(), read_defined_var_list(), read_factor(), read_optional_formula(), read_term(), read_tuple_list(), read_tuple_pw_aff_el(), read_tuple_space(), resolve_paren_expr(), and set_current_line_col().
char * isl_stream_read_ident_if_available | ( | __isl_keep isl_stream * | s | ) |
Definition at line 731 of file isl_stream.c.
References isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), ISL_TOKEN_IDENT, isl_token::s, isl_token::type, and isl_token::u.
enum isl_token_type isl_stream_register_keyword | ( | __isl_keep isl_stream * | s, |
const char * | name | ||
) |
Definition at line 31 of file isl_stream.c.
References isl_hash_table_entry::data, isl_calloc_type, isl_hash_init, isl_hash_string(), isl_hash_table_alloc(), isl_hash_table_find(), ISL_TOKEN_ERROR, ISL_TOKEN_LAST, isl_keyword::name, name, same_name(), and isl_keyword::type.
int isl_stream_skip_line | ( | __isl_keep isl_stream * | s | ) |
Definition at line 376 of file isl_stream.c.
References isl_stream_getc().
Referenced by next_token().
|
static |
Definition at line 268 of file isl_stream.c.
References isl_assert, and isl_token::s.
Referenced by isl_stream_getc(), and next_token().
isl_bool isl_stream_yaml_next | ( | __isl_keep isl_stream * | s | ) |
Definition at line 966 of file isl_stream.c.
References isl_token::col, current_state(), get_yaml_indent(), isl_bool_error, isl_bool_false, isl_bool_ok(), isl_bool_true, isl_die, isl_error_internal, isl_error_invalid, 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_YAML_INDENT_FLOW, isl_yaml_mapping_key, isl_yaml_mapping_key_start, isl_yaml_mapping_val, isl_yaml_none, isl_yaml_sequence, isl_yaml_sequence_start, isl_token::s, isl_token::type, and update_state().
Referenced by eat_key(), isl_stream_read_ast_expr(), isl_stream_read_ast_node(), isl_stream_read_schedule_constraints(), isl_stream_read_schedule_tree(), isl_stream_read_union_access_info(), LIST(), main(), read_band(), read_body(), read_children(), read_context(), read_domain(), read_expansion(), read_extension(), read_filter(), read_for(), read_guard(), read_if(), read_mark(), read_op(), and read_user().
isl_stat isl_stream_yaml_read_end_mapping | ( | __isl_keep isl_stream * | s | ) |
Definition at line 1102 of file isl_stream.c.
References isl_token::col, get_yaml_indent(), isl_die, isl_error_invalid, isl_stat_error, isl_stream_eat(), isl_stream_get_ctx(), isl_stream_next_token(), isl_stream_push_token(), ISL_YAML_INDENT_FLOW, pop_state(), and isl_token::s.
Referenced by isl_stream_read_ast_expr(), isl_stream_read_ast_node(), isl_stream_read_schedule_constraints(), isl_stream_read_schedule_tree(), isl_stream_read_union_access_info(), and main().
isl_stat isl_stream_yaml_read_end_sequence | ( | __isl_keep isl_stream * | s | ) |
Definition at line 1172 of file isl_stream.c.
References isl_token::col, get_yaml_indent(), isl_die, isl_error_invalid, isl_stat_error, isl_stream_eat(), isl_stream_get_ctx(), isl_stream_next_token(), isl_stream_push_token(), ISL_YAML_INDENT_FLOW, pop_state(), isl_token::s, and isl_token::type.
Referenced by LIST().
isl_stat isl_stream_yaml_read_start_mapping | ( | __isl_keep isl_stream * | s | ) |
Definition at line 1070 of file isl_stream.c.
References isl_token::col, isl_stat_error, isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), isl_token_get_type(), ISL_YAML_INDENT_FLOW, isl_yaml_mapping_key_start, push_state(), isl_token::s, and set_yaml_indent().
Referenced by isl_stream_read_ast_expr(), isl_stream_read_ast_node(), isl_stream_read_schedule_constraints(), isl_stream_read_schedule_tree(), isl_stream_read_union_access_info(), and main().
isl_stat isl_stream_yaml_read_start_sequence | ( | __isl_keep isl_stream * | s | ) |
Definition at line 1139 of file isl_stream.c.
References isl_token::col, isl_stat_error, isl_stream_error(), isl_stream_next_token(), isl_stream_push_token(), isl_token_free(), isl_token_get_type(), ISL_YAML_INDENT_FLOW, isl_yaml_sequence_start, push_state(), isl_token::s, and set_yaml_indent().
Referenced by LIST().
void isl_token_free | ( | struct isl_token * | tok | ) |
Definition at line 127 of file isl_stream.c.
References isl_int_clear, isl_map_free(), isl_pw_aff_free(), ISL_TOKEN_AFF, ISL_TOKEN_MAP, ISL_TOKEN_VALUE, isl_token::map, isl_token::pwaff, isl_token::s, isl_token::type, isl_token::u, and isl_token::v.
Referenced by accept_affine(), accept_affine_factor(), accept_affine_list(), accept_cst_factor(), accept_minmax(), add_constraint(), affine_mod(), basic_map_read_polylib(), basic_map_read_polylib_constraint(), FN(), is_rational(), isl_stream_eat(), isl_stream_eat_if_available(), isl_stream_flush_tokens(), isl_stream_free(), isl_stream_read_id(), isl_stream_read_ident_if_available(), isl_stream_read_schedule_tree(), isl_stream_read_val(), isl_stream_yaml_next(), isl_stream_yaml_read_start_mapping(), isl_stream_yaml_read_start_sequence(), isl_vec_read_polylib(), KEY_GET(), map_read_polylib(), next_key(), next_signed_value_fn(), next_token(), obj_read(), obj_read_body(), optional_power(), pw_aff_div_by_cst(), read_band(), read_children(), read_conjunct(), read_context(), read_defined_var_list(), read_domain(), read_expansion(), read_extension(), read_factor(), read_filter(), read_guard(), read_mark(), read_optional_formula(), read_term(), read_tuple_id(), read_tuple_list(), read_tuple_pw_aff_el(), read_tuple_space(), and resolve_paren_expr().
__isl_give char * isl_token_get_str | ( | isl_ctx * | ctx, |
struct isl_token * | tok | ||
) |
Definition at line 115 of file isl_stream.c.
References isl_die, isl_error_invalid, isl_token::s, and isl_token::u.
Referenced by FN(), isl_stream_read_id(), KEY_EXTRACT(), next_is_domain_colon(), next_key(), read_band(), read_context(), read_domain(), read_expansion(), read_extension(), read_filter(), read_guard(), and read_mark().
int isl_token_get_type | ( | struct isl_token * | tok | ) |
Definition at line 86 of file isl_stream.c.
References ISL_TOKEN_ERROR, and isl_token::type.
Referenced by FN(), isl_stream_yaml_read_start_mapping(), isl_stream_yaml_read_start_sequence(), and next_is_sequence().
__isl_give isl_val * isl_token_get_val | ( | isl_ctx * | ctx, |
struct isl_token * | tok | ||
) |
Definition at line 93 of file isl_stream.c.
References isl_die, isl_error_invalid, ISL_TOKEN_VALUE, isl_val_int_from_isl_int(), isl_token::type, isl_token::u, and isl_token::v.
Definition at line 106 of file isl_stream.c.
References isl_bool_error, isl_bool_ok(), isl_token::s, and isl_token::u.
Referenced by KEY_EXTRACT().
Definition at line 70 of file isl_stream.c.
References isl_token::col, isl_token::is_keyword, isl_alloc_type, isl_token::line, isl_token::on_new_line, isl_token::s, and isl_token::u.
Referenced by next_token(), and push_aff().
|
static |
Definition at line 387 of file isl_stream.c.
References check_keywords(), isl_token::col, isl_token::is_keyword, isl_int_init, isl_int_is_zero, isl_int_read, isl_stream_error(), isl_stream_getc(), isl_stream_push_char(), isl_stream_push_token(), isl_stream_skip_line(), isl_stream_ungetc(), ISL_TOKEN_AND, ISL_TOKEN_DEF, ISL_TOKEN_EQ_EQ, isl_token_free(), ISL_TOKEN_GE, ISL_TOKEN_GT, ISL_TOKEN_IDENT, ISL_TOKEN_INT_DIV, ISL_TOKEN_LE, ISL_TOKEN_LEX_GE, ISL_TOKEN_LEX_GT, ISL_TOKEN_LEX_LE, ISL_TOKEN_LEX_LT, ISL_TOKEN_LT, ISL_TOKEN_NE, isl_token_new(), ISL_TOKEN_NOT, ISL_TOKEN_OR, ISL_TOKEN_STRING, ISL_TOKEN_TO, ISL_TOKEN_UNKNOWN, ISL_TOKEN_VALUE, isl_token::line, isl_token::on_new_line, isl_token::s, isl_token::type, isl_token::u, and isl_token::v.
Referenced by isl_stream_next_token(), and isl_stream_next_token_on_same_line().
|
static |
Definition at line 859 of file isl_stream.c.
References isl_die, isl_error_invalid, isl_stat_error, isl_stat_ok, isl_stream_get_ctx(), and isl_token::s.
Referenced by isl_stream_yaml_read_end_mapping(), and isl_stream_yaml_read_end_sequence().
|
static |
Definition at line 829 of file isl_stream.c.
References isl_realloc_array, and isl_token::s.
Referenced by isl_stream_yaml_read_start_mapping(), and isl_stream_yaml_read_start_sequence().
|
static |
Definition at line 24 of file isl_stream.c.
References isl_bool_ok(), isl_keyword::name, and val.
Referenced by check_keywords(), and isl_stream_register_keyword().
|
static |
Definition at line 904 of file isl_stream.c.
References isl_die, isl_error_internal, isl_stat_error, isl_stat_ok, and isl_token::s.
Referenced by isl_stream_yaml_read_start_mapping(), and isl_stream_yaml_read_start_sequence().
|
static |
Definition at line 243 of file isl_stream.c.
References isl_token::s.
Referenced by isl_stream_getc().
|
static |
Definition at line 875 of file isl_stream.c.
References isl_die, isl_error_invalid, isl_stream_get_ctx(), and isl_token::s.
Referenced by isl_stream_yaml_next().