X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=main.c;h=7897eec54586a6cd9f3ce233815872bcf0adc1db;hb=377cc851b30da15e985e1f2ad998ad984d598133;hp=799f3640b43ecfe6d2337688357fcddfaa5e5000;hpb=9e29e9c33f6511c4583e5b8ed83194d433e82c45;p=cparser diff --git a/main.c b/main.c index 799f364..7897eec 100644 --- a/main.c +++ b/main.c @@ -5,14 +5,87 @@ #include #include -#include "lexer_t.h" +#ifndef WITH_LIBCORE +#define WITH_LIBCORE +#endif + +#include +#include + +#include "lexer.h" #include "token_t.h" +#include "type_hash.h" #include "parser.h" +#include "ast2firm.h" +#include "adt/error.h" + +#define LINKER "gcc" + +static int verbose; -#if 0 -static -void get_output_name(char *buf, size_t buflen, const char *inputname, - const char *newext) +static const ir_settings_if_conv_t *if_conv_info = 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)); + + params.size = sizeof(params); + params.enable_statistics = 0; + params.initialize_local_func = uninitialized_local_var; + params.cc_mask = 0; + params.builtin_dbg = NULL; + + /* initialize backend */ + be_params = be_init(); + be_set_debug_retrieve(retrieve_dbg); + params.arch_op_settings = be_params->arch_op_settings; + if_conv_info = be_params->if_conv_info; + + /* intialize firm itself */ + init_firm(¶ms); + dbg_init(NULL, NULL, dbg_snprint); + + set_opt_constant_folding(1); + set_opt_unreachable_code(1); + 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); + set_opt_scalar_replacement(1); + set_opt_ldst_only_null_ptr_exceptions(1); + set_opt_alias_analysis(1); + + dump_consts_local(1); + dump_keepalive_edges(1); +} + +static void dump(ir_graph *irg, const char *suffix) +{ + dump_ir_block_graph(irg, suffix); +} + +static void get_output_name(char *buf, size_t buflen, const char *inputname, + const char *newext) { size_t last_dot = 0xffffffff; size_t i = 0; @@ -33,13 +106,26 @@ void get_output_name(char *buf, size_t buflen, const char *inputname, panic("filename too long"); memcpy(buf+last_dot, newext, extlen); } -#endif -static -void compile(const char *fname) +static translation_unit_t *do_parsing(const char *fname) { - token_t token; + 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); + + translation_unit_t *unit = parse(); + + fclose(in); + return unit; +} + +static void lextest(const char *fname) +{ FILE *in = fopen(fname, "r"); if(in == NULL) { fprintf(stderr, "Couldn't open '%s': %s\n", fname, strerror(errno)); @@ -49,26 +135,117 @@ void compile(const char *fname) lexer_open_stream(in, fname); do { - lexer_next_token(&token); - print_token(stdout, &token); + lexer_next_preprocessing_token(); + print_token(stdout, &lexer_token); puts(""); - } while(token.type != T_EOF); + } while(lexer_token.type != T_EOF); fclose(in); } +static void backend(const char *inputname, const char *outname) +{ + FILE *out = fopen(outname, "w"); + if(out == NULL) { + fprintf(stderr, "couldn't open '%s' for writing: %s\n", outname, + strerror(errno)); + exit(1); + } + + be_main(out, inputname); + + fclose(out); +} + +static void emit(const char *input_name, const char *out_name) +{ + backend(input_name, out_name); +} + +static void link(const char *in, const char *out) +{ + char buf[4096]; + + snprintf(buf, sizeof(buf), "%s %s -o %s", LINKER, in, out); + if(verbose) { + puts(buf); + } + int err = system(buf); + if(err != 0) { + fprintf(stderr, "linker reported an error\n"); + exit(1); + } +} + + + +static void create_firm_prog(translation_unit_t *unit) +{ + translation_unit_to_firm(unit); + + int n_irgs = get_irp_n_irgs(); + for(int i = 0; i < n_irgs; ++i) { + ir_graph *const irg = get_irp_irg(i); + dump(irg, "-start"); + optimize_cf(irg); + dump(irg, "-cf"); + } +} + +void write_fluffy_decls(translation_unit_t *unit); + int main(int argc, char **argv) { + initialize_firm(); + init_symbol_table(); init_tokens(); init_lexer(); + init_types(); + init_typehash(); + init_ast(); init_parser(); + init_ast2firm(); + + if(argc > 2 && strcmp(argv[1], "--lextest") == 0) { + lextest(argv[2]); + return 0; + } + + if(argc > 2 && strcmp(argv[1], "--print-ast") == 0) { + translation_unit_t *unit = do_parsing(argv[2]); + ast_set_output(stdout); + print_ast(unit); + return 0; + } + + if(argc > 2 && strcmp(argv[1], "--print-fluffy") == 0) { + translation_unit_t *unit = do_parsing(argv[2]); + ast_set_output(stdout); + write_fluffy_decls(unit); + return 0; + } for(int i = 1; i < argc; ++i) { - compile(argv[i]); + const char *input = argv[i]; + char outfname[4096]; + + get_output_name(outfname, sizeof(outfname), input, ".s"); + + translation_unit_t *unit = do_parsing(input); + if(unit == NULL) { + return 1; + } + create_firm_prog(unit); + emit(input, outfname); + link(outfname, "a.out"); } + exit_ast2firm(); exit_parser(); + exit_ast(); + exit_typehash(); + exit_types(); exit_lexer(); exit_tokens(); exit_symbol_table();