X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firpass.c;h=adc75a8caf5e77fdb7209a1f74faac105200fb08;hb=b4647d67ab7885d5da32c2a30242fbc4ed93d81b;hp=ae08bfbb49ad52f958102493518ee433abc0a69d;hpb=c06a58401a4cde698aa098d52321ad9ed6f96563;p=libfirm diff --git a/ir/ir/irpass.c b/ir/ir/irpass.c index ae08bfbb4..adc75a8ca 100644 --- a/ir/ir/irpass.c +++ b/ir/ir/irpass.c @@ -31,13 +31,13 @@ #include "irgraph_t.h" #include "irprog_t.h" #include "irdump.h" -#include "irvrfy.h" +#include "irverify.h" #include "xmalloc.h" /*Add a graph pass to a graph pass manager. */ void ir_graph_pass_mgr_add(ir_graph_pass_manager_t *mgr, ir_graph_pass_t *pass) { - list_add(&pass->list, &mgr->passes); + list_add_tail(&pass->list, &mgr->passes); ++mgr->n_passes; if (pass->add_to_mgr) pass->add_to_mgr(pass->context); @@ -46,7 +46,7 @@ void ir_graph_pass_mgr_add(ir_graph_pass_manager_t *mgr, ir_graph_pass_t *pass) /* Add an irprog pass to an irprog pass manager. */ void ir_prog_pass_mgr_add(ir_prog_pass_manager_t *mgr, ir_prog_pass_t *pass) { - list_add(&pass->list, &mgr->passes); + list_add_tail(&pass->list, &mgr->passes); ++mgr->n_passes; if (pass->add_to_mgr) pass->add_to_mgr(pass->context); @@ -64,20 +64,16 @@ static int run_wrapper(ir_prog *prog, void *ctx) return ir_graph_pass_mgr_run(mgr); } -/** - * Ensure that no verifier is run from the wrapper. - */ -static int no_verify(ir_prog *prog, void *ctx) +/* Ensure that no verifier is run an ir_prog pass. */ +int ir_prog_no_verify(ir_prog *prog, void *ctx) { (void)prog; (void)ctx; return 0; } -/** - * Ensure that no dumper is run from the wrapper. - */ -static void no_dump(ir_prog *prog, void *ctx, unsigned idx) +/* Ensure that no dumper is run from an ir_prog pass. */ +void ir_prog_no_dump(ir_prog *prog, void *ctx, unsigned idx) { (void)prog; (void)ctx; @@ -85,7 +81,7 @@ static void no_dump(ir_prog *prog, void *ctx, unsigned idx) } /** - * Term warpper for a wrapped ir_graph pass manager. + * Term wrapper for a wrapped ir_graph pass manager. */ static void term_wrapper(void *context) { @@ -106,8 +102,8 @@ static ir_prog_pass_t *create_wrapper_pass(ir_graph_pass_manager_t *graph_mgr) pass->name = graph_mgr->name; /* do not verify nor dump: this is handled by the graph manager */ - pass->verify_irprog = no_verify; - pass->dump_irprog = no_dump; + pass->verify_irprog = ir_prog_no_verify; + pass->dump_irprog = ir_prog_no_dump; pass->is_wrapper = 1; pass->add_to_mgr = NULL; @@ -130,12 +126,16 @@ void ir_prog_pass_mgr_add_graph_pass( graph_mgr = wrapper->context; ir_graph_pass_mgr_add(graph_mgr, pass); + ++mgr->n_passes; return; } } /* not found, create a new wrapper */ - graph_mgr = new_graph_pass_mgr("wrapper", mgr->verify_all, mgr->dump_all); + graph_mgr = new_graph_pass_mgr( + "graph_pass_wrapper", mgr->verify_all, mgr->dump_all); + graph_mgr->run_idx = mgr->run_idx + mgr->n_passes; + ir_graph_pass_mgr_add(graph_mgr, pass); wrapper = create_wrapper_pass(graph_mgr); @@ -157,12 +157,9 @@ void ir_prog_pass_mgr_add_graph_mgr( ir_prog_pass_mgr_add(mgr, pass); } -/** - * Create a suffix for dumping. - */ -void create_suffix(char *suffix, size_t n, const char *pass_name, unsigned index) +static void create_suffix(char *suffix, size_t n, const char *pass_name) { - snprintf(suffix, n, "-%02u_%s", index, pass_name); + snprintf(suffix, n, "%s.svg", pass_name); } /* Run all passes of an ir_graph pass manager. */ @@ -194,9 +191,9 @@ int ir_graph_pass_mgr_run(ir_graph_pass_manager_t *mgr) if (pass->dump_irg) { pass->dump_irg(irg, pass->context, idx); } else { - char suffix[1024]; - create_suffix(suffix, sizeof(suffix), pass->name, idx); - dump_ir_block_graph(irg, suffix); + char buf[1024]; + create_suffix(buf, sizeof(buf), pass->name); + dump_ir_graph(irg, buf); } } ++idx; @@ -209,11 +206,12 @@ int ir_graph_pass_mgr_run(ir_graph_pass_manager_t *mgr) /** * Verify all graphs on the given ir_prog. */ -static int irp_verify_irgs(ir_prog *irp, int flags) { +static int irp_verify_irgs(void) +{ int i, res = 1; for (i = get_irp_n_irgs() - 1; i >= 0; --i) - res &= irg_verify(get_irp_irg(i), flags); + res &= irg_verify(get_irp_irg(i), 0); return res; } @@ -234,7 +232,7 @@ int ir_prog_pass_mgr_run(ir_prog_pass_manager_t *mgr) if (pass->verify_irprog) { pass->verify_irprog(irp, pass->context); } else { - irp_verify_irgs(irp, 0); + irp_verify_irgs(); } } /* dump */ @@ -242,9 +240,9 @@ int ir_prog_pass_mgr_run(ir_prog_pass_manager_t *mgr) if (pass->dump_irprog) { pass->dump_irprog(irp, pass->context, idx); } else { - char suffix[1024]; - create_suffix(suffix, sizeof(suffix), pass->name, idx); - dump_all_ir_graphs(dump_ir_block_graph, suffix); + char buf[1024]; + create_suffix(buf, sizeof(buf), pass->name); + dump_all_ir_graphs(buf); } } if (pass->is_wrapper) { @@ -260,9 +258,10 @@ int ir_prog_pass_mgr_run(ir_prog_pass_manager_t *mgr) ir_graph_pass_manager_t *new_graph_pass_mgr( const char *name, int verify_all, int dump_all) { - ir_graph_pass_manager_t *res = xmalloc(sizeof(res)); + ir_graph_pass_manager_t *res = XMALLOCZ(ir_graph_pass_manager_t); INIT_LIST_HEAD(&res->passes); + res->kind = k_ir_graph_pass_mgr; res->name = name; res->run_idx = 0; res->verify_all = verify_all != 0; @@ -275,9 +274,10 @@ ir_graph_pass_manager_t *new_graph_pass_mgr( ir_prog_pass_manager_t *new_prog_pass_mgr( const char *name, int verify_all, int dump_all) { - ir_prog_pass_manager_t *res = xmalloc(sizeof(res)); + ir_prog_pass_manager_t *res = XMALLOCZ(ir_prog_pass_manager_t); INIT_LIST_HEAD(&res->passes); + res->kind = k_ir_prog_pass_mgr; res->name = name; res->run_idx = 0; res->verify_all = verify_all != 0; @@ -322,7 +322,7 @@ void term_prog_pass_mgr(ir_prog_pass_manager_t *mgr) * @param mgr the manager * @param run_idx the index for the first pass of this manager */ -void ir_graph_pass_manager_set_run_idx( +void ir_graph_pass_mgr_set_run_idx( ir_graph_pass_manager_t *mgr, unsigned run_idx) { mgr->run_idx = run_idx; @@ -334,7 +334,7 @@ void ir_graph_pass_manager_set_run_idx( * @param mgr the manager * @param run_idx the index for the first pass of this manager */ -void ir_prog_pass_manager_set_run_idx( +void ir_prog_pass_mgr_set_run_idx( ir_prog_pass_manager_t *mgr, unsigned run_idx) { mgr->run_idx = run_idx; @@ -343,7 +343,8 @@ void ir_prog_pass_manager_set_run_idx( /** * Wrapper for running void function(ir_graph *irg) as an ir_graph pass. */ -static int void_graph_wrapper(ir_graph *irg, void *context) { +static int void_graph_wrapper(ir_graph *irg, void *context) +{ void (*function)(ir_graph *irg) = context; function(irg); return 0; @@ -368,7 +369,8 @@ ir_graph_pass_t *def_graph_pass( /** * Wrapper for running void function(ir_graph *irg) as an ir_graph pass. */ -static int int_graph_wrapper(ir_graph *irg, void *context) { +static int int_graph_wrapper(ir_graph *irg, void *context) +{ int (*function)(ir_graph *irg) = context; return function(irg); } /* int_graph_wrapper */ @@ -395,6 +397,8 @@ ir_graph_pass_t *def_graph_pass_constructor( const char *name, int (*function)(ir_graph *irg, void *context)) { if (pass == NULL) pass = XMALLOCZ(ir_graph_pass_t); + else + memset(pass, 0, sizeof(ir_graph_pass_t)); pass->kind = k_ir_graph_pass; pass->run_on_irg = function; pass->context = pass; @@ -405,11 +409,17 @@ ir_graph_pass_t *def_graph_pass_constructor( return pass; } /* def_graph_pass_constructor */ +/* set the run parallel property */ +void ir_graph_pass_set_parallel(ir_graph_pass_t *pass, int flag) +{ + pass->run_parallel = flag != 0; +} /* ir_graph_pass_set_parallel */ /** * Wrapper for running void function(void) as an ir_prog pass. */ -static int void_prog_wrapper(ir_prog *irp, void *context) { +static int void_prog_wrapper(ir_prog *irp, void *context) +{ void (*function)(void) = context; (void)irp; @@ -438,10 +448,12 @@ ir_prog_pass_t *def_prog_pass( ir_prog_pass_t *def_prog_pass_constructor( ir_prog_pass_t *pass, const char *name, - void (*function)(ir_prog *irp, void *context)) + int (*function)(ir_prog *irp, void *context)) { if (pass == NULL) pass = XMALLOCZ(ir_prog_pass_t); + else + memset(pass, 0, sizeof(ir_prog_pass_t)); pass->kind = k_ir_prog_pass; pass->run_on_irprog = function; @@ -452,3 +464,38 @@ ir_prog_pass_t *def_prog_pass_constructor( return pass; } /* def_prog_pass_constructor */ + +struct pass_t { + ir_prog_pass_t pass; + void *context; + void (*function)(void *context); +}; + +/** + * Wrapper for the call_function pass. + */ +static int call_function_wrapper(ir_prog *irp, void *context) +{ + struct pass_t *pass = context; + + (void)irp; + pass->function(pass->context); + return 0; +} /* call_function_wrapper */ + +ir_prog_pass_t *call_function_pass( + const char *name, void (*function)(void *context), void *context) { + struct pass_t *pass = XMALLOCZ(struct pass_t); + + def_prog_pass_constructor( + &pass->pass, name ? name : "set_function", call_function_wrapper); + + pass->pass.verify_irprog = ir_prog_no_verify; + pass->pass.dump_irprog = ir_prog_no_dump; + pass->pass.context = pass; + + pass->function = function; + pass->context = context; + + return &pass->pass; +} /* call_function_pass */