X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeverify.h;h=3c3093d42e57b0e583fc919a143817ade164e84a;hb=566be3ad2c354425664c7b637aa09e7143bfea1c;hp=8117f5f0d934a7d2a5c9a4701cf5d532e0bb6599;hpb=7c36344d22a7c306a4e216f135c974bdb9f6b943;p=libfirm diff --git a/ir/be/beverify.h b/ir/be/beverify.h index 8117f5f0d..3c3093d42 100644 --- a/ir/be/beverify.h +++ b/ir/be/beverify.h @@ -27,29 +27,30 @@ #ifndef FIRM_BE_BEVERIFY_H #define FIRM_BE_BEVERIFY_H +#include #include "irgraph.h" #include "beirg.h" #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,9 +65,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 - * @return 1 if verify succeeded, 0 otherwise + * @param irg The graph to check + * @return true if verify succeeded, false otherwise */ -int be_verify_register_allocation(const be_irg_t *birg); +bool be_verify_register_allocation(ir_graph *irg); #endif