nsz Git - libfirm/blob - ir/be/beverify.h

   1 /**
   2  * Author:      Matthias Braun
   3  * Date:                05.05.2006
   4  * Copyright:   (c) Universitaet Karlsruhe
   5  * License:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
   6  */
   7
   8 /**
   9  * @file beverify.h
  10  *
  11  * Various verify routines that check a scheduled graph for correctness
  12  *
  13  * @author Matthias Braun
  14  */
  15 #ifndef BEVERIFY_H_
  16 #define BEVERIFY_H_
  17
  18 #include "bechordal.h"
  19
  20 /**
  21  * Verifies, that the register pressure for a given register class doesn't exceed the limit
  22  * of available registers.
  23  */
  24 int be_verify_register_pressure(const arch_env_t *arch_env, const arch_register_class_t* cls, ir_graph *irg);
  25
  26 /**
  27  * Does some sanity checks on the schedule
  28  */
  29 int be_verify_schedule(ir_graph *irg);
  30
  31 #endif