| |
| /*---------------------------------------------------------------*/ |
| /*--- begin libvex_guest_arm64.h ---*/ |
| /*---------------------------------------------------------------*/ |
| |
| /* |
| This file is part of Valgrind, a dynamic binary instrumentation |
| framework. |
| |
| Copyright (C) 2013-2015 OpenWorks |
| info@open-works.net |
| |
| 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. |
| */ |
| |
| #ifndef __LIBVEX_PUB_GUEST_ARM64_H |
| #define __LIBVEX_PUB_GUEST_ARM64_H |
| |
| #include "libvex_basictypes.h" |
| |
| |
| /*---------------------------------------------------------------*/ |
| /*--- Vex's representation of the ARM64 CPU state. ---*/ |
| /*---------------------------------------------------------------*/ |
| |
| typedef |
| struct { |
| /* Event check fail addr and counter. */ |
| /* 0 */ ULong host_EvC_FAILADDR; |
| /* 8 */ UInt host_EvC_COUNTER; |
| /* 12 */ UInt pad0; |
| /* 16 */ |
| ULong guest_X0; |
| ULong guest_X1; |
| ULong guest_X2; |
| ULong guest_X3; |
| ULong guest_X4; |
| ULong guest_X5; |
| ULong guest_X6; |
| ULong guest_X7; |
| ULong guest_X8; |
| ULong guest_X9; |
| ULong guest_X10; |
| ULong guest_X11; |
| ULong guest_X12; |
| ULong guest_X13; |
| ULong guest_X14; |
| ULong guest_X15; |
| ULong guest_X16; |
| ULong guest_X17; |
| ULong guest_X18; |
| ULong guest_X19; |
| ULong guest_X20; |
| ULong guest_X21; |
| ULong guest_X22; |
| ULong guest_X23; |
| ULong guest_X24; |
| ULong guest_X25; |
| ULong guest_X26; |
| ULong guest_X27; |
| ULong guest_X28; |
| ULong guest_X29; |
| ULong guest_X30; /* link register */ |
| ULong guest_XSP; |
| ULong guest_PC; |
| |
| /* 4-word thunk used to calculate N(sign) Z(zero) C(carry, |
| unsigned overflow) and V(signed overflow) flags. */ |
| ULong guest_CC_OP; |
| ULong guest_CC_DEP1; |
| ULong guest_CC_DEP2; |
| ULong guest_CC_NDEP; |
| |
| /* User-space thread register? */ |
| ULong guest_TPIDR_EL0; |
| |
| /* FP/SIMD state */ |
| U128 guest_Q0; |
| U128 guest_Q1; |
| U128 guest_Q2; |
| U128 guest_Q3; |
| U128 guest_Q4; |
| U128 guest_Q5; |
| U128 guest_Q6; |
| U128 guest_Q7; |
| U128 guest_Q8; |
| U128 guest_Q9; |
| U128 guest_Q10; |
| U128 guest_Q11; |
| U128 guest_Q12; |
| U128 guest_Q13; |
| U128 guest_Q14; |
| U128 guest_Q15; |
| U128 guest_Q16; |
| U128 guest_Q17; |
| U128 guest_Q18; |
| U128 guest_Q19; |
| U128 guest_Q20; |
| U128 guest_Q21; |
| U128 guest_Q22; |
| U128 guest_Q23; |
| U128 guest_Q24; |
| U128 guest_Q25; |
| U128 guest_Q26; |
| U128 guest_Q27; |
| U128 guest_Q28; |
| U128 guest_Q29; |
| U128 guest_Q30; |
| U128 guest_Q31; |
| |
| /* A 128-bit value which is used to represent the FPSR.QC (sticky |
| saturation) flag, when necessary. If the value stored here |
| is zero, FPSR.QC is currently zero. If it is any other value, |
| FPSR.QC is currently one. We don't currently represent any |
| other bits of FPSR, so this is all that that is for FPSR. */ |
| U128 guest_QCFLAG; |
| |
| /* Various pseudo-regs mandated by Vex or Valgrind. */ |
| /* Emulation notes */ |
| UInt guest_EMNOTE; |
| |
| /* For clflush/clinval: record start and length of area */ |
| ULong guest_CMSTART; |
| ULong guest_CMLEN; |
| |
| /* Used to record the unredirected guest address at the start of |
| a translation whose start has been redirected. By reading |
| this pseudo-register shortly afterwards, the translation can |
| find out what the corresponding no-redirection address was. |
| Note, this is only set for wrap-style redirects, not for |
| replace-style ones. */ |
| ULong guest_NRADDR; |
| |
| /* Needed for Darwin (but mandated for all guest architectures): |
| program counter at the last syscall insn (int 0x80/81/82, |
| sysenter, syscall, svc). Used when backing up to restart a |
| syscall that has been interrupted by a signal. */ |
| ULong guest_IP_AT_SYSCALL; |
| |
| /* The complete FPCR. Default value seems to be zero. We |
| ignore all bits except 23 and 22, which are the rounding |
| mode. The guest is unconstrained in what values it can write |
| to and read from this register, but the emulation only takes |
| note of bits 23 and 22. */ |
| UInt guest_FPCR; |
| |
| /* Padding to make it have an 16-aligned size */ |
| /* UInt pad_end_0; */ |
| /* ULong pad_end_1; */ |
| } |
| VexGuestARM64State; |
| |
| |
| /*---------------------------------------------------------------*/ |
| /*--- Utility functions for ARM64 guest stuff. ---*/ |
| /*---------------------------------------------------------------*/ |
| |
| /* ALL THE FOLLOWING ARE VISIBLE TO LIBRARY CLIENT */ |
| |
| /* Initialise all guest ARM64 state. */ |
| |
| extern |
| void LibVEX_GuestARM64_initialise ( /*OUT*/VexGuestARM64State* vex_state ); |
| |
| /* Calculate the ARM64 flag state from the saved data, in the format |
| 32x0:n:z:c:v:28x0. */ |
| extern |
| ULong LibVEX_GuestARM64_get_nzcv ( /*IN*/ |
| const VexGuestARM64State* vex_state ); |
| |
| /* Calculate the ARM64 FPSR state from the saved data, in the format |
| 36x0:qc:27x0 */ |
| extern |
| ULong LibVEX_GuestARM64_get_fpsr ( /*IN*/ |
| const VexGuestARM64State* vex_state ); |
| |
| /* Set the ARM64 FPSR representation from the given FPSR value. */ |
| extern |
| void LibVEX_GuestARM64_set_fpsr ( /*MOD*/VexGuestARM64State* vex_state, |
| ULong fpsr ); |
| |
| |
| #endif /* ndef __LIBVEX_PUB_GUEST_ARM64_H */ |
| |
| |
| /*---------------------------------------------------------------*/ |
| /*--- libvex_guest_arm64.h ---*/ |
| /*---------------------------------------------------------------*/ |
