X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeverify.h;h=72ce8b65017ef674835841b596b3eaa8d4f17877;hb=7c4e33eb7648d9e1cc7efcffc8682a2f27a570a3;hp=b1668c2a8b8b80b91423357966f2b87615415268;hpb=09af833b4aa9efe8de16ed08d0005b01cd0ed69c;p=libfirm diff --git a/ir/be/beverify.h b/ir/be/beverify.h index b1668c2a8..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. * @@ -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);