futhark-0.20.4: rts/c/tuning.h
// Start of tuning.h.
static char* load_tuning_file(const char *fname,
void *cfg,
int (*set_tuning_param)(void*, const char*, size_t)) {
const int max_line_len = 1024;
char* line = (char*) malloc(max_line_len);
FILE *f = fopen(fname, "r");
if (f == NULL) {
snprintf(line, max_line_len, "Cannot open file: %s", strerror(errno));
return line;
}
int lineno = 0;
while (fgets(line, max_line_len, f) != NULL) {
lineno++;
char *eql = strstr(line, "=");
if (eql) {
*eql = 0;
int value = atoi(eql+1);
if (set_tuning_param(cfg, line, (size_t)value) != 0) {
char* err = (char*) malloc(max_line_len + 50);
snprintf(err, max_line_len + 50, "Unknown name '%s' on line %d.", line, lineno);
free(line);
return err;
}
} else {
snprintf(line, max_line_len, "Invalid line %d (must be of form 'name=int').",
lineno);
return line;
}
}
free(line);
return NULL;
}
// End of tuning.h.