1 files changed, 135 insertions, 0 deletions
diff --git a/src/analysis/decomp/cmerge.c b/src/analysis/decomp/cmerge.c
new file mode 100644
index 0000000..9838531
--- /dev/null
+++ b/src/analysis/decomp/cmerge.c
@@ -0,0 +1,135 @@
+
+/* OpenIDA - Outil d'analyse de fichiers binaires
+ * cmerge.c - fusion des conditions successives
+ *
+ * Copyright (C) 2013 Cyrille Bagard
+ *
+ *  This file is part of OpenIDA.
+ *
+ *  OpenIDA is free software; you can redistribute it and/or modify
+ *  it under the terms of the GNU General Public License as published by
+ *  the Free Software Foundation; either version 3 of the License, or
+ *  (at your option) any later version.
+ *
+ *  OpenIDA is distributed in the hope that it will be useful,
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *  GNU General Public License for more details.
+ *
+ *  You should have received a copy of the GNU General Public License
+ *  along with Foobar.  If not, see <http://www.gnu.org/licenses/>.
+ */
+
+
+#include "cmerge.h"
+
+
+#include "../../decomp/expr/block.h"
+#include "../../decomp/expr/comp.h"
+#include "../../decomp/expr/cond.h"
+#include "../../decomp/instr/ite.h"
+
+
+
+/* Recherche des conditions successives pouvant être fusionnées. */
+static bool track_branch_conditions(GDecInstruction *, GDecInstruction *, DecInstrVisitFlags, void *);
+
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : instr  = instruction visitée.                                *
+*                parent = instruction parente.                                *
+*                flags  = moments des appels réalisés en retour.              *
+*                data   = adresse non utilisée ici.                           *
+*                                                                             *
+*  Description : Recherche des conditions successives pouvant être fusionnées.*
+*                                                                             *
+*  Retour      : true afin d'aller jusqu'au terme du parcours.                *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static bool track_branch_conditions(GDecInstruction *instr, GDecInstruction *parent, DecInstrVisitFlags flags, void *data)
+{
+    GDecInstruction *true_branch;           /* Branche 'vrai'              */
+    GDecInstruction *false_branch;          /* Branche 'faux'              */
+    GDecInstruction *first;                 /* Première sous-instruction   */
+    GCondExpression *sub_cond;              /* Expression conditionnelle   */
+    GCondExpression *top_cond;              /* Expression conditionnelle   */
+
+    if (!G_IS_ITE_INSTRUCTION(instr))
+        goto tbc_done;
+
+    g_ite_instruction_get_branches(G_ITE_INSTRUCTION(instr), &true_branch, &false_branch);
+    if (false_branch != NULL) goto tbc_done;
+
+    /* count(block) == 1 */
+
+    first = g_expr_block_get_item(G_EXPR_BLOCK(true_branch), 0);
+    if (!G_IS_ITE_INSTRUCTION(first)) goto tbc_done;
+
+    printf("got one!\n");
+
+    /* Récupération des informations inférieures */
+
+    sub_cond = g_ite_instruction_get_condition(G_ITE_INSTRUCTION(first));
+    g_object_ref(G_OBJECT(sub_cond));
+
+    g_ite_instruction_get_branches(G_ITE_INSTRUCTION(first), &true_branch, &false_branch);
+    if (true_branch != NULL) g_object_ref(G_OBJECT(true_branch));
+    if (false_branch != NULL) g_object_ref(G_OBJECT(false_branch));
+
+    /* Reconstitution d'une nouvelle instruction */
+
+    top_cond = g_ite_instruction_get_condition(G_ITE_INSTRUCTION(instr));
+
+    //g_cond_expression_add_condition(top_cond, sub_cond, COT_AND);
+
+    //g_ite_instruction_set_branches(G_ITE_INSTRUCTION(instr), true_branch, false_branch);
+
+
+
+
+    printf("got one!\n");
+
+    /*
+GDecExpression *g_ite_instruction_get_condition(const GITEInstruction *instr)
+
+
+
+GDecExpression *g_cond_expression_get_expression(const GCondExpression *cond)
+
+
+void g_cond_expression_set_expression(GCondExpression *cond, GDecExpression *exp)
+    */
+
+
+ tbc_done:
+
+    return true;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : instr = instructions à traiter.                              *
+*                                                                             *
+*  Description : Fusionne les conditions qui s'enchaînent.                    *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+void merge_lonely_conditions(GDecInstruction *instr)
+{
+    return;
+
+    g_dec_instruction_visit(instr, (dec_instr_visitor_cb)track_branch_conditions,
+                            DVF_EXIT, NULL);
+
+}