X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=main.c;h=72c66665bcf90a88e73ffedcf605ea7dd6129160;hb=94f64430c85fb47efd55acf812e4052e4b1f9914;hp=568063e0666ae52af84fc8ab4192c7be379a847d;hpb=9279fe05e6053a9cbd91e254e7a260152d07b642;p=cparser diff --git a/main.c b/main.c index 568063e..72c6666 100644 --- a/main.c +++ b/main.c @@ -101,25 +101,17 @@ #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; +bool have_const_functions = 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; @@ -127,6 +119,7 @@ extern bool print_implicit_casts; /* to switch on printing of parenthesis to indicate operator precedence */ extern bool print_parenthesis; +static const char *target_triple; static int verbose; static struct obstack cppflags_obst, ldflags_obst; static char dep_target[1024]; @@ -308,10 +301,14 @@ static FILE *preprocess(const char *fname, filetype_t filetype) assert(obstack_object_size(&cppflags_obst) == 0); const char *preprocessor = getenv("CPARSER_PP"); - if (preprocessor == NULL) - preprocessor = PREPROCESSOR; + 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); + } - obstack_printf(&cppflags_obst, "%s ", preprocessor); switch (filetype) { case FILETYPE_C: add_flag(&cppflags_obst, "-std=c99"); @@ -348,7 +345,7 @@ static FILE *preprocess(const char *fname, filetype_t filetype) FILE *f = popen(buf, "r"); if (f == NULL) { fprintf(stderr, "invoking preprocessor failed\n"); - exit(1); + exit(EXIT_FAILURE); } /* we don't really need that anymore */ @@ -359,13 +356,24 @@ static FILE *preprocess(const char *fname, filetype_t filetype) static void assemble(const char *out, const char *in) { - char buf[65536]; + struct obstack asflags_obst; + char *buf; + + obstack_init(&asflags_obst); const char *assembler = getenv("CPARSER_AS"); - if (assembler == NULL) - assembler = ASSEMBLER; + 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); + } + + obstack_printf(&asflags_obst, "%s -o %s", in, out); + obstack_1grow(&asflags_obst, '\0'); + buf = obstack_finish(&asflags_obst); - snprintf(buf, sizeof(buf), "%s %s -o %s", assembler, in, out); if (verbose) { puts(buf); } @@ -373,8 +381,10 @@ static void assemble(const char *out, const char *in) int err = system(buf); if (err != 0) { fprintf(stderr, "assembler reported an error\n"); - exit(1); + exit(EXIT_FAILURE); } + + obstack_free(&asflags_obst, NULL); } static void print_file_name(const char *file) @@ -386,8 +396,13 @@ static void print_file_name(const char *file) /* construct commandline */ const char *linker = getenv("CPARSER_LINK"); - if (linker == NULL) - linker = LINKER; + 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'); @@ -400,7 +415,7 @@ static void print_file_name(const char *file) int err = system(commandline); if (err != EXIT_SUCCESS) { fprintf(stderr, "linker reported an error\n"); - exit(1); + exit(EXIT_FAILURE); } } @@ -468,12 +483,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)); @@ -621,7 +636,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; @@ -643,23 +658,99 @@ static filetype_t get_filetype_from_string(const char *string) return FILETYPE_UNKNOWN; } -static void init_os_support(void) +/** + * Initialize firm codegeneration for a specific operating system. + * The argument is the operating system part of a target-triple */ +static bool set_os_support(const char *os) { - /* 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: + wchar_atomic_kind = ATOMIC_TYPE_INT; + force_long_double_size = 0; + enable_main_collect2_hack = false; + + if (strstr(os, "linux") != NULL || strstr(os, "bsd") != NULL + || streq(os, "solaris")) { set_be_option("ia32-gasmode=elf"); - break; - case OS_SUPPORT_MACHO: + set_create_ld_ident(create_name_linux_elf); + } else if (streq(os, "darwin")) { + force_long_double_size = 16; set_be_option("ia32-gasmode=macho"); set_be_option("ia32-stackalign=4"); - set_be_option("pic"); - break; + set_be_option("pic=true"); + set_create_ld_ident(create_name_macho); + } else if (strstr(os, "mingw") != NULL || streq(os, "win32")) { + wchar_atomic_kind = ATOMIC_TYPE_USHORT; + enable_main_collect2_hack = true; + set_be_option("ia32-gasmode=mingw"); + set_create_ld_ident(create_name_win32); + } else { + return false; } + + return true; +} + +static bool parse_target_triple(const char *arg) +{ + const char *manufacturer = strchr(arg, '-'); + if (manufacturer == NULL) { + fprintf(stderr, "Target-triple is not in the form 'cpu_type-manufacturer-operating_system'\n"); + return false; + } + manufacturer += 1; + + const char *os = strchr(manufacturer, '-'); + if (os == NULL) { + fprintf(stderr, "Target-triple is not in the form 'cpu_type-manufacturer-operating_system'\n"); + return false; + } + os += 1; + + /* Note: Triples are more or less defined by what the config.guess and + * config.sub scripts from GNU autoconf emit. We have to lookup there what + * triples are possible */ + + /* process cpu type */ + if (strstart(arg, "i386-")) { + be_parse_arg("isa=ia32"); + be_parse_arg("ia32-arch=i386"); + } else if (strstart(arg, "i486-")) { + be_parse_arg("isa=ia32"); + be_parse_arg("ia32-arch=i486"); + } else if (strstart(arg, "i586-")) { + be_parse_arg("isa=ia32"); + be_parse_arg("ia32-arch=i586"); + } else if (strstart(arg, "i686-")) { + be_parse_arg("isa=ia32"); + be_parse_arg("ia32-arch=i686"); + } else if (strstart(arg, "i786-")) { + be_parse_arg("isa=ia32"); + be_parse_arg("ia32-arch=pentium4"); + } else if (strstart(arg, "x86_64")) { + be_parse_arg("isa=amd64"); + } else if (strstart(arg, "sparc-")) { + be_parse_arg("isa=sparc"); + } else if (strstart(arg, "arm-")) { + be_parse_arg("isa=arm"); + } else { + fprintf(stderr, "Unknown cpu in triple '%s'\n", arg); + return false; + } + + /* process manufacturer, alot of people incorrectly leave out the + * manufacturer instead of using unknown- */ + if (strstart(manufacturer, "linux")) { + os = manufacturer; + manufacturer = "unknown-"; + } + + /* process operating system */ + if (!set_os_support(os)) { + fprintf(stderr, "Unknown operating system '%s' in triple '%s'\n", os, arg); + return false; + } + + target_triple = arg; + return true; } int main(int argc, char **argv) @@ -719,17 +810,16 @@ 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(); + /* Guess host OS */ +#if defined(_WIN32) || defined(__CYGWIN__) + set_os_support("win32"); +#elif defined(__APPLE__) + set_os_support("darwin"); +#else + set_os_support("linux"); +#endif /* apply optimisation level */ switch(opt_level) { @@ -755,13 +845,17 @@ int main(int argc, char **argv) break; } + const char *target = getenv("TARGET"); + if (target != NULL) + parse_target_triple(target); + /* 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') { @@ -880,6 +974,10 @@ 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 = true; + } else if (streq(opt, "hosted")) { + freestanding = false; } else if (truth_value == false && streq(opt, "asynchronous-unwind-tables")) { /* nothing todo, a gcc feature which we don't support @@ -950,7 +1048,15 @@ 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 if (strstart(opt, "triple=")) { + GET_ARG_AFTER(opt, "-mtriple="); + if (!parse_target_triple(opt)) + argument_errors = true; + } else if (strstart(opt, "arch=")) { GET_ARG_AFTER(opt, "-march="); snprintf(arch_opt, sizeof(arch_opt), "%s-arch=%s", cpu_arch, opt); int res = be_parse_arg(arch_opt); @@ -1085,11 +1191,29 @@ int main(int argc, char **argv) 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; @@ -1162,7 +1286,7 @@ int main(int argc, char **argv) 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"); @@ -1171,7 +1295,7 @@ int main(int argc, char **argv) if (argument_errors) { usage(argv[0]); - return 1; + return EXIT_FAILURE; } /* we do the lowering in ast2firm */ @@ -1182,6 +1306,7 @@ int main(int argc, char **argv) c_mode &= ~features_off; gen_firm_init(); + byte_order_big_endian = be_get_backend_param()->byte_order_big_endian; init_symbol_table(); init_types(); init_typehash(); @@ -1257,7 +1382,7 @@ 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; } } @@ -1277,7 +1402,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; @@ -1404,7 +1529,7 @@ do_parsing: /* remove output file */ if (out != stdout) unlink(outname); - exit(EXIT_FAILURE); + return EXIT_FAILURE; } } @@ -1454,18 +1579,18 @@ graph_built: if (irg == NULL) { fprintf(stderr, "No graph for function '%s' found\n", dumpfunction); - exit(1); + return EXIT_FAILURE; } 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, have_const_functions); @@ -1537,9 +1662,14 @@ graph_built: /* construct commandline */ const char *linker = getenv("CPARSER_LINK"); - if (linker == NULL) - linker = LINKER; - obstack_printf(&file_obst, "%s", linker); + 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) @@ -1561,7 +1691,7 @@ graph_built: int err = system(commandline); if (err != EXIT_SUCCESS) { fprintf(stderr, "linker reported an error\n"); - exit(1); + return EXIT_FAILURE; } } @@ -1581,5 +1711,5 @@ graph_built: exit_types(); exit_tokens(); exit_symbol_table(); - return 0; + return EXIT_SUCCESS; }