summaryrefslogtreecommitdiffhomepage
path: root/ir/be/beverify.h
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2006-09-03 23:29:16 +0200
committerMatthias Braun <matze@braunis.de>2006-09-03 23:29:16 +0200
commit7f4af57e60af949ed7d96fcbea767677fd0e0846 (patch)
tree9cfccb03412b5dc86bafe1a689eeb1275f23889b /ir/be/beverify.h
parentdd140fb73affc970ceb131c9098b13b3459e5c30 (diff)
verifier to check that no out edges point to dead/removed nodes
Diffstat (limited to 'ir/be/beverify.h')
-rw-r--r--ir/be/beverify.h8
1 files changed, 8 insertions, 0 deletions
diff --git a/ir/be/beverify.h b/ir/be/beverify.h
index ab007cc..cca442b 100644
--- a/ir/be/beverify.h
+++ b/ir/be/beverify.h
@@ -55,4 +55,12 @@ int be_verify_spillslots(const arch_env_t *arch_env, ir_graph *irg);
*/
int be_verify_register_allocation(const arch_env_t *arch_env, ir_graph *irg);
+/**
+ * Verify that out edges are valid
+ *
+ * @param irg The irg to check
+ * @param 1 if verify succeeded, 0 otherwise
+ */
+int be_verify_out_edges(ir_graph *irg);
+
#endif /* BEVERIFY_H_ */