1 #ifndef _CUDA_H
2 #define _CUDA_H
3 
4 #include "ppcg_options.h"
5 #include "ppcg.h"
6 
7 int generate_cuda(isl_ctx *ctx, struct ppcg_options *options,
8 	const char *input);
9 
10 __isl_give isl_printer *print_host_user(__isl_take isl_printer *p,
11 	__isl_take isl_ast_print_options *print_options,
12 	__isl_keep isl_ast_node *node, void *user);
13 #endif
14