Polly 19.0.0git
Macros | Functions
printer.h File Reference
#include <stdio.h>
#include <isl/ctx.h>
#include <isl/printer_type.h>
#include <isl/id_type.h>

Go to the source code of this file.

Macros

#define ISL_FORMAT_ISL   0
 
#define ISL_FORMAT_POLYLIB   1
 
#define ISL_FORMAT_POLYLIB_CONSTRAINTS   2
 
#define ISL_FORMAT_OMEGA   3
 
#define ISL_FORMAT_C   4
 
#define ISL_FORMAT_LATEX   5
 
#define ISL_FORMAT_EXT_POLYLIB   6
 
#define ISL_YAML_STYLE_BLOCK   0
 
#define ISL_YAML_STYLE_FLOW   1
 

Functions

__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 *printer)
 
isl_ctxisl_printer_get_ctx (__isl_keep isl_printer *printer)
 
FILE * isl_printer_get_file (__isl_keep isl_printer *printer)
 
__isl_give char * isl_printer_get_str (__isl_keep isl_printer *printer)
 
__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_output_format (__isl_take isl_printer *p, int output_format)
 
int isl_printer_get_output_format (__isl_keep isl_printer *p)
 
__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)
 
__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_isl_int_width (__isl_take isl_printer *p, int width)
 
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_start_line (__isl_take isl_printer *p)
 
__isl_give isl_printerisl_printer_end_line (__isl_take isl_printer *p)
 
__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_str (__isl_take isl_printer *p, const char *s)
 
__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)
 
__isl_give isl_printerisl_printer_flush (__isl_take isl_printer *p)
 

Macro Definition Documentation

◆ ISL_FORMAT_C

#define ISL_FORMAT_C   4

Definition at line 31 of file printer.h.

◆ ISL_FORMAT_EXT_POLYLIB

#define ISL_FORMAT_EXT_POLYLIB   6

Definition at line 33 of file printer.h.

◆ ISL_FORMAT_ISL

#define ISL_FORMAT_ISL   0

Definition at line 27 of file printer.h.

◆ ISL_FORMAT_LATEX

#define ISL_FORMAT_LATEX   5

Definition at line 32 of file printer.h.

◆ ISL_FORMAT_OMEGA

#define ISL_FORMAT_OMEGA   3

Definition at line 30 of file printer.h.

◆ ISL_FORMAT_POLYLIB

#define ISL_FORMAT_POLYLIB   1

Definition at line 28 of file printer.h.

◆ ISL_FORMAT_POLYLIB_CONSTRAINTS

#define ISL_FORMAT_POLYLIB_CONSTRAINTS   2

Definition at line 29 of file printer.h.

◆ ISL_YAML_STYLE_BLOCK

#define ISL_YAML_STYLE_BLOCK   0

Definition at line 38 of file printer.h.

◆ ISL_YAML_STYLE_FLOW

#define ISL_YAML_STYLE_FLOW   1

Definition at line 39 of file printer.h.

Function Documentation

◆ isl_printer_end_line()

__isl_give isl_printer * isl_printer_end_line ( __isl_take isl_printer p)

◆ 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 p.

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

◆ isl_printer_free()

__isl_null isl_printer * isl_printer_free ( __isl_take isl_printer printer)

Definition at line 269 of file isl_printer.c.

References isl_ctx_deref(), and p.

Referenced by alloc_note(), CAT(), construct_compressed_id(), 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_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_ctx * isl_printer_get_ctx ( __isl_keep isl_printer printer)

◆ 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_die, isl_error_invalid, and isl_printer_get_ctx().

◆ isl_printer_get_note()

__isl_give isl_id * isl_printer_get_note ( __isl_keep isl_printer p,
__isl_take isl_id id 
)

Definition at line 406 of file isl_printer.c.

References isl_die, isl_error_invalid, isl_id_free(), isl_printer_get_ctx(), isl_printer_has_note(), and p.

Referenced by 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 p.

Referenced by isl_printer_print_ast_expr(), and isl_printer_print_ast_node().

◆ isl_printer_get_str()

__isl_give char * isl_printer_get_str ( __isl_keep isl_printer printer)

◆ 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 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_bool_error, isl_bool_false, and p.

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

◆ isl_printer_indent()

__isl_give isl_printer * isl_printer_indent ( __isl_take isl_printer p,
int  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 enter_state(), and p.

◆ isl_printer_print_int()

__isl_give isl_printer * isl_printer_print_int ( __isl_take isl_printer p,
int  i 
)

◆ 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 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(), 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_indent()

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

Definition at line 311 of file isl_printer.c.

References isl_printer::indent, and p.

Referenced by isl_basic_map_print_internal(), and isl_basic_set_print_internal().

◆ 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 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 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_id_free(), isl_printer_free(), isl_printer_get_ctx(), and p.

Referenced by alloc_note().

◆ isl_printer_set_output_format()

__isl_give isl_printer * isl_printer_set_output_format ( __isl_take isl_printer p,
int  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 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 p, and isl_printer::suffix.

◆ isl_printer_set_yaml_style()

__isl_give isl_printer * isl_printer_set_yaml_style ( __isl_take isl_printer p,
int  yaml_style 
)

◆ isl_printer_start_line()

__isl_give isl_printer * isl_printer_start_line ( __isl_take isl_printer p)

◆ isl_printer_to_file()

__isl_give isl_printer * isl_printer_to_file ( isl_ctx ctx,
FILE *  file 
)

◆ isl_printer_to_str()

__isl_give isl_printer * isl_printer_to_str ( isl_ctx ctx)

◆ isl_printer_yaml_end_mapping()

__isl_give isl_printer * isl_printer_yaml_end_mapping ( __isl_take isl_printer p)

◆ isl_printer_yaml_end_sequence()

__isl_give isl_printer * isl_printer_yaml_end_sequence ( __isl_take isl_printer p)

◆ isl_printer_yaml_next()

__isl_give isl_printer * isl_printer_yaml_next ( __isl_take isl_printer p)

◆ isl_printer_yaml_start_mapping()

__isl_give isl_printer * isl_printer_yaml_start_mapping ( __isl_take isl_printer p)

◆ isl_printer_yaml_start_sequence()

__isl_give isl_printer * isl_printer_yaml_start_sequence ( __isl_take isl_printer p)