X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=main.c;h=35e3ceef180fc79facec642b50e4a79868943513;hb=9f6f0f7cf63b5f2f4b53d99f85577abd7980cbc0;hp=5e66ff12ea00fa312f8af898898f4bac1c7d5db8;hpb=692d710bb13e459142b1cacc7c4aabeb6260e31c;p=cparser diff --git a/main.c b/main.c index 5e66ff1..35e3cee 100644 --- a/main.c +++ b/main.c @@ -75,11 +75,12 @@ #include "driver/firm_cmdline.h" #include "adt/error.h" #include "write_fluffy.h" +#include "write_caml.h" #include "revision.h" #include "warning.h" #ifndef PREPROCESSOR -#define PREPROCESSOR "cpp -std=c99 -U__WCHAR_TYPE__ -D__WCHAR_TYPE__=int -m32" +#define PREPROCESSOR "cpp -std=c99 -U__WCHAR_TYPE__ -D__WCHAR_TYPE__=int -U__SIZE_TYPE__ -D__SIZE_TYPE__=__SIZE_TYPE__ -m32" #endif #ifndef LINKER @@ -102,6 +103,9 @@ bool char_is_signed = true; /** true for strict language checking. */ bool strict_mode = false; +/** use builtins for some libc functions */ +bool use_builtins = false; + /* to switch on printing of implicit casts */ extern bool print_implicit_casts; @@ -173,10 +177,21 @@ static void get_output_name(char *buf, size_t buflen, const char *inputname, memcpy(buf+last_dot, newext, extlen); } +#include "builtins.h" + static translation_unit_t *do_parsing(FILE *const in, const char *const input_name) { + start_parsing(); + + if (use_builtins) { + lexer_open_buffer(builtins, sizeof(builtins)-1, ""); + parse(); + } + lexer_open_stream(in, input_name); - translation_unit_t *unit = parse(); + parse(); + + translation_unit_t *unit = finish_parsing(); return unit; } @@ -191,7 +206,41 @@ static void lextest(FILE *in, const char *fname) } while(lexer_token.type != T_EOF); } -static FILE *preprocess(FILE *in, const char *fname, bool to_stdout) +static void add_flag(struct obstack *obst, const char *format, ...) +{ + va_list ap; + va_start(ap, format); + + char buf[4096]; + vsnprintf(buf, sizeof(buf), format, ap); + + /* escape stuff... */ + obstack_1grow(obst, ' '); + for (char *c = buf; *c != '\0'; ++c) { + switch(*c) { + case '"': + case '\'': + case '`': + case ' ': + case '\t': + case '\n': + case '\r': + case '\\': + case '$': + case '(': + case ')': + obstack_1grow(obst, '\\'); + /* fallthrough */ + default: + obstack_1grow(obst, *c); + break; + } + } + + va_end(ap); +} + +static FILE *preprocess(FILE *in, const char *fname) { char buf[4096]; obstack_1grow(&cppflags_obst, '\0'); @@ -207,17 +256,13 @@ static FILE *preprocess(FILE *in, const char *fname, bool to_stdout) if(verbose) { puts(buf); } - if(to_stdout) { - int res = system(buf); - exit(res); - } else { - FILE *f = popen(buf, "r"); - if(f == NULL) { - fprintf(stderr, "invoking preprocessor failed\n"); - exit(1); - } - return f; + + FILE *f = popen(buf, "r"); + if(f == NULL) { + fprintf(stderr, "invoking preprocessor failed\n"); + exit(1); } + return f; } static void do_link(const char *out, const char *in) @@ -359,7 +404,10 @@ typedef enum compile_mode_t { LexTest, PrintAst, PrintFluffy, - Link + PrintCaml, + Link, + Assemble, + AssemblePreprocessed, } compile_mode_t; static void usage(const char *argv0) @@ -384,6 +432,32 @@ static void print_cparser_version(void) { puts(")\n"); } +static void set_be_option(const char *arg) +{ + int res = firm_be_option(arg); + (void) res; + assert(res); +} + +static void set_option(const char *arg) +{ + int res = firm_option(arg); + (void) res; + assert(res); +} + +static void copy_file(FILE *dest, FILE *input) +{ + char buf[16384]; + + while (!feof(input) && !ferror(dest)) { + size_t read = fread(buf, 1, sizeof(buf), input); + if(fwrite(buf, 1, read, dest) != read) { + perror("couldn't write output"); + } + } +} + int main(int argc, char **argv) { initialize_firm(); @@ -438,23 +512,24 @@ int main(int argc, char **argv) /* apply optimisation level */ switch(opt_level) { case 0: - firm_option("no-opt"); + set_option("no-opt"); break; case 1: - firm_option("no-inline"); + set_option("no-inline"); break; default: case 4: - firm_option("strict-aliasing"); + set_option("strict-aliasing"); /* fallthrough */ case 3: - firm_option("cond-eval"); - firm_option("if-conv"); + set_option("cond-eval"); + set_option("if-conv"); + use_builtins = true; /* fallthrough */ case 2: - firm_option("inline"); - firm_option("deconv"); - firm_be_option("omitfp"); + set_option("inline"); + set_option("deconv"); + set_be_option("omitfp"); break; } @@ -469,9 +544,9 @@ int main(int argc, char **argv) if(option[0] == 'o') { GET_ARG_AFTER(outname, "-o"); } else if(option[0] == 'g') { - firm_be_option("stabs=yes"); - firm_be_option("omitfp=no"); - firm_be_option("ia32-nooptcc=yes"); + set_be_option("debuginfo=stabs"); + set_be_option("omitfp=no"); + set_be_option("ia32-nooptcc=yes"); } else if(SINGLE_OPTION('c')) { mode = CompileAssemble; } else if(SINGLE_OPTION('E')) { @@ -483,27 +558,43 @@ int main(int argc, char **argv) } else if(option[0] == 'I') { const char *opt; GET_ARG_AFTER(opt, "-I"); - obstack_printf(&cppflags_obst, " -I%s", opt); + add_flag(&cppflags_obst, "-I%s", opt); } else if(option[0] == 'D') { const char *opt; GET_ARG_AFTER(opt, "-D"); - obstack_printf(&cppflags_obst, " -D%s", opt); + add_flag(&cppflags_obst, "-D%s", opt); } else if(option[0] == 'U') { const char *opt; GET_ARG_AFTER(opt, "-U"); - obstack_printf(&cppflags_obst, " -U%s", opt); + add_flag(&cppflags_obst, "-U%s", opt); } else if(option[0] == 'l') { const char *opt; GET_ARG_AFTER(opt, "-l"); - obstack_printf(&ldflags_obst, " -l%s", opt); + add_flag(&ldflags_obst, "-l%s", opt); } else if(option[0] == 'L') { const char *opt; GET_ARG_AFTER(opt, "-L"); - obstack_printf(&ldflags_obst, " -L%s", opt); + add_flag(&ldflags_obst, "-L%s", opt); } else if(SINGLE_OPTION('v')) { verbose = 1; } else if(SINGLE_OPTION('w')) { inhibit_all_warnings = true; + } else if(strcmp(option, "M") == 0) { + mode = PreprocessOnly; + add_flag(&cppflags_obst, "-M"); + } else if(strcmp(option, "MMD") == 0 + || strcmp(option, "MD") == 0 + || strcmp(option, "MM") == 0) { + add_flag(&cppflags_obst, "-%s", option); + } else if(strcmp(option, "MT") == 0 + || strcmp(option, "MQ") == 0 + || strcmp(option, "MF") == 0) { + const char *opt; + GET_ARG_AFTER(opt, "-MT"); + add_flag(&cppflags_obst, "-%s", option); + add_flag(&cppflags_obst, "%s", opt); + } else if(strcmp(option, "pipe") == 0) { + /* here for gcc compatibility */ } else if(option[0] == 'f') { const char *opt; GET_ARG_AFTER(opt, "-f"); @@ -511,9 +602,19 @@ int main(int argc, char **argv) if(strcmp(opt, "syntax-only") == 0) { mode = ParseOnly; } else if(strcmp(opt, "omit-frame-pointer") == 0) { - firm_be_option("omitfp"); + set_be_option("omitfp"); } else if(strcmp(opt, "no-omit-frame-pointer") == 0) { - firm_be_option("omitfp=no"); + set_be_option("omitfp=no"); + } else if(strcmp(opt, "strength-reduce") == 0) { + firm_option("strength-red"); + } else if(strcmp(opt, "fast-math") == 0 + || strcmp(opt, "unroll-loops") == 0 + || strcmp(opt, "expensive-optimizations") == 0 + || strcmp(opt, "no-common") == 0 + || strncmp(opt, "align-loops=", sizeof("align-loops=")-1) == 0 + || strncmp(opt, "align-jumps=", sizeof("align-jumps=")-1) == 0 + || strncmp(opt, "align-functions=", sizeof("align-functions=")-1) == 0) { + fprintf(stderr, "ignoring gcc option '-f %s'\n", opt); } else { int res = firm_option(opt); if (res == 0) { @@ -594,13 +695,9 @@ int main(int argc, char **argv) if (res == 0) argument_errors = true; } else if(strcmp(opt, "omit-leaf-frame-pointer") == 0) { - int res = firm_be_option("omitleaffp=1"); - if (res == 0) - argument_errors = true; + set_be_option("omitleaffp=1"); } else if(strcmp(opt, "no-omit-leaf-frame-pointer") == 0) { - int res = firm_be_option("omitleaffp=0"); - if (res == 0) - argument_errors = true; + set_be_option("omitleaffp=0"); } else { char *endptr; long int value = strtol(opt, &endptr, 10); @@ -623,10 +720,12 @@ int main(int argc, char **argv) input = arg; } } else if(strcmp(option, "pg") == 0) { - firm_be_option("-b gprof"); - obstack_printf(&ldflags_obst, " -pg"); + set_be_option("gprof"); + add_flag(&ldflags_obst, "-pg"); } else if(strcmp(option, "pedantic") == 0) { fprintf(stderr, "warning: ignoring gcc option '%s'\n", arg); + } else if(strcmp(option, "shared") == 0) { + add_flag(&ldflags_obst, "-shared"); } else if(strncmp(option, "std=", 4) == 0) { if(strcmp(&option[4], "c99") == 0) { c_mode = _C89|_C99; @@ -669,6 +768,8 @@ int main(int argc, char **argv) print_parenthesis = true; } else if(strcmp(option, "print-fluffy") == 0) { mode = PrintFluffy; + } else if(strcmp(option, "print-caml") == 0) { + mode = PrintCaml; } else if(strcmp(option, "version") == 0) { print_cparser_version(); exit(EXIT_SUCCESS); @@ -708,10 +809,11 @@ int main(int argc, char **argv) continue; } - if (strcmp(arg+len-2, ".c") == 0) { + if (strcmp(arg+len-2, ".c") == 0 + || strcmp(arg+len-2, ".h") == 0) { entry->next = c_files; c_files = entry; - } else if (strcmp(arg+len-2, ".s") == 0) { + } else if (strcmp(arg+len-2, ".s") == 0 || strcmp(arg+len-2, ".S") == 0) { entry->next = s_files; s_files = entry; } else if (strcmp(arg+len-2, ".o") == 0) { @@ -727,8 +829,14 @@ int main(int argc, char **argv) mode = Link; } else if (c_files != NULL && c_files->next == NULL) { input = c_files->filename; + } else if (s_files != NULL && s_files->next == NULL) { + input = s_files->filename; + if(!strcmp(input + strlen(input) - 2, ".S")) + mode = AssemblePreprocessed; + else + mode = Assemble; } else { - if (c_files == NULL) { + if (c_files == NULL && s_files == NULL) { fprintf(stderr, "error: no input files specified\n"); } else { fprintf(stderr, "error: multiple input files specified\n"); @@ -765,11 +873,10 @@ int main(int argc, char **argv) case BenchmarkParser: case PrintAst: case PrintFluffy: + case PrintCaml: case LexTest: - if(outname == NULL) - outname = "-"; - break; case PreprocessOnly: + outname = "-"; break; case ParseOnly: break; @@ -800,6 +907,11 @@ int main(int argc, char **argv) } } + if (mode == Assemble) { + assemble(outname, input); + return 0; + } + if (mode == Link) { obstack_1grow(&ldflags_obst, '\0'); const char *flags = obstack_finish(&ldflags_obst); @@ -812,6 +924,7 @@ int main(int argc, char **argv) } obstack_printf(&file_obst, " -o %s %s", outname, flags); + obstack_1grow(&file_obst, '\0'); char *buf = obstack_finish(&file_obst); @@ -860,10 +973,32 @@ int main(int argc, char **argv) return 0; } - FILE *preprocessed_in = preprocess(in, input, mode == PreprocessOnly); + FILE *preprocessed_in = preprocess(in, input); + if (mode == PreprocessOnly) { + copy_file(out, preprocessed_in); + return pclose(preprocessed_in); + } + + if (mode == AssemblePreprocessed) { + FILE *asm_pp; + char asm_tempfile[1024]; + + /* write preprocessed assembler to a temporary file */ + asm_pp = make_temp_file(asm_tempfile, sizeof(asm_tempfile), "cc", ".s"); + copy_file(asm_pp, preprocessed_in); + fclose(asm_pp); + int res = pclose(preprocessed_in); + if (res != 0) + return res; + + /* and assemble it */ + assemble(outname, asm_tempfile); + return 0; + } + translation_unit_t *const unit = do_parsing(preprocessed_in, input); int res = pclose(preprocessed_in); - if(res != 0) { + if (res != 0) { return res; } @@ -892,10 +1027,11 @@ int main(int argc, char **argv) return result; if(mode == PrintFluffy) { - type_set_output(out); - ast_set_output(out); write_fluffy_decls(out, unit); } + if (mode == PrintCaml) { + write_caml_decls(out, unit); + } translation_unit_to_firm(unit);