l4/pkg/valgrind/src/valgrind-3.6.0-svn/VEX/priv/guest_ppc_defs.h

   1
   2 /*---------------------------------------------------------------*/
   3 /*--- begin                                  guest_ppc_defs.h ---*/
   4 /*---------------------------------------------------------------*/
   5
   6 /*
   7    This file is part of Valgrind, a dynamic binary instrumentation
   8    framework.
   9
  10    Copyright (C) 2004-2010 OpenWorks LLP
  11       info@open-works.net
  12
  13    This program is free software; you can redistribute it and/or
  14    modify it under the terms of the GNU General Public License as
  15    published by the Free Software Foundation; either version 2 of the
  16    License, or (at your option) any later version.
  17
  18    This program is distributed in the hope that it will be useful, but
  19    WITHOUT ANY WARRANTY; without even the implied warranty of
  20    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  21    General Public License for more details.
  22
  23    You should have received a copy of the GNU General Public License
  24    along with this program; if not, write to the Free Software
  25    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  26    02110-1301, USA.
  27
  28    The GNU General Public License is contained in the file COPYING.
  29
  30    Neither the names of the U.S. Department of Energy nor the
  31    University of California nor the names of its contributors may be
  32    used to endorse or promote products derived from this software
  33    without prior written permission.
  34 */
  35
  36 /* Only to be used within the guest-ppc directory. */
  37
  38
  39 #ifndef __VEX_GUEST_PPC_DEFS_H
  40 #define __VEX_GUEST_PPC_DEFS_H
  41
  42
  43 /*---------------------------------------------------------*/
  44 /*--- ppc to IR conversion                              ---*/
  45 /*---------------------------------------------------------*/
  46
  47 /* Convert one ppc insn to IR.  See the type DisOneInstrFn in
  48    bb_to_IR.h. */
  49 extern
  50 DisResult disInstr_PPC ( IRSB*        irbb,
  51                          Bool         put_IP,
  52                          Bool         (*resteerOkFn) ( void*, Addr64 ),
  53                          Bool         resteerCisOk,
  54                          void*        callback_opaque,
  55                          UChar*       guest_code,
  56                          Long         delta,
  57                          Addr64       guest_IP,
  58                          VexArch      guest_arch,
  59                          VexArchInfo* archinfo,
  60                          VexAbiInfo*  abiinfo,
  61                          Bool         host_bigendian );
  62
  63 /* Used by the optimiser to specialise calls to helpers. */
  64 extern
  65 IRExpr* guest_ppc32_spechelper ( HChar*   function_name,
  66                                  IRExpr** args,
  67                                  IRStmt** precedingStmts,
  68                                  Int      n_precedingStmts );
  69
  70 extern
  71 IRExpr* guest_ppc64_spechelper ( HChar*   function_name,
  72                                  IRExpr** args,
  73                                  IRStmt** precedingStmts,
  74                                  Int      n_precedingStmts );
  75
  76 /* Describes to the optimser which part of the guest state require
  77    precise memory exceptions.  This is logically part of the guest
  78    state description. */
  79 extern
  80 Bool guest_ppc32_state_requires_precise_mem_exns ( Int, Int );
  81
  82 extern
  83 Bool guest_ppc64_state_requires_precise_mem_exns ( Int, Int );
  84
  85 extern
  86 VexGuestLayout ppc32Guest_layout;
  87
  88 extern
  89 VexGuestLayout ppc64Guest_layout;
  90
  91
  92 /* FP Rounding mode - different encoding to IR */
  93 typedef
  94    enum {
  95       PPCrm_NEAREST = 0,
  96       PPCrm_NegINF  = 1,
  97       PPCrm_PosINF  = 2,
  98       PPCrm_ZERO    = 3
  99    } PPCRoundingMode;
 100
 101 /* Floating point comparison values - different encoding to IR */
 102 typedef
 103    enum {
 104       PPCcr_LT = 0x8,
 105       PPCcr_GT = 0x4,
 106       PPCcr_EQ = 0x2,
 107       PPCcr_UN = 0x1
 108    }
 109    PPCCmpF64Result;
 110
 111 /*
 112   Enumeration for xer_ca/ov calculation helper functions
 113 */
 114 enum {
 115    /* 0  */ PPCG_FLAG_OP_ADD=0,   // addc[o], addic
 116    /* 1  */ PPCG_FLAG_OP_ADDE,    // adde[o], addme[o], addze[o]
 117    /* 2  */ PPCG_FLAG_OP_DIVW,    // divwo
 118    /* 3  */ PPCG_FLAG_OP_DIVWU,   // divwuo
 119    /* 4  */ PPCG_FLAG_OP_MULLW,   // mullwo
 120    /* 5  */ PPCG_FLAG_OP_NEG,     // nego
 121    /* 6  */ PPCG_FLAG_OP_SUBF,    // subfo
 122    /* 7  */ PPCG_FLAG_OP_SUBFC,   // subfc[o]
 123    /* 8  */ PPCG_FLAG_OP_SUBFE,   // subfe[o], subfme[o], subfze[o]
 124    /* 9  */ PPCG_FLAG_OP_SUBFI,   // subfic
 125    /* 10 */ PPCG_FLAG_OP_SRAW,    // sraw
 126    /* 11 */ PPCG_FLAG_OP_SRAWI,   // srawi
 127    /* 12 */ PPCG_FLAG_OP_SRAD,    // srad
 128    /* 13 */ PPCG_FLAG_OP_SRADI,   // sradi
 129    PPCG_FLAG_OP_NUMBER
 130 };
 131
 132
 133 /*---------------------------------------------------------*/
 134 /*--- ppc guest helpers                                 ---*/
 135 /*---------------------------------------------------------*/
 136
 137 /* --- CLEAN HELPERS --- */
 138
 139 /* none, right now */
 140
 141 /* --- DIRTY HELPERS --- */
 142
 143 extern ULong ppcg_dirtyhelper_MFTB ( void );
 144
 145 extern UInt ppc32g_dirtyhelper_MFSPR_268_269 ( UInt );
 146
 147 extern UInt ppc32g_dirtyhelper_MFSPR_287 ( void );
 148
 149 extern void ppc32g_dirtyhelper_LVS ( VexGuestPPC32State* gst,
 150                                      UInt vD_idx, UInt sh,
 151                                      UInt shift_right );
 152
 153 extern void ppc64g_dirtyhelper_LVS ( VexGuestPPC64State* gst,
 154                                      UInt vD_idx, UInt sh,
 155                                      UInt shift_right );
 156
 157 #endif /* ndef __VEX_GUEST_PPC_DEFS_H */
 158
 159 /*---------------------------------------------------------------*/
 160 /*--- end                                    guest_ppc_defs.h ---*/
 161 /*---------------------------------------------------------------*/