From f208df5b7b960f1ec89247dda2b34b5d99959201 Mon Sep 17 00:00:00 2001 From: Cyrille Bagard Date: Fri, 11 May 2018 15:21:28 +0200 Subject: Removed dead code. --- src/arch/register.h | 16 ---------------- 1 file changed, 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 */ -- cgit v0.11.2-87-g4458