X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeverify.h;h=180ad5a638b3b5d15201d5623049955a87e043fd;hb=64723d1bd8ace74ca5f0018db8655f2a1f443532;hp=b1668c2a8b8b80b91423357966f2b87615415268;hpb=09af833b4aa9efe8de16ed08d0005b01cd0ed69c;p=libfirm

diff --git a/ir/be/beverify.h b/ir/be/beverify.h
index b1668c2a8..180ad5a63 100644
--- a/ir/be/beverify.h
+++ b/ir/be/beverify.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -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
  */
-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
@@ -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);
 
 /**
- * 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
+ *
+ * @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);