X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=main.c;h=299be22c727b644de9693f1c32a8ccfbaf2f7647;hb=f55329b7f1a43ead4eb6b914c1cbd7459d042191;hp=c44fba6add5924a81813da691a72e5ac051c3d3b;hpb=34471c5dd819ab71185ae606181aaa8c61673e9b;p=cparser diff --git a/main.c b/main.c index c44fba6..299be22 100644 --- a/main.c +++ b/main.c @@ -1,9 +1,13 @@ #include -#include +#define _GNU_SOURCE + #include +#include +#include #include #include +#include #ifndef WITH_LIBCORE #define WITH_LIBCORE @@ -19,18 +23,31 @@ #include "ast2firm.h" #include "adt/error.h" -#define LINKER "gcc" +#ifndef PREPROCESSOR +#define PREPROCESSOR "cpp" +#endif + +#ifndef LINKER +#define LINKER "gcc" +#endif + +#ifdef _WIN32 +/* remap some names */ +#define popen(cmd, mode) _popen(cmd, mode) +#define pclose(file) _pclose(file) +#endif /* _WIN32 */ -static int verbose; +static int verbose; +static bool do_dump; static const ir_settings_if_conv_t *if_conv_info = NULL; +static const backend_params *be_params = NULL; static void initialize_firm(void) { be_opt_register(); firm_init_options(NULL, 0, NULL); - const backend_params *be_params; firm_parameter_t params; memset(¶ms, 0, sizeof(params)); @@ -42,7 +59,7 @@ static void initialize_firm(void) /* initialize backend */ be_params = be_init(); - be_set_debug_retrieve(retrieve_dbg); + ir_set_debug_retrieve(retrieve_dbg); params.arch_op_settings = be_params->arch_op_settings; if_conv_info = be_params->if_conv_info; @@ -55,19 +72,11 @@ static void initialize_firm(void) set_opt_control_flow_straightening(1); set_opt_control_flow_weak_simplification(1); set_opt_control_flow_strong_simplification(1); - set_opt_dead_node_elimination(1); - set_opt_reassociation(1); - set_opt_inline(1); set_opt_dyn_meth_dispatch(1); set_opt_normalize(1); - set_opt_tail_recursion(1); - set_opt_dead_method_elimination(1); set_opt_precise_exc_context(0); - set_opt_loop_unrolling(0); set_opt_strength_red(0); - set_opt_redundant_loadstore(1); set_opt_fragile_ops(0); - set_opt_function_call(1); set_opt_optimize_class_casts(0); set_opt_suppress_downcast_optimization(0); set_opt_remove_confirm(1); @@ -76,11 +85,14 @@ static void initialize_firm(void) set_opt_alias_analysis(1); dump_consts_local(1); + dump_keepalive_edges(1); } -static void dump(const char *suffix) +static void dump(ir_graph *irg, const char *suffix) { - dump_ir_block_graph(current_ir_graph, suffix); + if(do_dump) { + dump_ir_block_graph(irg, suffix); + } } static void get_output_name(char *buf, size_t buflen, const char *inputname, @@ -106,20 +118,10 @@ static void get_output_name(char *buf, size_t buflen, const char *inputname, memcpy(buf+last_dot, newext, extlen); } -static translation_unit_t *do_parsing(const char *fname) +static translation_unit_t *do_parsing(FILE *const in, const char *const input) { - FILE *in = fopen(fname, "r"); - if(in == NULL) { - fprintf(stderr, "Couldn't open '%s': %s\n", fname, strerror(errno)); - exit(1); - } - - lexer_open_stream(in, fname); - + lexer_open_stream(in, input); translation_unit_t *unit = parse(); - - fclose(in); - return unit; } @@ -161,6 +163,23 @@ static void emit(const char *input_name, const char *out_name) backend(input_name, out_name); } +static FILE* preprocess(const char *in) +{ + char buf[4096]; + + snprintf(buf, sizeof(buf), PREPROCESSOR " %s", in); + + if(verbose) { + puts(buf); + } + FILE* f = popen(buf, "r"); + if (f == NULL) { + fprintf(stderr, "invoking preprocessor failed\n"); + exit(1); + } + return f; +} + static void link(const char *in, const char *out) { char buf[4096]; @@ -176,74 +195,251 @@ static void link(const char *in, const char *out) } } +static void assemble(const char *in, const char *out) +{ + char buf[4096]; + snprintf(buf, sizeof(buf), "%s %s -c -o %s", LINKER, in, out); + if(verbose) { + puts(buf); + } + int err = system(buf); + if(err != 0) { + fprintf(stderr, "assembler reported an error\n"); + exit(1); + } +} static void create_firm_prog(translation_unit_t *unit) { translation_unit_to_firm(unit); + //dump_globals_as_text(dump_verbosity_max, "-globals"); + int n_irgs = get_irp_n_irgs(); for(int i = 0; i < n_irgs; ++i) { - current_ir_graph = get_irp_irg(i); - dump("-start"); + ir_graph *const irg = get_irp_irg(i); + dump(irg, "-start"); + } + + lower_highlevel(); + for(int i = 0; i < n_irgs; ++i) { + ir_graph *const irg = get_irp_irg(i); + dump(irg, "-lower"); + } +} + +static void optimize(void) +{ + int arr_len; + ir_entity **keep_methods; + + cgana(&arr_len, &keep_methods); + gc_irgs(arr_len, keep_methods); + free(keep_methods); + + optimize_funccalls(0); + + lwrdw_param_t lwrdw_param = { + 1, + 1, + mode_Ls, mode_Lu, + mode_Is, mode_Iu, + def_create_intrinsic_fkt, + NULL + }; + if (be_params->arch_create_intrinsic_fkt) { + lwrdw_param.create_intrinsic = be_params->arch_create_intrinsic_fkt; + lwrdw_param.ctx = be_params->create_intrinsic_ctx; + } + + for(int i = 0; i < get_irp_n_irgs(); ++i) { + ir_graph *irg = get_irp_irg(i); + + optimize_graph_df(irg); + dump(irg, "-01-localopt"); + place_code(irg); + dump(irg, "-02-place"); + optimize_cf(irg); + dump(irg, "-03-cf"); + lower_dw_ops(&lwrdw_param); + dump(irg, "-04-dw"); + optimize_graph_df(irg); + dump(irg, "-05-localopt"); + optimize_cf(irg); + dump(irg, "-06-cf"); } } void write_fluffy_decls(translation_unit_t *unit); +typedef enum compile_mode_t { + Compile, + CompileAssemble, + CompileAssembleLink, + LexTest, + PrintAst, + PrintFluffy +} compile_mode_t; + +static void usage(const char *argv0) +{ + fprintf(stderr, "Usage %s input [-o output] [-c]\n", argv0); +} + int main(int argc, char **argv) { initialize_firm(); init_symbol_table(); init_tokens(); - init_lexer(); init_types(); init_typehash(); + init_lexer(); init_ast(); init_parser(); init_ast2firm(); - if(argc > 2 && strcmp(argv[1], "--lextest") == 0) { - lextest(argv[2]); + const char *input = NULL; + const char *outname = NULL; + compile_mode_t mode = CompileAssembleLink; + + for(int i = 1; i < argc; ++i) { + const char *arg = argv[i]; + if(strcmp(arg, "-o") == 0) { + ++i; + if(i >= argc) { + usage(argv[0]); + return 1; + } + outname = argv[i]; + } else if(strcmp(arg, "-c") == 0) { + mode = CompileAssemble; + } else if(strcmp(arg, "-S") == 0) { + mode = Compile; + } else if(strcmp(arg, "--lextest") == 0) { + mode = LexTest; + } else if(strcmp(arg, "--print-ast") == 0) { + mode = PrintAst; + } else if(strcmp(arg, "--print-fluffy") == 0) { + mode = PrintFluffy; + } else if(strcmp(arg, "--dump") == 0) { + do_dump = true; + } else if(strcmp(arg, "-v") == 0) { + verbose = 1; + } else if(arg[0] == '-' && arg[1] == 'f') { + const char *opt = &arg[2]; + if(opt[0] == 0) { + ++i; + if(i >= argc) { + usage(argv[0]); + return 1; + } + opt = argv[i]; + if(opt[0] == '-') { + usage(argv[0]); + return 1; + } + } + //firm_option(opt); + } else if(arg[0] == '-' && arg[1] == 'b') { + const char *opt = &arg[2]; + if(opt[0] == 0) { + ++i; + if(i >= argc) { + usage(argv[0]); + return 1; + } + opt = argv[i]; + if(opt[0] == '-') { + usage(argv[0]); + return 1; + } + } + //firm_be_option(opt); + } else if(arg[0] == '-') { + if (arg[1] == 'D' || + arg[1] == 'O' || + arg[1] == 'f' || + strncmp(arg + 1, "std=", 4) == 0) { + fprintf(stderr, "Warning: Ignoring option '%s'\n", arg); + } else { + usage(argv[0]); + return 1; + } + } else { + if(input != NULL) { + fprintf(stderr, "Error: multiple input files specified\n"); + usage(argv[0]); + return 1; + } else { + input = arg; + } + } + } + + if(input == NULL) { + fprintf(stderr, "%s: no input files\n", argv[0]); + return 1; + } + + if(mode == LexTest) { + lextest(input); return 0; } - if(argc > 2 && strcmp(argv[1], "--print-ast") == 0) { - translation_unit_t *unit = do_parsing(argv[2]); - ast_set_output(stdout); + FILE *const in = preprocess(input); + translation_unit_t *const unit = do_parsing(in, input); + pclose(in); + if(unit == NULL) + return 1; + + if(mode == PrintAst) { print_ast(unit); return 0; } - - if(argc > 2 && strcmp(argv[1], "--print-fluffy") == 0) { - translation_unit_t *unit = do_parsing(argv[2]); + if(mode == PrintFluffy) { ast_set_output(stdout); write_fluffy_decls(unit); - return 0; } - for(int i = 1; i < argc; ++i) { - const char *input = argv[i]; - char outfname[4096]; + char outsname[4096]; + const char *sname = NULL; + if(mode == Compile) { + sname = outname; + } + if(sname == NULL) { + get_output_name(outsname, sizeof(outsname), input, ".s"); + sname = outsname; + } - get_output_name(outfname, sizeof(outfname), input, ".s"); + create_firm_prog(unit); + optimize(); + emit(input, sname); - translation_unit_t *unit = do_parsing(input); - if(unit == NULL) { - return 1; + if(mode == CompileAssemble) { + char outoname[4096]; + const char *oname = outname; + if(oname == NULL) { + get_output_name(outoname, sizeof(outoname), input, ".o"); + oname = outoname; } - create_firm_prog(unit); - emit(input, outfname); - link(outfname, "a.out"); + assemble(sname, oname); + } else { + assert(mode == CompileAssembleLink); + + if(outname == NULL) + outname = "a.out"; + + link(sname, outname); } exit_ast2firm(); exit_parser(); exit_ast(); + exit_lexer(); exit_typehash(); exit_types(); - exit_lexer(); exit_tokens(); exit_symbol_table(); return 0;