- if (be_options.verify_option == BE_VERIFY_WARN) {
- be_check_dominance(irg);
- } else if (be_options.verify_option == BE_VERIFY_ASSERT) {
- assert(be_check_dominance(irg) && "Dominance verification failed");
- }
-
- be_timer_push(T_EXECFREQ);
- /**
- * Create execution frequencies from profile data or estimate some
- */
- if (ir_profile_has_data())
- birg->exec_freq = ir_create_execfreqs_from_profile(irg);
- else {
- /* TODO: edges are corrupt for EDGE_KIND_BLOCK after the local
- * optimize graph phase merges blocks in the x86 backend */
- edges_deactivate(irg);
- birg->exec_freq = compute_execfreq(irg, 10);
- }
- be_timer_pop(T_EXECFREQ);
-