diff options
| -rw-r--r-- | src/arch/register.h | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/src/arch/register.h b/src/arch/register.h index cb3dbe4..f38698a 100644 --- a/src/arch/register.h +++ b/src/arch/register.h @@ -108,20 +108,4 @@ bool g_register_operand_is_written(const GRegisterOperand *); -/* -------------------------- PARTAGES DE CONTENUS UNIQUES -------------------------- */ - - -/* Met en place les mécanismes de partage des registres. */ -bool init_register_operand_sharing(void); - -/* Imprime des statistiques quant aux partages dans l'archi. */ -#ifdef DEBUG_DUMP_STATS -void dump_register_operand_share_stats(void); -#endif - -/* Supprime les mécanismes de partage des opérandes de registre. */ -void exit_register_operand_sharing(void); - - - #endif /* _ARCH_ARCH_REGISTER_H */ |