+/**
+ * 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 birg The birg to check
+ * @return 1 if verify succeeded, 0 otherwise
+ */
+int be_verify_register_allocation(const be_irg_t *birg);
+
+/**
+ * Verify that out edges are valid.
+ *
+ * @param irg The irg to check
+ * @param 1 if verify succeeded, 0 otherwise
+ *
+ * @note: This function requires O(|nodes|^2) memory. Too much for
+ * the Java Grande benchmark for instance!
+ */
+int be_verify_out_edges(ir_graph *irg);
+
+#endif /* FIRM_BE_BEVERIFY_H */