- dump(BE_CH_DUMP_SSADESTR, irg, pse->cls, "-ssadestr", dump_ir_block_graph_sched);
+ dump(BE_CH_DUMP_SSADESTR, irg, pse->cls, "-ssadestr", dump_ir_block_graph_sched);
+
+ BE_TIMER_PUSH(ra_timer.t_verify);
+ if (chordal_env->opts->vrfy_option != BE_CH_VRFY_OFF) {
+ be_ssa_destruction_check(chordal_env);
+ }
+ BE_TIMER_POP(ra_timer.t_verify);
+
+#ifdef FIRM_STATISTICS
+ if (be_stat_ev_is_active()) {
+ node_stats(birg, pse->cls, &node_stat);
+ be_stat_ev("perms_after_coal", node_stat.n_perms);
+ be_stat_ev("copies_after_coal", node_stat.n_copies);
+ be_stat_ev_pop();
+ }
+#endif /* FIRM_STATISTICS */