update isl for isl_node_extension
[ppcg.git] / gpu_print.h
blobeb3d56554d33ac3b91efe278697fbffd3358109d
1 #ifndef GPU_PRINT_H
2 #define GPU_PRINT_H
4 #include "gpu.h"
6 __isl_give isl_printer *gpu_print_types(__isl_take isl_printer *p,
7 struct gpu_types *types, struct gpu_prog *prog);
9 __isl_give isl_printer *gpu_print_macros(__isl_take isl_printer *p,
10 __isl_keep isl_ast_node *node);
12 __isl_give isl_printer *gpu_array_info_print_size(__isl_take isl_printer *prn,
13 struct gpu_array_info *array);
14 __isl_give isl_printer *gpu_array_info_print_declaration_argument(
15 __isl_take isl_printer *p, struct gpu_array_info *array,
16 const char *memory_space);
17 __isl_give isl_printer *gpu_array_info_print_call_argument(
18 __isl_take isl_printer *p, struct gpu_array_info *array);
20 __isl_give isl_printer *ppcg_kernel_print_copy(__isl_take isl_printer *p,
21 struct ppcg_kernel_stmt *stmt);
22 __isl_give isl_printer *ppcg_kernel_print_domain(__isl_take isl_printer *p,
23 struct ppcg_kernel_stmt *stmt);
25 #endif