2 * This file is part of cparser.
3 * Copyright (C) 2007-2008 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)
63 #include <libfirm/firm.h>
64 #include <libfirm/be.h>
69 #include "type_hash.h"
72 #include "diagnostic.h"
73 #include "lang_features.h"
74 #include "driver/firm_opt.h"
75 #include "driver/firm_cmdline.h"
76 #include "adt/error.h"
77 #include "write_fluffy.h"
82 #define PREPROCESSOR "cpp -std=c99 -U__WCHAR_TYPE__ -D__WCHAR_TYPE__=int"
86 #define LINKER "gcc -m32"
90 #define ASSEMBLER "as --32"
93 /** The current c mode/dialect. */
94 unsigned int c_mode = _C89|_C99|_GNUC;
96 /** The 'machine size', 16, 32 or 64 bit, 32bit is the default. */
97 unsigned int machine_size = 32;
99 /** true if the char type is signed. */
100 bool char_is_signed = true;
102 /** true for strict language checking. */
103 bool strict_mode = false;
105 /* to switch on printing of implicit casts */
106 extern bool print_implicit_casts;
108 /* to switch on printing of parenthesis to indicate operator precedence */
109 extern bool print_parenthesis;
112 static struct obstack cppflags_obst, ldflags_obst;
114 #if defined(_DEBUG) || defined(FIRM_DEBUG)
116 * Debug printf implementation.
118 * @param fmt printf style format parameter
120 void dbg_printf(const char *fmt, ...)
124 if (firm_dump.debug_print) {
130 #endif /* defined(_DEBUG) || defined(FIRM_DEBUG) */
132 static void initialize_firm(void)
136 dump_consts_local(1);
137 dump_keepalive_edges(1);
140 static void get_output_name(char *buf, size_t buflen, const char *inputname,
143 size_t last_dot = 0xffffffff;
146 if(inputname == NULL) {
147 snprintf(buf, buflen, "a%s", newext);
151 for(const char *c = inputname; *c != 0; ++c) {
156 if(last_dot == 0xffffffff)
159 if(last_dot >= buflen)
160 panic("filename too long");
161 memcpy(buf, inputname, last_dot);
163 size_t extlen = strlen(newext) + 1;
164 if(extlen + last_dot >= buflen)
165 panic("filename too long");
166 memcpy(buf+last_dot, newext, extlen);
169 static translation_unit_t *do_parsing(FILE *const in, const char *const input_name)
171 lexer_open_stream(in, input_name);
172 translation_unit_t *unit = parse();
176 static void lextest(FILE *in, const char *fname)
178 lexer_open_stream(in, fname);
181 lexer_next_preprocessing_token();
182 print_token(stdout, &lexer_token);
184 } while(lexer_token.type != T_EOF);
187 static FILE *preprocess(FILE *in, const char *fname, bool to_stdout)
190 obstack_1grow(&cppflags_obst, '\0');
191 const char *flags = obstack_finish(&cppflags_obst);
194 snprintf(buf, sizeof(buf), PREPROCESSOR " %s %s", flags, fname);
196 /* read from stdin */
197 snprintf(buf, sizeof(buf), PREPROCESSOR " %s -", flags);
207 FILE *f = popen(buf, "r");
209 fprintf(stderr, "invoking preprocessor failed\n");
216 static void do_link(const char *out, const char *in)
219 obstack_1grow(&ldflags_obst, '\0');
220 const char *flags = obstack_finish(&ldflags_obst);
222 snprintf(buf, sizeof(buf), LINKER " %s -o %s %s", flags, out, in);
226 int err = system(buf);
228 fprintf(stderr, "linker reported an error\n");
233 static void assemble(const char *out, const char *in)
237 snprintf(buf, sizeof(buf), "%s %s -o %s", ASSEMBLER, in, out);
242 int err = system(buf);
244 fprintf(stderr, "assembler reported an error\n");
249 static const char *try_dir(const char *dir)
253 if(access(dir, R_OK | W_OK | X_OK) == 0)
258 static const char *get_tempdir(void)
260 static const char *tmpdir = NULL;
266 tmpdir = try_dir(getenv("TMPDIR"));
268 tmpdir = try_dir(getenv("TMP"));
270 tmpdir = try_dir(getenv("TEMP"));
274 tmpdir = try_dir(P_tmpdir);
278 tmpdir = try_dir("/var/tmp");
280 tmpdir = try_dir("/usr/tmp");
282 tmpdir = try_dir("/tmp");
291 /* cheap and nasty mkstemp replacement */
292 static int mkstemp(char *templ)
295 return open(templ, O_RDWR|O_CREAT|O_EXCL|O_BINARY, 0600);
300 * an own version of tmpnam, which: writes in a buffer, appends a user specified
301 * suffix, emits no warnings during linking (like glibc/gnu ld do for tmpnam)...
303 static FILE *make_temp_file(char *buffer, size_t buflen,
304 const char *prefix, const char *suffix)
306 const char *tempdir = get_tempdir();
308 /* oh well... mkstemp doesn't accept a suffix after XXXXXX... */
312 snprintf(buffer, buflen, "%s/%sXXXXXX%s", tempdir, prefix, suffix);
314 int fd = mkstemp(buffer);
316 fprintf(stderr, "couldn't create temporary file: %s\n",
320 FILE *out = fdopen(fd, "w");
322 fprintf(stderr, "couldn't create temporary file FILE*\n");
330 * Do the necessary lowering for compound parameters.
332 void lower_compound_params(void)
334 lower_params_t params;
336 params.def_ptr_alignment = 4;
337 params.flags = LF_COMPOUND_RETURN | LF_RETURN_HIDDEN;
338 params.hidden_params = ADD_HIDDEN_ALWAYS_IN_FRONT;
339 params.find_pointer_type = NULL;
340 params.ret_compound_in_regs = NULL;
341 lower_calls_with_compounds(¶ms);
344 typedef enum compile_mode_t {
357 static void usage(const char *argv0)
359 fprintf(stderr, "Usage %s input [-o output] [-c]\n", argv0);
362 int main(int argc, char **argv)
366 const char *input = NULL;
367 const char *outname = NULL;
368 const char *dumpfunction = NULL;
369 compile_mode_t mode = CompileAssembleLink;
371 int result = EXIT_SUCCESS;
372 char cpu_arch[16] = "ia32";
374 obstack_init(&cppflags_obst);
375 obstack_init(&ldflags_obst);
377 #define GET_ARG_AFTER(def, args) \
378 def = &arg[sizeof(args)-1]; \
379 if(def[0] == '\0') { \
382 fprintf(stderr, "error: expected argument after '" args "'\n"); \
383 argument_errors = true; \
387 if(def[0] == '-' && def[1] != '\0') { \
388 fprintf(stderr, "error: expected argument after '" args "'\n"); \
389 argument_errors = true; \
394 #define SINGLE_OPTION(ch) (option[0] == (ch) && option[1] == '\0')
396 /* early options parsing (find out optimisation level) */
397 for(int i = 1; i < argc; ++i) {
398 const char *arg = argv[i];
402 const char *option = &arg[1];
403 if(option[0] == 'O') {
404 sscanf(&option[1], "%d", &opt_level);
408 /* apply optimisation level */
411 firm_option("no-opt");
414 firm_option("no-inline");
418 firm_option("strict-aliasing");
421 firm_option("cond-eval");
422 firm_option("if-conv");
425 firm_option("inline");
426 firm_option("deconv");
427 firm_be_option("omitfp");
431 /* parse rest of options */
432 bool help_displayed = false;
433 bool argument_errors = false;
434 for(int i = 1; i < argc; ++i) {
435 const char *arg = argv[i];
438 const char *option = &arg[1];
439 if(option[0] == 'o') {
440 GET_ARG_AFTER(outname, "-o");
441 } else if(option[0] == 'g') {
442 firm_be_option("stabs=yes");
443 firm_be_option("omitfp=no");
444 firm_be_option("ia32-nooptcc=yes");
445 } else if(SINGLE_OPTION('c')) {
446 mode = CompileAssemble;
447 } else if(SINGLE_OPTION('E')) {
448 mode = PreprocessOnly;
449 } else if(SINGLE_OPTION('S')) {
451 } else if(option[0] == 'O') {
453 } else if(option[0] == 'I') {
455 GET_ARG_AFTER(opt, "-I");
456 obstack_printf(&cppflags_obst, " -I%s", opt);
457 } else if(option[0] == 'D') {
459 GET_ARG_AFTER(opt, "-D");
460 obstack_printf(&cppflags_obst, " -D%s", opt);
461 } else if(option[0] == 'U') {
463 GET_ARG_AFTER(opt, "-U");
464 obstack_printf(&cppflags_obst, " -U%s", opt);
465 } else if(option[0] == 'l') {
467 GET_ARG_AFTER(opt, "-l");
468 obstack_printf(&ldflags_obst, " -l%s", opt);
469 } else if(option[0] == 'L') {
471 GET_ARG_AFTER(opt, "-L");
472 obstack_printf(&ldflags_obst, " -L%s", opt);
473 } else if(SINGLE_OPTION('v')) {
475 } else if(SINGLE_OPTION('w')) {
476 inhibit_all_warnings = true;
477 } else if(option[0] == 'f') {
479 GET_ARG_AFTER(opt, "-f");
481 if(strcmp(opt, "syntax-only") == 0) {
483 } else if(strcmp(opt, "omit-frame-pointer") == 0) {
484 firm_be_option("omitfp");
485 } else if(strcmp(opt, "no-omit-frame-pointer") == 0) {
486 firm_be_option("omitfp=no");
488 int res = firm_option(opt);
490 fprintf(stderr, "error: unknown Firm option '-f %s'\n",
492 argument_errors = true;
494 } else if (res == -1) {
495 help_displayed = true;
498 } else if(option[0] == 'b') {
500 GET_ARG_AFTER(opt, "-b");
501 int res = firm_be_option(opt);
503 fprintf(stderr, "error: unknown Firm backend option '-b %s'\n",
505 argument_errors = true;
506 } else if (res == -1) {
507 help_displayed = true;
509 if (strncmp(opt, "isa=", 4) == 0)
510 strncpy(cpu_arch, opt, sizeof(cpu_arch));
512 } else if(option[0] == 'W') {
513 set_warning_opt(&option[1]);
514 } else if(option[0] == 'm') {
518 GET_ARG_AFTER(opt, "-m");
519 if(strncmp(opt, "arch=", 5) == 0) {
520 GET_ARG_AFTER(opt, "-march=");
521 snprintf(arch_opt, sizeof(arch_opt), "%s-arch=%s", cpu_arch, opt);
522 int res = firm_be_option(arch_opt);
524 argument_errors = true;
526 snprintf(arch_opt, sizeof(arch_opt), "%s-opt=%s", cpu_arch, opt);
527 int res = firm_be_option(arch_opt);
529 argument_errors = true;
531 } else if(strncmp(opt, "tune=", 5) == 0) {
532 GET_ARG_AFTER(opt, "-mtune=");
533 snprintf(arch_opt, sizeof(arch_opt), "%s-opt=%s", cpu_arch, opt);
534 int res = firm_be_option(arch_opt);
536 argument_errors = true;
537 } else if(strncmp(opt, "cpu=", 4) == 0) {
538 GET_ARG_AFTER(opt, "-mcpu=");
539 snprintf(arch_opt, sizeof(arch_opt), "%s-arch=%s", cpu_arch, opt);
540 int res = firm_be_option(arch_opt);
542 argument_errors = true;
543 } else if(strncmp(opt, "fpu=", 4) == 0) {
544 GET_ARG_AFTER(opt, "-mfpu=");
545 snprintf(arch_opt, sizeof(arch_opt), "%s-fpunit=%s", cpu_arch, opt);
546 int res = firm_be_option(arch_opt);
548 argument_errors = true;
551 long int value = strtol(opt, &endptr, 10);
552 if (*endptr != '\0') {
553 fprintf(stderr, "error: wrong option '-m %s'\n", opt);
554 argument_errors = true;
556 if (value != 16 && value != 32 && value != 64) {
557 fprintf(stderr, "error: option -m supports only 16, 32 or 64\n");
558 argument_errors = true;
560 machine_size = (unsigned int)value;
563 } else if (option[0] == '\0') {
565 fprintf(stderr, "error: multiple input files specified\n");
566 argument_errors = true;
570 } else if(strcmp(option, "pg") == 0) {
571 firm_be_option("-b gprof");
572 obstack_printf(&ldflags_obst, " -pg");
573 } else if(strcmp(option, "pedantic") == 0) {
574 fprintf(stderr, "warning: ignoring gcc option '%s'\n", arg);
575 } else if(strncmp(option, "std=", 4) == 0) {
576 if(strcmp(&option[4], "c99") == 0) {
578 } else if(strcmp(&option[4], "c89") == 0) {
580 } else if(strcmp(&option[4], "gnu99") == 0) {
581 c_mode = _C89|_C99|_GNUC;
582 } else if(strcmp(&option[4], "microsoft") == 0) {
583 c_mode = _C89|_C99|_MS;
585 fprintf(stderr, "warning: ignoring gcc option '%s'\n", arg);
586 } else if (option[0] == '-') {
587 /* double dash option */
589 if(strcmp(option, "gcc") == 0) {
591 } else if(strcmp(option, "no-gcc") == 0) {
593 } else if(strcmp(option, "ms") == 0) {
595 } else if(strcmp(option, "no-ms") == 0) {
597 } else if(strcmp(option, "signed-chars") == 0) {
598 char_is_signed = true;
599 } else if(strcmp(option, "unsigned-chars") == 0) {
600 char_is_signed = false;
601 } else if(strcmp(option, "strict") == 0) {
603 } else if(strcmp(option, "lextest") == 0) {
605 } else if(strcmp(option, "benchmark") == 0) {
606 mode = BenchmarkParser;
607 } else if(strcmp(option, "print-ast") == 0) {
609 } else if(strcmp(option, "print-implicit-cast") == 0) {
610 print_implicit_casts = true;
611 } else if(strcmp(option, "print-parenthesis") == 0) {
612 print_parenthesis = true;
613 } else if(strcmp(option, "print-fluffy") == 0) {
615 } else if(strcmp(option, "version") == 0) {
617 firm_get_version(&ver);
618 printf("cparser (%s) using libFirm (%u.%u",
619 cparser_REVISION, ver.major, ver.minor);
620 if(ver.revision[0] != 0) {
622 fputs(ver.revision, stdout);
624 if(ver.build[0] != 0) {
626 fputs(ver.build, stdout);
630 } else if(strcmp(option, "dump-function") == 0) {
633 fprintf(stderr, "error: "
634 "expected argument after '--dump-function'\n");
635 argument_errors = true;
638 dumpfunction = argv[i];
641 fprintf(stderr, "error: unknown argument '%s'\n", arg);
642 argument_errors = true;
645 fprintf(stderr, "error: unknown argument '%s'\n", arg);
646 argument_errors = true;
650 fprintf(stderr, "error: multiple input files specified\n");
651 argument_errors = true;
658 /* we do the lowering in ast2firm */
659 firm_opt.lower_bitfields = FALSE;
662 return !argument_errors;
664 if(argument_errors) {
681 char outnamebuf[4096];
682 if(outname == NULL) {
684 case BenchmarkParser:
696 get_output_name(outnamebuf, sizeof(outnamebuf), input, ".s");
697 outname = outnamebuf;
699 case CompileAssemble:
700 get_output_name(outnamebuf, sizeof(outnamebuf), input, ".o");
701 outname = outnamebuf;
704 get_output_name(outnamebuf, sizeof(outnamebuf), dumpfunction,
706 outname = outnamebuf;
708 case CompileAssembleLink:
710 /* Windows compiler typically derive the output name from
711 the first source file */
712 get_output_name(outnamebuf, sizeof(outnamebuf), input, ".exe");
713 outname = outnamebuf;
721 if(outname != NULL) {
722 if(strcmp(outname, "-") == 0) {
725 out = fopen(outname, "w");
727 fprintf(stderr, "Couldn't open '%s' for writing: %s\n", outname,
736 fprintf(stderr, "%s: no input files\n", argv[0]);
738 } else if(strcmp(input, "-") == 0) {
742 in = fopen(input, "r");
744 fprintf(stderr, "Couldn't open '%s': %s\n", input, strerror(errno));
749 if(mode == LexTest) {
755 FILE *preprocessed_in = preprocess(in, input, mode == PreprocessOnly);
756 translation_unit_t *const unit = do_parsing(preprocessed_in, input);
757 int res = pclose(preprocessed_in);
762 if(error_count > 0) {
763 /* parsing failed because of errors */
764 fprintf(stderr, "%u error(s), %u warning(s)\n", error_count, warning_count);
765 result = EXIT_FAILURE;
766 } else if(warning_count > 0) {
767 fprintf(stderr, "%u warning(s)\n", warning_count);
770 if(mode == BenchmarkParser) {
774 /* prints the AST even if errors occurred */
775 if(mode == PrintAst) {
776 type_set_output(out);
782 /* cannot handle other modes with errors */
783 if(result != EXIT_SUCCESS)
786 if(mode == PrintFluffy) {
787 type_set_output(out);
789 write_fluffy_decls(out, unit);
792 translation_unit_to_firm(unit);
794 if(mode == ParseOnly) {
799 char asm_tempfile[1024];
800 if(mode == CompileDump) {
802 firm_be_opt.selection = BE_NONE;
803 } else if(mode == Compile) {
807 = make_temp_file(asm_tempfile, sizeof(asm_tempfile), "cc", ".s");
809 gen_firm_finish(asm_out, input, /*c_mode=*/1, /*firm_const_exists=*/0);
811 if(mode == CompileDump) {
813 ident *id = new_id_from_str(dumpfunction);
814 ir_graph *irg = NULL;
815 int n_irgs = get_irp_n_irgs();
816 for(int i = 0; i < n_irgs; ++i) {
817 ir_graph *tirg = get_irp_irg(i);
818 ident *irg_id = get_entity_ident(get_irg_entity(tirg));
826 fprintf(stderr, "No graph for function '%s' found\n", dumpfunction);
830 dump_ir_block_graph_file(irg, out);
837 /* assemble assembler and create object file */
838 char obj_tfile[1024];
839 if(mode == CompileAssemble || mode == CompileAssembleLink) {
840 const char *obj_outfile;
841 if(mode == CompileAssemble) {
843 obj_outfile = outname;
846 = make_temp_file(obj_tfile, sizeof(obj_tfile), "cc", ".o");
848 obj_outfile = obj_tfile;
851 assemble(obj_outfile, asm_tempfile);
854 /* link object file */
855 if(mode == CompileAssembleLink) {
856 do_link(outname, obj_tfile);
859 obstack_free(&cppflags_obst, NULL);
860 obstack_free(&ldflags_obst, NULL);