dump more -assert graphs
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 7 Feb 2007 18:18:40 +0000 (18:18 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 7 Feb 2007 18:18:40 +0000 (18:18 +0000)
[r8611]

ir/ir/irvrfy.c

index 30ffea4..db449d0 100644 (file)
@@ -1900,6 +1900,7 @@ static void check_bads(ir_node *node, void *env)
             fprintf(stderr, "irg_vrfy_bads: Block %ld has Bad predecessor\n", get_irn_node_nr(node));
           }
           if (get_node_verification_mode() == FIRM_VERIFICATION_ON) {
+            dump_ir_block_graph(current_ir_graph, "-assert");
             assert(0 && "Bad CF detected");
           }
         }
@@ -1917,6 +1918,7 @@ static void check_bads(ir_node *node, void *env)
           fprintf(stderr, "irg_vrfy_bads: node %ld has Bad Block\n", get_irn_node_nr(node));
         }
         if (get_node_verification_mode() == FIRM_VERIFICATION_ON) {
+          dump_ir_block_graph(current_ir_graph, "-assert");
           assert(0 && "Bad CF detected");
         }
       }
@@ -1930,6 +1932,7 @@ static void check_bads(ir_node *node, void *env)
           fprintf(stderr, "irg_vrfy_bads: node %ld is a Tuple\n", get_irn_node_nr(node));
         }
         if (get_node_verification_mode() == FIRM_VERIFICATION_ON) {
+          dump_ir_block_graph(current_ir_graph, "-assert");
           assert(0 && "Tuple detected");
         }
       }
@@ -1950,6 +1953,7 @@ static void check_bads(ir_node *node, void *env)
               fprintf(stderr, "irg_vrfy_bads: Phi %ld has Bad Input\n", get_irn_node_nr(node));
             }
             if (get_node_verification_mode() == FIRM_VERIFICATION_ON) {
+              dump_ir_block_graph(current_ir_graph, "-assert");
               assert(0 && "Bad CF detected");
             }
           }
@@ -1963,6 +1967,7 @@ static void check_bads(ir_node *node, void *env)
             fprintf(stderr, "irg_vrfy_bads: node %ld has Bad Input\n", get_irn_node_nr(node));
           }
           if (get_node_verification_mode() == FIRM_VERIFICATION_ON) {
+            dump_ir_block_graph(current_ir_graph, "-assert");
             assert(0 && "Bad NON-CF detected");
           }
         }