10 __isl_give isl_printer
*print_cpu(__isl_take isl_printer
*p
,
11 struct ppcg_scop
*ps
, struct ppcg_options
*options
);
12 int generate_cpu(isl_ctx
*ctx
, struct ppcg_scop
*ps
,
13 struct ppcg_options
*options
, const char *input
, const char *output
);