summaryrefslogtreecommitdiffhomepage
path: root/ir/be/beverify.h
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2006-08-04 17:27:42 +0200
committerMatthias Braun <matze@braunis.de>2006-08-04 17:27:42 +0200
commiteb383da34f77e8666dc1738188618edda9b269d1 (patch)
tree103afe52be4d2d89775d69af45140a7cfb789213 /ir/be/beverify.h
parentb7af771b34822f2a278e869015d8d514863cae3e (diff)
- new spillslot verifier (doesn't catch all errors at the moment, because lifeness analysis ignores non-schedule 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 ebfb980..357f191 100644
--- a/ir/be/beverify.h
+++ b/ir/be/beverify.h
@@ -37,4 +37,12 @@ int be_verify_register_pressure(const arch_env_t *arch_env, const arch_register_
*/
int be_verify_schedule(ir_graph *irg);
+/**
+ * Verify spillslots
+ *
+ * @param irg The irg to check
+ * @return 1 if spillslots are valid, 0 otherwise
+ */
+int be_verify_spillslots(ir_graph *irg);
+
#endif /* BEVERIFY_H_ */