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