{
walker_t env;
irg_loopinfo_state state;
+ ir_graph *rem;
assert(get_irg_phase_state(irg) != phase_building);
assert(get_irg_pinned(irg) != op_pin_state_floats &&
if (!get_opt_reassociation() || !get_opt_constant_folding())
return;
+ rem = current_ir_graph;
+ current_ir_graph = irg;
+
/* we use dominance to detect dead blocks */
assure_doms(irg);
env.changes = 0;
env.wq = new_waitq();
- /* now we have collected enough information, optimize */
- irg_walk_graph(irg, NULL, wq_walker, &env);
- do_reassociation(&env);
+ /* disable some optimizations while reassoc is running to prevent endless loops */
+ set_reassoc_running(1);
+ {
+ /* now we have collected enough information, optimize */
+ irg_walk_graph(irg, NULL, wq_walker, &env);
+ do_reassociation(&env);
- /* reverse those rules that do not result in collapsed constants */
- irg_walk_graph(irg, NULL, reverse_rules, &env);
+ /* reverse those rules that do not result in collapsed constants */
+ irg_walk_graph(irg, NULL, reverse_rules, &env);
+ }
+ set_reassoc_running(0);
/* Handle graph state */
if (env.changes) {
}
del_waitq(env.wq);
+ current_ir_graph = rem;
} /* optimize_reassociation */
/* Sets the default reassociation operation for an ir_op_ops. */