static __isl_give isl_printer *print_kernel_var(__isl_take isl_printer *p, struct ppcg_kernel_var *var) { int j; p = isl_printer_start_line(p); if (var->type == ppcg_access_shared) p = isl_printer_print_str(p, "__shared__ "); p = isl_printer_print_str(p, var->array->type); p = isl_printer_print_str(p, " "); p = isl_printer_print_str(p, var->name); for (j = 0; j < var->array->n_index; ++j) { isl_val *v; p = isl_printer_print_str(p, "["); v = isl_vec_get_element_val(var->size, j); p = isl_printer_print_val(p, v); isl_val_free(v); p = isl_printer_print_str(p, "]"); } p = isl_printer_print_str(p, ";"); p = isl_printer_end_line(p); return p; }
static __isl_give isl_printer *isl_obj_val_print(__isl_take isl_printer *p, void *v) { return isl_printer_print_val(p, (isl_val *)v); }