+ *
+ * @param birg The backend IRG.
+ * @param cls The register class to check.
+ * @param irg The irg to check.
+ * @return 1 if the pressure is valid, 0 otherwise.
+ */
+int be_verify_register_pressure(const be_irg_t *birg, const arch_register_class_t* cls, ir_graph *irg);
+
+/**
+ * Does some sanity checks on the schedule.
+ *
+ * @param irg The irg to check
+ * @return 1 if the schedule is valid, 0 otherwise
+ */
+int be_verify_schedule(ir_graph *irg);
+
+/**
+ * Verify spillslots
+ *
+ * @param irg The irg to check
+ * @return 1 if spillslots are valid, 0 otherwise