+ DEBUG_ONLY(be_verify_schedule(birg.irg);)
+
+ be_do_stat_nodes(irg, "04 Schedule");
+
+ /* add Keeps for should_be_different constrained nodes */
+ /* beware: needs schedule due to usage of be_ssa_constr */
+ assure_constraints(&birg);
+ dump(DUMP_SCHED, irg, "-assured", dump_ir_block_graph_sched);
+
+ be_do_stat_nodes(irg, "05 Constraints");
+