projects
/
libfirm
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
avoid using mode_Iu directly
[libfirm]
/
ir
/
be
/
beverify.h
diff --git
a/ir/be/beverify.h
b/ir/be/beverify.h
index
869866f
..
180ad5a
100644
(file)
--- a/
ir/be/beverify.h
+++ b/
ir/be/beverify.h
@@
-57,7
+57,7
@@
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
/**
* Verify register allocation: Checks that no 2 live nodes have the same
@@
-70,10
+70,13
@@
int be_verify_spillslots(const arch_env_t *arch_env, ir_graph *irg);
int be_verify_register_allocation(const be_irg_t *birg);
/**
int be_verify_register_allocation(const be_irg_t *birg);
/**
- * Verify that out edges are valid
+ * Verify that out edges are valid
.
*
* @param irg The irg to check
* @param 1 if verify succeeded, 0 otherwise
*
* @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);
*/
int be_verify_out_edges(ir_graph *irg);