* Copyright: (c) Universitaet Karlsruhe
* Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
- * Main header for the optimization reducing the copies needed for:
+ * Main header for the optimization reducing the copy costs needed for:
* - phi coalescing
* - register-constrained nodes
- *
*/
#ifndef _BECOPYOPTMAIN_H
void be_copy_opt_init(void);
void be_copy_opt(be_chordal_env_t *chordal_env);
+void be_copy_opt_verify(be_chordal_env_t *chordal_env);
#endif