/* Chrysalide - Outil d'analyse de fichiers binaires
 * pseudo.h - prototypes pour l'implémentation des pseudo-fonctions de spécification
 *
 * Copyright (C) 2014 Cyrille Bagard
 *
 *  This file is part of Chrysalide.
 *
 *  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/>.
 */


#ifndef _ARCH_ARM_V7_PSEUDO_H
#define _ARCH_ARM_V7_PSEUDO_H


#include <stdbool.h>
#include <stdint.h>



/**
 * § A2.2.1 - Integer arithmetic
 */


/* Traduit la fonction 'LSL_C'. */
uint32_t armv7_lsl_c(uint32_t, unsigned int, unsigned int, bool *);

/* Traduit la fonction 'LSL'. */
uint32_t armv7_lsl(uint32_t, unsigned int, unsigned int);

/* Traduit la fonction 'LSR_C'. */
uint32_t armv7_lsr_c(uint32_t, unsigned int, unsigned int, bool *);

/* Traduit la fonction 'LSR'. */
uint32_t armv7_lsr(uint32_t, unsigned int, unsigned int);

/* Traduit la fonction 'ASR_C'. */
uint32_t armv7_asr_c(uint32_t, unsigned int, unsigned int, bool *);

/* Traduit la fonction 'ASR'. */
uint32_t armv7_asr(uint32_t, unsigned int, unsigned int);

/* Traduit la fonction 'ROR_C'. */
uint32_t armv7_ror_c(uint32_t, unsigned int, unsigned int, bool *);

/* Traduit la fonction 'ROR'. */
uint32_t armv7_ror(uint32_t, unsigned int, unsigned int);

/* Traduit la fonction 'RRX_C'. */
uint32_t armv7_rrx_c(uint32_t, unsigned int, bool *);

/* Traduit la fonction 'RRX'. */
uint32_t armv7_rrx(uint32_t, unsigned int, bool);



/**
 * § A5.2.4 - Modified immediate constants in ARM instructions
 */


/* Traduit la fonction 'ARMExpandImm_C'. */
uint32_t armv7_arm_expand_imm_c(uint32_t, bool *);

/* Traduit la fonction 'ARMExpandImm'. */
uint32_t armv7_arm_expand_imm(uint32_t);



/**
 * § A8.4.3 - Pseudocode details of instruction-specified shifts and rotates
 */


typedef enum _SRType
{
    SRType_LSL,
    SRType_LSR,
    SRType_ASR,
    SRType_ROR,
    SRType_RRX

} SRType;


/* Traduit la fonction 'Shift_C'. */
uint32_t armv7_shift_c(uint32_t, unsigned int, SRType, unsigned int, bool *);

/* Traduit la fonction 'Shift'. */
uint32_t armv7_shift(uint32_t, unsigned int, SRType, unsigned int, bool);



/**
 * § P.5.3 - Bitstring manipulation
 */


/* Traduit la fonction 'ZeroExtend'. */
uint32_t armv7_zero_extend(uint32_t, unsigned int, unsigned int);



#endif  /* _ARCH_ARM_V7_PSEUDO_H */