X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeflags.c;h=43d713860e5683b2dbae01b07adfa7f5b3603e48;hb=f2c2e45eb4e677fef5bf6a8e418b2a22441172d5;hp=bb34a959b821d1bfdb14daac0970fccf25aeec9b;hpb=2e291eab8268af551488b1f4fb4d9ca61b625e33;p=libfirm diff --git a/ir/be/beflags.c b/ir/be/beflags.c index bb34a959b..43d713860 100644 --- a/ir/be/beflags.c +++ b/ir/be/beflags.c @@ -35,9 +35,7 @@ * spilled. So in some situations (for example 2 adc-nodes that use the flags of * a single add node on x86) operations have to be repeated to work correctly. */ -#ifdef HAVE_CONFIG_H #include "config.h" -#endif #include "irgwalk.h" #include "irnode_t.h" @@ -53,7 +51,6 @@ #include "besched_t.h" #include "benode_t.h" -static const arch_env_t *arch_env = NULL; static const arch_register_class_t *flag_class = NULL; static const arch_register_t *flags_reg = NULL; static func_rematerialize remat = NULL; @@ -75,7 +72,7 @@ static ir_node *default_remat(ir_node *node, ir_node *after) } /** - * tests wether we can legally move node node after node after + * tests whether we can legally move node node after node after * (only works for nodes in same block) */ static int can_move(ir_node *node, ir_node *after) @@ -94,15 +91,15 @@ static int can_move(ir_node *node, ir_node *after) assert(get_irn_n_edges_kind(out, EDGE_KIND_DEP) == 0); foreach_out_edge(out, edge2) { ir_node *out2 = get_edge_src_irn(edge2); - /* phi represents a usage at block end */ - if(is_Phi(out2)) + /* Phi or End represents a usage at block end. */ + if(is_Phi(out2) || is_End(out2)) continue; if(is_Sync(out2)) { const ir_edge_t *edge3; foreach_out_edge(out2, edge3) { ir_node *out3 = get_edge_src_irn(edge3); - /* phi represents a usage at block end */ - if(is_Phi(out3)) + /* Phi or End represents a usage at block end. */ + if(is_Phi(out3) || is_End(out3)) continue; assert(!is_Sync(out3)); if(sched_get_time_step(out3) <= sched_get_time_step(after)) { @@ -149,8 +146,7 @@ static void rematerialize_or_move(ir_node *flags_needed, ir_node *node, if(get_irn_mode(copy) == mode_T) { ir_node *block = get_nodes_block(copy); ir_mode *mode = flag_class->mode; - value = new_rd_Proj(NULL, current_ir_graph, block, - copy, mode, pn); + value = new_rd_Proj(NULL, block, copy, mode, pn); } else { value = copy; } @@ -185,7 +181,7 @@ static void rematerialize_or_move(ir_node *flags_needed, ir_node *node, static int is_modify_flags(ir_node *node) { int i, arity; - if(arch_irn_is(arch_env, node, modify_flags)) + if (arch_irn_is(node, modify_flags)) return 1; if(!be_is_Keep(node)) return 0; @@ -194,7 +190,7 @@ static int is_modify_flags(ir_node *node) { for(i = 0; i < arity; ++i) { ir_node *in = get_irn_n(node, i); in = skip_Proj(in); - if(arch_irn_is(arch_env, in, modify_flags)) + if (arch_irn_is(in, modify_flags)) return 1; } @@ -250,7 +246,7 @@ static void fix_flags_walker(ir_node *block, void *env) continue; /* spiller can't (correctly) remat flag consumers at the moment */ - assert(!arch_irn_is(arch_env, node, rematerializable)); + assert(!arch_irn_is(node, rematerializable)); if(skip_Proj(new_flags_needed) != flags_needed) { if(flags_needed != NULL) { @@ -268,7 +264,7 @@ static void fix_flags_walker(ir_node *block, void *env) } flag_consumers = node; set_irn_link(flag_consumers, NULL); - assert(arch_irn_is(arch_env, flags_needed, rematerializable)); + assert(arch_irn_is(flags_needed, rematerializable)); } else { /* link all consumers in a list */ set_irn_link(node, flag_consumers); @@ -292,7 +288,6 @@ void be_sched_fix_flags(be_irg_t *birg, const arch_register_class_t *flag_cls, { ir_graph *irg = be_get_birg_irg(birg); - arch_env = be_get_birg_arch_env(birg); flag_class = flag_cls; flags_reg = & flag_class->regs[0]; remat = remat_func;