if (be_options.vrfy_option == BE_VRFY_WARN) {
be_check_dominance(irg);
- be_verify_out_edges(irg);
} else if (be_options.vrfy_option == BE_VRFY_ASSERT) {
- assert(be_verify_out_edges(irg));
assert(be_check_dominance(irg) && "Dominance verification failed");
}
if (be_options.vrfy_option == BE_VRFY_WARN) {
be_check_dominance(irg);
- be_verify_out_edges(irg);
} else if (be_options.vrfy_option == BE_VRFY_ASSERT) {
- assert(be_verify_out_edges(irg));
assert(be_check_dominance(irg) && "Dominance verification failed");
}
if (be_options.vrfy_option == BE_VRFY_WARN) {
irg_verify(irg, VRFY_ENFORCE_SSA);
be_check_dominance(irg);
- be_verify_out_edges(irg);
be_verify_schedule(birg);
be_verify_register_allocation(birg);
} else if (be_options.vrfy_option == BE_VRFY_ASSERT) {
assert(irg_verify(irg, VRFY_ENFORCE_SSA) && "irg verification failed");
- assert(be_verify_out_edges(irg) && "out edge verification failed");
assert(be_check_dominance(irg) && "Dominance verification failed");
assert(be_verify_schedule(birg) && "Schedule verification failed");
assert(be_verify_register_allocation(birg)
bitset_flip_all(bs);
be_abi_put_ignore_regs(birg->abi, cls, bs);
- return bitset_popcnt(bs);
+ return bitset_popcount(bs);
}