remove broken-for-verifier flag

diff --git a/include/libfirm/irgraph.h b/include/libfirm/irgraph.h
index d6386ba..ccb8395 100644 (file)
--- a/include/libfirm/irgraph.h
+++ b/include/libfirm/irgraph.h
@@ -538,7 +538,6 @@ typedef enum {
        IR_GRAPH_STATE_CONSISTENT_ENTITY_USAGE   = 1U << 14,
        /** extended basic blocks have been formed and are up to date */
        IR_GRAPH_STATE_VALID_EXTENDED_BLOCKS     = 1U << 15,
        IR_GRAPH_STATE_CONSISTENT_ENTITY_USAGE   = 1U << 14,
        /** extended basic blocks have been formed and are up to date */
        IR_GRAPH_STATE_VALID_EXTENDED_BLOCKS     = 1U << 15,

-       IR_GRAPH_STATE_BROKEN_FOR_VERIFIER      = 1U << 15, /**< verifier would unecessarily complain about the graph */

 } ir_graph_state_t;
 ENUM_BITSET(ir_graph_state_t)
 
 } ir_graph_state_t;
 ENUM_BITSET(ir_graph_state_t)
 

diff --git a/ir/opt/opt_manage.c b/ir/opt/opt_manage.c
index 66ae017..7dd3510 100644 (file)
--- a/ir/opt/opt_manage.c
+++ b/ir/opt/opt_manage.c
@@ -72,8 +72,5 @@ void perform_irg_optimization(ir_graph *irg, optdesc_t *opt)
 
        remove_End_Bads_and_doublets(get_irg_end(irg));
 
 
        remove_End_Bads_and_doublets(get_irg_end(irg));
 

-       if (!(new_irg_state & IR_GRAPH_STATE_BROKEN_FOR_VERIFIER)) {
-               irg_verify(irg, VERIFY_ENFORCE_SSA);
-       }
-
+       irg_verify(irg, VERIFY_ENFORCE_SSA);

 }
 }