2 * Author: Matthias Braun
4 * Copyright: (c) Universitaet Karlsruhe
5 * License: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
11 * Various verify routines that check a scheduled graph for correctness
13 * @author Matthias Braun
18 #include "bechordal.h"
21 * Verifies, that the register pressure for a given register class doesn't exceed the limit
22 * of available registers.
24 void be_verify_register_pressure(const arch_env_t *arch_env, const arch_register_class_t* cls, ir_graph *irg);
27 * Does some sanity checks on the schedule
29 void be_verify_schedule(ir_graph *irg);