2 * Author: Matthias Braun
4 * Copyright: (c) Universitaet Karlsruhe
5 * License: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
12 * Various verify routines that check a scheduled graph for correctness
14 * @author Matthias Braun
19 #include "bechordal.h"
22 * Verifies, that the register pressure for a given register class doesn't exceed the limit
23 * of available registers.
25 * @param arch_env An architecture environment
26 * @param cls The register class to check
27 * @param irg The irg to check
28 * @return 1 if the pressure is valid, 0 otherwise
30 int be_verify_register_pressure(const arch_env_t *arch_env, const arch_register_class_t* cls, ir_graph *irg);
33 * Does some sanity checks on the schedule.
35 * @param irg The irg to check
36 * @return 1 if the schedule is valid, 0 otherwise
38 int be_verify_schedule(ir_graph *irg);
43 * @param irg The irg to check
44 * @return 1 if spillslots are valid, 0 otherwise
46 int be_verify_spillslots(ir_graph *irg);
48 #endif /* BEVERIFY_H_ */