X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=main.c;h=6ff3970f676463ea41a96cf58ea42c4009afe76e;hb=e0dc840844ae424f37cb00f9a39251cd277edc3a;hp=b9b62e1e77d2a2395f41e99aed641cebb38d0f6d;hpb=79c6f528c76905104d20dd5e41d1117d713492e1;p=cparser diff --git a/main.c b/main.c index b9b62e1..6ff3970 100644 --- a/main.c +++ b/main.c @@ -1,6 +1,6 @@ /* * This file is part of cparser. - * Copyright (C) 2007-2008 Matthias Braun + * Copyright (C) 2007-2009 Matthias Braun * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -71,18 +71,21 @@ #include "lang_features.h" #include "driver/firm_opt.h" #include "driver/firm_cmdline.h" +#include "driver/firm_timing.h" #include "adt/error.h" -#include "write_fluffy.h" -#include "write_caml.h" +#include "wrappergen/write_fluffy.h" +#include "wrappergen/write_caml.h" +#include "wrappergen/write_jna.h" #include "revision.h" #include "warning.h" #include "mangle.h" +#include "printer.h" #ifndef PREPROCESSOR -#ifdef __APPLE__ -#define PREPROCESSOR "gcc -E -std=c99 -m32 -U__STRICT_ANSI__" +#ifndef __WIN32__ +#define PREPROCESSOR "gcc -E -m32 -U__STRICT_ANSI__" #else -#define PREPROCESSOR "cpp -std=c99 -m32 -U__STRICT_ANSI__" +#define PREPROCESSOR "cpp -m32 -U__STRICT_ANSI__" #endif #endif @@ -129,6 +132,20 @@ static struct obstack cppflags_obst, ldflags_obst; static char dep_target[1024]; static const char *outname; +typedef enum lang_standard_t { + STANDARD_DEFAULT, /* gnu99 (for C, GCC does gnu89) or gnu++98 (for C++) */ + STANDARD_ANSI, /* c89 (for C) or c++98 (for C++) */ + STANDARD_C89, /* ISO C90 (sic) */ + STANDARD_C90, /* ISO C90 as modified in amendment 1 */ + STANDARD_C99, /* ISO C99 */ + STANDARD_GNU89, /* ISO C90 plus GNU extensions (including some C99) */ + STANDARD_GNU99, /* ISO C99 plus GNU extensions */ + STANDARD_CXX98, /* ISO C++ 1998 plus amendments */ + STANDARD_GNUXX98 /* ISO C++ 1998 plus amendments and GNU extensions */ +} lang_standard_t; + +static lang_standard_t standard; + typedef struct file_list_entry_t file_list_entry_t; typedef enum filetype_t { @@ -140,6 +157,7 @@ typedef enum filetype_t { FILETYPE_ASSEMBLER, FILETYPE_PREPROCESSED_ASSEMBLER, FILETYPE_OBJECT, + FILETYPE_IR, FILETYPE_UNKNOWN } filetype_t; @@ -180,30 +198,24 @@ static void initialize_firm(void) static void get_output_name(char *buf, size_t buflen, const char *inputname, const char *newext) { - size_t last_dot = 0xffffffff; - size_t i = 0; - - if (inputname == NULL) { - snprintf(buf, buflen, "a%s", newext); - return; - } - - for (const char *c = inputname; *c != 0; ++c) { - if (*c == '.') - last_dot = i; - ++i; - } - if (last_dot == 0xffffffff) - last_dot = i; - - if (last_dot >= buflen) - panic("filename too long"); - memcpy(buf, inputname, last_dot); - - size_t extlen = strlen(newext) + 1; - if (extlen + last_dot >= buflen) + if (inputname == NULL) + inputname = "a"; + + char const *const last_slash = strrchr(inputname, '/'); + char const *const filename = + last_slash != NULL ? last_slash + 1 : inputname; + char const *const last_dot = strrchr(filename, '.'); + char const *const name_end = + last_dot != NULL ? last_dot : strchr(filename, '\0'); + + int const len = snprintf(buf, buflen, "%.*s%s", + (int)(name_end - filename), filename, newext); +#ifdef _WIN32 + if (len < 0 || buflen <= (size_t)len) +#else + if (buflen <= (size_t)len) +#endif panic("filename too long"); - memcpy(buf+last_dot, newext, extlen); } #include "builtins.h" @@ -237,7 +249,7 @@ static void lextest(FILE *in, const char *fname) static void add_flag(struct obstack *obst, const char *format, ...) { - char buf[4096]; + char buf[65536]; va_list ap; va_start(ap, format); @@ -256,17 +268,22 @@ static void add_flag(struct obstack *obst, const char *format, ...) /* escape stuff... */ for (char *c = buf; *c != '\0'; ++c) { switch(*c) { - case '"': - case '\'': - case '`': case ' ': - case '\t': - case '\n': - case '\r': - case '\\': + case '"': case '$': + case '&': case '(': case ')': + case ';': + case '<': + case '>': + case '\'': + case '\\': + case '\n': + case '\r': + case '\t': + case '`': + case '|': obstack_1grow(obst, '\\'); /* FALLTHROUGH */ default: @@ -283,18 +300,66 @@ static const char *type_to_string(type_t *type) return get_atomic_kind_name(type->atomic.akind); } -static FILE *preprocess(const char *fname) +static FILE *preprocess(const char *fname, filetype_t filetype) { - obstack_1grow(&cppflags_obst, '\0'); - const char *flags = obstack_finish(&cppflags_obst); + static const char *common_flags = NULL; + + if (common_flags == NULL) { + obstack_1grow(&cppflags_obst, '\0'); + const char *flags = obstack_finish(&cppflags_obst); + + /* setup default defines */ + add_flag(&cppflags_obst, "-U__WCHAR_TYPE__"); + add_flag(&cppflags_obst, "-D__WCHAR_TYPE__=%s", type_to_string(type_wchar_t)); + add_flag(&cppflags_obst, "-U__SIZE_TYPE__"); + add_flag(&cppflags_obst, "-D__SIZE_TYPE__=%s", type_to_string(type_size_t)); + + add_flag(&cppflags_obst, "-U__VERSION__"); + add_flag(&cppflags_obst, "-D__VERSION__=\"%s\"", cparser_REVISION); + + /* TODO hack... */ + add_flag(&cppflags_obst, "-D__builtin_abort=abort"); + add_flag(&cppflags_obst, "-D__builtin_abs=abs"); + add_flag(&cppflags_obst, "-D__builtin_exit=exit"); + add_flag(&cppflags_obst, "-D__builtin_malloc=malloc"); + add_flag(&cppflags_obst, "-D__builtin_memcmp=memcmp"); + add_flag(&cppflags_obst, "-D__builtin_memcpy=memcpy"); + add_flag(&cppflags_obst, "-D__builtin_memset=memset"); + add_flag(&cppflags_obst, "-D__builtin_strlen=strlen"); + add_flag(&cppflags_obst, "-D__builtin_strcmp=strcmp"); + add_flag(&cppflags_obst, "-D__builtin_strcpy=strcpy"); + + if (flags[0] != '\0') { + size_t len = strlen(flags); + obstack_1grow(&cppflags_obst, ' '); + obstack_grow(&cppflags_obst, flags, len); + } + obstack_1grow(&cppflags_obst, '\0'); + common_flags = obstack_finish(&cppflags_obst); + } - obstack_printf(&cppflags_obst, "%s", PREPROCESSOR); + assert(obstack_object_size(&cppflags_obst) == 0); - /* setup default defines */ - add_flag(&cppflags_obst, "-U__WCHAR_TYPE__"); - add_flag(&cppflags_obst, "-D__WCHAR_TYPE__=%s", type_to_string(type_wchar_t)); - add_flag(&cppflags_obst, "-U__SIZE_TYPE__"); - add_flag(&cppflags_obst, "-D__SIZE_TYPE__=%s", type_to_string(type_size_t)); + const char *preprocessor = getenv("CPARSER_PP"); + if (preprocessor == NULL) + preprocessor = PREPROCESSOR; + + obstack_printf(&cppflags_obst, "%s ", preprocessor); + switch (filetype) { + case FILETYPE_C: + add_flag(&cppflags_obst, "-std=c99"); + break; + case FILETYPE_CXX: + add_flag(&cppflags_obst, "-std=c++98"); + break; + case FILETYPE_ASSEMBLER: + add_flag(&cppflags_obst, "-x"); + add_flag(&cppflags_obst, "assembler-with-cpp"); + break; + default: + break; + } + obstack_printf(&cppflags_obst, "%s", common_flags); /* handle dependency generation */ if (dep_target[0] != '\0') { @@ -305,13 +370,10 @@ static FILE *preprocess(const char *fname) add_flag(&cppflags_obst, outname); } } - if (flags[0] != '\0') { - obstack_printf(&cppflags_obst, " %s", flags); - } add_flag(&cppflags_obst, fname); obstack_1grow(&cppflags_obst, '\0'); - const char *buf = obstack_finish(&cppflags_obst); + char *buf = obstack_finish(&cppflags_obst); if (verbose) { puts(buf); } @@ -322,14 +384,21 @@ static FILE *preprocess(const char *fname) exit(1); } + /* we don't really need that anymore */ + obstack_free(&cppflags_obst, buf); + return f; } static void assemble(const char *out, const char *in) { - char buf[4096]; + char buf[65536]; + + const char *assembler = getenv("CPARSER_AS"); + if (assembler == NULL) + assembler = ASSEMBLER; - snprintf(buf, sizeof(buf), "%s %s -o %s", ASSEMBLER, in, out); + snprintf(buf, sizeof(buf), "%s %s -o %s", assembler, in, out); if (verbose) { puts(buf); } @@ -341,6 +410,33 @@ static void assemble(const char *out, const char *in) } } +static void print_file_name(const char *file) +{ + add_flag(&ldflags_obst, "-print-file-name=%s", file); + + obstack_1grow(&ldflags_obst, '\0'); + const char *flags = obstack_finish(&ldflags_obst); + + /* construct commandline */ + const char *linker = getenv("CPARSER_LINK"); + if (linker == NULL) + linker = LINKER; + obstack_printf(&ldflags_obst, "%s ", linker); + obstack_printf(&ldflags_obst, "%s", flags); + obstack_1grow(&ldflags_obst, '\0'); + + char *commandline = obstack_finish(&ldflags_obst); + + if (verbose) { + puts(commandline); + } + int err = system(commandline); + if (err != EXIT_SUCCESS) { + fprintf(stderr, "linker reported an error\n"); + exit(1); + } +} + static const char *try_dir(const char *dir) { if (dir == NULL) @@ -462,12 +558,14 @@ typedef enum compile_mode_t { ParseOnly, Compile, CompileDump, + CompileExportIR, CompileAssemble, CompileAssembleLink, LexTest, PrintAst, PrintFluffy, - PrintCaml + PrintCaml, + PrintJna } compile_mode_t; static void usage(const char *argv0) @@ -475,21 +573,26 @@ static void usage(const char *argv0) fprintf(stderr, "Usage %s input [-o output] [-c]\n", argv0); } -static void print_cparser_version(void) { - firm_version_t ver; - firm_get_version(&ver); - +static void print_cparser_version(void) +{ printf("cparser (%s) using libFirm (%u.%u", - cparser_REVISION, ver.major, ver.minor); - if (ver.revision[0] != 0) { + cparser_REVISION, ir_get_version_major(), + ir_get_version_minor()); + + const char *revision = ir_get_version_revision(); + if (revision[0] != 0) { putchar(' '); - fputs(ver.revision, stdout); + fputs(revision, stdout); } - if (ver.build[0] != 0) { + + const char *build = ir_get_version_build(); + if (build[0] != 0) { putchar(' '); - fputs(ver.build, stdout); + fputs(build, stdout); } - puts(")\n"); + puts(")"); + puts("This is free software; see the source for copying conditions. There is NO\n" + "warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n"); } static void set_be_option(const char *arg) @@ -583,23 +686,12 @@ static void init_os_support(void) } } -typedef enum lang_standard_t { - STANDARD_DEFAULT, /* gnu99 (for C, GCC does gnu89) or gnu++98 (for C++) */ - STANDARD_ANSI, /* c89 (for C) or c++98 (for C++) */ - STANDARD_C89, /* ISO C90 (sic) */ - STANDARD_C90, /* ISO C90 as modified in amendment 1 */ - STANDARD_C99, /* ISO C99 */ - STANDARD_GNU89, /* ISO C90 plus GNU extensions (including some C99) */ - STANDARD_GNU99, /* ISO C99 plus GNU extensions */ - STANDARD_CXX98, /* ISO C++ 1998 plus amendments */ - STANDARD_GNUXX98 /* ISO C++ 1998 plus amendments and GNU extensions */ -} lang_standard_t; - int main(int argc, char **argv) { initialize_firm(); const char *dumpfunction = NULL; + const char *print_file_name_file = NULL; compile_mode_t mode = CompileAssembleLink; int opt_level = 1; int result = EXIT_SUCCESS; @@ -607,6 +699,7 @@ int main(int argc, char **argv) file_list_entry_t *files = NULL; file_list_entry_t *last_file = NULL; bool construct_dep_target = false; + bool do_timing = false; struct obstack file_obst; atexit(free_temp_files); @@ -672,14 +765,14 @@ int main(int argc, char **argv) break; default: case 4: - set_option("strict-aliasing"); /* use_builtins = true; */ /* fallthrough */ case 3: - set_option("cond-eval"); - set_option("if-conv"); + set_option("thread-jumps"); + set_option("if-conversion"); /* fallthrough */ case 2: + set_option("strict-aliasing"); set_option("inline"); set_option("deconv"); set_be_option("omitfp"); @@ -687,7 +780,7 @@ int main(int argc, char **argv) } /* parse rest of options */ - lang_standard_t standard = STANDARD_DEFAULT; + standard = STANDARD_DEFAULT; unsigned features_on = 0; unsigned features_off = 0; filetype_t forced_filetype = FILETYPE_AUTODETECT; @@ -761,6 +854,20 @@ int main(int argc, char **argv) GET_ARG_AFTER(opt, "-MT"); add_flag(&cppflags_obst, "-%s", option); add_flag(&cppflags_obst, "%s", opt); + } else if (streq(option, "include")) { + const char *opt; + GET_ARG_AFTER(opt, "-include"); + add_flag(&cppflags_obst, "-include"); + add_flag(&cppflags_obst, "%s", opt); + } else if (streq(option, "isystem")) { + const char *opt; + GET_ARG_AFTER(opt, "-isystem"); + add_flag(&cppflags_obst, "-isystem"); + add_flag(&cppflags_obst, "%s", opt); + } else if (streq(option, "nostdinc") + || streq(option, "trigraphs")) { + /* pass these through to the preprocessor */ + add_flag(&cppflags_obst, "%s", arg); } else if (streq(option, "pipe")) { /* here for gcc compatibility */ } else if (option[0] == 'f') { @@ -771,6 +878,11 @@ int main(int argc, char **argv) strstart(orig_opt, "align-jumps=") || strstart(orig_opt, "align-functions=")) { fprintf(stderr, "ignoring gcc option '-f%s'\n", orig_opt); + } else if (strstart(orig_opt, "input-charset=")) { + char const* const encoding = strchr(orig_opt, '=') + 1; + select_input_encoding(encoding); + } else if (streq(orig_opt, "verbose-asm")) { + /* ignore: we always print verbose assembler */ } else { char const *opt = orig_opt; bool truth_value = true; @@ -779,22 +891,25 @@ int main(int argc, char **argv) opt += 3; } - if (streq(opt, "dollars-in-identifiers")) { - allow_dollar_in_symbol = truth_value; - } if (streq(opt, "builtins")) { + if (streq(opt, "builtins")) { use_builtins = truth_value; + } else if (streq(opt, "dollars-in-identifiers")) { + allow_dollar_in_symbol = truth_value; + } else if (streq(opt, "omit-frame-pointer")) { + set_be_option(truth_value ? "omitfp" : "omitfp=no"); } else if (streq(opt, "short-wchar")) { wchar_atomic_kind = truth_value ? ATOMIC_TYPE_USHORT : ATOMIC_TYPE_INT; - } else if (streq(opt, "syntax-only")) { - mode = truth_value ? ParseOnly : CompileAssembleLink; - } else if (streq(opt, "omit-frame-pointer")) { - set_be_option(truth_value ? "omitfp" : "omitfp=no"); + } else if (streq(opt, "signed-char")) { + char_is_signed = truth_value; } else if (streq(opt, "strength-reduce")) { firm_option(truth_value ? "strength-red" : "no-strength-red"); + } else if (streq(opt, "syntax-only")) { + mode = truth_value ? ParseOnly : CompileAssembleLink; + } else if (streq(opt, "unsigned-char")) { + char_is_signed = !truth_value; } else if (streq(opt, "fast-math") || streq(opt, "jump-tables") || - streq(opt, "unroll-loops") || streq(opt, "expensive-optimizations") || streq(opt, "common") || streq(opt, "PIC") || @@ -828,13 +943,22 @@ int main(int argc, char **argv) strncpy(cpu_arch, opt, sizeof(cpu_arch)); } } else if (option[0] == 'W') { - if (strstart(option + 1, "l,")) // a gcc-style linker option - { + if (strstart(option + 1, "p,")) { + // pass options directly to the preprocessor + const char *opt; + GET_ARG_AFTER(opt, "-Wp,"); + add_flag(&cppflags_obst, "-Wp,%s", opt); + } else if (strstart(option + 1, "l,")) { + // pass options directly to the linker const char *opt; GET_ARG_AFTER(opt, "-Wl,"); add_flag(&ldflags_obst, "-Wl,%s", opt); + } else if (streq(option + 1, "no-trigraphs") + || streq(option + 1, "undef")) { + add_flag(&cppflags_obst, "%s", arg); + } else { + set_warning_opt(&option[1]); } - else set_warning_opt(&option[1]); } else if (option[0] == 'm') { /* -m options */ const char *opt; @@ -845,9 +969,10 @@ int main(int argc, char **argv) GET_ARG_AFTER(opt, "-march="); snprintf(arch_opt, sizeof(arch_opt), "%s-arch=%s", cpu_arch, opt); int res = firm_be_option(arch_opt); - if (res == 0) + if (res == 0) { + fprintf(stderr, "Unknown architecture '%s'\n", arch_opt); argument_errors = true; - else { + } else { snprintf(arch_opt, sizeof(arch_opt), "%s-opt=%s", cpu_arch, opt); int res = firm_be_option(arch_opt); if (res == 0) @@ -891,6 +1016,8 @@ int main(int argc, char **argv) set_be_option("omitleaffp=1"); } else if (streq(opt, "no-omit-leaf-frame-pointer")) { set_be_option("omitleaffp=0"); + } else if (streq(opt, "rtd")) { + default_calling_convention = CC_STDCALL; } else { char *endptr; long int value = strtol(opt, &endptr, 10); @@ -932,6 +1059,8 @@ int main(int argc, char **argv) (fprintf(stderr, "warning: ignoring gcc option '%s'\n", arg), standard); } else if (streq(option, "version")) { print_cparser_version(); + } else if (strstart(option, "print-file-name=")) { + GET_ARG_AFTER(print_file_name_file, "-print-file-name="); } else if (option[0] == '-') { /* double dash option */ ++option; @@ -947,10 +1076,6 @@ int main(int argc, char **argv) } else if (streq(option, "no-ms")) { features_on &= ~_MS; features_off |= _MS; - } else if (streq(option, "signed-chars")) { - char_is_signed = true; - } else if (streq(option, "unsigned-chars")) { - char_is_signed = false; } else if (streq(option, "strict")) { strict_mode = true; } else if (streq(option, "lextest")) { @@ -967,6 +1092,10 @@ int main(int argc, char **argv) mode = PrintFluffy; } else if (streq(option, "print-caml")) { mode = PrintCaml; + } else if (streq(option, "print-jna")) { + mode = PrintJna; + } else if (streq(option, "time")) { + do_timing = true; } else if (streq(option, "version")) { print_cparser_version(); exit(EXIT_SUCCESS); @@ -980,6 +1109,8 @@ int main(int argc, char **argv) } dumpfunction = argv[i]; mode = CompileDump; + } else if (streq(option, "export-ir")) { + mode = CompileExportIR; } else { fprintf(stderr, "error: unknown argument '%s'\n", arg); argument_errors = true; @@ -1007,6 +1138,7 @@ int main(int argc, char **argv) streq(suffix, "cpp") ? FILETYPE_CXX : streq(suffix, "cxx") ? FILETYPE_CXX : streq(suffix, "h") ? FILETYPE_C : + streq(suffix, "ir") ? FILETYPE_IR : streq(suffix, "o") ? FILETYPE_OBJECT : streq(suffix, "s") ? FILETYPE_PREPROCESSED_ASSEMBLER : streq(suffix, "so") ? FILETYPE_OBJECT : @@ -1035,6 +1167,11 @@ int main(int argc, char **argv) } } + if (print_file_name_file != NULL) { + print_file_name(print_file_name_file); + return 0; + } + if (files == NULL) { fprintf(stderr, "error: no input files specified\n"); argument_errors = true; @@ -1051,6 +1188,10 @@ int main(int argc, char **argv) /* we do the lowering in ast2firm */ firm_opt.lower_bitfields = FALSE; + /* set the c_mode here, types depends on it */ + c_mode |= features_on; + c_mode &= ~features_off; + gen_firm_init(); init_symbol_table(); init_types(); @@ -1062,6 +1203,9 @@ int main(int argc, char **argv) init_ast2firm(); init_mangle(); + if (do_timing) + timer_init(); + if (construct_dep_target) { if (outname != 0 && strlen(outname) >= 2) { get_output_name(dep_target, sizeof(dep_target), outname, ".d"); @@ -1081,6 +1225,7 @@ int main(int argc, char **argv) case PrintAst: case PrintFluffy: case PrintCaml: + case PrintJna: case LexTest: case PreprocessOnly: case ParseOnly: @@ -1099,6 +1244,10 @@ int main(int argc, char **argv) ".vcg"); outname = outnamebuf; break; + case CompileExportIR: + get_output_name(outnamebuf, sizeof(outnamebuf), filename, ".ir"); + outname = outnamebuf; + break; case CompileAssembleLink: #ifdef _WIN32 outname = "a.exe"; @@ -1142,24 +1291,36 @@ int main(int argc, char **argv) } FILE *preprocessed_in = NULL; + filetype_t next_filetype = filetype; switch (filetype) { - case FILETYPE_C: filetype = FILETYPE_PREPROCESSED_C; goto preprocess; - case FILETYPE_CXX: filetype = FILETYPE_PREPROCESSED_CXX; goto preprocess; - case FILETYPE_ASSEMBLER: filetype = FILETYPE_PREPROCESSED_ASSEMBLER; goto preprocess; + case FILETYPE_C: + next_filetype = FILETYPE_PREPROCESSED_C; + goto preprocess; + case FILETYPE_CXX: + next_filetype = FILETYPE_PREPROCESSED_CXX; + goto preprocess; + case FILETYPE_ASSEMBLER: + next_filetype = FILETYPE_PREPROCESSED_ASSEMBLER; + goto preprocess; preprocess: /* no support for input on FILE* yet */ if (in != NULL) panic("internal compiler error: in for preprocessor != NULL"); - preprocessed_in = preprocess(filename); + preprocessed_in = preprocess(filename, filetype); if (mode == PreprocessOnly) { copy_file(out, preprocessed_in); int result = pclose(preprocessed_in); fclose(out); + /* remove output file in case of error */ + if (out != stdout && result != EXIT_SUCCESS) { + unlink(outname); + } return result; } in = preprocessed_in; + filetype = next_filetype; break; default: @@ -1182,7 +1343,7 @@ preprocess: switch (standard) { case STANDARD_ANSI: case STANDARD_C89: c_mode = _C89; break; - /* TODO ^v determine difference between these two */ + /* TODO determine difference between these two */ case STANDARD_C90: c_mode = _C89; break; case STANDARD_C99: c_mode = _C89 | _C99; break; case STANDARD_GNU89: c_mode = _C89 | _GNUC; break; @@ -1222,13 +1383,18 @@ default_cxx_warn: do_parsing: c_mode |= features_on; c_mode &= ~features_off; + + /* do the actual parsing */ + ir_timer_t *t_parsing = ir_timer_new(); + timer_register(t_parsing, "Frontend: Parsing"); + timer_push(t_parsing); init_tokens(); translation_unit_t *const unit = do_parsing(in, filename); + timer_pop(t_parsing); /* prints the AST even if errors occurred */ if (mode == PrintAst) { - type_set_output(out); - ast_set_output(out); + print_to_file(out); print_ast(unit); } @@ -1245,6 +1411,9 @@ do_parsing: if (in == preprocessed_in) { int pp_result = pclose(preprocessed_in); if (pp_result != EXIT_SUCCESS) { + /* remove output file */ + if (out != stdout) + unlink(outname); exit(EXIT_FAILURE); } } @@ -1257,10 +1426,19 @@ do_parsing: } else if (mode == PrintCaml) { write_caml_decls(out, unit); continue; + } else if (mode == PrintJna) { + write_jna_decls(out, unit); + continue; } + /* build the firm graph */ + ir_timer_t *t_construct = ir_timer_new(); + timer_register(t_construct, "Frontend: Graph construction"); + timer_push(t_construct); translation_unit_to_firm(unit); + timer_pop(t_construct); +graph_built: if (mode == ParseOnly) { continue; } @@ -1290,16 +1468,29 @@ do_parsing: exit(0); } + if (mode == CompileExportIR) { + fclose(out); + ir_export(outname); + exit(0); + } + gen_firm_finish(asm_out, filename, /*c_mode=*/1, have_const_functions); if (asm_out != out) { fclose(asm_out); } + } else if (filetype == FILETYPE_IR) { + fclose(in); + ir_import(filename); + goto graph_built; } else if (filetype == FILETYPE_PREPROCESSED_ASSEMBLER) { copy_file(asm_out, in); if (in == preprocessed_in) { int pp_result = pclose(preprocessed_in); if (pp_result != EXIT_SUCCESS) { + /* remove output in error case */ + if (out != stdout) + unlink(outname); return pp_result; } } @@ -1340,8 +1531,11 @@ do_parsing: file->type = filetype; } - if (result != EXIT_SUCCESS) + if (result != EXIT_SUCCESS) { + if (out != stdout) + unlink(outname); return result; + } /* link program file */ if (mode == CompileAssembleLink) { @@ -1349,7 +1543,10 @@ do_parsing: const char *flags = obstack_finish(&ldflags_obst); /* construct commandline */ - obstack_printf(&file_obst, "%s", LINKER); + const char *linker = getenv("CPARSER_LINK"); + if (linker == NULL) + linker = LINKER; + obstack_printf(&file_obst, "%s", linker); for (file_list_entry_t *entry = files; entry != NULL; entry = entry->next) { if (entry->type != FILETYPE_OBJECT) @@ -1375,6 +1572,9 @@ do_parsing: } } + if (do_timing) + timer_term(stderr); + obstack_free(&cppflags_obst, NULL); obstack_free(&ldflags_obst, NULL); obstack_free(&file_obst, NULL);