X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeverify.h;h=3eae1b38d1a29dda5c1abbf758f7f82816ce1603;hb=03300a88ae8d61bb6c2129dcf55937f3250c1217;hp=180ad5a638b3b5d15201d5623049955a87e043fd;hpb=d8f6990b9752baa9b749a391c84dedee54875923;p=libfirm diff --git a/ir/be/beverify.h b/ir/be/beverify.h index 180ad5a63..3eae1b38d 100644 --- a/ir/be/beverify.h +++ b/ir/be/beverify.h @@ -33,23 +33,23 @@ #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. - * @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. * - * @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 *birg); +int be_verify_schedule(ir_graph *irg); /** * Verify spillslots @@ -64,20 +64,9 @@ int be_verify_spillslots(ir_graph *irg); * 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 */ -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 - * - * @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_register_allocation(ir_graph *irg); -#endif /* FIRM_BE_BEVERIFY_H */ +#endif