summaryrefslogtreecommitdiffhomepage
path: root/ir/be/beverify.h
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2006-08-12 18:17:22 +0200
committerMatthias Braun <matze@braunis.de>2006-08-12 18:17:22 +0200
commit26b5d6f7898d59686f8cb2653287f4f0a761ce2a (patch)
treef3d8f31a0dcd5e2d48a8c74036169e8c69f284df /ir/be/beverify.h
parenta152de8bb7842dd43ed0c98b02320b222f06ca87 (diff)
- New register allocation verifier
Diffstat (limited to 'ir/be/beverify.h')
-rw-r--r--ir/be/beverify.h10
1 files changed, 10 insertions, 0 deletions
diff --git a/ir/be/beverify.h b/ir/be/beverify.h
index 357f191..7e8cf81 100644
--- a/ir/be/beverify.h
+++ b/ir/be/beverify.h
@@ -45,4 +45,14 @@ int be_verify_schedule(ir_graph *irg);
*/
int be_verify_spillslots(ir_graph *irg);
+/**
+ * Verify register allocation: Checks that no 2 live nodes have the same
+ * register assigned, also checks that each scheduled node has a register
+ * assigned.
+ *
+ * @param irg The irg to check
+ * @return 1 if verify succeeded, 0 otherwise
+ */
+int be_verify_register_allocation(const arch_env_t *arch_env, ir_graph *irg);
+
#endif /* BEVERIFY_H_ */