-
- BE_TIMER_PUSH(ra_timer.t_verify);
-
- /* verify spillslots */
- if (options.vrfy_option == BE_CH_VRFY_WARN) {
- be_verify_schedule(irg);
- }
- else if (options.vrfy_option == BE_CH_VRFY_ASSERT) {
- assert(be_verify_schedule(irg) && "Schedule verification failed");
- }
- BE_TIMER_POP(ra_timer.t_verify);
-