#include <errno.h>
#include <string.h>
-#include "lexer_t.h"
+#include <libfirm/firm.h>
+#include <libfirm/be.h>
+
+#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;
+
+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);
+}
+
+static void dump(const char *suffix)
+{
+ dump_ir_block_graph(current_ir_graph, suffix);
+}
-#if 0
-static
-void get_output_name(char *buf, size_t buflen, const char *inputname,
- const char *newext)
+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;
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)
{
- lexer_t lexer;
- 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));
exit(1);
}
- lexer_init(&lexer, in, fname);
+ lexer_open_stream(in, fname);
do {
- lexer_next_token(&lexer, &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);
- lexer_destroy(&lexer);
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) {
+ current_ir_graph = get_irp_irg(i);
+ dump("-start");
+ }
+}
+
+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);
+ 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();
return 0;
projects / cparser / blobdiff