projects
/
libfirm
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
backend: ProjT/Start is an anchor and explicitely transformed
[libfirm]
/
ir
/
be
/
beverify.h
diff --git
a/ir/be/beverify.h
b/ir/be/beverify.h
index
869866f
..
3eae1b3
100644
(file)
--- a/
ir/be/beverify.h
+++ b/
ir/be/beverify.h
@@
-33,23
+33,23
@@
#include "bearch.h"
/**
#include "bearch.h"
/**
- * Verifies, that the register pressure for a given register class doesn't
exceed the limit
- * of available registers.
+ * Verifies, that the register pressure for a given register class doesn't
+ *
exceed the limit
of available registers.
*
*
- * @param birg The backend IRG.
- * @param cls The register class to check.
* @param irg The irg to check.
* @param irg The irg to check.
- * @return 1 if the pressure is valid, 0 otherwise.
+ * @param cls The register class 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);
+int be_verify_register_pressure(ir_graph *irg,
+ const arch_register_class_t* cls);
/**
* Does some sanity checks on the schedule.
*
/**
* Does some sanity checks on the schedule.
*
- * @param irg The irg to check
- * @return
1 if the schedule is valid, 0 otherwise
+ * @param irg
The irg to check
+ * @return 1 if the schedule is valid, 0 otherwise
*/
*/
-int be_verify_schedule(
const be_irg_t *b
irg);
+int be_verify_schedule(
ir_graph *
irg);
/**
* Verify spillslots
/**
* Verify spillslots
@@
-57,24
+57,16
@@
int be_verify_schedule(const be_irg_t *birg);
* @param irg The irg to check
* @return 1 if spillslots are valid, 0 otherwise
*/
* @param irg The irg to check
* @return 1 if spillslots are valid, 0 otherwise
*/
-int be_verify_spillslots(
const arch_env_t *arch_env,
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.
*
/**
* 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
+ * @param
irg The graph
to check
* @return 1 if verify succeeded, 0 otherwise
*/
* @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
- */
-int be_verify_out_edges(ir_graph *irg);
+int be_verify_register_allocation(ir_graph *irg);
-#endif
/* FIRM_BE_BEVERIFY_H */
+#endif