From: Matthias Braun <matze@braunis.de>
Date: Mon, 12 Nov 2007 19:47:59 +0000 (+0000)
Subject: more work on firm backend
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=1e58287579350c0e63aabf46d38af835c5e1ba04;p=cparser

more work on firm backend

[r18373]
---

diff --git a/ast2firm.c b/ast2firm.c
index 990a20f..5f6d81e 100644
--- a/ast2firm.c
+++ b/ast2firm.c
@@ -68,11 +68,12 @@ void init_ast2firm(void)
 	type_void       = make_atomic_type(ATOMIC_TYPE_VOID, 0);
 	type_int        = make_atomic_type(ATOMIC_TYPE_INT, 0);
 
+	ir_type_int        = get_ir_type(type_int);
 	ir_type_const_char = get_ir_type(type_const_char);
-	ir_type_void       = get_ir_type(type_void);
+	ir_type_void       = get_ir_type(type_int); /* we don't have a real void
+	                                               type in firm */
 	ir_type_void_ptr   = new_type_pointer(new_id_from_str("void_ptr"),
 	                                      ir_type_void, mode_P_data);
-	ir_type_int        = get_ir_type(type_int);
 }
 
 void exit_ast2firm(void)
diff --git a/main.c b/main.c
index 09dd39c..6e2d636 100644
--- a/main.c
+++ b/main.c
@@ -5,15 +5,73 @@
 #include <errno.h>
 #include <string.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"
+
+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(&params, 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(&params);
+	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);
+}
 
-#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;
@@ -34,10 +92,8 @@ void get_output_name(char *buf, size_t buflen, const char *inputname,
 		panic("filename too long");
 	memcpy(buf+last_dot, newext, extlen);
 }
-#endif
 
-static
-translation_unit_t *do_parsing(const char *fname)
+static translation_unit_t *do_parsing(const char *fname)
 {
 	FILE *in = fopen(fname, "r");
 	if(in == NULL) {
@@ -54,8 +110,7 @@ translation_unit_t *do_parsing(const char *fname)
 	return unit;
 }
 
-static
-void lextest(const char *fname)
+static void lextest(const char *fname)
 {
 	FILE *in = fopen(fname, "r");
 	if(in == NULL) {
@@ -74,10 +129,39 @@ void lextest(const char *fname)
 	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)
+{
+	char outfname[4096];
+
+	get_output_name(outfname, sizeof(outfname), input_name, ".s");
+	backend(input_name, outfname);
+}
+
+static void create_firm_prog(translation_unit_t *unit)
+{
+	translation_unit_to_firm(unit);
+}
+
 void write_fluffy_decls(translation_unit_t *unit);
 
 int main(int argc, char **argv)
 {
+	initialize_firm();
+
 	init_symbol_table();
 	init_tokens();
 	init_lexer();
@@ -85,6 +169,7 @@ int main(int argc, char **argv)
 	init_typehash();
 	init_ast();
 	init_parser();
+	init_ast2firm();
 
 	if(argc > 2 && strcmp(argv[1], "--lextest") == 0) {
 		lextest(argv[2]);
@@ -106,9 +191,12 @@ int main(int argc, char **argv)
 	}
 
 	for(int i = 1; i < argc; ++i) {
-		do_parsing(argv[i]);
+		translation_unit_t *unit = do_parsing(argv[i]);
+		create_firm_prog(unit);
+		emit(argv[i]);
 	}
 
+	exit_ast2firm();
 	exit_parser();
 	exit_ast();
 	exit_typehash();