/* OpenIDA - Outil d'analyse de fichiers binaires
 * context.c - mise en place d'un contexte de décompilation
 *
 * Copyright (C) 2010 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 "context.h"


#include <malloc.h>


#include "expr/pseudo.h"
#include "../arch/operand.h"
#include "../glibext/gnhash.h"



/* Définition d'une context décompilée (instance) */
struct _GDecContext
{
    GObject parent;                         /* A laisser en premier        */

    vmpa_t max;                             /* Première adresse à écarter  */

    GHashTable *machine;                    /* Correspondance reg./pseudo  */
    GHashTable *ssa;                        /* Remplacement des pseudos    */

    GDecInstruction **pseudos;              /* Liste des pseudos-registre  */
    size_t count;                           /* Taille de cette liste       */

};


/* Définition d'une context décompilée (classe) */
struct _GDecContextClass
{
    GObjectClass parent;                    /* A laisser en premier        */

};


/* Initialise la classe des contextes de décompilation. */
static void g_dec_context_class_init(GDecContextClass *);

/* Initialise une instance de contexte de décompilation. */
static void g_dec_context_init(GDecContext *);



/* Indique le type défini pour un contexte de décompilation. */
G_DEFINE_TYPE(GDecContext, g_dec_context, G_TYPE_OBJECT);


/******************************************************************************
*                                                                             *
*  Paramètres  : klass = classe à initialiser.                                *
*                                                                             *
*  Description : Initialise la classe des contextes de décompilation.         *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_dec_context_class_init(GDecContextClass *klass)
{

}


/******************************************************************************
*                                                                             *
*  Paramètres  : ctx = instance à initialiser.                                *
*                                                                             *
*  Description : Initialise une instance de contexte de décompilation.        *
*                                                                             *
*  Retour      : -                                                            *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

static void g_dec_context_init(GDecContext *ctx)
{
    ctx->machine = g_hash_table_new(g_constant_hash, (GEqualFunc)g_arch_operand_compare);
    ctx->ssa = g_hash_table_new(NULL, NULL);

}


/******************************************************************************
*                                                                             *
*  Paramètres  : -                                                            *
*                                                                             *
*  Description : Met en place un nouveau contexte de décompilation.           *
*                                                                             *
*  Retour      : Contexte de décompilation prêt à emploi.                     *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

GDecContext *g_dec_context_new(void)
{
    GDecContext *result;                    /* Instance à retourner        */

    result = g_object_new(G_TYPE_DEC_CONTEXT, NULL);

    return result;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : ctx = instance à consulter.                                  *
*                                                                             *
*  Description : Indique l'adresse où la décompilation n'est plus souhaitée.  *
*                                                                             *
*  Retour      : Adresse mémoire ou physique.                                 *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

vmpa_t g_dec_context_get_max_address(const GDecContext *ctx)
{
    return ctx->max;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : ctx = instance à consulter.                                  *
*                max = adresse mémoire ou physique.                           *
*                                                                             *
*  Description : Définit l'adresse où la décompilation n'est plus souhaitée.  *
*                                                                             *
*  Retour      : -                          .                                 *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

void g_dec_context_set_max_address(GDecContext *ctx, vmpa_t max)
{
    ctx->max = max;

}


/******************************************************************************
*                                                                             *
*  Paramètres  : ctx     = instance à consulter, voire mettre à jour.         *
*                operand = opérande représentant un registre quelconque.      *
*                                                                             *
*  Description : Convertit un registre machine en un pseudo-registre.         *
*                                                                             *
*  Retour      : Pseudo-registre, existant ou non, prêt à emploi.             *
*                                                                             *
*  Remarques   : -                                                            *
*                                                                             *
******************************************************************************/

GDecInstruction *g_dec_context_convert_register(GDecContext *ctx, gpointer operand)
{
    GDecInstruction *result;                /* Instance à retourner        */
    gpointer *found;                        /* Pseudo-registre trouvé      */

    found = g_hash_table_lookup(ctx->machine, operand);

    if (found != NULL) result = G_DEC_INSTRUCTION(found);
    else
    {
        result = g_pseudo_register_new();
        g_pseudo_register_set_index(G_PSEUDO_REGISTER(result), ctx->count);

        g_hash_table_insert(ctx->machine, operand, result);

        ctx->pseudos = (GDecInstruction **)realloc(ctx->pseudos,
                                                   ++ctx->count * sizeof(GDecInstruction *));
        ctx->pseudos[ctx->count - 1] = result;

    }

    return result;

}