X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firvrfy.c;h=74e0ee785a55dd068de95e841ee7bc965fca1cc3;hb=5f8ddee6b08c8040c0a304a347d65045c1141d52;hp=e2d3074b0937b7c479f3b532818bc72c227c46b2;hpb=fb4e09c319ad22eb4623c289236a1511572756e2;p=libfirm

diff --git a/ir/ir/irvrfy.c b/ir/ir/irvrfy.c
index e2d3074b0..74e0ee785 100644
--- a/ir/ir/irvrfy.c
+++ b/ir/ir/irvrfy.c
@@ -3,14 +3,15 @@
 **
 ** Authors: Christian Schaefer
 **
-**
+x**
 */
 
+# include "irgraph_t.h"
 # include "irvrfy.h"
 # include "irgwalk.h"
 
 void
-ir_vrfy (ir_node *n)
+irn_vrfy (ir_node *n)
 {
   int i;
   int opcode;
@@ -25,9 +26,6 @@ ir_vrfy (ir_node *n)
   mymode = get_irn_mode (n);
   in = get_irn_in (n);
 
-//  IR_OP_VRFY (opcode);
-//  IR_MODE_VRFY (mymode);
-
   switch (opcode) {
 
   case iro_Start:
@@ -265,7 +263,8 @@ ir_vrfy (ir_node *n)
            /* Phi: BB x dataM^n --> dataM */
     /* for some reason "<=" aborts. Is there a problem with get_store? */
     for (i=1; i < get_irn_arity(n); i++) {
-      assert ( get_irn_mode(in[i]) == mymode );
+      if (!is_Bad(in[i]))
+	assert ( get_irn_mode(in[i]) == mymode );
     };
     assert ( mode_is_dataM(mymode) );
     break;
@@ -326,11 +325,11 @@ ir_vrfy (ir_node *n)
 
 void
 vrfy_wrap (ir_node *node, void *env) {
-  ir_vrfy(node);
+  irn_vrfy(node);
 }
 
 void
-vrfy_graph (ir_graph *irg)
+irg_vrfy (ir_graph *irg)
 {
   irg_walk(irg->end, vrfy_wrap, NULL, NULL);
 }