Polly 22.0.0git
isl_printer.c File Reference
#include <string.h>
#include <isl_int.h>
#include <isl/id.h>
#include <isl/id_to_id.h>
#include <isl_printer_private.h>

Go to the source code of this file.

Classes

struct  isl_printer_ops

Functions

static __isl_give isl_printerfile_start_line (__isl_take isl_printer *p)
static __isl_give isl_printerfile_end_line (__isl_take isl_printer *p)
static __isl_give isl_printerfile_flush (__isl_take isl_printer *p)
static __isl_give isl_printerfile_print_str (__isl_take isl_printer *p, const char *s)
static __isl_give isl_printerfile_print_double (__isl_take isl_printer *p, double d)
static __isl_give isl_printerfile_print_int (__isl_take isl_printer *p, int i)
static __isl_give isl_printerfile_print_isl_int (__isl_take isl_printer *p, isl_int i)
static int grow_buf (__isl_keep isl_printer *p, int extra)
static __isl_give isl_printerstr_print (__isl_take isl_printer *p, const char *s, int len)
static __isl_give isl_printerstr_print_indent (__isl_take isl_printer *p, int indent)
static __isl_give isl_printerstr_start_line (__isl_take isl_printer *p)
static __isl_give isl_printerstr_end_line (__isl_take isl_printer *p)
static __isl_give isl_printerstr_flush (__isl_take isl_printer *p)
static __isl_give isl_printerstr_print_str (__isl_take isl_printer *p, const char *s)
static __isl_give isl_printerstr_print_double (__isl_take isl_printer *p, double d)
static __isl_give isl_printerstr_print_int (__isl_take isl_printer *p, int i)
static __isl_give isl_printerstr_print_isl_int (__isl_take isl_printer *p, isl_int i)
__isl_give isl_printerisl_printer_to_file (isl_ctx *ctx, FILE *file)
__isl_give isl_printerisl_printer_to_str (isl_ctx *ctx)
__isl_null isl_printerisl_printer_free (__isl_take isl_printer *p)
isl_ctxisl_printer_get_ctx (__isl_keep isl_printer *printer)
FILE * isl_printer_get_file (__isl_keep isl_printer *printer)
__isl_give isl_printerisl_printer_set_isl_int_width (__isl_take isl_printer *p, int width)
__isl_give isl_printerisl_printer_set_indent (__isl_take isl_printer *p, int indent)
__isl_give isl_printerisl_printer_indent (__isl_take isl_printer *p, int indent)
__isl_give isl_printerisl_printer_set_indent_prefix (__isl_take isl_printer *p, const char *prefix)
__isl_give isl_printerisl_printer_set_prefix (__isl_take isl_printer *p, const char *prefix)
__isl_give isl_printerisl_printer_set_suffix (__isl_take isl_printer *p, const char *suffix)
__isl_give isl_printerisl_printer_set_output_format (__isl_take isl_printer *p, int output_format)
int isl_printer_get_output_format (__isl_keep isl_printer *p)
isl_bool isl_printer_has_note (__isl_keep isl_printer *p, __isl_keep isl_id *id)
__isl_give isl_idisl_printer_get_note (__isl_keep isl_printer *p, __isl_take isl_id *id)
__isl_give isl_printerisl_printer_set_note (__isl_take isl_printer *p, __isl_take isl_id *id, __isl_take isl_id *note)
__isl_give isl_printerisl_printer_set_dump (__isl_take isl_printer *p, int dump)
__isl_give isl_printerisl_printer_set_yaml_style (__isl_take isl_printer *p, int yaml_style)
int isl_printer_get_yaml_style (__isl_keep isl_printer *p)
static __isl_give isl_printerpush_state (__isl_take isl_printer *p, enum isl_yaml_state state)
static __isl_give isl_printerpop_state (__isl_take isl_printer *p)
static __isl_give isl_printerupdate_state (__isl_take isl_printer *p, enum isl_yaml_state state)
static enum isl_yaml_state current_state (__isl_keep isl_printer *p)
static __isl_give isl_printerenter_state (__isl_take isl_printer *p, int eol)
__isl_give isl_printerisl_printer_print_str (__isl_take isl_printer *p, const char *s)
__isl_give isl_printerisl_printer_print_double (__isl_take isl_printer *p, double d)
__isl_give isl_printerisl_printer_print_int (__isl_take isl_printer *p, int i)
__isl_give isl_printerisl_printer_print_isl_int (__isl_take isl_printer *p, isl_int i)
__isl_give isl_printerisl_printer_start_line (__isl_take isl_printer *p)
__isl_give isl_printerisl_printer_end_line (__isl_take isl_printer *p)
__isl_give char * isl_printer_get_str (__isl_keep isl_printer *printer)
__isl_give isl_printerisl_printer_flush (__isl_take isl_printer *p)
__isl_give isl_printerisl_printer_yaml_start_mapping (__isl_take isl_printer *p)
__isl_give isl_printerisl_printer_yaml_end_mapping (__isl_take isl_printer *p)
__isl_give isl_printerisl_printer_yaml_start_sequence (__isl_take isl_printer *p)
__isl_give isl_printerisl_printer_yaml_end_sequence (__isl_take isl_printer *p)
__isl_give isl_printerisl_printer_yaml_next (__isl_take isl_printer *p)

Variables

static struct isl_printer_ops file_ops
static struct isl_printer_ops str_ops

Function Documentation

◆ current_state()

◆ enter_state()

◆ file_end_line()

__isl_give isl_printer * file_end_line ( __isl_take isl_printer * p)
static

Definition at line 14 of file isl_printer.c.

References __isl_give, __isl_take, and p.

◆ file_flush()

__isl_give isl_printer * file_flush ( __isl_take isl_printer * p)
static

Definition at line 20 of file isl_printer.c.

References __isl_give, __isl_take, and p.

◆ file_print_double()

__isl_give isl_printer * file_print_double ( __isl_take isl_printer * p,
double d )
static

Definition at line 33 of file isl_printer.c.

References __isl_give, __isl_take, and p.

◆ file_print_int()

__isl_give isl_printer * file_print_int ( __isl_take isl_printer * p,
int i )
static

Definition at line 40 of file isl_printer.c.

References __isl_give, __isl_take, and p.

◆ file_print_isl_int()

__isl_give isl_printer * file_print_isl_int ( __isl_take isl_printer * p,
isl_int i )
static

Definition at line 46 of file isl_printer.c.

References __isl_give, __isl_take, isl_int_print, and p.

◆ file_print_str()

__isl_give isl_printer * file_print_str ( __isl_take isl_printer * p,
const char * s )
static

Definition at line 26 of file isl_printer.c.

References __isl_give, __isl_take, and p.

◆ file_start_line()

__isl_give isl_printer * file_start_line ( __isl_take isl_printer * p)
static

Definition at line 7 of file isl_printer.c.

References __isl_give, __isl_take, and p.

◆ grow_buf()

int grow_buf ( __isl_keep isl_printer * p,
int extra )
static

Definition at line 52 of file isl_printer.c.

References __isl_keep, isl_realloc_array, and p.

Referenced by str_print(), str_print_double(), str_print_indent(), and str_print_int().

◆ isl_printer_end_line()

◆ isl_printer_flush()

__isl_give isl_printer * isl_printer_flush ( __isl_take isl_printer * p)

Definition at line 690 of file isl_printer.c.

References __isl_give, __isl_take, and p.

Referenced by polly::IslAstInfo::print(), and verify_point().

◆ isl_printer_free()

__isl_null isl_printer * isl_printer_free ( __isl_take isl_printer * p)

Definition at line 269 of file isl_printer.c.

References __isl_null, __isl_take, isl_ctx_deref(), and p.

Referenced by alloc_note(), CAT(), construct_compressed_id(), FN(), FN(), FN(), FN(), FN(), ISL_ARG_CHOICE(), isl_ast_expr_op_type_print_macro(), isl_ast_expr_op_type_set_print_name(), isl_ast_expr_print_macros(), isl_ast_expr_to_C_str(), isl_ast_node_for_print(), isl_ast_node_if_print(), isl_ast_node_list_print(), isl_ast_node_print(), isl_ast_node_print_macros(), isl_ast_node_to_C_str(), isl_basic_map_print_internal(), isl_basic_map_print_polylib(), isl_basic_set_print_internal(), ISL_FN(), ISL_FN(), ISL_FN(), isl_printer_print_aff(), isl_printer_print_ast_expr(), isl_printer_print_ast_graft(), isl_printer_print_ast_node(), isl_printer_print_basic_map(), isl_printer_print_basic_set(), isl_printer_print_constraint(), isl_printer_print_fixed_box(), isl_printer_print_id(), isl_printer_print_local_space(), isl_printer_print_map(), isl_printer_print_multi_aff(), isl_printer_print_multi_id(), isl_printer_print_multi_pw_aff(), isl_printer_print_multi_union_pw_aff(), isl_printer_print_multi_val(), isl_printer_print_point(), isl_printer_print_pw_aff(), isl_printer_print_pw_multi_aff(), isl_printer_print_pw_qpolynomial(), isl_printer_print_pw_qpolynomial_fold(), isl_printer_print_qpolynomial(), isl_printer_print_qpolynomial_fold(), isl_printer_print_schedule(), isl_printer_print_schedule_constraints(), isl_printer_print_schedule_node(), isl_printer_print_schedule_tree_mark(), isl_printer_print_set(), isl_printer_print_space(), isl_printer_print_space_isl(), isl_printer_print_str(), isl_printer_print_union_access_info(), isl_printer_print_union_flow(), isl_printer_print_union_map(), isl_printer_print_union_pw_aff(), isl_printer_print_union_pw_multi_aff(), isl_printer_print_union_pw_qpolynomial(), isl_printer_print_union_pw_qpolynomial_fold(), isl_printer_print_union_set(), isl_printer_print_val(), isl_printer_print_vec(), isl_printer_set_note(), isl_printer_to_str(), isl_printer_yaml_next(), isl_pw_qpolynomial_fold_print(), isl_pw_qpolynomial_print(), isl_qpolynomial_fold_print(), isl_qpolynomial_print(), isl_schedule_node_dump(), isl_schedule_node_to_str(), isl_schedule_tree_dump(), isl_stream_error(), isl_union_access_info_to_str(), isl_union_flow_to_str(), isl_vec_dump(), main(), poly_print(), poly_print_cst(), polly::IslAstInfo::print(), print_access_c(), print_access_field(), print_aff_c(), print_aff_isl(), print_aff_num(), print_aff_num_base(), print_aff_num_mod(), print_affine(), print_arguments(), print_ast_expr_c(), print_ast_expr_isl(), print_ast_node_list(), print_base(), print_basic_set_c(), print_body_c(), print_body_map(), print_call_c(), print_constraint(), print_constraint_c(), print_constraint_polylib(), print_constraints(), print_disjuncts(), print_disjuncts_in_hull(), print_div(), print_div_list(), print_eq_constraint(), print_ls_affine_c(), print_ls_term_c(), print_min_max_c(), print_mod(), print_mod_term(), print_multi_aff_isl(), print_multi_pw_aff_isl(), print_multi_union_pw_aff_isl(), print_multi_val_isl(), print_name(), print_nested_tuple(), print_nested_var_list(), print_omega_parameters(), print_param_tuple(), print_pw_aff_c(), print_pw_multi_aff_c(), print_pw_qpolynomial_isl(), print_qpolynomial(), print_qpolynomial_c(), print_qpolynomial_fold_c(), print_qpolynomial_isl(), print_set_c(), print_sub_expr_c(), print_term(), print_tree_band(), push_state(), qpolynomial_fold_print(), str_print(), str_print_double(), str_print_indent(), str_print_int(), stringFromIslObjInternal(), test_coalesce_special3(), test_output(), update_state(), and verify_point().

◆ isl_printer_get_ctx()

◆ isl_printer_get_file()

FILE * isl_printer_get_file ( __isl_keep isl_printer * printer)

Definition at line 290 of file isl_printer.c.

References __isl_keep, isl_die, isl_error_invalid, and isl_printer_get_ctx().

◆ isl_printer_get_note()

◆ isl_printer_get_output_format()

int isl_printer_get_output_format ( __isl_keep isl_printer * p)

Definition at line 384 of file isl_printer.c.

References __isl_keep, and p.

Referenced by isl_printer_print_ast_expr(), and isl_printer_print_ast_node().

◆ isl_printer_get_str()

◆ isl_printer_get_yaml_style()

int isl_printer_get_yaml_style ( __isl_keep isl_printer * p)

Definition at line 477 of file isl_printer.c.

References __isl_keep, and p.

Referenced by isl_printer_print_schedule_tree_mark(), and print_tree_band().

◆ isl_printer_has_note()

isl_bool isl_printer_has_note ( __isl_keep isl_printer * p,
__isl_keep isl_id * id )

Definition at line 393 of file isl_printer.c.

References __isl_keep, isl_bool_error, isl_bool_false, and p.

Referenced by alloc_note(), get_op_str_c(), and isl_printer_get_note().

◆ isl_printer_indent()

◆ isl_printer_print_double()

__isl_give isl_printer * isl_printer_print_double ( __isl_take isl_printer * p,
double d )

Definition at line 630 of file isl_printer.c.

References __isl_give, __isl_take, enter_state(), and p.

◆ isl_printer_print_int()

◆ isl_printer_print_isl_int()

◆ isl_printer_print_str()

__isl_give isl_printer * isl_printer_print_str ( __isl_take isl_printer * p,
const char * s )

Definition at line 617 of file isl_printer.c.

References __isl_give, __isl_take, enter_state(), isl_printer_free(), and p.

Referenced by basic_map_print_omega(), basic_set_print_omega(), CAT(), cbPrintUser(), construct_compressed_id(), end_block(), FN(), FN(), FN(), FN(), FN(), isl_ast_expr_op_type_print_macro(), isl_basic_map_print_isl(), isl_basic_map_print_polylib(), ISL_FN(), isl_map_print_isl(), isl_map_print_latex(), isl_map_print_omega(), isl_print_space(), isl_printer_print_ast_graft(), isl_printer_print_constraint(), isl_printer_print_id(), isl_printer_print_local_space(), isl_printer_print_point(), isl_printer_print_schedule_tree_mark(), isl_printer_print_space_isl(), isl_printer_print_union_access_info(), isl_printer_print_val(), isl_printer_print_vec(), isl_set_print_omega(), main(), open_exists(), poly_print(), poly_print_cst(), print_access_c(), print_aff_body(), print_aff_c(), print_aff_isl(), print_affine_of_len(), print_arguments(), print_ast_expr_c(), print_ast_expr_isl(), print_ast_node_c(), print_ast_node_isl(), print_basic_set_c(), print_body_aff(), print_body_c(), print_body_pw_qpolynomial(), print_body_pw_qpolynomial_fold(), print_call_c(), print_constraint(), print_constraint_c(), print_constraint_polylib(), print_constraints(), print_coordinate(), print_dim_eq(), print_dim_mpa(), print_disjunct(), print_disjuncts(), print_disjuncts_core(), print_disjuncts_in_hull(), print_disjuncts_map(), print_div(), print_div_list(), print_eq_mod_constraint(), print_for_c(), print_half_constraint(), print_if_c(), print_latex_map(), print_latex_map_body(), print_ls_name_c(), print_ls_partial_affine_c(), print_ls_term_c(), print_min_max_c(), print_mod(), print_mod_term(), print_multi_aff_isl(), print_multi_id_isl(), print_multi_pw_aff_isl(), print_multi_union_pw_aff_isl(), print_multi_val_isl(), print_name(), print_nested_map_dim(), print_nested_tuple(), print_nested_var_list(), print_omega_parameters(), print_optional_disjunct(), print_pair(), print_param_tuple(), print_pow(), print_pw_multi_aff_c(), print_pw_qpolynomial_c(), print_pw_qpolynomial_fold_c(), print_pw_qpolynomial_fold_isl(), print_pw_qpolynomial_isl(), print_qpolynomial_c(), print_qpolynomial_fold_c(), print_qpolynomial_isl(), print_set_c(), print_split_map(), print_sub_expr_c(), print_term(), print_tree_band(), print_unnamed_pw_multi_aff_c(), printLine(), qpolynomial_fold_print(), start_block(), and verify_point().

◆ isl_printer_set_dump()

__isl_give isl_printer * isl_printer_set_dump ( __isl_take isl_printer * p,
int dump )

◆ isl_printer_set_indent()

__isl_give isl_printer * isl_printer_set_indent ( __isl_take isl_printer * p,
int indent )

◆ isl_printer_set_indent_prefix()

__isl_give isl_printer * isl_printer_set_indent_prefix ( __isl_take isl_printer * p,
const char * prefix )

Definition at line 337 of file isl_printer.c.

References __isl_give, __isl_take, p, and isl_printer::prefix.

◆ isl_printer_set_isl_int_width()

__isl_give isl_printer * isl_printer_set_isl_int_width ( __isl_take isl_printer * p,
int width )

Definition at line 300 of file isl_printer.c.

References __isl_give, __isl_take, p, and isl_printer::width.

Referenced by print_constraints_polylib().

◆ isl_printer_set_note()

__isl_give isl_printer * isl_printer_set_note ( __isl_take isl_printer * p,
__isl_take isl_id * id,
__isl_take isl_id * note )

Definition at line 427 of file isl_printer.c.

References __isl_give, __isl_take, isl_id_free(), isl_printer_free(), isl_printer_get_ctx(), and p.

Referenced by alloc_note().

◆ isl_printer_set_output_format()

◆ isl_printer_set_prefix()

__isl_give isl_printer * isl_printer_set_prefix ( __isl_take isl_printer * p,
const char * prefix )

Definition at line 349 of file isl_printer.c.

References __isl_give, __isl_take, p, and isl_printer::prefix.

◆ isl_printer_set_suffix()

__isl_give isl_printer * isl_printer_set_suffix ( __isl_take isl_printer * p,
const char * suffix )

Definition at line 361 of file isl_printer.c.

References __isl_give, __isl_take, p, and isl_printer::suffix.

◆ isl_printer_set_yaml_style()

◆ isl_printer_start_line()

◆ isl_printer_to_file()

◆ isl_printer_to_str()

◆ isl_printer_yaml_end_mapping()

◆ isl_printer_yaml_end_sequence()

◆ isl_printer_yaml_next()

◆ isl_printer_yaml_start_mapping()

◆ isl_printer_yaml_start_sequence()

◆ pop_state()

__isl_give isl_printer * pop_state ( __isl_take isl_printer * p)
static

Definition at line 512 of file isl_printer.c.

References __isl_give, __isl_take, and p.

Referenced by isl_printer_yaml_end_mapping(), and isl_printer_yaml_end_sequence().

◆ push_state()

◆ str_end_line()

__isl_give isl_printer * str_end_line ( __isl_take isl_printer * p)
static

Definition at line 113 of file isl_printer.c.

References __isl_give, __isl_take, p, and str_print().

◆ str_flush()

__isl_give isl_printer * str_flush ( __isl_take isl_printer * p)
static

Definition at line 121 of file isl_printer.c.

References __isl_give, __isl_take, and p.

◆ str_print()

__isl_give isl_printer * str_print ( __isl_take isl_printer * p,
const char * s,
int len )
static

◆ str_print_double()

__isl_give isl_printer * str_print_double ( __isl_take isl_printer * p,
double d )
static

Definition at line 134 of file isl_printer.c.

References __isl_give, __isl_take, grow_buf(), isl_printer_free(), and p.

◆ str_print_indent()

__isl_give isl_printer * str_print_indent ( __isl_take isl_printer * p,
int indent )
static

Definition at line 87 of file isl_printer.c.

References __isl_give, __isl_take, grow_buf(), isl_printer_free(), and p.

Referenced by str_print_isl_int(), and str_start_line().

◆ str_print_int()

__isl_give isl_printer * str_print_int ( __isl_take isl_printer * p,
int i )
static

Definition at line 152 of file isl_printer.c.

References __isl_give, __isl_take, grow_buf(), isl_printer_free(), and p.

◆ str_print_isl_int()

__isl_give isl_printer * str_print_isl_int ( __isl_take isl_printer * p,
isl_int i )
static

◆ str_print_str()

__isl_give isl_printer * str_print_str ( __isl_take isl_printer * p,
const char * s )
static

Definition at line 128 of file isl_printer.c.

References __isl_give, __isl_take, p, and str_print().

◆ str_start_line()

__isl_give isl_printer * str_start_line ( __isl_take isl_printer * p)
static

Definition at line 103 of file isl_printer.c.

References __isl_give, __isl_take, p, str_print(), and str_print_indent().

◆ update_state()

__isl_give isl_printer * update_state ( __isl_take isl_printer * p,
enum isl_yaml_state state )
static

Variable Documentation

◆ file_ops

struct isl_printer_ops file_ops
static
Initial value:
= {
}
static __isl_give isl_printer * file_print_isl_int(__isl_take isl_printer *p, isl_int i)
Definition isl_printer.c:46
static __isl_give isl_printer * file_print_str(__isl_take isl_printer *p, const char *s)
Definition isl_printer.c:26
static __isl_give isl_printer * file_start_line(__isl_take isl_printer *p)
Definition isl_printer.c:7
static __isl_give isl_printer * file_print_int(__isl_take isl_printer *p, int i)
Definition isl_printer.c:40
static __isl_give isl_printer * file_print_double(__isl_take isl_printer *p, double d)
Definition isl_printer.c:33
static __isl_give isl_printer * file_flush(__isl_take isl_printer *p)
Definition isl_printer.c:20
static __isl_give isl_printer * file_end_line(__isl_take isl_printer *p)
Definition isl_printer.c:14

Definition at line 197 of file isl_printer.c.

Referenced by isl_printer_to_file().

◆ str_ops

struct isl_printer_ops str_ops
static
Initial value:
= {
}
static __isl_give isl_printer * str_print_isl_int(__isl_take isl_printer *p, isl_int i)
static __isl_give isl_printer * str_print_int(__isl_take isl_printer *p, int i)
static __isl_give isl_printer * str_end_line(__isl_take isl_printer *p)
static __isl_give isl_printer * str_print_double(__isl_take isl_printer *p, double d)
static __isl_give isl_printer * str_flush(__isl_take isl_printer *p)
static __isl_give isl_printer * str_start_line(__isl_take isl_printer *p)
static __isl_give isl_printer * str_print_str(__isl_take isl_printer *p, const char *s)

Definition at line 207 of file isl_printer.c.

Referenced by isl_printer_get_str(), and isl_printer_to_str().