1 files changed, 1 insertions, 75 deletions
diff --git a/src/arch/arm/v7/core.c b/src/arch/arm/v7/core.c
index ee43366..a2d0e45 100644
--- a/src/arch/arm/v7/core.c
+++ b/src/arch/arm/v7/core.c
@@ -24,17 +24,6 @@
 #include "core.h"
 
 
-#include "register.h"
-#include "operands/coproc.h"
-#include "operands/estate.h"
-#include "operands/limitation.h"
-#include "operands/maccess.h"
-#include "operands/offset.h"
-#include "operands/reglist.h"
-#include "operands/rotation.h"
-#include "operands/shift.h"
-
-
 
 /******************************************************************************
 *                                                                             *
@@ -52,31 +41,7 @@ bool init_armv7_core(void)
 {
     bool result;                            /* Bilan à renvoyer            */
 
-    result = init_armv7_register_sharing();
-
-    if (result)
-        result = init_armv7_coproc_operand_sharing();
-
-    if (result)
-        result = init_armv7_endian_operand_sharing();
-
-    if (result)
-        result = init_armv7_limitation_operand_sharing();
-
-    if (result)
-        result = init_armv7_maccess_operand_sharing();
-
-    if (result)
-        result = init_armv7_offset_operand_sharing();
-
-    if (result)
-        result = init_armv7_reglist_operand_sharing();
-
-    if (result)
-        result = init_armv7_rotation_operand_sharing();
-
-    if (result)
-        result = init_armv7_shift_operand_sharing();
+    result = true;
 
     return result;
 
@@ -87,35 +52,6 @@ bool init_armv7_core(void)
 *                                                                             *
 *  Paramètres  : -                                                            *
 *                                                                             *
-*  Description : Imprime des statistiques quant aux partages dans l'archi.    *
-*                                                                             *
-*  Retour      : -                                                            *
-*                                                                             *
-*  Remarques   : -                                                            *
-*                                                                             *
-******************************************************************************/
-#ifdef DEBUG_DUMP_STATS
-void dump_armv7_share_stats(void)
-{
-    dump_armv7_register_share_stats();
-
-    dump_armv7_coproc_operand_share_stats();
-    dump_armv7_endian_operand_share_stats();
-    dump_armv7_limitation_operand_share_stats();
-    dump_armv7_maccess_operand_share_stats();
-    dump_armv7_offset_operand_share_stats();
-    dump_armv7_reglist_operand_share_stats();
-    dump_armv7_rotation_operand_share_stats();
-    dump_armv7_shift_operand_share_stats();
-
-}
-#endif
-
-
-/******************************************************************************
-*                                                                             *
-*  Paramètres  : -                                                            *
-*                                                                             *
 *  Description : Supprime les mécanismes internes de l'architecture ARMv7.    *
 *                                                                             *
 *  Retour      : -                                                            *
@@ -126,15 +62,5 @@ void dump_armv7_share_stats(void)
 
 void exit_armv7_core(void)
 {
-    exit_armv7_register_sharing();
-
-    exit_armv7_coproc_operand_sharing();
-    exit_armv7_endian_operand_sharing();
-    exit_armv7_limitation_operand_sharing();
-    exit_armv7_maccess_operand_sharing();
-    exit_armv7_offset_operand_sharing();
-    exit_armv7_reglist_operand_sharing();
-    exit_armv7_rotation_operand_sharing();
-    exit_armv7_shift_operand_sharing();
 
 }