X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=main.c;h=d39b27fda4c4a797d0c406ae5c8dfb97d48e53cc;hb=0e0d9e91feb751e06cd57d7ae07cf84d7b3dc342;hp=32456541def6785621cfaf8c9e2bd8975dd53ffc;hpb=3e06034bed1934dd7916fd37ba46dd6f7527dfe3;p=cparser diff --git a/main.c b/main.c index 3245654..d39b27f 100644 --- a/main.c +++ b/main.c @@ -72,53 +72,42 @@ #include "driver/firm_opt.h" #include "driver/firm_cmdline.h" #include "driver/firm_timing.h" +#include "driver/firm_machine.h" #include "adt/error.h" +#include "adt/strutil.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 #ifndef __WIN32__ -#define PREPROCESSOR "gcc -E -m32 -U__STRICT_ANSI__" +#define PREPROCESSOR "gcc -E -U__STRICT_ANSI__" #else -#define PREPROCESSOR "cpp -m32 -U__STRICT_ANSI__" +#define PREPROCESSOR "cpp -U__STRICT_ANSI__" #endif #endif #ifndef LINKER -#define LINKER "gcc -m32" +#define LINKER "gcc" #endif #ifndef ASSEMBLER -#ifdef __APPLE__ #define ASSEMBLER "gcc -c -xassembler" -#else -#define ASSEMBLER "as --32" -#endif #endif -/** The current c mode/dialect. */ -unsigned int c_mode = _C89 | _ANSI | _C99 | _GNUC; - -/** The 'machine size', 16, 32 or 64 bit, 32bit is the default. */ -unsigned int machine_size = 32; - -/** true if the char type is signed. */ -bool char_is_signed = true; - -/** true for strict language checking. */ -bool strict_mode = false; - -/** use builtins for some libc functions */ -bool use_builtins = false; - -/** we have extern function with const attribute. */ -bool have_const_functions = false; - -atomic_type_kind_t wchar_atomic_kind = ATOMIC_TYPE_INT; +unsigned int c_mode = _C89 | _ANSI | _C99 | _GNUC; +unsigned int machine_size = 32; +bool byte_order_big_endian = false; +bool char_is_signed = true; +bool strict_mode = false; +bool use_builtins = false; +atomic_type_kind_t wchar_atomic_kind = ATOMIC_TYPE_INT; +unsigned force_long_double_size = 0; +bool enable_main_collect2_hack = false; +bool freestanding = false; /* to switch on printing of implicit casts */ extern bool print_implicit_casts; @@ -126,10 +115,15 @@ extern bool print_implicit_casts; /* to switch on printing of parenthesis to indicate operator precedence */ extern bool print_parenthesis; -static int verbose; -static struct obstack cppflags_obst, ldflags_obst; -static char dep_target[1024]; -static const char *outname; +static machine_triple_t *target_machine; +static const char *target_triple; +static int verbose; +static struct obstack cppflags_obst; +static struct obstack ldflags_obst; +static struct obstack asflags_obst; +static char dep_target[1024]; +static const char *outname; +static bool define_intmax_types; typedef enum lang_standard_t { STANDARD_DEFAULT, /* gnu99 (for C, GCC does gnu89) or gnu++98 (for C++) */ @@ -168,32 +162,6 @@ struct file_list_entry_t { static file_list_entry_t *temp_files; -#if defined(_DEBUG) || defined(FIRM_DEBUG) -/** - * Debug printf implementation. - * - * @param fmt printf style format parameter - */ -void dbg_printf(const char *fmt, ...) -{ - va_list list; - - if (firm_dump.debug_print) { - va_start(list, fmt); - vprintf(fmt, list); - va_end(list); - } /* if */ -} -#endif /* defined(_DEBUG) || defined(FIRM_DEBUG) */ - -static void initialize_firm(void) -{ - firm_early_init(); - - dump_consts_local(1); - dump_keepalive_edges(1); -} - static void get_output_name(char *buf, size_t buflen, const char *inputname, const char *newext) { @@ -217,7 +185,7 @@ static void get_output_name(char *buf, size_t buflen, const char *inputname, panic("filename too long"); } -#include "builtins.h" +#include "gen_builtins.h" static translation_unit_t *do_parsing(FILE *const in, const char *const input_name) { @@ -316,17 +284,12 @@ static FILE *preprocess(const char *fname, filetype_t filetype) 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 (define_intmax_types) { + add_flag(&cppflags_obst, "-U__INTMAX_TYPE__"); + add_flag(&cppflags_obst, "-D__INTMAX_TYPE__=%s", type_to_string(type_intmax_t)); + add_flag(&cppflags_obst, "-U__UINTMAX_TYPE__"); + add_flag(&cppflags_obst, "-D__UINTMAX_TYPE__=%s", type_to_string(type_uintmax_t)); + } if (flags[0] != '\0') { size_t len = strlen(flags); @@ -338,7 +301,16 @@ static FILE *preprocess(const char *fname, filetype_t filetype) } assert(obstack_object_size(&cppflags_obst) == 0); - obstack_printf(&cppflags_obst, "%s ", PREPROCESSOR); + + const char *preprocessor = getenv("CPARSER_PP"); + if (preprocessor != NULL) { + obstack_printf(&cppflags_obst, "%s ", preprocessor); + } else { + if (target_triple != NULL) + obstack_printf(&cppflags_obst, "%s-", target_triple); + obstack_printf(&cppflags_obst, PREPROCESSOR); + } + switch (filetype) { case FILETYPE_C: add_flag(&cppflags_obst, "-std=c99"); @@ -365,39 +337,52 @@ static FILE *preprocess(const char *fname, filetype_t filetype) } } add_flag(&cppflags_obst, fname); - obstack_1grow(&cppflags_obst, '\0'); - char *buf = obstack_finish(&cppflags_obst); + + char *commandline = obstack_finish(&cppflags_obst); if (verbose) { - puts(buf); + puts(commandline); } - - FILE *f = popen(buf, "r"); + FILE *f = popen(commandline, "r"); if (f == NULL) { fprintf(stderr, "invoking preprocessor failed\n"); - exit(1); + exit(EXIT_FAILURE); } - /* we don't really need that anymore */ - obstack_free(&cppflags_obst, buf); + obstack_free(&cppflags_obst, commandline); return f; } static void assemble(const char *out, const char *in) { - char buf[65536]; + obstack_1grow(&asflags_obst, '\0'); + const char *flags = obstack_finish(&asflags_obst); - snprintf(buf, sizeof(buf), "%s %s -o %s", ASSEMBLER, in, out); - if (verbose) { - puts(buf); + const char *assembler = getenv("CPARSER_AS"); + if (assembler != NULL) { + obstack_printf(&asflags_obst, "%s", assembler); + } else { + if (target_triple != NULL) + obstack_printf(&asflags_obst, "%s-", target_triple); + obstack_printf(&asflags_obst, "%s", ASSEMBLER); } + if (flags[0] != '\0') + obstack_printf(&asflags_obst, " %s", flags); + + obstack_printf(&asflags_obst, " %s -o %s", in, out); + obstack_1grow(&asflags_obst, '\0'); - int err = system(buf); - if (err != 0) { + char *commandline = obstack_finish(&asflags_obst); + if (verbose) { + puts(commandline); + } + int err = system(commandline); + if (err != EXIT_SUCCESS) { fprintf(stderr, "assembler reported an error\n"); - exit(1); + exit(EXIT_FAILURE); } + obstack_free(&asflags_obst, commandline); } static void print_file_name(const char *file) @@ -408,20 +393,28 @@ static void print_file_name(const char *file) const char *flags = obstack_finish(&ldflags_obst); /* construct commandline */ - obstack_printf(&ldflags_obst, "%s ", LINKER); + const char *linker = getenv("CPARSER_LINK"); + if (linker != NULL) { + obstack_printf(&ldflags_obst, "%s ", linker); + } else { + if (target_triple != NULL) + obstack_printf(&ldflags_obst, "%s-", target_triple); + obstack_printf(&ldflags_obst, "%s ", 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); + exit(EXIT_FAILURE); } + obstack_free(&ldflags_obst, commandline); } static const char *try_dir(const char *dir) @@ -488,12 +481,12 @@ static FILE *make_temp_file(char *buffer, size_t buflen, const char *prefix) if (fd == -1) { fprintf(stderr, "couldn't create temporary file: %s\n", strerror(errno)); - exit(1); + exit(EXIT_FAILURE); } FILE *out = fdopen(fd, "w"); if (out == NULL) { fprintf(stderr, "couldn't create temporary file FILE*\n"); - exit(1); + exit(EXIT_FAILURE); } file_list_entry_t *entry = xmalloc(sizeof(*entry)); @@ -524,21 +517,6 @@ static void free_temp_files(void) temp_files = NULL; } -/** - * Do the necessary lowering for compound parameters. - */ -void lower_compound_params(void) -{ - lower_params_t params; - - params.def_ptr_alignment = 4; - params.flags = LF_COMPOUND_RETURN | LF_RETURN_HIDDEN; - params.hidden_params = ADD_HIDDEN_ALWAYS_IN_FRONT; - params.find_pointer_type = NULL; - params.ret_compound_in_regs = NULL; - lower_calls_with_compounds(¶ms); -} - typedef enum compile_mode_t { BenchmarkParser, PreprocessOnly, @@ -551,13 +529,12 @@ typedef enum compile_mode_t { LexTest, PrintAst, PrintFluffy, - PrintCaml, PrintJna } compile_mode_t; static void usage(const char *argv0) { - fprintf(stderr, "Usage %s input [-o output] [-c]\n", argv0); + fprintf(stderr, "Usage %s [options] input [-o output]\n", argv0); } static void print_cparser_version(void) @@ -582,16 +559,18 @@ static void print_cparser_version(void) "warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n"); } -static void set_be_option(const char *arg) +static void print_help(const char *argv0) { - int res = firm_be_option(arg); - (void) res; - assert(res); + usage(argv0); + puts(""); + puts("\t-fhelp Display help about firm optimisation options"); + puts("\t-bhelp Display help about firm backend options"); + puts("A big number of gcc flags is also supported"); } -static void set_option(const char *arg) +static void set_be_option(const char *arg) { - int res = firm_option(arg); + int res = be_parse_arg(arg); (void) res; assert(res); } @@ -608,20 +587,6 @@ static void copy_file(FILE *dest, FILE *input) } } -static inline bool streq(char const* a, char const* b) -{ - return strcmp(a, b) == 0; -} - -static inline bool strstart(char const* str, char const* start) -{ - do { - if (*start == '\0') - return true; - } while (*str++ == *start++); - return false; -} - static FILE *open_file(const char *filename) { if (streq(filename, "-")) { @@ -632,7 +597,7 @@ static FILE *open_file(const char *filename) if (in == NULL) { fprintf(stderr, "Couldn't open '%s': %s\n", filename, strerror(errno)); - exit(1); + exit(EXIT_FAILURE); } return in; @@ -654,28 +619,53 @@ static filetype_t get_filetype_from_string(const char *string) return FILETYPE_UNKNOWN; } -static void init_os_support(void) +static bool init_os_support(void) { - /* OS option must be set to the backend */ - switch (firm_opt.os_support) { - case OS_SUPPORT_MINGW: - set_be_option("ia32-gasmode=mingw"); - wchar_atomic_kind = ATOMIC_TYPE_USHORT; - break; - case OS_SUPPORT_LINUX: - set_be_option("ia32-gasmode=elf"); - break; - case OS_SUPPORT_MACHO: - set_be_option("ia32-gasmode=macho"); - set_be_option("ia32-stackalign=4"); - set_be_option("pic"); - break; + const char *os = target_machine->operating_system; + wchar_atomic_kind = ATOMIC_TYPE_INT; + force_long_double_size = 0; + enable_main_collect2_hack = false; + define_intmax_types = false; + + if (strstr(os, "linux") != NULL || strstr(os, "bsd") != NULL + || streq(os, "solaris")) { + set_create_ld_ident(create_name_linux_elf); + } else if (streq(os, "darwin")) { + force_long_double_size = 16; + set_create_ld_ident(create_name_macho); + define_intmax_types = true; + } else if (strstr(os, "mingw") != NULL || streq(os, "win32")) { + wchar_atomic_kind = ATOMIC_TYPE_USHORT; + enable_main_collect2_hack = true; + set_create_ld_ident(create_name_win32); + } else { + return false; } + + return true; +} + +static bool parse_target_triple(const char *arg) +{ + machine_triple_t *triple = firm_parse_machine_triple(arg); + if (triple == NULL) { + fprintf(stderr, "Target-triple is not in the form 'cpu_type-manufacturer-operating_system'\n"); + return false; + } + target_machine = triple; + return true; +} + +static void setup_target_machine(void) +{ + if (!setup_firm_for_machine(target_machine)) + exit(1); + init_os_support(); } int main(int argc, char **argv) { - initialize_firm(); + firm_early_init(); const char *dumpfunction = NULL; const char *print_file_name_file = NULL; @@ -687,6 +677,8 @@ int main(int argc, char **argv) file_list_entry_t *last_file = NULL; bool construct_dep_target = false; bool do_timing = false; + bool profile_generate = false; + bool profile_use = false; struct obstack file_obst; atexit(free_temp_files); @@ -699,6 +691,7 @@ int main(int argc, char **argv) obstack_init(&cppflags_obst); obstack_init(&ldflags_obst); + obstack_init(&asflags_obst); obstack_init(&file_obst); #define GET_ARG_AFTER(def, args) \ @@ -730,49 +723,24 @@ int main(int argc, char **argv) if (option[0] == 'O') { sscanf(&option[1], "%d", &opt_level); } - if (strcmp(arg, "-fwin32") == 0) { - firm_opt.os_support = OS_SUPPORT_MINGW; - } else if (strcmp(arg, "-fmac") == 0) { - firm_opt.os_support = OS_SUPPORT_MACHO; - } else if (strcmp(arg, "-flinux") == 0) { - firm_opt.os_support = OS_SUPPORT_LINUX; - } } - /* set target/os specific stuff */ - init_os_support(); - - /* apply optimisation level */ - switch(opt_level) { - case 0: - set_option("no-opt"); - break; - case 1: - set_option("no-inline"); - break; - default: - case 4: - /* use_builtins = true; */ - /* fallthrough */ - case 3: - set_option("thread-jumps"); - set_option("if-conv"); - /* fallthrough */ - case 2: - set_option("strict-aliasing"); - set_option("inline"); - set_option("deconv"); - set_be_option("omitfp"); - break; + const char *target = getenv("TARGET"); + if (target != NULL) + parse_target_triple(target); + if (target_machine == NULL) { + target_machine = firm_get_host_machine(); } + choose_optimization_pack(opt_level); + setup_target_machine(); /* parse rest of options */ - standard = STANDARD_DEFAULT; - unsigned features_on = 0; - unsigned features_off = 0; - filetype_t forced_filetype = FILETYPE_AUTODETECT; - bool help_displayed = false; - bool argument_errors = false; + standard = STANDARD_DEFAULT; + unsigned features_on = 0; + unsigned features_off = 0; + filetype_t forced_filetype = FILETYPE_AUTODETECT; + bool help_displayed = false; + bool argument_errors = false; for (int i = 1; i < argc; ++i) { const char *arg = argv[i]; if (arg[0] == '-' && arg[1] != '\0') { @@ -851,26 +819,38 @@ int main(int argc, char **argv) GET_ARG_AFTER(opt, "-isystem"); add_flag(&cppflags_obst, "-isystem"); add_flag(&cppflags_obst, "%s", opt); +#if defined(linux) || defined(__linux) || defined(__linux__) || defined(__CYGWIN__) + } else if (streq(option, "pthread")) { + /* set flags for the preprocessor */ + add_flag(&cppflags_obst, "-D_REENTRANT"); + /* set flags for the linker */ + add_flag(&ldflags_obst, "-lpthread"); +#endif } 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 (streq(option, "static")) { + add_flag(&ldflags_obst, "-static"); + } else if (streq(option, "shared")) { + add_flag(&ldflags_obst, "-shared"); } else if (option[0] == 'f') { char const *orig_opt; GET_ARG_AFTER(orig_opt, "-f"); - if (strstart(orig_opt, "align-loops=") || - 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=")) { + 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 if (strstart(orig_opt, "align-loops=") || + 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, "message-length=")) { + /* ignore: would only affect error message format */ } else { + /* -f options which have an -fno- variant */ char const *opt = orig_opt; bool truth_value = true; if (opt[0] == 'n' && opt[1] == 'o' && opt[2] == '-') { @@ -895,15 +875,29 @@ int main(int argc, char **argv) mode = truth_value ? ParseOnly : CompileAssembleLink; } else if (streq(opt, "unsigned-char")) { char_is_signed = !truth_value; + } else if (streq(opt, "freestanding")) { + freestanding = truth_value; + } else if (streq(opt, "hosted")) { + freestanding = !truth_value; + } else if (streq(opt, "profile-generate")) { + profile_generate = truth_value; + } else if (streq(opt, "profile-use")) { + profile_use = truth_value; + } else if (!truth_value && + streq(opt, "asynchronous-unwind-tables")) { + /* nothing todo, a gcc feature which we don't support + * anyway was deactivated */ + } else if (streq(orig_opt, "verbose-asm")) { + /* ignore: we always print verbose assembler */ } else if (streq(opt, "fast-math") || streq(opt, "jump-tables") || - streq(opt, "unroll-loops") || streq(opt, "expensive-optimizations") || streq(opt, "common") || - streq(opt, "PIC") || + streq(opt, "optimize-sibling-calls") || streq(opt, "align-loops") || streq(opt, "align-jumps") || - streq(opt, "align-functions")) { + streq(opt, "align-functions") || + streq(opt, "PIC")) { fprintf(stderr, "ignoring gcc option '-f%s'\n", orig_opt); } else { int res = firm_option(orig_opt); @@ -920,7 +914,7 @@ int main(int argc, char **argv) } else if (option[0] == 'b') { const char *opt; GET_ARG_AFTER(opt, "-b"); - int res = firm_be_option(opt); + int res = be_parse_arg(opt); if (res == 0) { fprintf(stderr, "error: unknown Firm backend option '-b %s'\n", opt); @@ -931,7 +925,9 @@ int main(int argc, char **argv) strncpy(cpu_arch, opt, sizeof(cpu_arch)); } } else if (option[0] == 'W') { - if (strstart(option + 1, "p,")) { + if (option[1] == '\0') { + /* ignore -W, our defaults are already quite verbose */ + } else if (strstart(option + 1, "p,")) { // pass options directly to the preprocessor const char *opt; GET_ARG_AFTER(opt, "-Wp,"); @@ -953,29 +949,45 @@ int main(int argc, char **argv) char arch_opt[64]; GET_ARG_AFTER(opt, "-m"); - if (strstart(opt, "arch=")) { + if (strstart(opt, "target=")) { + GET_ARG_AFTER(opt, "-mtarget="); + if (!parse_target_triple(opt)) { + argument_errors = true; + } else { + setup_target_machine(); + target_triple = opt; + } + } else if (strstart(opt, "triple=")) { + GET_ARG_AFTER(opt, "-mtriple="); + if (!parse_target_triple(opt)) { + argument_errors = true; + } else { + setup_target_machine(); + target_triple = opt; + } + } else if (strstart(opt, "arch=")) { GET_ARG_AFTER(opt, "-march="); snprintf(arch_opt, sizeof(arch_opt), "%s-arch=%s", cpu_arch, opt); - int res = firm_be_option(arch_opt); + int res = be_parse_arg(arch_opt); if (res == 0) { fprintf(stderr, "Unknown architecture '%s'\n", arch_opt); argument_errors = true; } else { snprintf(arch_opt, sizeof(arch_opt), "%s-opt=%s", cpu_arch, opt); - int res = firm_be_option(arch_opt); + int res = be_parse_arg(arch_opt); if (res == 0) argument_errors = true; } } else if (strstart(opt, "tune=")) { GET_ARG_AFTER(opt, "-mtune="); snprintf(arch_opt, sizeof(arch_opt), "%s-opt=%s", cpu_arch, opt); - int res = firm_be_option(arch_opt); + int res = be_parse_arg(arch_opt); if (res == 0) argument_errors = true; } else if (strstart(opt, "cpu=")) { GET_ARG_AFTER(opt, "-mcpu="); snprintf(arch_opt, sizeof(arch_opt), "%s-arch=%s", cpu_arch, opt); - int res = firm_be_option(arch_opt); + int res = be_parse_arg(arch_opt); if (res == 0) argument_errors = true; } else if (strstart(opt, "fpmath=")) { @@ -990,14 +1002,14 @@ int main(int argc, char **argv) } if (!argument_errors) { snprintf(arch_opt, sizeof(arch_opt), "%s-fpunit=%s", cpu_arch, opt); - int res = firm_be_option(arch_opt); + int res = be_parse_arg(arch_opt); if (res == 0) argument_errors = true; } } else if (strstart(opt, "preferred-stack-boundary=")) { GET_ARG_AFTER(opt, "-mpreferred-stack-boundary="); snprintf(arch_opt, sizeof(arch_opt), "%s-stackalign=%s", cpu_arch, opt); - int res = firm_be_option(arch_opt); + int res = be_parse_arg(arch_opt); if (res == 0) argument_errors = true; } else if (streq(opt, "omit-leaf-frame-pointer")) { @@ -1006,18 +1018,24 @@ int main(int argc, char **argv) set_be_option("omitleaffp=0"); } else if (streq(opt, "rtd")) { default_calling_convention = CC_STDCALL; + } else if (strstart(opt, "regparm=")) { + fprintf(stderr, "error: regparm convention not supported yet\n"); + argument_errors = true; + } else if (streq(opt, "soft-float")) { + fprintf(stderr, "error: software floatingpoint not supported yet\n"); + argument_errors = true; } else { - char *endptr; - long int value = strtol(opt, &endptr, 10); - if (*endptr != '\0') { + long int value = strtol(opt, NULL, 10); + if (value == 0) { fprintf(stderr, "error: wrong option '-m %s'\n", opt); argument_errors = true; - } - if (value != 16 && value != 32 && value != 64) { + } else if (value != 16 && value != 32 && value != 64) { fprintf(stderr, "error: option -m supports only 16, 32 or 64\n"); argument_errors = true; } else { machine_size = (unsigned int)value; + add_flag(&asflags_obst, "-m%u", machine_size); + add_flag(&ldflags_obst, "-m%u", machine_size); } } } else if (streq(option, "pg")) { @@ -1078,15 +1096,34 @@ int main(int argc, char **argv) print_parenthesis = true; } else if (streq(option, "print-fluffy")) { mode = PrintFluffy; - } else if (streq(option, "print-caml")) { - mode = PrintCaml; } else if (streq(option, "print-jna")) { mode = PrintJna; + } else if (streq(option, "jna-limit")) { + ++i; + if (i >= argc) { + fprintf(stderr, "error: " + "expected argument after '--jna-limit'\n"); + argument_errors = true; + break; + } + jna_limit_output(argv[i]); + } else if (streq(option, "jna-libname")) { + ++i; + if (i >= argc) { + fprintf(stderr, "error: " + "expected argument after '--jna-libname'\n"); + argument_errors = true; + break; + } + jna_set_libname(argv[i]); } else if (streq(option, "time")) { do_timing = true; } else if (streq(option, "version")) { print_cparser_version(); - exit(EXIT_SUCCESS); + return EXIT_SUCCESS; + } else if (streq(option, "help")) { + print_help(argv[0]); + help_displayed = true; } else if (streq(option, "dump-function")) { ++i; if (i >= argc) { @@ -1122,22 +1159,23 @@ int main(int argc, char **argv) streq(suffix, "S") ? FILETYPE_ASSEMBLER : streq(suffix, "a") ? FILETYPE_OBJECT : streq(suffix, "c") ? FILETYPE_C : + streq(suffix, "i") ? FILETYPE_PREPROCESSED_C : + streq(suffix, "C") ? FILETYPE_CXX : streq(suffix, "cc") ? FILETYPE_CXX : + streq(suffix, "cp") ? FILETYPE_CXX : streq(suffix, "cpp") ? FILETYPE_CXX : + streq(suffix, "CPP") ? FILETYPE_CXX : streq(suffix, "cxx") ? FILETYPE_CXX : + streq(suffix, "c++") ? FILETYPE_CXX : + streq(suffix, "ii") ? FILETYPE_PREPROCESSED_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 : - FILETYPE_AUTODETECT; + FILETYPE_OBJECT; /* gcc behavior: unknown file extension means object file */ } } - - if (type == FILETYPE_AUTODETECT) { - fprintf(stderr, "'%s': file format not recognized\n", arg); - continue; - } } file_list_entry_t *entry @@ -1155,32 +1193,37 @@ int main(int argc, char **argv) } } + if (help_displayed) { + return !argument_errors; + } + if (print_file_name_file != NULL) { print_file_name(print_file_name_file); - return 0; + return EXIT_SUCCESS; } - if (files == NULL) { fprintf(stderr, "error: no input files specified\n"); argument_errors = true; } - if (help_displayed) { - return !argument_errors; - } if (argument_errors) { usage(argv[0]); - return 1; + return EXIT_FAILURE; } - /* we do the lowering in ast2firm */ - firm_opt.lower_bitfields = FALSE; - - /* set the c_mode here, types depends on it */ + /* apply some effects from switches */ c_mode |= features_on; c_mode &= ~features_off; + if (profile_generate) { + add_flag(&ldflags_obst, "-lfirmprof"); + set_be_option("profilegenerate"); + } + if (profile_use) { + set_be_option("profileuse"); + } gen_firm_init(); + byte_order_big_endian = be_get_backend_param()->byte_order_big_endian; init_symbol_table(); init_types(); init_typehash(); @@ -1212,7 +1255,6 @@ int main(int argc, char **argv) case BenchmarkParser: case PrintAst: case PrintFluffy: - case PrintCaml: case PrintJna: case LexTest: case PreprocessOnly: @@ -1256,11 +1298,12 @@ int main(int argc, char **argv) if (out == NULL) { fprintf(stderr, "Couldn't open '%s' for writing: %s\n", outname, strerror(errno)); - return 1; + return EXIT_FAILURE; } } file_list_entry_t *file; + bool already_constructed_firm = false; for (file = files; file != NULL; file = file->next) { char asm_tempfile[1024]; const char *filename = file->name; @@ -1275,7 +1318,7 @@ int main(int argc, char **argv) in = open_file(filename); lextest(in, filename); fclose(in); - exit(EXIT_SUCCESS); + return EXIT_SUCCESS; } FILE *preprocessed_in = NULL; @@ -1372,15 +1415,17 @@ do_parsing: c_mode |= features_on; c_mode &= ~features_off; - timer_push(TV_PARSING); + /* 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(); + 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); } @@ -1400,7 +1445,7 @@ do_parsing: /* remove output file */ if (out != stdout) unlink(outname); - exit(EXIT_FAILURE); + return EXIT_FAILURE; } } @@ -1409,17 +1454,21 @@ do_parsing: } else if (mode == PrintFluffy) { write_fluffy_decls(out, unit); continue; - } else if (mode == PrintCaml) { - write_caml_decls(out, unit); - continue; } else if (mode == PrintJna) { write_jna_decls(out, unit); continue; } - timer_push(TV_CONSTRUCT); + /* build the firm graph */ + ir_timer_t *t_construct = ir_timer_new(); + timer_register(t_construct, "Frontend: Graph construction"); + timer_push(t_construct); + if (already_constructed_firm) { + panic("compiling multiple files/translation units not possible"); + } translation_unit_to_firm(unit); - timer_pop(); + already_constructed_firm = true; + timer_pop(t_construct); graph_built: if (mode == ParseOnly) { @@ -1443,22 +1492,21 @@ graph_built: if (irg == NULL) { fprintf(stderr, "No graph for function '%s' found\n", dumpfunction); - exit(1); + return EXIT_FAILURE; } - dump_ir_block_graph_file(irg, out); + dump_ir_graph_file(out, irg); fclose(out); - exit(0); + return EXIT_SUCCESS; } if (mode == CompileExportIR) { fclose(out); ir_export(outname); - exit(0); + return EXIT_SUCCESS; } - gen_firm_finish(asm_out, filename, /*c_mode=*/1, - have_const_functions); + gen_firm_finish(asm_out, filename); if (asm_out != out) { fclose(asm_out); } @@ -1526,7 +1574,15 @@ graph_built: const char *flags = obstack_finish(&ldflags_obst); /* construct commandline */ - obstack_printf(&file_obst, "%s", LINKER); + const char *linker = getenv("CPARSER_LINK"); + if (linker != NULL) { + obstack_printf(&file_obst, "%s ", linker); + } else { + if (target_triple != NULL) + obstack_printf(&file_obst, "%s-", target_triple); + obstack_printf(&file_obst, "%s ", LINKER); + } + for (file_list_entry_t *entry = files; entry != NULL; entry = entry->next) { if (entry->type != FILETYPE_OBJECT) @@ -1548,7 +1604,7 @@ graph_built: int err = system(commandline); if (err != EXIT_SUCCESS) { fprintf(stderr, "linker reported an error\n"); - exit(1); + return EXIT_FAILURE; } } @@ -1557,6 +1613,7 @@ graph_built: obstack_free(&cppflags_obst, NULL); obstack_free(&ldflags_obst, NULL); + obstack_free(&asflags_obst, NULL); obstack_free(&file_obst, NULL); exit_mangle(); @@ -1568,5 +1625,5 @@ graph_built: exit_types(); exit_tokens(); exit_symbol_table(); - return 0; + return EXIT_SUCCESS; }