DUMP_JITED
if (mode == DUMP_JITED) {
if (mode == DUMP_JITED) {
} else if (mode == DUMP_JITED) {
mode = DUMP_JITED;
if (mode == DUMP_JITED) {
mode == DUMP_JITED ? "jited" : "xlated", prog_id);
printf("DUMP (%s) %s/%s:\n", mode == DUMP_JITED ? "JITED" : "XLATED", file_name, prog_name);
if (env.dump_mode & DUMP_JITED)
dump(info.id, DUMP_JITED, base_filename, prog_name);
env.dump_mode |= DUMP_JITED;