X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeverify.h;h=72ce8b65017ef674835841b596b3eaa8d4f17877;hb=4d808298b72e72bd06c7466e837dd9dda4eb1070;hp=b243e5008330ef79dc262e5dad6eb29b7512aeae;hpb=39f3a8dbd0f00f90b7b12a849d1bf7b9c1329479;p=libfirm

diff --git a/ir/be/beverify.h b/ir/be/beverify.h
index b243e5008..72ce8b650 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.
  *
@@ -64,16 +64,19 @@ int be_verify_spillslots(const arch_env_t *arch_env, ir_graph *irg);
  * register assigned, also checks that each scheduled node has a register
  * assigned.
  *
- * @param irg  The irg to check
- * @return     1 if verify succeeded, 0 otherwise
+ * @param birg  The birg to check
+ * @return      1 if verify succeeded, 0 otherwise
  */
-int be_verify_register_allocation(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);