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-2017 OpenWorks LLP 11 info (at) 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 #include "libvex_basictypes.h" 43 #include "libvex_guest_ppc32.h" // VexGuestPPC32State 44 #include "libvex_guest_ppc64.h" // VexGuestPPC64State 45 #include "guest_generic_bb_to_IR.h" // DisResult 46 47 /*---------------------------------------------------------*/ 48 /*--- ppc to IR conversion ---*/ 49 /*---------------------------------------------------------*/ 50 51 /* Convert one ppc insn to IR. See the type DisOneInstrFn in 52 guest_generic_bb_to_IR.h. */ 53 extern 54 DisResult disInstr_PPC ( IRSB* irbb, 55 Bool (*resteerOkFn) ( void*, Addr ), 56 Bool resteerCisOk, 57 void* callback_opaque, 58 const UChar* guest_code, 59 Long delta, 60 Addr guest_IP, 61 VexArch guest_arch, 62 const VexArchInfo* archinfo, 63 const VexAbiInfo* abiinfo, 64 VexEndness host_endness, 65 Bool sigill_diag ); 66 67 /* Used by the optimiser to specialise calls to helpers. */ 68 extern 69 IRExpr* guest_ppc32_spechelper ( const HChar* function_name, 70 IRExpr** args, 71 IRStmt** precedingStmts, 72 Int n_precedingStmts ); 73 74 extern 75 IRExpr* guest_ppc64_spechelper ( const HChar* function_name, 76 IRExpr** args, 77 IRStmt** precedingStmts, 78 Int n_precedingStmts ); 79 80 /* Describes to the optimser which part of the guest state require 81 precise memory exceptions. This is logically part of the guest 82 state description. */ 83 extern 84 Bool guest_ppc32_state_requires_precise_mem_exns ( Int, Int, 85 VexRegisterUpdates ); 86 87 extern 88 Bool guest_ppc64_state_requires_precise_mem_exns ( Int, Int, 89 VexRegisterUpdates ); 90 91 extern 92 VexGuestLayout ppc32Guest_layout; 93 94 extern 95 VexGuestLayout ppc64Guest_layout; 96 97 98 /* FP Rounding mode - different encoding to IR */ 99 typedef 100 enum { 101 PPCrm_NEAREST = 0, 102 PPCrm_NegINF = 1, 103 PPCrm_PosINF = 2, 104 PPCrm_ZERO = 3 105 } PPCRoundingMode; 106 107 /* Floating point comparison values - different encoding to IR */ 108 typedef 109 enum { 110 PPCcr_LT = 0x8, 111 PPCcr_GT = 0x4, 112 PPCcr_EQ = 0x2, 113 PPCcr_UN = 0x1 114 } 115 PPCCmpF64Result; 116 117 /* 118 Enumeration for xer_ca/ov calculation helper functions 119 */ 120 enum { 121 /* 0 */ PPCG_FLAG_OP_ADD=0, // addc[o], addic 122 /* 1 */ PPCG_FLAG_OP_ADDE, // adde[o], addme[o], addze[o] 123 /* 2 */ PPCG_FLAG_OP_DIVW, // divwo 124 /* 3 */ PPCG_FLAG_OP_DIVWU, // divwuo 125 /* 4 */ PPCG_FLAG_OP_MULLW, // mullwo 126 /* 5 */ PPCG_FLAG_OP_NEG, // nego 127 /* 6 */ PPCG_FLAG_OP_SUBF, // subfo 128 /* 7 */ PPCG_FLAG_OP_SUBFC, // subfc[o] 129 /* 8 */ PPCG_FLAG_OP_SUBFE, // subfe[o], subfme[o], subfze[o] 130 /* 9 */ PPCG_FLAG_OP_SUBFI, // subfic 131 /* 10 */ PPCG_FLAG_OP_SRAW, // sraw 132 /* 11 */ PPCG_FLAG_OP_SRAWI, // srawi 133 /* 12 */ PPCG_FLAG_OP_SRAD, // srad 134 /* 13 */ PPCG_FLAG_OP_SRADI, // sradi 135 /* 14 */ PPCG_FLAG_OP_DIVDE, // divdeo 136 /* 15 */ PPCG_FLAG_OP_DIVWEU, // divweuo 137 /* 16 */ PPCG_FLAG_OP_DIVWE, // divweo 138 /* 17 */ PPCG_FLAG_OP_DIVDEU, // divdeuo 139 /* 18 */ PPCG_FLAG_OP_MULLD, // mulldo 140 PPCG_FLAG_OP_NUMBER 141 }; 142 143 144 /*---------------------------------------------------------*/ 145 /*--- ppc guest helpers ---*/ 146 /*---------------------------------------------------------*/ 147 148 /* --- CLEAN HELPERS --- */ 149 150 extern ULong is_BCDstring128_helper( ULong Signed, ULong hi64, ULong low64 ); 151 extern ULong increment_BCDstring32_helper( ULong Signed, 152 ULong bcd_string, ULong carry_in ); 153 extern ULong convert_to_zoned_helper( ULong src_hi, ULong src_low, 154 ULong upper_byte, 155 ULong return_upper ); 156 extern ULong convert_to_national_helper( ULong src, ULong return_upper ); 157 extern ULong convert_from_zoned_helper( ULong src_hi, ULong src_low ); 158 extern ULong convert_from_national_helper( ULong src_hi, ULong src_low ); 159 160 161 /* --- DIRTY HELPERS --- */ 162 163 extern ULong ppcg_dirtyhelper_MFTB ( void ); 164 165 extern UInt ppc32g_dirtyhelper_MFSPR_268_269 ( UInt ); 166 167 extern UInt ppc32g_dirtyhelper_MFSPR_287 ( void ); 168 169 extern void ppc32g_dirtyhelper_LVS ( VexGuestPPC32State* gst, 170 UInt vD_idx, UInt sh, 171 UInt shift_right ); 172 173 extern void ppc64g_dirtyhelper_LVS ( VexGuestPPC64State* gst, 174 UInt vD_idx, UInt sh, 175 UInt shift_right, 176 UInt endness ); 177 178 #endif /* ndef __VEX_GUEST_PPC_DEFS_H */ 179 180 /*---------------------------------------------------------------*/ 181 /*--- end guest_ppc_defs.h ---*/ 182 /*---------------------------------------------------------------*/ 183
