if (chordal_env->opts->vrfy_option == BE_CH_VRFY_WARN) {
be_verify_schedule(birg);
be_verify_register_pressure(birg, pse->cls, irg);
- }
- else if (chordal_env->opts->vrfy_option == BE_CH_VRFY_ASSERT) {
+ } else if (chordal_env->opts->vrfy_option == BE_CH_VRFY_ASSERT) {
assert(be_verify_schedule(birg) && "Schedule verification failed");
assert(be_verify_register_pressure(birg, pse->cls, irg)
&& "Register pressure verification failed");
BE_TIMER_PUSH(t_ra_prolog);
- be_assure_dom_front(birg);
be_assure_liveness(birg);
chordal_env.obst = &obst;
} else {
post_spill_env_t *pse;
- /* the backend has it's own spiller */
+ /* the backend has its own spiller */
m = arch_env_get_n_reg_class(arch_env);
pse = alloca(m * sizeof(pse[0]));
stat_ev_if {
be_stat_ev("insns_after", count_insns(irg));
}
-
- return;
}
static be_ra_t be_ra_chordal_allocator = {