use ppcg specific macro names in generated output
[ppcg.git] / print.h
blobe77a9897bdb2ed2dcaa8ceb413f71c2c04eeb534
1 #ifndef PRINT_H
2 #define PRINT_H
4 #include <isl/ast.h>
6 #include "ppcg.h"
8 extern const char *ppcg_min;
9 extern const char *ppcg_max;
10 extern const char *ppcg_fdiv_q;
12 __isl_give isl_printer *ppcg_start_block(__isl_take isl_printer *p);
13 __isl_give isl_printer *ppcg_end_block(__isl_take isl_printer *p);
15 __isl_give isl_printer *ppcg_set_macro_names(__isl_take isl_printer *p);
16 __isl_give isl_printer *ppcg_print_macros(__isl_take isl_printer *p,
17 __isl_keep isl_ast_node *node);
19 __isl_give isl_printer *ppcg_print_declaration(__isl_take isl_printer *p,
20 struct pet_array *array, __isl_keep isl_ast_build *build);
21 __isl_give isl_printer *ppcg_print_exposed_declarations(
22 __isl_take isl_printer *p, struct ppcg_scop *scop);
23 __isl_give isl_printer *ppcg_print_hidden_declarations(
24 __isl_take isl_printer *p, struct ppcg_scop *scop);
26 __isl_give isl_printer *ppcg_print_guarded(__isl_take isl_printer *p,
27 __isl_take isl_set *guard, __isl_take isl_set *context,
28 __isl_give isl_printer *(*fn)(__isl_take isl_printer *p, void *user),
29 void *user);
31 #endif