#ifndef _CUDA_H | |
#define _CUDA_H | |
#include "ppcg_options.h" | |
#include "ppcg.h" | |
int generate_cuda(isl_ctx *ctx, struct ppcg_options *options, | |
const char *input); | |
__isl_give isl_printer *print_host_user(__isl_take isl_printer *p, | |
__isl_take isl_ast_print_options *print_options, | |
__isl_keep isl_ast_node *node, void *user); | |
#endif |