Add code to handle parameters that using the value_base but are transmitted

[libfirm] / ir / be / beverify.c

diff --git a/ir/be/beverify.c b/ir/be/beverify.c
index cbf675b..24fa71b 100644 (file)
--- a/ir/be/beverify.c
+++ b/ir/be/beverify.c
@@ -11,13 +11,14 @@
 
 #include "beverify.h"
 #include "belive.h"
-#include "besched.h"
+#include "besched_t.h"
 
 #include "irnode.h"
 #include "irgraph.h"
 #include "irgwalk.h"
 #include "irprintf.h"
 #include "irdump_t.h"
+#include "benode_t.h"
 
 typedef struct be_verify_register_pressure_env_t_ {
        ir_graph                    *irg;                 /**< the irg to verify */
@@ -148,13 +149,16 @@ static void verify_schedule_walker(ir_node *block, void *data)
                        }
                        cfchange_found = 1;
                } else if (cfchange_found) {
-                       /* check for delay branches */
-                       if (delay_branches == 0) {
-                               ir_fprintf(stderr, "Verify Warning: Node %+F scheduled after control flow changing node (+delay branches) in block %+F (%s)\n",
-                                       node, block, get_irg_dump_name(env->irg));
-                               env->problem_found = 1;
-                       } else {
-                               delay_branches--;
+                       // proj and keepany aren't real instructions...
+                       if(!is_Proj(node) && !be_is_Keep(node)) {
+                               /* check for delay branches */
+                               if (delay_branches == 0) {
+                                       ir_fprintf(stderr, "Verify Warning: Node %+F scheduled after control flow changing node (+delay branches) in block %+F (%s)\n",
+                                               node, block, get_irg_dump_name(env->irg));
+                                       env->problem_found = 1;
+                               } else {
+                                       delay_branches--;
+                               }
                        }
                }
 
@@ -164,8 +168,10 @@ static void verify_schedule_walker(ir_node *block, void *data)
                                node, block, get_irg_dump_name(env->irg));
                        env->problem_found = 1;
                }
-               for(i = 0, arity = get_irn_arity(node); i < arity; ++i) {
-                       pset_insert_ptr(uses, get_irn_n(node, i));
+               if(!is_Phi(node)) {
+                       for(i = 0, arity = get_irn_arity(node); i < arity; ++i) {
+                               pset_insert_ptr(uses, get_irn_n(node, i));
+                       }
                }
        }
        del_pset(uses);