- BE_TIMER_PUSH(ra_timer.t_spillslots);
-
- be_coalesce_spillslots(&chordal_env);
- dump(BE_CH_DUMP_SPILLSLOTS, irg, NULL, "-spillslots", dump_ir_block_graph_sched);
-
- BE_TIMER_POP(ra_timer.t_spillslots);
-
- BE_TIMER_PUSH(ra_timer.t_verify);
- /* verify spillslots */
- if (options.vrfy_option == BE_CH_VRFY_WARN) {
- be_verify_spillslots(main_env->arch_env, irg);
- }
- else if (options.vrfy_option == BE_CH_VRFY_ASSERT) {
- assert(be_verify_spillslots(main_env->arch_env, irg) && "Spillslot verification failed");
- }
- BE_TIMER_POP(ra_timer.t_verify);
-