| /* -*- mode: C; c-basic-offset: 3; -*- */ |
| |
| /*---------------------------------------------------------------*/ |
| /*--- begin guest_s390_defs.h ---*/ |
| /*---------------------------------------------------------------*/ |
| |
| /* |
| This file is part of Valgrind, a dynamic binary instrumentation |
| framework. |
| |
| Copyright IBM Corp. 2010-2013 |
| |
| This program 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 2 of the |
| License, or (at your option) any later version. |
| |
| This program 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 this program; if not, write to the Free Software |
| Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA |
| 02110-1301, USA. |
| |
| The GNU General Public License is contained in the file COPYING. |
| */ |
| |
| /* Contributed by Florian Krohm */ |
| |
| #ifndef __VEX_GUEST_S390_DEFS_H |
| #define __VEX_GUEST_S390_DEFS_H |
| |
| #include "libvex_basictypes.h" // offsetof |
| #include "guest_generic_bb_to_IR.h" // DisResult |
| #include "libvex_guest_s390x.h" // VexGuestS390XState |
| |
| |
| /* Convert one s390 insn to IR. See the type DisOneInstrFn in |
| bb_to_IR.h. */ |
| DisResult disInstr_S390 ( IRSB* irbb, |
| Bool (*resteerOkFn) ( void*, Addr64 ), |
| Bool resteerCisOk, |
| void* callback_opaque, |
| UChar* guest_code, |
| Long delta, |
| Addr64 guest_IP, |
| VexArch guest_arch, |
| VexArchInfo* archinfo, |
| VexAbiInfo* abiinfo, |
| VexEndness host_endness, |
| Bool sigill_diag ); |
| |
| /* Used by the optimiser to specialise calls to helpers. */ |
| IRExpr* guest_s390x_spechelper ( const HChar *function_name, |
| IRExpr **args, |
| IRStmt **precedingStmts, |
| Int n_precedingStmts); |
| |
| |
| /* Describes to the optimser which part of the guest state require |
| precise memory exceptions. This is logically part of the guest |
| state description. */ |
| Bool guest_s390x_state_requires_precise_mem_exns ( Int, Int ); |
| |
| extern VexGuestLayout s390xGuest_layout; |
| |
| |
| #define S390X_GUEST_OFFSET(x) offsetof(VexGuestS390XState, x) |
| |
| /*------------------------------------------------------------*/ |
| /*--- Helper functions. ---*/ |
| /*------------------------------------------------------------*/ |
| void s390x_dirtyhelper_EX(ULong torun); |
| ULong s390x_dirtyhelper_STCK(ULong *addr); |
| ULong s390x_dirtyhelper_STCKF(ULong *addr); |
| ULong s390x_dirtyhelper_STCKE(ULong *addr); |
| ULong s390x_dirtyhelper_STFLE(VexGuestS390XState *guest_state, ULong *addr); |
| void s390x_dirtyhelper_CUxy(UChar *addr, ULong data, ULong num_bytes); |
| |
| ULong s390_do_cu12_cu14_helper1(UInt byte1, UInt etf3_and_m3_is_1); |
| ULong s390_do_cu12_helper2(UInt byte1, UInt byte2, UInt byte3, UInt byte4, |
| ULong stuff); |
| ULong s390_do_cu14_helper2(UInt byte1, UInt byte2, UInt byte3, UInt byte4, |
| ULong stuff); |
| ULong s390_do_cu21(UInt srcvalue, UInt low_surrogate); |
| ULong s390_do_cu24(UInt srcvalue, UInt low_surrogate); |
| ULong s390_do_cu41(UInt srcvalue); |
| ULong s390_do_cu42(UInt srcvalue); |
| UInt s390_do_cvb(ULong decimal); |
| ULong s390_do_cvd(ULong binary); |
| ULong s390_do_ecag(ULong op2addr); |
| UInt s390_do_pfpo(UInt gpr0); |
| |
| /* The various ways to compute the condition code. */ |
| enum { |
| S390_CC_OP_BITWISE = 0, |
| S390_CC_OP_SIGNED_COMPARE = 1, |
| S390_CC_OP_UNSIGNED_COMPARE = 2, |
| S390_CC_OP_SIGNED_ADD_32 = 3, |
| S390_CC_OP_SIGNED_ADD_64 = 4, |
| S390_CC_OP_UNSIGNED_ADD_32 = 5, |
| S390_CC_OP_UNSIGNED_ADD_64 = 6, |
| S390_CC_OP_UNSIGNED_ADDC_32 = 7, |
| S390_CC_OP_UNSIGNED_ADDC_64 = 8, |
| S390_CC_OP_SIGNED_SUB_32 = 9, |
| S390_CC_OP_SIGNED_SUB_64 = 10, |
| S390_CC_OP_UNSIGNED_SUB_32 = 11, |
| S390_CC_OP_UNSIGNED_SUB_64 = 12, |
| S390_CC_OP_UNSIGNED_SUBB_32 = 13, |
| S390_CC_OP_UNSIGNED_SUBB_64 = 14, |
| S390_CC_OP_LOAD_AND_TEST = 15, |
| S390_CC_OP_LOAD_POSITIVE_32 = 16, |
| S390_CC_OP_LOAD_POSITIVE_64 = 17, |
| S390_CC_OP_TEST_UNDER_MASK_8 = 18, |
| S390_CC_OP_TEST_UNDER_MASK_16 = 19, |
| S390_CC_OP_SHIFT_LEFT_32 = 20, |
| S390_CC_OP_SHIFT_LEFT_64 = 21, |
| S390_CC_OP_INSERT_CHAR_MASK_32 = 22, |
| S390_CC_OP_BFP_RESULT_32 = 23, |
| S390_CC_OP_BFP_RESULT_64 = 24, |
| S390_CC_OP_BFP_RESULT_128 = 25, |
| S390_CC_OP_BFP_32_TO_INT_32 = 26, |
| S390_CC_OP_BFP_64_TO_INT_32 = 27, |
| S390_CC_OP_BFP_128_TO_INT_32 = 28, |
| S390_CC_OP_BFP_32_TO_INT_64 = 29, |
| S390_CC_OP_BFP_64_TO_INT_64 = 30, |
| S390_CC_OP_BFP_128_TO_INT_64 = 31, |
| S390_CC_OP_BFP_TDC_32 = 32, |
| S390_CC_OP_BFP_TDC_64 = 33, |
| S390_CC_OP_BFP_TDC_128 = 34, |
| S390_CC_OP_SET = 35, |
| S390_CC_OP_BFP_32_TO_UINT_32 = 36, |
| S390_CC_OP_BFP_64_TO_UINT_32 = 37, |
| S390_CC_OP_BFP_128_TO_UINT_32 = 38, |
| S390_CC_OP_BFP_32_TO_UINT_64 = 39, |
| S390_CC_OP_BFP_64_TO_UINT_64 = 40, |
| S390_CC_OP_BFP_128_TO_UINT_64 = 41, |
| S390_CC_OP_DFP_RESULT_64 = 42, |
| S390_CC_OP_DFP_RESULT_128 = 43, |
| S390_CC_OP_DFP_TDC_32 = 44, |
| S390_CC_OP_DFP_TDC_64 = 45, |
| S390_CC_OP_DFP_TDC_128 = 46, |
| S390_CC_OP_DFP_TDG_32 = 47, |
| S390_CC_OP_DFP_TDG_64 = 48, |
| S390_CC_OP_DFP_TDG_128 = 49, |
| S390_CC_OP_DFP_64_TO_UINT_32 = 50, |
| S390_CC_OP_DFP_128_TO_UINT_32 = 51, |
| S390_CC_OP_DFP_64_TO_UINT_64 = 52, |
| S390_CC_OP_DFP_128_TO_UINT_64 = 53, |
| S390_CC_OP_DFP_64_TO_INT_32 = 54, |
| S390_CC_OP_DFP_128_TO_INT_32 = 55, |
| S390_CC_OP_DFP_64_TO_INT_64 = 56, |
| S390_CC_OP_DFP_128_TO_INT_64 = 57, |
| S390_CC_OP_PFPO_32 = 58, |
| S390_CC_OP_PFPO_64 = 59, |
| S390_CC_OP_PFPO_128 = 60 |
| }; |
| |
| /*------------------------------------------------------------*/ |
| /*--- Thunk layout ---*/ |
| /*------------------------------------------------------------*/ |
| |
| /* |
| Z -- value is zero extended to 32 / 64 bit |
| S -- value is sign extended to 32 / 64 bit |
| F -- a binary floating point value |
| D -- a decimal floating point value |
| |
| +--------------------------------+-----------------------+----------------------+-----------------+ |
| | op | cc_dep1 | cc_dep2 | cc_ndep | |
| +--------------------------------+-----------------------+----------------------+-----------------+ |
| | S390_CC_OP_BITWISE | Z result | | | |
| | S390_CC_OP_SIGNED_COMPARE | S 1st operand | S 2nd operand | | |
| | S390_CC_OP_UNSIGNED_COMPARE | Z 1st operand | Z 2nd operand | | |
| | S390_CC_OP_SIGNED_ADD_32 | S 1st operand | S 2nd operand | | |
| | S390_CC_OP_SIGNED_ADD_64 | S 1st operand | S 2nd operand | | |
| | S390_CC_OP_UNSIGNED_ADD_32 | Z 1st operand | Z 2nd operand | | |
| | S390_CC_OP_UNSIGNED_ADD_64 | Z 1st operand | Z 2nd operand | | |
| | S390_CC_OP_UNSIGNED_ADDC_32 | Z 1st operand | Z 2nd operand | Z carry in | |
| | S390_CC_OP_UNSIGNED_ADDC_64 | Z 1st operand | Z 2nd operand | Z carry in | |
| | S390_CC_OP_SIGNED_SUB_32 | S left operand | S right operand | | |
| | S390_CC_OP_SIGNED_SUB_64 | S left operand | S right operand | | |
| | S390_CC_OP_UNSIGNED_SUB_32 | Z left operand | Z right operand | | |
| | S390_CC_OP_UNSIGNED_SUB_64 | Z left operand | Z right operand | | |
| | S390_CC_OP_UNSIGNED_SUBB_32 | Z left operand | Z right operand | Z borrow in | |
| | S390_CC_OP_UNSIGNED_SUBB_64 | Z left operand | Z right operand | Z borrow in | |
| | S390_CC_OP_LOAD_AND_TEST | S loaded value | | | |
| | S390_CC_OP_LOAD_POSITIVE_32 | S loaded value | | | |
| | S390_CC_OP_LOAD_POSITIVE_64 | S loaded value | | | |
| | S390_CC_OP_TEST_UNDER_MASK_8 | Z tested value | Z mask | | |
| | S390_CC_OP_TEST_UNDER_MASK_16 | Z tested value | Z mask | | |
| | S390_CC_OP_SHIFT_LEFT_32 | Z value to be shifted | Z shift amount | | |
| | S390_CC_OP_SHIFT_LEFT_64 | Z value to be shifted | Z shift amount | | |
| | S390_CC_OP_INSERT_CHAR_MASK_32 | Z result | Z mask | | |
| | S390_CC_OP_BFP_RESULT_32 | F result | | | |
| | S390_CC_OP_BFP_RESULT_64 | F result | | | |
| | S390_CC_OP_BFP_RESULT_128 | F result hi 64 bits | F result low 64 bits | | |
| | S390_CC_OP_BFP_32_TO_INT_32 | F source | Z rounding mode | | |
| | S390_CC_OP_BFP_64_TO_INT_32 | F source | Z rounding mode | | |
| | S390_CC_OP_BFP_128_TO_INT_32 | F source hi 64 bits | F source low 64 bits | Z rounding mode | |
| | S390_CC_OP_BFP_32_TO_INT_64 | F source | Z rounding mode | | |
| | S390_CC_OP_BFP_64_TO_INT_64 | F source | Z rounding mode | | |
| | S390_CC_OP_BFP_128_TO_INT_64 | F source hi 64 bits | F source low 64 bits | Z rounding mode | |
| | S390_CC_OP_BFP_TDC_32 | F value | Z class | | |
| | S390_CC_OP_BFP_TDC_64 | F value | Z class | | |
| | S390_CC_OP_BFP_TDC_128 | F value hi 64 bits | F value low 64 bits | Z class | |
| | S390_CC_OP_SET | Z condition code | | | |
| | S390_CC_OP_BFP_32_TO_UINT_32 | F source | Z rounding mode | | |
| | S390_CC_OP_BFP_64_TO_UINT_32 | F source | Z rounding mode | | |
| | S390_CC_OP_BFP_128_TO_UINT_32 | F source hi 64 bits | F source low 64 bits | Z rounding mode | |
| | S390_CC_OP_BFP_32_TO_UINT_64 | F source | Z rounding mode | | |
| | S390_CC_OP_BFP_64_TO_UINT_64 | F source | Z rounding mode | | |
| | S390_CC_OP_BFP_128_TO_UINT_64 | F source hi 64 bits | F source low 64 bits | Z rounding mode | |
| | S390_CC_OP_DFP_RESULT_64 | D result | | | |
| | S390_CC_OP_DFP_RESULT_128 | D result hi 64 bits | D result low 64 bits | | |
| | S390_CC_OP_DFP_TDC_32 | D value | Z class | | |
| | S390_CC_OP_DFP_TDC_64 | D value | Z class | | |
| | S390_CC_OP_DFP_TDC_128 | D value hi 64 bits | D value low 64 bits | Z class | |
| | S390_CC_OP_DFP_TDG_32 | D value | Z group | | |
| | S390_CC_OP_DFP_TDG_64 | D value | Z group | | |
| | S390_CC_OP_DFP_TDG_128 | D value hi 64 bits | D value low 64 bits | Z group | |
| | S390_CC_OP_DFP_64_TO_UINT_32 | D source | Z rounding mode | | |
| | S390_CC_OP_DFP_128_TO_UINT_32 | D source hi 64 bits | D source low 64 bits | Z rounding mode | |
| | S390_CC_OP_DFP_64_TO_UINT_64 | D source | Z rounding mode | | |
| | S390_CC_OP_DFP_128_TO_UINT_64 | D source hi 64 bits | D source low 64 bits | Z rounding mode | |
| | S390_CC_OP_DFP_64_TO_INT_32 | D source | Z rounding mode | | |
| | S390_CC_OP_DFP_128_TO_INT_32 | D source hi 64 bits | D source low 64 bits | Z rounding mode | |
| | S390_CC_OP_DFP_64_TO_INT_64 | D source | Z rounding mode | | |
| | S390_CC_OP_DFP_128_TO_INT_64 | D source hi 64 bits | D source low 64 bits | Z rounding mode | |
| | S390_CC_OP_PFPO_32 | F|D source | Z GR0 low 32 bits | | |
| | S390_CC_OP_PFPO_64 | F|D source | Z GR0 low 32 bits | | |
| | S390_CC_OP_PFPO_128 | F|D source hi 64 bits | F|D src low 64 bits | Z GR0 low 32 bits | |
| +--------------------------------+-----------------------+----------------------+-----------------+ |
| */ |
| |
| /*------------------------------------------------------------*/ |
| /*--- Condition code helpers. ---*/ |
| /*------------------------------------------------------------*/ |
| UInt s390_calculate_cc(ULong cc_op, ULong cc_dep1, ULong cc_dep2, |
| ULong cc_ndep); |
| UInt s390_calculate_cond(ULong mask, ULong op, ULong dep1, ULong dep2, |
| ULong ndep); |
| |
| /* Size of special instruction preamble */ |
| #define S390_SPECIAL_OP_PREAMBLE_SIZE 8 |
| |
| /* Size of special instructions */ |
| #define S390_SPECIAL_OP_SIZE 2 |
| |
| /* Last target instruction for the EX helper */ |
| extern ULong last_execute_target; |
| |
| /*---------------------------------------------------------------*/ |
| /*--- end guest_s390_defs.h ---*/ |
| /*---------------------------------------------------------------*/ |
| |
| #endif /* __VEX_GUEST_S390_DEFS_H */ |
