2 * This file is part of cparser.
3 * Copyright (C) 2007-2009 Matthias Braun <matze@braunis.de>
5 * This program is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU General Public License
7 * as published by the Free Software Foundation; either version 2
8 * of the License, or (at your option) any later version.
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with this program; if not, write to the Free Software
17 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
36 /* no eXecute on Win32 */
41 #define O_RDWR _O_RDWR
42 #define O_CREAT _O_CREAT
43 #define O_EXCL _O_EXCL
44 #define O_BINARY _O_BINARY
46 /* remap some names, we are not in the POSIX world */
47 #define access(fname, mode) _access(fname, mode)
48 #define mktemp(tmpl) _mktemp(tmpl)
49 #define open(fname, oflag, mode) _open(fname, oflag, mode)
50 #define fdopen(fd, mode) _fdopen(fd, mode)
51 #define popen(cmd, mode) _popen(cmd, mode)
52 #define pclose(file) _pclose(file)
53 #define unlink(filename) _unlink(filename)
60 #include <libfirm/firm.h>
61 #include <libfirm/be.h>
66 #include "type_hash.h"
70 #include "diagnostic.h"
71 #include "lang_features.h"
72 #include "driver/firm_opt.h"
73 #include "driver/firm_timing.h"
74 #include "driver/firm_machine.h"
75 #include "adt/error.h"
76 #include "adt/strutil.h"
77 #include "wrappergen/write_fluffy.h"
78 #include "wrappergen/write_jna.h"
87 #define PREPROCESSOR "gcc -E -U__STRICT_ANSI__"
89 #define PREPROCESSOR "cpp -U__STRICT_ANSI__"
98 #define ASSEMBLER "gcc -c -xassembler"
101 unsigned int c_mode = _C89 | _ANSI | _C99 | _GNUC;
102 unsigned int machine_size = 32;
103 bool byte_order_big_endian = false;
104 bool char_is_signed = true;
105 bool strict_mode = false;
106 bool use_builtins = false;
107 atomic_type_kind_t wchar_atomic_kind = ATOMIC_TYPE_INT;
108 unsigned force_long_double_size = 0;
109 bool enable_main_collect2_hack = false;
110 bool freestanding = false;
112 static machine_triple_t *target_machine;
113 static const char *target_triple;
115 static struct obstack cppflags_obst;
116 static struct obstack ldflags_obst;
117 static struct obstack asflags_obst;
118 static char dep_target[1024];
119 static const char *outname;
120 static bool define_intmax_types;
122 typedef enum lang_standard_t {
123 STANDARD_DEFAULT, /* gnu99 (for C, GCC does gnu89) or gnu++98 (for C++) */
124 STANDARD_ANSI, /* c89 (for C) or c++98 (for C++) */
125 STANDARD_C89, /* ISO C90 (sic) */
126 STANDARD_C90, /* ISO C90 as modified in amendment 1 */
127 STANDARD_C99, /* ISO C99 */
128 STANDARD_GNU89, /* ISO C90 plus GNU extensions (including some C99) */
129 STANDARD_GNU99, /* ISO C99 plus GNU extensions */
130 STANDARD_CXX98, /* ISO C++ 1998 plus amendments */
131 STANDARD_GNUXX98 /* ISO C++ 1998 plus amendments and GNU extensions */
134 static lang_standard_t standard;
136 typedef struct file_list_entry_t file_list_entry_t;
138 typedef enum filetype_t {
141 FILETYPE_PREPROCESSED_C,
143 FILETYPE_PREPROCESSED_CXX,
145 FILETYPE_PREPROCESSED_ASSEMBLER,
151 struct file_list_entry_t {
152 const char *name; /**< filename or NULL for stdin */
154 file_list_entry_t *next;
157 static file_list_entry_t *temp_files;
159 static void get_output_name(char *buf, size_t buflen, const char *inputname,
162 if (inputname == NULL)
165 char const *const last_slash = strrchr(inputname, '/');
166 char const *const filename =
167 last_slash != NULL ? last_slash + 1 : inputname;
168 char const *const last_dot = strrchr(filename, '.');
169 char const *const name_end =
170 last_dot != NULL ? last_dot : strchr(filename, '\0');
172 int const len = snprintf(buf, buflen, "%.*s%s",
173 (int)(name_end - filename), filename, newext);
175 if (len < 0 || buflen <= (size_t)len)
177 if (buflen <= (size_t)len)
179 panic("filename too long");
182 #include "gen_builtins.h"
184 static translation_unit_t *do_parsing(FILE *const in, const char *const input_name)
189 lexer_open_buffer(builtins, sizeof(builtins)-1, "<builtin>");
193 lexer_open_stream(in, input_name);
196 translation_unit_t *unit = finish_parsing();
200 static void lextest(FILE *in, const char *fname)
202 lexer_open_stream(in, fname);
205 lexer_next_preprocessing_token();
206 print_token(stdout, &lexer_token);
208 } while (lexer_token.type != T_EOF);
211 static void add_flag(struct obstack *obst, const char *format, ...)
216 va_start(ap, format);
220 vsnprintf(buf, sizeof(buf), format, ap);
223 obstack_1grow(obst, ' ');
225 obstack_1grow(obst, '"');
226 obstack_grow(obst, buf, len);
227 obstack_1grow(obst, '"');
229 /* escape stuff... */
230 for (char *c = buf; *c != '\0'; ++c) {
248 obstack_1grow(obst, '\\');
251 obstack_1grow(obst, *c);
258 static const char *type_to_string(type_t *type)
260 assert(type->kind == TYPE_ATOMIC);
261 return get_atomic_kind_name(type->atomic.akind);
264 static FILE *preprocess(const char *fname, filetype_t filetype)
266 static const char *common_flags = NULL;
268 if (common_flags == NULL) {
269 obstack_1grow(&cppflags_obst, '\0');
270 const char *flags = obstack_finish(&cppflags_obst);
272 /* setup default defines */
273 add_flag(&cppflags_obst, "-U__WCHAR_TYPE__");
274 add_flag(&cppflags_obst, "-D__WCHAR_TYPE__=%s", type_to_string(type_wchar_t));
275 add_flag(&cppflags_obst, "-U__SIZE_TYPE__");
276 add_flag(&cppflags_obst, "-D__SIZE_TYPE__=%s", type_to_string(type_size_t));
278 add_flag(&cppflags_obst, "-U__VERSION__");
279 add_flag(&cppflags_obst, "-D__VERSION__=\"%s\"", cparser_REVISION);
281 if (define_intmax_types) {
282 add_flag(&cppflags_obst, "-U__INTMAX_TYPE__");
283 add_flag(&cppflags_obst, "-D__INTMAX_TYPE__=%s", type_to_string(type_intmax_t));
284 add_flag(&cppflags_obst, "-U__UINTMAX_TYPE__");
285 add_flag(&cppflags_obst, "-D__UINTMAX_TYPE__=%s", type_to_string(type_uintmax_t));
288 if (flags[0] != '\0') {
289 size_t len = strlen(flags);
290 obstack_1grow(&cppflags_obst, ' ');
291 obstack_grow(&cppflags_obst, flags, len);
293 obstack_1grow(&cppflags_obst, '\0');
294 common_flags = obstack_finish(&cppflags_obst);
297 assert(obstack_object_size(&cppflags_obst) == 0);
299 const char *preprocessor = getenv("CPARSER_PP");
300 if (preprocessor != NULL) {
301 obstack_printf(&cppflags_obst, "%s ", preprocessor);
303 if (target_triple != NULL)
304 obstack_printf(&cppflags_obst, "%s-", target_triple);
305 obstack_printf(&cppflags_obst, PREPROCESSOR);
310 add_flag(&cppflags_obst, "-std=c99");
313 add_flag(&cppflags_obst, "-std=c++98");
315 case FILETYPE_ASSEMBLER:
316 add_flag(&cppflags_obst, "-x");
317 add_flag(&cppflags_obst, "assembler-with-cpp");
322 obstack_printf(&cppflags_obst, "%s", common_flags);
324 /* handle dependency generation */
325 if (dep_target[0] != '\0') {
326 add_flag(&cppflags_obst, "-MF");
327 add_flag(&cppflags_obst, dep_target);
328 if (outname != NULL) {
329 add_flag(&cppflags_obst, "-MQ");
330 add_flag(&cppflags_obst, outname);
333 add_flag(&cppflags_obst, fname);
334 obstack_1grow(&cppflags_obst, '\0');
336 char *commandline = obstack_finish(&cppflags_obst);
340 FILE *f = popen(commandline, "r");
342 fprintf(stderr, "invoking preprocessor failed\n");
345 /* we don't really need that anymore */
346 obstack_free(&cppflags_obst, commandline);
351 static void assemble(const char *out, const char *in)
353 obstack_1grow(&asflags_obst, '\0');
354 const char *flags = obstack_finish(&asflags_obst);
356 const char *assembler = getenv("CPARSER_AS");
357 if (assembler != NULL) {
358 obstack_printf(&asflags_obst, "%s", assembler);
360 if (target_triple != NULL)
361 obstack_printf(&asflags_obst, "%s-", target_triple);
362 obstack_printf(&asflags_obst, "%s", ASSEMBLER);
364 if (flags[0] != '\0')
365 obstack_printf(&asflags_obst, " %s", flags);
367 obstack_printf(&asflags_obst, " %s -o %s", in, out);
368 obstack_1grow(&asflags_obst, '\0');
370 char *commandline = obstack_finish(&asflags_obst);
374 int err = system(commandline);
375 if (err != EXIT_SUCCESS) {
376 fprintf(stderr, "assembler reported an error\n");
379 obstack_free(&asflags_obst, commandline);
382 static void print_file_name(const char *file)
384 add_flag(&ldflags_obst, "-print-file-name=%s", file);
386 obstack_1grow(&ldflags_obst, '\0');
387 const char *flags = obstack_finish(&ldflags_obst);
389 /* construct commandline */
390 const char *linker = getenv("CPARSER_LINK");
391 if (linker != NULL) {
392 obstack_printf(&ldflags_obst, "%s ", linker);
394 if (target_triple != NULL)
395 obstack_printf(&ldflags_obst, "%s-", target_triple);
396 obstack_printf(&ldflags_obst, "%s ", LINKER);
398 obstack_printf(&ldflags_obst, "%s ", linker);
399 obstack_printf(&ldflags_obst, "%s", flags);
400 obstack_1grow(&ldflags_obst, '\0');
402 char *commandline = obstack_finish(&ldflags_obst);
406 int err = system(commandline);
407 if (err != EXIT_SUCCESS) {
408 fprintf(stderr, "linker reported an error\n");
411 obstack_free(&ldflags_obst, commandline);
414 static const char *try_dir(const char *dir)
418 if (access(dir, R_OK | W_OK | X_OK) == 0)
423 static const char *get_tempdir(void)
425 static const char *tmpdir = NULL;
431 tmpdir = try_dir(getenv("TMPDIR"));
433 tmpdir = try_dir(getenv("TMP"));
435 tmpdir = try_dir(getenv("TEMP"));
439 tmpdir = try_dir(P_tmpdir);
443 tmpdir = try_dir("/var/tmp");
445 tmpdir = try_dir("/usr/tmp");
447 tmpdir = try_dir("/tmp");
456 /* cheap and nasty mkstemp replacement */
457 static int mkstemp(char *templ)
460 return open(templ, O_RDWR|O_CREAT|O_EXCL|O_BINARY, 0600);
465 * an own version of tmpnam, which: writes in a buffer, emits no warnings
466 * during linking (like glibc/gnu ld do for tmpnam)...
468 static FILE *make_temp_file(char *buffer, size_t buflen, const char *prefix)
470 const char *tempdir = get_tempdir();
472 snprintf(buffer, buflen, "%s/%sXXXXXX", tempdir, prefix);
474 int fd = mkstemp(buffer);
476 fprintf(stderr, "couldn't create temporary file: %s\n",
480 FILE *out = fdopen(fd, "w");
482 fprintf(stderr, "couldn't create temporary file FILE*\n");
486 file_list_entry_t *entry = xmalloc(sizeof(*entry));
487 memset(entry, 0, sizeof(*entry));
489 size_t name_len = strlen(buffer) + 1;
490 char *name = malloc(name_len);
491 memcpy(name, buffer, name_len);
494 entry->next = temp_files;
500 static void free_temp_files(void)
502 file_list_entry_t *entry = temp_files;
503 file_list_entry_t *next;
504 for ( ; entry != NULL; entry = next) {
508 free((char*) entry->name);
514 typedef enum compile_mode_t {
529 static void usage(const char *argv0)
531 fprintf(stderr, "Usage %s [options] input [-o output]\n", argv0);
534 static void print_cparser_version(void)
536 printf("cparser (%s) using libFirm (%u.%u",
537 cparser_REVISION, ir_get_version_major(),
538 ir_get_version_minor());
540 const char *revision = ir_get_version_revision();
541 if (revision[0] != 0) {
543 fputs(revision, stdout);
546 const char *build = ir_get_version_build();
549 fputs(build, stdout);
552 puts("This is free software; see the source for copying conditions. There is NO\n"
553 "warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n");
556 static void print_help_basic(const char *argv0)
560 put_help("--help", "Display this information");
561 put_help("--version", "Display compiler version");
562 put_help("--help-parser", "Display information about parser options");
563 put_help("--help-warnings", "Display information about warning options");
564 put_help("--help-codegen", "Display information about code-generation options");
565 put_help("--help-optimization", "Display information about optimization options");
566 put_help("--help-linker", "Display information about linker options");
567 put_help("--help-language-tools", "Display information about language tools options");
568 put_help("--help-debug", "Display information about compiler debugging options");
569 put_help("--help-firm", "Display information about direct firm options");
570 put_help("--help-all", "Display information about all options");
571 put_help("-c", "Compile and assemble but do not link");
572 put_help("-E", "Preprocess only");
573 put_help("-S", "Compile but do not assembler or link");
574 put_help("-o", "Specify output file");
575 put_help("-v", "Verbose output (show invocation of sub-processes)");
576 put_help("-x", "Force input language:");
577 put_choice("c", "C");
578 put_choice("c++", "C++");
579 put_choice("assembler", "Assembler (no preprocessing)");
580 put_choice("assembler-with-cpp", "Assembler with preprocessing");
581 put_choice("none", "Autodetection");
582 put_help("-pipe", "ignored (gcc compatibility)");
585 static void print_help_preprocessor(void)
587 put_help("-nostdinc", "Do not search standard system include directories");
588 put_help("-trigraphs", "Support ISO C trigraphs");
589 put_help("-isystem", "");
590 put_help("-include", "");
591 put_help("-I PATH", "");
592 put_help("-D SYMBOL[=value]", "");
593 put_help("-U SYMBOL", "");
594 put_help("-Wp,OPTION", "pass option directly to preprocessor");
597 put_help("-MMD", "");
605 static void print_help_parser(void)
607 put_help("-finput-charset=CHARSET", "Select encoding of input files");
608 put_help("-fmessage-length=LEN", "ignored (gcc compatibility)");
609 put_help("-fshort-wchar", "wchar_t is unsigned short instead of int");
610 put_help("-fshow-column", "show the column number in diagnostic messages");
611 put_help("-funsigned-char", "char is an unsigned type");
612 put_help("--ms", "Enable msvc extensions");
613 put_help("--no-ms", "Disable msvc extensions");
614 put_help("--gcc", "Enable gcc extensions");
615 put_help("--no-gcc", "Disable gcc extensions");
616 put_help("-std=STANDARD", "Specify language standard:");
617 put_choice("c99", "ISO C99 standard");
618 put_choice("c89", "ISO C89 standard");
619 put_choice("c9x", "deprecated");
620 put_choice("c++", "ISO C++ 98");
621 put_choice("c++98", "ISO C++ 98");
622 put_choice("gnu99", "ISO C99 + GNU extensions (default)");
623 put_choice("gnu89", "ISO C89 + GNU extensions");
624 put_choice("gnu9x", "deprecated");
625 put_choice("iso9899:1990", "ISO C89");
626 put_choice("iso9899:199409", "ISO C90");
627 put_choice("iso9899:1999", "ISO C99");
628 put_choice("iso9899:199x", "deprecated");
629 put_help("-pedantic", "ignored (gcc compatibility)");
630 put_help("-ansi", "ignored (gcc compatibility)");
631 put_help("--strict", "Enable strict conformance checking");
634 static void print_help_warnings(void)
636 put_help("-w", "disable all warnings");
637 put_help("-Wno-trigraphs", "warn if input contains trigraphs");
638 put_help("-Wundef", "Warn if an undefined macro is used in an #if");
639 print_warning_opt_help();
642 static void print_help_optimization(void)
644 put_help("-O LEVEL", "select optimization level (0-4)");
645 firm_option_help(put_help);
646 put_help("-fexpensive-optimizations","ignored (gcc compatibility)");
649 static void print_help_codegeneration(void)
651 put_help("-g", "Generate debug information");
652 put_help("-pg", "Instrument code for gnu gprof");
653 put_help("-fomit-frame-pointer", "Produce code without frame pointer where possible");
654 put_help("-ffreestanding", "compile in freestanding mode (see ISO C standard)");
655 put_help("-fhosted", "compile in hosted (not freestanding) mode");
656 put_help("-fprofile-generate", "Generate instrumented code to collect profile information");
657 put_help("-fprofile-use", "Use profile information generated by instrumented binaries");
658 put_help("-ffp-precise", "precise floating point model");
659 put_help("-ffp-fast", "imprecise floating point model");
660 put_help("-ffp-strict", "strict floating point model");
661 put_help("-ffp-precise", "precise floating point model");
662 put_help("-pthread", "Use pthread threading library");
663 put_help("-mtarget=TARGET", "Specify target architecture as CPU-manufacturer-OS triple");
664 put_help("-mtriple=TARGET", "alias for -mtarget (clang compatibility)");
665 put_help("-march=ARCH", "");
666 put_help("-mtune=ARCH", "");
667 put_help("-mcpu=CPU", "");
668 put_help("-mfpmath=", "");
669 put_help("-mpreferred-stack-boundary=", "");
670 put_help("-mrtd", "");
671 put_help("-mregparm=", "not supported yet");
672 put_help("-msoft-float", "not supported yet");
673 put_help("-m32", "generate 32bit code");
674 put_help("-m64", "generate 64bit code");
675 put_help("-fverbose-asm", "ignored (gcc compatibility)");
676 put_help("-fjump-tables", "ignored (gcc compatibility)");
677 put_help("-fcommon", "ignored (gcc compatibility)");
678 put_help("-foptimize-sibling-calls", "ignored (gcc compatibility)");
679 put_help("-falign-loops", "ignored (gcc compatibility)");
680 put_help("-falign-jumps", "ignored (gcc compatibility)");
681 put_help("-falign-functions", "ignored (gcc compatibility)");
682 put_help("-fPIC", "ignored (gcc compatibility)");
683 put_help("-ffast-math", "same as fp-fast (gcc compatibility)");
685 puts("\tMost of these options can be used with a no- prefix to disable them");
686 puts("\ti.e. -fno-signed-char");
689 static void print_help_linker(void)
691 put_help("-l LIBRARY", "");
692 put_help("-L PATH", "");
693 put_help("-shared", "Produce a shared library");
694 put_help("-static", "Produce statically linked binary");
695 put_help("-Wl,OPTION", "pass option directly to linker");
698 static void print_help_debug(void)
700 put_help("--lextest", "Preprocess and tokenize only");
701 put_help("--print-ast", "Preprocess, parse and print AST");
702 put_help("--print-implicit-cast", "");
703 put_help("--print-parenthesis", "");
704 put_help("--benchmark", "Preprocess and parse, produces no output");
705 put_help("--time", "Measure time of compiler passes");
706 put_help("--dump-function func", "Preprocess, parse and output vcg graph of func");
707 put_help("--export-ir", "Preprocess, parse and output compiler intermediate representation");
710 static void print_help_language_tools(void)
712 put_help("--print-fluffy", "Preprocess, parse and generate declarations for the fluffy language");
713 put_help("--print-jna", "Preprocess, parse and generate declarations for JNA");
714 put_help("--jna-limit filename", "");
715 put_help("--jna-libname name", "");
718 static void print_help_firm(void)
720 put_help("-bOPTION", "directly pass option to libFirm backend");
721 int res = be_parse_arg("help");
728 HELP_BASIC = 1u << 0,
729 HELP_PREPROCESSOR = 1u << 1,
730 HELP_PARSER = 1u << 2,
731 HELP_WARNINGS = 1u << 3,
732 HELP_OPTIMIZATION = 1u << 4,
733 HELP_CODEGEN = 1u << 5,
734 HELP_LINKER = 1u << 6,
735 HELP_LANGUAGETOOLS = 1u << 7,
736 HELP_DEBUG = 1u << 8,
739 HELP_ALL = (unsigned)-1
742 static void print_help(const char *argv0, help_sections_t sections)
744 if (sections & HELP_BASIC) print_help_basic(argv0);
745 if (sections & HELP_PREPROCESSOR) print_help_preprocessor();
746 if (sections & HELP_PARSER) print_help_parser();
747 if (sections & HELP_WARNINGS) print_help_warnings();
748 if (sections & HELP_OPTIMIZATION) print_help_optimization();
749 if (sections & HELP_CODEGEN) print_help_codegeneration();
750 if (sections & HELP_LINKER) print_help_linker();
751 if (sections & HELP_LANGUAGETOOLS) print_help_language_tools();
752 if (sections & HELP_DEBUG) print_help_debug();
753 if (sections & HELP_FIRM) print_help_firm();
756 static void set_be_option(const char *arg)
758 int res = be_parse_arg(arg);
763 static void copy_file(FILE *dest, FILE *input)
767 while (!feof(input) && !ferror(dest)) {
768 size_t read = fread(buf, 1, sizeof(buf), input);
769 if (fwrite(buf, 1, read, dest) != read) {
770 perror("couldn't write output");
775 static FILE *open_file(const char *filename)
777 if (streq(filename, "-")) {
781 FILE *in = fopen(filename, "r");
783 fprintf(stderr, "Couldn't open '%s': %s\n", filename,
791 static filetype_t get_filetype_from_string(const char *string)
793 if (streq(string, "c") || streq(string, "c-header"))
795 if (streq(string, "c++") || streq(string, "c++-header"))
797 if (streq(string, "assembler"))
798 return FILETYPE_PREPROCESSED_ASSEMBLER;
799 if (streq(string, "assembler-with-cpp"))
800 return FILETYPE_ASSEMBLER;
801 if (streq(string, "none"))
802 return FILETYPE_AUTODETECT;
804 return FILETYPE_UNKNOWN;
807 static bool init_os_support(void)
809 const char *os = target_machine->operating_system;
810 wchar_atomic_kind = ATOMIC_TYPE_INT;
811 force_long_double_size = 0;
812 enable_main_collect2_hack = false;
813 define_intmax_types = false;
815 if (strstr(os, "linux") != NULL || strstr(os, "bsd") != NULL
816 || streq(os, "solaris")) {
817 set_create_ld_ident(create_name_linux_elf);
818 } else if (streq(os, "darwin")) {
819 force_long_double_size = 16;
820 set_create_ld_ident(create_name_macho);
821 define_intmax_types = true;
822 } else if (strstr(os, "mingw") != NULL || streq(os, "win32")) {
823 wchar_atomic_kind = ATOMIC_TYPE_USHORT;
824 enable_main_collect2_hack = true;
825 set_create_ld_ident(create_name_win32);
833 static bool parse_target_triple(const char *arg)
835 machine_triple_t *triple = firm_parse_machine_triple(arg);
836 if (triple == NULL) {
837 fprintf(stderr, "Target-triple is not in the form 'cpu_type-manufacturer-operating_system'\n");
840 target_machine = triple;
844 static void setup_target_machine(void)
846 if (!setup_firm_for_machine(target_machine))
851 int main(int argc, char **argv)
855 const char *dumpfunction = NULL;
856 const char *print_file_name_file = NULL;
857 compile_mode_t mode = CompileAssembleLink;
859 int result = EXIT_SUCCESS;
860 char cpu_arch[16] = "ia32";
861 file_list_entry_t *files = NULL;
862 file_list_entry_t *last_file = NULL;
863 bool construct_dep_target = false;
864 bool do_timing = false;
865 bool profile_generate = false;
866 bool profile_use = false;
867 struct obstack file_obst;
869 atexit(free_temp_files);
871 /* hack for now... */
872 if (strstr(argv[0], "pptest") != NULL) {
873 extern int pptest_main(int argc, char **argv);
874 return pptest_main(argc, argv);
877 obstack_init(&cppflags_obst);
878 obstack_init(&ldflags_obst);
879 obstack_init(&asflags_obst);
880 obstack_init(&file_obst);
882 #define GET_ARG_AFTER(def, args) \
883 def = &arg[sizeof(args)-1]; \
884 if (def[0] == '\0') { \
887 fprintf(stderr, "error: expected argument after '" args "'\n"); \
888 argument_errors = true; \
892 if (def[0] == '-' && def[1] != '\0') { \
893 fprintf(stderr, "error: expected argument after '" args "'\n"); \
894 argument_errors = true; \
899 #define SINGLE_OPTION(ch) (option[0] == (ch) && option[1] == '\0')
901 /* early options parsing (find out optimization level and OS) */
902 for (int i = 1; i < argc; ++i) {
903 const char *arg = argv[i];
907 const char *option = &arg[1];
908 if (option[0] == 'O') {
909 sscanf(&option[1], "%d", &opt_level);
913 const char *target = getenv("TARGET");
915 parse_target_triple(target);
916 if (target_machine == NULL) {
917 target_machine = firm_get_host_machine();
919 choose_optimization_pack(opt_level);
920 setup_target_machine();
922 /* parse rest of options */
923 standard = STANDARD_DEFAULT;
924 unsigned features_on = 0;
925 unsigned features_off = 0;
926 filetype_t forced_filetype = FILETYPE_AUTODETECT;
927 help_sections_t help = HELP_NONE;
928 bool argument_errors = false;
929 for (int i = 1; i < argc; ++i) {
930 const char *arg = argv[i];
931 if (arg[0] == '-' && arg[1] != '\0') {
933 const char *option = &arg[1];
934 if (option[0] == 'o') {
935 GET_ARG_AFTER(outname, "-o");
936 } else if (option[0] == 'g') {
937 set_be_option("debuginfo=stabs");
938 set_be_option("omitfp=no");
939 set_be_option("ia32-nooptcc=yes");
940 } else if (SINGLE_OPTION('c')) {
941 mode = CompileAssemble;
942 } else if (SINGLE_OPTION('E')) {
943 mode = PreprocessOnly;
944 } else if (SINGLE_OPTION('S')) {
946 } else if (option[0] == 'O') {
948 } else if (option[0] == 'I') {
950 GET_ARG_AFTER(opt, "-I");
951 add_flag(&cppflags_obst, "-I%s", opt);
952 } else if (option[0] == 'D') {
954 GET_ARG_AFTER(opt, "-D");
955 add_flag(&cppflags_obst, "-D%s", opt);
956 } else if (option[0] == 'U') {
958 GET_ARG_AFTER(opt, "-U");
959 add_flag(&cppflags_obst, "-U%s", opt);
960 } else if (option[0] == 'l') {
962 GET_ARG_AFTER(opt, "-l");
963 add_flag(&ldflags_obst, "-l%s", opt);
964 } else if (option[0] == 'L') {
966 GET_ARG_AFTER(opt, "-L");
967 add_flag(&ldflags_obst, "-L%s", opt);
968 } else if (SINGLE_OPTION('v')) {
970 } else if (SINGLE_OPTION('w')) {
971 memset(&warning, 0, sizeof(warning));
972 } else if (option[0] == 'x') {
974 GET_ARG_AFTER(opt, "-x");
975 forced_filetype = get_filetype_from_string(opt);
976 if (forced_filetype == FILETYPE_UNKNOWN) {
977 fprintf(stderr, "Unknown language '%s'\n", opt);
978 argument_errors = true;
980 } else if (streq(option, "M")) {
981 mode = PreprocessOnly;
982 add_flag(&cppflags_obst, "-M");
983 } else if (streq(option, "MMD") ||
984 streq(option, "MD")) {
985 construct_dep_target = true;
986 add_flag(&cppflags_obst, "-%s", option);
987 } else if (streq(option, "MM") ||
988 streq(option, "MP")) {
989 add_flag(&cppflags_obst, "-%s", option);
990 } else if (streq(option, "MT") ||
991 streq(option, "MQ") ||
992 streq(option, "MF")) {
994 GET_ARG_AFTER(opt, "-MT");
995 add_flag(&cppflags_obst, "-%s", option);
996 add_flag(&cppflags_obst, "%s", opt);
997 } else if (streq(option, "include")) {
999 GET_ARG_AFTER(opt, "-include");
1000 add_flag(&cppflags_obst, "-include");
1001 add_flag(&cppflags_obst, "%s", opt);
1002 } else if (streq(option, "isystem")) {
1004 GET_ARG_AFTER(opt, "-isystem");
1005 add_flag(&cppflags_obst, "-isystem");
1006 add_flag(&cppflags_obst, "%s", opt);
1007 #if defined(linux) || defined(__linux) || defined(__linux__) || defined(__CYGWIN__)
1008 } else if (streq(option, "pthread")) {
1009 /* set flags for the preprocessor */
1010 add_flag(&cppflags_obst, "-D_REENTRANT");
1011 /* set flags for the linker */
1012 add_flag(&ldflags_obst, "-lpthread");
1014 } else if (streq(option, "nostdinc")
1015 || streq(option, "trigraphs")) {
1016 /* pass these through to the preprocessor */
1017 add_flag(&cppflags_obst, "%s", arg);
1018 } else if (streq(option, "pipe")) {
1019 /* here for gcc compatibility */
1020 } else if (streq(option, "static")) {
1021 add_flag(&ldflags_obst, "-static");
1022 } else if (streq(option, "shared")) {
1023 add_flag(&ldflags_obst, "-shared");
1024 } else if (option[0] == 'f') {
1025 char const *orig_opt;
1026 GET_ARG_AFTER(orig_opt, "-f");
1028 if (strstart(orig_opt, "input-charset=")) {
1029 char const* const encoding = strchr(orig_opt, '=') + 1;
1030 select_input_encoding(encoding);
1031 } else if (strstart(orig_opt, "align-loops=") ||
1032 strstart(orig_opt, "align-jumps=") ||
1033 strstart(orig_opt, "align-functions=")) {
1034 fprintf(stderr, "ignoring gcc option '-f%s'\n", orig_opt);
1035 } else if (strstart(orig_opt, "visibility=")) {
1036 const char *arg = strchr(orig_opt, '=')+1;
1037 elf_visibility_tag_t visibility
1038 = get_elf_visibility_from_string(arg);
1039 if (visibility == ELF_VISIBILITY_ERROR) {
1040 fprintf(stderr, "invalid visibility '%s' specified\n",
1042 argument_errors = true;
1044 set_default_visibility(visibility);
1046 } else if (strstart(orig_opt, "message-length=")) {
1047 /* ignore: would only affect error message format */
1049 /* -f options which have an -fno- variant */
1050 char const *opt = orig_opt;
1051 bool truth_value = true;
1052 if (opt[0] == 'n' && opt[1] == 'o' && opt[2] == '-') {
1053 truth_value = false;
1057 if (streq(opt, "builtins")) {
1058 use_builtins = truth_value;
1059 } else if (streq(opt, "dollars-in-identifiers")) {
1060 allow_dollar_in_symbol = truth_value;
1061 } else if (streq(opt, "omit-frame-pointer")) {
1062 set_be_option(truth_value ? "omitfp" : "omitfp=no");
1063 } else if (streq(opt, "short-wchar")) {
1064 wchar_atomic_kind = truth_value ? ATOMIC_TYPE_USHORT
1066 } else if (streq(opt, "show-column")) {
1067 show_column = truth_value;
1068 } else if (streq(opt, "signed-char")) {
1069 char_is_signed = truth_value;
1070 } else if (streq(opt, "strength-reduce")) {
1071 /* does nothing, for gcc compatibility (even gcc does
1072 * nothing for this switch anymore) */
1073 } else if (streq(opt, "syntax-only")) {
1074 mode = truth_value ? ParseOnly : CompileAssembleLink;
1075 } else if (streq(opt, "unsigned-char")) {
1076 char_is_signed = !truth_value;
1077 } else if (streq(opt, "freestanding")) {
1078 freestanding = truth_value;
1079 } else if (streq(opt, "hosted")) {
1080 freestanding = !truth_value;
1081 } else if (streq(opt, "profile-generate")) {
1082 profile_generate = truth_value;
1083 } else if (streq(opt, "profile-use")) {
1084 profile_use = truth_value;
1085 } else if (!truth_value &&
1086 streq(opt, "asynchronous-unwind-tables")) {
1087 /* nothing todo, a gcc feature which we don't support
1088 * anyway was deactivated */
1089 } else if (streq(opt, "verbose-asm")) {
1090 /* ignore: we always print verbose assembler */
1091 } else if (streq(opt, "fast-math") || streq(opt, "fp-fast")) {
1092 firm_fp_model = fp_model_fast;
1093 } else if (streq(opt, "fp-precise")) {
1094 firm_fp_model = fp_model_precise;
1095 } else if (streq(opt, "fp-strict")) {
1096 firm_fp_model = fp_model_strict;
1097 } else if (streq(opt, "jump-tables") ||
1098 streq(opt, "expensive-optimizations") ||
1099 streq(opt, "common") ||
1100 streq(opt, "optimize-sibling-calls") ||
1101 streq(opt, "align-loops") ||
1102 streq(opt, "align-jumps") ||
1103 streq(opt, "align-functions") ||
1104 streq(opt, "PIC")) {
1105 fprintf(stderr, "ignoring gcc option '-f%s'\n", orig_opt);
1106 } else if (streq(opt, "help")) {
1107 fprintf(stderr, "warning: -fhelp is deprecated\n");
1108 help |= HELP_OPTIMIZATION;
1110 int res = firm_option(orig_opt);
1112 fprintf(stderr, "error: unknown Firm option '-f%s'\n",
1114 argument_errors = true;
1119 } else if (option[0] == 'b') {
1121 GET_ARG_AFTER(opt, "-b");
1123 if (streq(opt, "help")) {
1124 fprintf(stderr, "warning: -bhelp is deprecated (use --help-firm)\n");
1127 int res = be_parse_arg(opt);
1129 fprintf(stderr, "error: unknown Firm backend option '-b %s'\n",
1131 argument_errors = true;
1132 } else if (strstart(opt, "isa=")) {
1133 strncpy(cpu_arch, opt, sizeof(cpu_arch));
1136 } else if (option[0] == 'W') {
1137 if (strstart(option + 1, "p,")) {
1138 // pass options directly to the preprocessor
1140 GET_ARG_AFTER(opt, "-Wp,");
1141 add_flag(&cppflags_obst, "-Wp,%s", opt);
1142 } else if (strstart(option + 1, "l,")) {
1143 // pass options directly to the linker
1145 GET_ARG_AFTER(opt, "-Wl,");
1146 add_flag(&ldflags_obst, "-Wl,%s", opt);
1147 } else if (streq(option + 1, "no-trigraphs")
1148 || streq(option + 1, "undef")) {
1149 add_flag(&cppflags_obst, "%s", arg);
1151 set_warning_opt(&option[1]);
1153 } else if (option[0] == 'm') {
1158 GET_ARG_AFTER(opt, "-m");
1159 if (strstart(opt, "target=")) {
1160 GET_ARG_AFTER(opt, "-mtarget=");
1161 if (!parse_target_triple(opt)) {
1162 argument_errors = true;
1164 setup_target_machine();
1165 target_triple = opt;
1167 } else if (strstart(opt, "triple=")) {
1168 GET_ARG_AFTER(opt, "-mtriple=");
1169 if (!parse_target_triple(opt)) {
1170 argument_errors = true;
1172 setup_target_machine();
1173 target_triple = opt;
1175 } else if (strstart(opt, "arch=")) {
1176 GET_ARG_AFTER(opt, "-march=");
1177 snprintf(arch_opt, sizeof(arch_opt), "%s-arch=%s", cpu_arch, opt);
1178 int res = be_parse_arg(arch_opt);
1180 fprintf(stderr, "Unknown architecture '%s'\n", arch_opt);
1181 argument_errors = true;
1183 snprintf(arch_opt, sizeof(arch_opt), "%s-opt=%s", cpu_arch, opt);
1184 int res = be_parse_arg(arch_opt);
1186 argument_errors = true;
1188 } else if (strstart(opt, "tune=")) {
1189 GET_ARG_AFTER(opt, "-mtune=");
1190 snprintf(arch_opt, sizeof(arch_opt), "%s-opt=%s", cpu_arch, opt);
1191 int res = be_parse_arg(arch_opt);
1193 argument_errors = true;
1194 } else if (strstart(opt, "cpu=")) {
1195 GET_ARG_AFTER(opt, "-mcpu=");
1196 snprintf(arch_opt, sizeof(arch_opt), "%s-arch=%s", cpu_arch, opt);
1197 int res = be_parse_arg(arch_opt);
1199 argument_errors = true;
1200 } else if (strstart(opt, "fpmath=")) {
1201 GET_ARG_AFTER(opt, "-mfpmath=");
1202 if (streq(opt, "387"))
1204 else if (streq(opt, "sse"))
1207 fprintf(stderr, "error: option -mfpumath supports only 387 or sse\n");
1208 argument_errors = true;
1210 if (!argument_errors) {
1211 snprintf(arch_opt, sizeof(arch_opt), "%s-fpunit=%s", cpu_arch, opt);
1212 int res = be_parse_arg(arch_opt);
1214 argument_errors = true;
1216 } else if (strstart(opt, "preferred-stack-boundary=")) {
1217 GET_ARG_AFTER(opt, "-mpreferred-stack-boundary=");
1218 snprintf(arch_opt, sizeof(arch_opt), "%s-stackalign=%s", cpu_arch, opt);
1219 int res = be_parse_arg(arch_opt);
1221 argument_errors = true;
1222 } else if (streq(opt, "rtd")) {
1223 default_calling_convention = CC_STDCALL;
1224 } else if (strstart(opt, "regparm=")) {
1225 fprintf(stderr, "error: regparm convention not supported yet\n");
1226 argument_errors = true;
1227 } else if (streq(opt, "soft-float")) {
1228 fprintf(stderr, "error: software floatingpoint not supported yet\n");
1229 argument_errors = true;
1231 long int value = strtol(opt, NULL, 10);
1233 fprintf(stderr, "error: wrong option '-m %s'\n", opt);
1234 argument_errors = true;
1235 } else if (value != 16 && value != 32 && value != 64) {
1236 fprintf(stderr, "error: option -m supports only 16, 32 or 64\n");
1237 argument_errors = true;
1239 machine_size = (unsigned int)value;
1240 add_flag(&cppflags_obst, "-m%u", machine_size);
1241 add_flag(&asflags_obst, "-m%u", machine_size);
1242 add_flag(&ldflags_obst, "-m%u", machine_size);
1245 } else if (streq(option, "pg")) {
1246 set_be_option("gprof");
1247 add_flag(&ldflags_obst, "-pg");
1248 } else if (streq(option, "pedantic") ||
1249 streq(option, "ansi")) {
1250 fprintf(stderr, "warning: ignoring gcc option '%s'\n", arg);
1251 } else if (strstart(option, "std=")) {
1252 const char *const o = &option[4];
1254 streq(o, "c++") ? STANDARD_CXX98 :
1255 streq(o, "c++98") ? STANDARD_CXX98 :
1256 streq(o, "c89") ? STANDARD_C89 :
1257 streq(o, "c99") ? STANDARD_C99 :
1258 streq(o, "c9x") ? STANDARD_C99 : // deprecated
1259 streq(o, "gnu++98") ? STANDARD_GNUXX98 :
1260 streq(o, "gnu89") ? STANDARD_GNU89 :
1261 streq(o, "gnu99") ? STANDARD_GNU99 :
1262 streq(o, "gnu9x") ? STANDARD_GNU99 : // deprecated
1263 streq(o, "iso9899:1990") ? STANDARD_C89 :
1264 streq(o, "iso9899:199409") ? STANDARD_C90 :
1265 streq(o, "iso9899:1999") ? STANDARD_C99 :
1266 streq(o, "iso9899:199x") ? STANDARD_C99 : // deprecated
1267 (fprintf(stderr, "warning: ignoring gcc option '%s'\n", arg), standard);
1268 } else if (streq(option, "version")) {
1269 print_cparser_version();
1270 } else if (strstart(option, "print-file-name=")) {
1271 GET_ARG_AFTER(print_file_name_file, "-print-file-name=");
1272 } else if (option[0] == '-') {
1273 /* double dash option */
1275 if (streq(option, "gcc")) {
1276 features_on |= _GNUC;
1277 features_off &= ~_GNUC;
1278 } else if (streq(option, "no-gcc")) {
1279 features_on &= ~_GNUC;
1280 features_off |= _GNUC;
1281 } else if (streq(option, "ms")) {
1283 features_off &= ~_MS;
1284 } else if (streq(option, "no-ms")) {
1285 features_on &= ~_MS;
1286 features_off |= _MS;
1287 } else if (streq(option, "strict")) {
1289 } else if (streq(option, "lextest")) {
1291 } else if (streq(option, "benchmark")) {
1292 mode = BenchmarkParser;
1293 } else if (streq(option, "print-ast")) {
1295 } else if (streq(option, "print-implicit-cast")) {
1296 print_implicit_casts = true;
1297 } else if (streq(option, "print-parenthesis")) {
1298 print_parenthesis = true;
1299 } else if (streq(option, "print-fluffy")) {
1301 } else if (streq(option, "print-jna")) {
1303 } else if (streq(option, "jna-limit")) {
1306 fprintf(stderr, "error: "
1307 "expected argument after '--jna-limit'\n");
1308 argument_errors = true;
1311 jna_limit_output(argv[i]);
1312 } else if (streq(option, "jna-libname")) {
1315 fprintf(stderr, "error: "
1316 "expected argument after '--jna-libname'\n");
1317 argument_errors = true;
1320 jna_set_libname(argv[i]);
1321 } else if (streq(option, "time")) {
1323 } else if (streq(option, "version")) {
1324 print_cparser_version();
1325 return EXIT_SUCCESS;
1326 } else if (streq(option, "help")) {
1328 } else if (streq(option, "help-parser")) {
1329 help |= HELP_PARSER;
1330 } else if (streq(option, "help-warnings")) {
1331 help |= HELP_WARNINGS;
1332 } else if (streq(option, "help-codegen")) {
1333 help |= HELP_CODEGEN;
1334 } else if (streq(option, "help-linker")) {
1335 help |= HELP_LINKER;
1336 } else if (streq(option, "help-optimization")) {
1337 help |= HELP_OPTIMIZATION;
1338 } else if (streq(option, "help-language-tools")) {
1339 help |= HELP_LANGUAGETOOLS;
1340 } else if (streq(option, "help-debug")) {
1342 } else if (streq(option, "help-firm")) {
1344 } else if (streq(option, "help-all")) {
1346 } else if (streq(option, "dump-function")) {
1349 fprintf(stderr, "error: "
1350 "expected argument after '--dump-function'\n");
1351 argument_errors = true;
1354 dumpfunction = argv[i];
1356 } else if (streq(option, "export-ir")) {
1357 mode = CompileExportIR;
1359 fprintf(stderr, "error: unknown argument '%s'\n", arg);
1360 argument_errors = true;
1363 fprintf(stderr, "error: unknown argument '%s'\n", arg);
1364 argument_errors = true;
1367 filetype_t type = forced_filetype;
1368 if (type == FILETYPE_AUTODETECT) {
1369 if (streq(arg, "-")) {
1370 /* - implicitly means C source file */
1373 const char *suffix = strrchr(arg, '.');
1374 /* Ensure there is at least one char before the suffix */
1375 if (suffix != NULL && suffix != arg) {
1378 streq(suffix, "S") ? FILETYPE_ASSEMBLER :
1379 streq(suffix, "a") ? FILETYPE_OBJECT :
1380 streq(suffix, "c") ? FILETYPE_C :
1381 streq(suffix, "i") ? FILETYPE_PREPROCESSED_C :
1382 streq(suffix, "C") ? FILETYPE_CXX :
1383 streq(suffix, "cc") ? FILETYPE_CXX :
1384 streq(suffix, "cp") ? FILETYPE_CXX :
1385 streq(suffix, "cpp") ? FILETYPE_CXX :
1386 streq(suffix, "CPP") ? FILETYPE_CXX :
1387 streq(suffix, "cxx") ? FILETYPE_CXX :
1388 streq(suffix, "c++") ? FILETYPE_CXX :
1389 streq(suffix, "ii") ? FILETYPE_PREPROCESSED_CXX :
1390 streq(suffix, "h") ? FILETYPE_C :
1391 streq(suffix, "ir") ? FILETYPE_IR :
1392 streq(suffix, "o") ? FILETYPE_OBJECT :
1393 streq(suffix, "s") ? FILETYPE_PREPROCESSED_ASSEMBLER :
1394 streq(suffix, "so") ? FILETYPE_OBJECT :
1395 FILETYPE_OBJECT; /* gcc behavior: unknown file extension means object file */
1400 file_list_entry_t *entry
1401 = obstack_alloc(&file_obst, sizeof(entry[0]));
1402 memset(entry, 0, sizeof(entry[0]));
1406 if (last_file != NULL) {
1407 last_file->next = entry;
1415 if (help != HELP_NONE) {
1416 print_help(argv[0], help);
1417 return !argument_errors;
1420 if (print_file_name_file != NULL) {
1421 print_file_name(print_file_name_file);
1422 return EXIT_SUCCESS;
1424 if (files == NULL) {
1425 fprintf(stderr, "error: no input files specified\n");
1426 argument_errors = true;
1429 if (argument_errors) {
1431 return EXIT_FAILURE;
1434 /* apply some effects from switches */
1435 c_mode |= features_on;
1436 c_mode &= ~features_off;
1437 if (profile_generate) {
1438 add_flag(&ldflags_obst, "-lfirmprof");
1439 set_be_option("profilegenerate");
1442 set_be_option("profileuse");
1446 byte_order_big_endian = be_get_backend_param()->byte_order_big_endian;
1447 init_symbol_table();
1460 if (construct_dep_target) {
1461 if (outname != 0 && strlen(outname) >= 2) {
1462 get_output_name(dep_target, sizeof(dep_target), outname, ".d");
1464 get_output_name(dep_target, sizeof(dep_target), files->name, ".d");
1467 dep_target[0] = '\0';
1470 char outnamebuf[4096];
1471 if (outname == NULL) {
1472 const char *filename = files->name;
1475 case BenchmarkParser:
1480 case PreprocessOnly:
1485 get_output_name(outnamebuf, sizeof(outnamebuf), filename, ".s");
1486 outname = outnamebuf;
1488 case CompileAssemble:
1489 get_output_name(outnamebuf, sizeof(outnamebuf), filename, ".o");
1490 outname = outnamebuf;
1493 get_output_name(outnamebuf, sizeof(outnamebuf), dumpfunction,
1495 outname = outnamebuf;
1497 case CompileExportIR:
1498 get_output_name(outnamebuf, sizeof(outnamebuf), filename, ".ir");
1499 outname = outnamebuf;
1501 case CompileAssembleLink:
1511 assert(outname != NULL);
1514 if (streq(outname, "-")) {
1517 out = fopen(outname, "w");
1519 fprintf(stderr, "Couldn't open '%s' for writing: %s\n", outname,
1521 return EXIT_FAILURE;
1525 file_list_entry_t *file;
1526 bool already_constructed_firm = false;
1527 for (file = files; file != NULL; file = file->next) {
1528 char asm_tempfile[1024];
1529 const char *filename = file->name;
1530 filetype_t filetype = file->type;
1532 if (filetype == FILETYPE_OBJECT)
1536 if (mode == LexTest) {
1538 in = open_file(filename);
1539 lextest(in, filename);
1541 return EXIT_SUCCESS;
1544 FILE *preprocessed_in = NULL;
1545 filetype_t next_filetype = filetype;
1548 next_filetype = FILETYPE_PREPROCESSED_C;
1551 next_filetype = FILETYPE_PREPROCESSED_CXX;
1553 case FILETYPE_ASSEMBLER:
1554 next_filetype = FILETYPE_PREPROCESSED_ASSEMBLER;
1557 /* no support for input on FILE* yet */
1559 panic("internal compiler error: in for preprocessor != NULL");
1561 preprocessed_in = preprocess(filename, filetype);
1562 if (mode == PreprocessOnly) {
1563 copy_file(out, preprocessed_in);
1564 int result = pclose(preprocessed_in);
1566 /* remove output file in case of error */
1567 if (out != stdout && result != EXIT_SUCCESS) {
1573 in = preprocessed_in;
1574 filetype = next_filetype;
1582 if (mode == Compile) {
1585 asm_out = make_temp_file(asm_tempfile, sizeof(asm_tempfile), "ccs");
1589 in = open_file(filename);
1591 /* preprocess and compile */
1592 if (filetype == FILETYPE_PREPROCESSED_C) {
1593 char const* invalid_mode;
1596 case STANDARD_C89: c_mode = _C89; break;
1597 /* TODO determine difference between these two */
1598 case STANDARD_C90: c_mode = _C89; break;
1599 case STANDARD_C99: c_mode = _C89 | _C99; break;
1600 case STANDARD_GNU89: c_mode = _C89 | _GNUC; break;
1604 "warning: command line option \"-std=%s\" is not valid for C\n",
1607 case STANDARD_DEFAULT:
1608 case STANDARD_GNU99: c_mode = _C89 | _C99 | _GNUC; break;
1610 case STANDARD_CXX98: invalid_mode = "c++98"; goto default_c_warn;
1611 case STANDARD_GNUXX98: invalid_mode = "gnu98"; goto default_c_warn;
1614 } else if (filetype == FILETYPE_PREPROCESSED_CXX) {
1615 char const* invalid_mode;
1617 case STANDARD_C89: invalid_mode = "c89"; goto default_cxx_warn;
1618 case STANDARD_C90: invalid_mode = "c90"; goto default_cxx_warn;
1619 case STANDARD_C99: invalid_mode = "c99"; goto default_cxx_warn;
1620 case STANDARD_GNU89: invalid_mode = "gnu89"; goto default_cxx_warn;
1621 case STANDARD_GNU99: invalid_mode = "gnu99"; goto default_cxx_warn;
1624 case STANDARD_CXX98: c_mode = _CXX; break;
1628 "warning: command line option \"-std=%s\" is not valid for C++\n",
1630 case STANDARD_DEFAULT:
1631 case STANDARD_GNUXX98: c_mode = _CXX | _GNUC; break;
1635 c_mode |= features_on;
1636 c_mode &= ~features_off;
1638 /* do the actual parsing */
1639 ir_timer_t *t_parsing = ir_timer_new();
1640 timer_register(t_parsing, "Frontend: Parsing");
1641 timer_push(t_parsing);
1643 translation_unit_t *const unit = do_parsing(in, filename);
1644 timer_pop(t_parsing);
1646 /* prints the AST even if errors occurred */
1647 if (mode == PrintAst) {
1652 if (error_count > 0) {
1653 /* parsing failed because of errors */
1654 fprintf(stderr, "%u error(s), %u warning(s)\n", error_count,
1656 result = EXIT_FAILURE;
1658 } else if (warning_count > 0) {
1659 fprintf(stderr, "%u warning(s)\n", warning_count);
1662 if (in == preprocessed_in) {
1663 int pp_result = pclose(preprocessed_in);
1664 if (pp_result != EXIT_SUCCESS) {
1665 /* remove output file */
1668 return EXIT_FAILURE;
1672 if (mode == BenchmarkParser) {
1674 } else if (mode == PrintFluffy) {
1675 write_fluffy_decls(out, unit);
1677 } else if (mode == PrintJna) {
1678 write_jna_decls(out, unit);
1682 /* build the firm graph */
1683 ir_timer_t *t_construct = ir_timer_new();
1684 timer_register(t_construct, "Frontend: Graph construction");
1685 timer_push(t_construct);
1686 if (already_constructed_firm) {
1687 panic("compiling multiple files/translation units not possible");
1689 translation_unit_to_firm(unit);
1690 already_constructed_firm = true;
1691 timer_pop(t_construct);
1694 if (mode == ParseOnly) {
1698 if (mode == CompileDump) {
1700 ident *id = new_id_from_str(dumpfunction);
1701 ir_graph *irg = NULL;
1702 int n_irgs = get_irp_n_irgs();
1703 for (int i = 0; i < n_irgs; ++i) {
1704 ir_graph *tirg = get_irp_irg(i);
1705 ident *irg_id = get_entity_ident(get_irg_entity(tirg));
1713 fprintf(stderr, "No graph for function '%s' found\n",
1715 return EXIT_FAILURE;
1718 dump_ir_graph_file(out, irg);
1720 return EXIT_SUCCESS;
1723 if (mode == CompileExportIR) {
1726 return EXIT_SUCCESS;
1729 gen_firm_finish(asm_out, filename);
1730 if (asm_out != out) {
1733 } else if (filetype == FILETYPE_IR) {
1735 ir_import(filename);
1737 } else if (filetype == FILETYPE_PREPROCESSED_ASSEMBLER) {
1738 copy_file(asm_out, in);
1739 if (in == preprocessed_in) {
1740 int pp_result = pclose(preprocessed_in);
1741 if (pp_result != EXIT_SUCCESS) {
1742 /* remove output in error case */
1748 if (asm_out != out) {
1753 if (mode == Compile)
1756 /* if we're here then we have preprocessed assembly */
1757 filename = asm_tempfile;
1758 filetype = FILETYPE_PREPROCESSED_ASSEMBLER;
1761 if (filetype == FILETYPE_PREPROCESSED_ASSEMBLER) {
1763 const char *filename_o;
1764 if (mode == CompileAssemble) {
1766 filename_o = outname;
1768 FILE *tempf = make_temp_file(temp, sizeof(temp), "cco");
1773 assemble(filename_o, filename);
1775 size_t len = strlen(filename_o) + 1;
1776 filename = obstack_copy(&file_obst, filename_o, len);
1777 filetype = FILETYPE_OBJECT;
1780 /* ok we're done here, process next file */
1781 file->name = filename;
1782 file->type = filetype;
1785 if (result != EXIT_SUCCESS) {
1791 /* link program file */
1792 if (mode == CompileAssembleLink) {
1793 obstack_1grow(&ldflags_obst, '\0');
1794 const char *flags = obstack_finish(&ldflags_obst);
1796 /* construct commandline */
1797 const char *linker = getenv("CPARSER_LINK");
1798 if (linker != NULL) {
1799 obstack_printf(&file_obst, "%s ", linker);
1801 if (target_triple != NULL)
1802 obstack_printf(&file_obst, "%s-", target_triple);
1803 obstack_printf(&file_obst, "%s ", LINKER);
1806 for (file_list_entry_t *entry = files; entry != NULL;
1807 entry = entry->next) {
1808 if (entry->type != FILETYPE_OBJECT)
1811 add_flag(&file_obst, "%s", entry->name);
1814 add_flag(&file_obst, "-o");
1815 add_flag(&file_obst, outname);
1816 obstack_printf(&file_obst, "%s", flags);
1817 obstack_1grow(&file_obst, '\0');
1819 char *commandline = obstack_finish(&file_obst);
1824 int err = system(commandline);
1825 if (err != EXIT_SUCCESS) {
1826 fprintf(stderr, "linker reported an error\n");
1827 return EXIT_FAILURE;
1834 obstack_free(&cppflags_obst, NULL);
1835 obstack_free(&ldflags_obst, NULL);
1836 obstack_free(&asflags_obst, NULL);
1837 obstack_free(&file_obst, NULL);
1847 exit_symbol_table();
1848 return EXIT_SUCCESS;