--- /dev/null
+
+/*---------------------------------------------------------------*/
+/*--- ---*/
+/*--- This file (libvex_guest_ppc64.h) is ---*/
+/*--- Copyright (C) OpenWorks LLP. All rights reserved. ---*/
+/*--- ---*/
+/*---------------------------------------------------------------*/
+
+/*
+ This file is part of LibVEX, a library for dynamic binary
+ instrumentation and translation.
+
+ Copyright (C) 2004-2005 OpenWorks LLP. All rights reserved.
+
+ This library is made available under a dual licensing scheme.
+
+ If you link LibVEX against other code all of which is itself
+ licensed under the GNU General Public License, version 2 dated June
+ 1991 ("GPL v2"), then you may use LibVEX under the terms of the GPL
+ v2, as appearing in the file LICENSE.GPL. If the file LICENSE.GPL
+ is missing, you can obtain a copy of the GPL v2 from the Free
+ Software Foundation Inc., 51 Franklin St, Fifth Floor, Boston, MA
+ 02110-1301, USA.
+
+ For any other uses of LibVEX, you must first obtain a commercial
+ license from OpenWorks LLP. Please contact info@open-works.co.uk
+ for information about commercial licensing.
+
+ This software is provided by OpenWorks LLP "as is" and any express
+ or implied warranties, including, but not limited to, the implied
+ warranties of merchantability and fitness for a particular purpose
+ are disclaimed. In no event shall OpenWorks LLP be liable for any
+ direct, indirect, incidental, special, exemplary, or consequential
+ damages (including, but not limited to, procurement of substitute
+ goods or services; loss of use, data, or profits; or business
+ interruption) however caused and on any theory of liability,
+ whether in contract, strict liability, or tort (including
+ negligence or otherwise) arising in any way out of the use of this
+ software, even if advised of the possibility of such damage.
+
+ Neither the names of the U.S. Department of Energy nor the
+ University of California nor the names of its contributors may be
+ used to endorse or promote products derived from this software
+ without prior written permission.
+*/
+
+#ifndef __LIBVEX_PUB_GUEST_PPC64_H
+#define __LIBVEX_PUB_GUEST_PPC64_H
+
+#include "libvex_basictypes.h"
+#include "libvex_emwarn.h"
+
+/*
+ volatile == caller-saved (not preserved across function calls)
+non-volatile == callee-saved (preserved across function calls)
+
+r0 Volatile register used in function prologs
+r1 Stack frame pointer
+r2 TOC pointer
+r3 Volatile parameter and return value register
+r4-r10 Volatile registers used for function parameters
+r11 Volatile register used in calls by pointer and as an
+ environment pointer for languages which require one
+r12 Volatile register used for exception handling and glink code
+r13 Reserved for use as system thread ID
+r14-r31 Nonvolatile registers used for local variables
+
+f0 Volatile scratch register
+f1-f4 Volatile floating point parameter and return value registers
+f5-f13 Volatile floating point parameter registers
+f14-f31 Nonvolatile registers
+
+LR Link register (volatile)
+CTR Loop counter register (volatile)
+XER Fixed point exception register (volatile)
+FPSCR Floating point status and control register (volatile)
+
+CR0-CR1 Volatile condition code register fields
+CR2-CR4 Nonvolatile condition code register fields
+CR5-CR7 Volatile condition code register fields
+
+On processors with the VMX feature.
+
+v0-v1 Volatile scratch registers
+v2-v13 Volatile vector parameters registers
+v14-v19 Volatile scratch registers
+v20-v31 Non-volatile registers
+vrsave Non-volatile 32-bit register
+*/
+
+
+/*---------------------------------------------------------------*/
+/*--- Vex's representation of the PPC64 CPU state ---*/
+/*---------------------------------------------------------------*/
+
+typedef
+ struct {
+ /* General Purpose Registers */
+ /* 0 */ ULong guest_GPR0;
+ /* 8 */ ULong guest_GPR1;
+ /* 16 */ ULong guest_GPR2;
+ /* 24 */ ULong guest_GPR3;
+ /* 32 */ ULong guest_GPR4;
+ /* 40 */ ULong guest_GPR5;
+ /* 48 */ ULong guest_GPR6;
+ /* 56 */ ULong guest_GPR7;
+ /* 64 */ ULong guest_GPR8;
+ /* 72 */ ULong guest_GPR9;
+ /* 80 */ ULong guest_GPR10;
+ /* 88 */ ULong guest_GPR11;
+ /* 96 */ ULong guest_GPR12;
+ /* 104 */ ULong guest_GPR13;
+ /* 112 */ ULong guest_GPR14;
+ /* 120 */ ULong guest_GPR15;
+ /* 128 */ ULong guest_GPR16;
+ /* 136 */ ULong guest_GPR17;
+ /* 144 */ ULong guest_GPR18;
+ /* 152 */ ULong guest_GPR19;
+ /* 160 */ ULong guest_GPR20;
+ /* 168 */ ULong guest_GPR21;
+ /* 176 */ ULong guest_GPR22;
+ /* 184 */ ULong guest_GPR23;
+ /* 192 */ ULong guest_GPR24;
+ /* 200 */ ULong guest_GPR25;
+ /* 208 */ ULong guest_GPR26;
+ /* 216 */ ULong guest_GPR27;
+ /* 224 */ ULong guest_GPR28;
+ /* 232 */ ULong guest_GPR29;
+ /* 240 */ ULong guest_GPR30;
+ /* 248 */ ULong guest_GPR31;
+
+ // Floating Point Registers
+ /* 256 */ ULong guest_FPR0;
+ /* 264 */ ULong guest_FPR1;
+ /* 272 */ ULong guest_FPR2;
+ /* 280 */ ULong guest_FPR3;
+ /* 288 */ ULong guest_FPR4;
+ /* 296 */ ULong guest_FPR5;
+ /* 304 */ ULong guest_FPR6;
+ /* 312 */ ULong guest_FPR7;
+ /* 320 */ ULong guest_FPR8;
+ /* 328 */ ULong guest_FPR9;
+ /* 336 */ ULong guest_FPR10;
+ /* 344 */ ULong guest_FPR11;
+ /* 352 */ ULong guest_FPR12;
+ /* 360 */ ULong guest_FPR13;
+ /* 368 */ ULong guest_FPR14;
+ /* 376 */ ULong guest_FPR15;
+ /* 384 */ ULong guest_FPR16;
+ /* 392 */ ULong guest_FPR17;
+ /* 400 */ ULong guest_FPR18;
+ /* 408 */ ULong guest_FPR19;
+ /* 416 */ ULong guest_FPR20;
+ /* 424 */ ULong guest_FPR21;
+ /* 432 */ ULong guest_FPR22;
+ /* 440 */ ULong guest_FPR23;
+ /* 448 */ ULong guest_FPR24;
+ /* 456 */ ULong guest_FPR25;
+ /* 464 */ ULong guest_FPR26;
+ /* 472 */ ULong guest_FPR27;
+ /* 480 */ ULong guest_FPR28;
+ /* 488 */ ULong guest_FPR29;
+ /* 496 */ ULong guest_FPR30;
+ /* 504 */ ULong guest_FPR31;
+
+ // Vector Registers
+ /* 512 */ U128 guest_VR0 __attribute__ ((aligned (16)));
+ /* 528 */ U128 guest_VR1 __attribute__ ((aligned (16)));
+ /* 544 */ U128 guest_VR2 __attribute__ ((aligned (16)));
+ /* 560 */ U128 guest_VR3 __attribute__ ((aligned (16)));
+ /* 576 */ U128 guest_VR4 __attribute__ ((aligned (16)));
+ /* 592 */ U128 guest_VR5 __attribute__ ((aligned (16)));
+ /* 608 */ U128 guest_VR6 __attribute__ ((aligned (16)));
+ /* 624 */ U128 guest_VR7 __attribute__ ((aligned (16)));
+ /* 640 */ U128 guest_VR8 __attribute__ ((aligned (16)));
+ /* 656 */ U128 guest_VR9 __attribute__ ((aligned (16)));
+ /* 672 */ U128 guest_VR10 __attribute__ ((aligned (16)));
+ /* 688 */ U128 guest_VR11 __attribute__ ((aligned (16)));
+ /* 704 */ U128 guest_VR12 __attribute__ ((aligned (16)));
+ /* 720 */ U128 guest_VR13 __attribute__ ((aligned (16)));
+ /* 736 */ U128 guest_VR14 __attribute__ ((aligned (16)));
+ /* 752 */ U128 guest_VR15 __attribute__ ((aligned (16)));
+ /* 768 */ U128 guest_VR16 __attribute__ ((aligned (16)));
+ /* 784 */ U128 guest_VR17 __attribute__ ((aligned (16)));
+ /* 800 */ U128 guest_VR18 __attribute__ ((aligned (16)));
+ /* 816 */ U128 guest_VR19 __attribute__ ((aligned (16)));
+ /* 832 */ U128 guest_VR20 __attribute__ ((aligned (16)));
+ /* 848 */ U128 guest_VR21 __attribute__ ((aligned (16)));
+ /* 864 */ U128 guest_VR22 __attribute__ ((aligned (16)));
+ /* 880 */ U128 guest_VR23 __attribute__ ((aligned (16)));
+ /* 896 */ U128 guest_VR24 __attribute__ ((aligned (16)));
+ /* 912 */ U128 guest_VR25 __attribute__ ((aligned (16)));
+ /* 928 */ U128 guest_VR26 __attribute__ ((aligned (16)));
+ /* 944 */ U128 guest_VR27 __attribute__ ((aligned (16)));
+ /* 960 */ U128 guest_VR28 __attribute__ ((aligned (16)));
+ /* 976 */ U128 guest_VR29 __attribute__ ((aligned (16)));
+ /* 992 */ U128 guest_VR30 __attribute__ ((aligned (16)));
+ /* 1008 */ U128 guest_VR31 __attribute__ ((aligned (16)));
+
+ /* 1024 */ ULong guest_CIA; // IP (no arch visible register)
+ /* 1032 */ ULong guest_LR; // Link Register
+ /* 1040 */ ULong guest_CTR; // Count Register
+
+ /* XER pieces */
+ /* 1048 */ UChar guest_XER_SO; /* in lsb */
+ /* 1049 */ UChar guest_XER_OV; /* in lsb */
+ /* 1050 */ UChar guest_XER_CA; /* in lsb */
+ /* 1051 */ UChar guest_XER_BC; /* all bits */
+
+ /* CR pieces */
+ /* 1052 */ UChar guest_CR0_321; /* in [3:1] */
+ /* 1053 */ UChar guest_CR0_0; /* in lsb */
+ /* 1054 */ UChar guest_CR1_321; /* in [3:1] */
+ /* 1055 */ UChar guest_CR1_0; /* in lsb */
+ /* 1056 */ UChar guest_CR2_321; /* in [3:1] */
+ /* 1057 */ UChar guest_CR2_0; /* in lsb */
+ /* 1058 */ UChar guest_CR3_321; /* in [3:1] */
+ /* 1059 */ UChar guest_CR3_0; /* in lsb */
+ /* 1060 */ UChar guest_CR4_321; /* in [3:1] */
+ /* 1061 */ UChar guest_CR4_0; /* in lsb */
+ /* 1062 */ UChar guest_CR5_321; /* in [3:1] */
+ /* 1063 */ UChar guest_CR5_0; /* in lsb */
+ /* 1064 */ UChar guest_CR6_321; /* in [3:1] */
+ /* 1065 */ UChar guest_CR6_0; /* in lsb */
+ /* 1066 */ UChar guest_CR7_321; /* in [3:1] */
+ /* 1067 */ UChar guest_CR7_0; /* in lsb */
+
+ /* FP Status & Control Register fields */
+ /* 1068 */ UInt guest_FPROUND; // FP Rounding Mode
+
+ /* Vector Save/Restore Register */
+ /* 1072 */ UInt guest_VRSAVE;
+
+ /* Vector Status and Control Register */
+ /* 1076 */ UInt guest_VSCR;
+
+ /* Emulation warnings */
+ /* 1080 */ UInt guest_EMWARN;
+
+ /* For icbi: record start and length of area to invalidate */
+ /* 1084 */ ULong guest_TISTART;
+ /* 1092 */ ULong guest_TILEN;
+
+ /* For lwarx/stwcx.: 0 == no reservation exists, non-0 == a
+ reservation exists. */
+ /* 2000 */ ULong guest_RESVN;
+
+ /* Padding to make it have an 8-aligned size */
+ //UInt padding;
+ }
+ VexGuestPPC64State;
+
+
+/*---------------------------------------------------------------*/
+/*--- Utility functions for PPC64 guest stuff. ---*/
+/*---------------------------------------------------------------*/
+
+/* ALL THE FOLLOWING ARE VISIBLE TO LIBRARY CLIENT */
+
+/* Initialise all guest PPC64 state. */
+extern
+void LibVEX_GuestPPC64_initialise ( /*OUT*/VexGuestPPC64State* vex_state );
+
+
+/* Write the given native %CR value to the supplied VexGuestPPC64State
+ structure. Note, %CR is 32-bits even for ppc64. */
+extern
+void LibVEX_GuestPPC64_put_CR ( UInt cr_native,
+ /*OUT*/VexGuestPPC64State* vex_state );
+
+/* Extract from the supplied VexGuestPPC64State structure the
+ corresponding native %CR value. Note, %CR is 32-bits even for
+ ppc64. */
+extern
+UInt LibVEX_GuestPPC64_get_CR ( /*IN*/VexGuestPPC64State* vex_state );
+
+
+/* Write the given native %XER value to the supplied
+ VexGuestPPC64State structure. Note, %XER is 32-bits even for
+ ppc64. */
+extern
+void LibVEX_GuestPPC64_put_XER ( UInt xer_native,
+ /*OUT*/VexGuestPPC64State* vex_state );
+
+/* Extract from the supplied VexGuestPPC64State structure the
+ corresponding native %XER value. Note, %CR is 32-bits even for
+ ppc64. */
+extern
+UInt LibVEX_GuestPPC64_get_XER ( /*IN*/VexGuestPPC64State* vex_state );
+
+#endif /* ndef __LIBVEX_PUB_GUEST_PPC64_H */
+
+
+/*---------------------------------------------------------------*/
+/*--- libvex_guest_ppc64.h ---*/
+/*---------------------------------------------------------------*/
projects / thirdparty / valgrind.git / commitdiff
