pyvex 9.2.189__cp312-cp312-win_amd64.whl

pyvex/include/libvex_guest_riscv64.h

@@ -0,0 +1,148 @@
+
+/*--------------------------------------------------------------------*/
+/*--- begin                                 libvex_guest_riscv64.h ---*/
+/*--------------------------------------------------------------------*/
+
+/*
+   This file is part of Valgrind, a dynamic binary instrumentation
+   framework.
+
+   Copyright (C) 2020-2023 Petr Pavlu
+      petr.pavlu@dagobah.cz
+
+   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, see <http://www.gnu.org/licenses/>.
+
+   The GNU General Public License is contained in the file COPYING.
+*/
+
+#ifndef __LIBVEX_PUB_GUEST_RISCV64_H
+#define __LIBVEX_PUB_GUEST_RISCV64_H
+
+#include "libvex_basictypes.h"
+
+/*------------------------------------------------------------*/
+/*--- Vex's representation of the riscv64 CPU state.       ---*/
+/*------------------------------------------------------------*/
+
+typedef struct {
+   /*   0 */ ULong host_EvC_FAILADDR;
+   /*   8 */ UInt  host_EvC_COUNTER;
+   /*  12 */ UInt  pad0;
+   /*  16 */ ULong guest_x0;
+   /*  24 */ ULong guest_x1;
+   /*  32 */ ULong guest_x2;
+   /*  40 */ ULong guest_x3;
+   /*  48 */ ULong guest_x4;
+   /*  56 */ ULong guest_x5;
+   /*  64 */ ULong guest_x6;
+   /*  72 */ ULong guest_x7;
+   /*  80 */ ULong guest_x8;
+   /*  88 */ ULong guest_x9;
+   /*  96 */ ULong guest_x10;
+   /* 104 */ ULong guest_x11;
+   /* 112 */ ULong guest_x12;
+   /* 120 */ ULong guest_x13;
+   /* 128 */ ULong guest_x14;
+   /* 136 */ ULong guest_x15;
+   /* 144 */ ULong guest_x16;
+   /* 152 */ ULong guest_x17;
+   /* 160 */ ULong guest_x18;
+   /* 168 */ ULong guest_x19;
+   /* 176 */ ULong guest_x20;
+   /* 184 */ ULong guest_x21;
+   /* 192 */ ULong guest_x22;
+   /* 200 */ ULong guest_x23;
+   /* 208 */ ULong guest_x24;
+   /* 216 */ ULong guest_x25;
+   /* 224 */ ULong guest_x26;
+   /* 232 */ ULong guest_x27;
+   /* 240 */ ULong guest_x28;
+   /* 248 */ ULong guest_x29;
+   /* 256 */ ULong guest_x30;
+   /* 264 */ ULong guest_x31;
+   /* 272 */ ULong guest_pc;
+
+   /* Floating-point state. */
+   /* 280 */ ULong guest_f0;
+   /* 288 */ ULong guest_f1;
+   /* 296 */ ULong guest_f2;
+   /* 304 */ ULong guest_f3;
+   /* 312 */ ULong guest_f4;
+   /* 320 */ ULong guest_f5;
+   /* 328 */ ULong guest_f6;
+   /* 336 */ ULong guest_f7;
+   /* 344 */ ULong guest_f8;
+   /* 352 */ ULong guest_f9;
+   /* 360 */ ULong guest_f10;
+   /* 368 */ ULong guest_f11;
+   /* 376 */ ULong guest_f12;
+   /* 384 */ ULong guest_f13;
+   /* 392 */ ULong guest_f14;
+   /* 400 */ ULong guest_f15;
+   /* 408 */ ULong guest_f16;
+   /* 416 */ ULong guest_f17;
+   /* 424 */ ULong guest_f18;
+   /* 432 */ ULong guest_f19;
+   /* 440 */ ULong guest_f20;
+   /* 448 */ ULong guest_f21;
+   /* 456 */ ULong guest_f22;
+   /* 464 */ ULong guest_f23;
+   /* 472 */ ULong guest_f24;
+   /* 480 */ ULong guest_f25;
+   /* 488 */ ULong guest_f26;
+   /* 496 */ ULong guest_f27;
+   /* 504 */ ULong guest_f28;
+   /* 512 */ ULong guest_f29;
+   /* 520 */ ULong guest_f30;
+   /* 528 */ ULong guest_f31;
+   /* 536 */ UInt  guest_fcsr;
+
+   /* Various pseudo-regs mandated by Vex or Valgrind. */
+   /* Emulation notes. */
+   /* 540 */ UInt guest_EMNOTE;
+
+   /* For clflush/clinval: record start and length of area. */
+   /* 544 */ ULong guest_CMSTART;
+   /* 552 */ 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. */
+   /* 560 */ ULong guest_NRADDR;
+
+   /* Fallback LL/SC support. */
+   /* 568 */ ULong guest_LLSC_SIZE; /* 0==no transaction, else 4 or 8. */
+   /* 576 */ ULong guest_LLSC_ADDR; /* Address of the transaction. */
+   /* 584 */ ULong guest_LLSC_DATA; /* Original value at ADDR, sign-extended. */
+
+   /* Padding to 16 bytes. */
+   /* 592 */
+} VexGuestRISCV64State;
+
+/*------------------------------------------------------------*/
+/*--- Utility functions for riscv64 guest stuff.           ---*/
+/*------------------------------------------------------------*/
+
+/* ALL THE FOLLOWING ARE VISIBLE TO LIBRARY CLIENT */
+
+/* Initialise all guest riscv64 state. */
+void LibVEX_GuestRISCV64_initialise(/*OUT*/ VexGuestRISCV64State* vex_state);
+
+#endif /* ndef __LIBVEX_PUB_GUEST_RISCV64_H */
+
+/*--------------------------------------------------------------------*/
+/*---                                       libvex_guest_riscv64.h ---*/
+/*--------------------------------------------------------------------*/

pyvex/include/libvex_guest_s390x.h

@@ -0,0 +1,201 @@
+/* -*- mode: C; c-basic-offset: 3; -*- */
+
+/*---------------------------------------------------------------*/
+/*--- begin                              libvex_guest_s390x.h ---*/
+/*---------------------------------------------------------------*/
+
+/*
+   This file is part of Valgrind, a dynamic binary instrumentation
+   framework.
+
+   Copyright IBM Corp. 2010-2017
+
+   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_S390X_H
+#define __LIBVEX_PUB_GUEST_S390X_H
+
+#include "libvex_basictypes.h"
+
+/*------------------------------------------------------------*/
+/*--- Vex's representation of the s390 CPU state.          ---*/
+/*------------------------------------------------------------*/
+
+typedef struct {
+
+/*------------------------------------------------------------*/
+/*--- ar registers                                         ---*/
+/*------------------------------------------------------------*/
+
+   /*    0 */  UInt guest_a0;
+   /*    4 */  UInt guest_a1;
+   /*    8 */  UInt guest_a2;
+   /*   12 */  UInt guest_a3;
+   /*   16 */  UInt guest_a4;
+   /*   20 */  UInt guest_a5;
+   /*   24 */  UInt guest_a6;
+   /*   28 */  UInt guest_a7;
+   /*   32 */  UInt guest_a8;
+   /*   36 */  UInt guest_a9;
+   /*   40 */  UInt guest_a10;
+   /*   44 */  UInt guest_a11;
+   /*   48 */  UInt guest_a12;
+   /*   52 */  UInt guest_a13;
+   /*   56 */  UInt guest_a14;
+   /*   60 */  UInt guest_a15;
+
+/*------------------------------------------------------------*/
+/*--- fpr & vr registers                                   ---*/
+/*------------------------------------------------------------*/
+
+   /*
+      FPRs[0-15] are mapped to the first double words of VR's[0-15].
+      According to documentation if we modify fpr1 with FP insn then the content of vr1's 64..128
+      bits is unpredictable. If we modify 64..128 of vr1 then fpr1's value is unpredictable too.
+      In our implementation writing to one half of vr doesn't affect another part but
+      apllications shouldn't rely on it.
+   */
+
+   /*   64 */  V128 guest_v0;
+   /*   80 */  V128 guest_v1;
+   /*   96 */  V128 guest_v2;
+   /*  112 */  V128 guest_v3;
+   /*  128 */  V128 guest_v4;
+   /*  144 */  V128 guest_v5;
+   /*  160 */  V128 guest_v6;
+   /*  176 */  V128 guest_v7;
+   /*  192 */  V128 guest_v8;
+   /*  208 */  V128 guest_v9;
+   /*  224 */  V128 guest_v10;
+   /*  240 */  V128 guest_v11;
+   /*  256 */  V128 guest_v12;
+   /*  272 */  V128 guest_v13;
+   /*  288 */  V128 guest_v14;
+   /*  304 */  V128 guest_v15;
+   /*  320 */  V128 guest_v16;
+   /*  336 */  V128 guest_v17;
+   /*  352 */  V128 guest_v18;
+   /*  368 */  V128 guest_v19;
+   /*  384 */  V128 guest_v20;
+   /*  400 */  V128 guest_v21;
+   /*  416 */  V128 guest_v22;
+   /*  432 */  V128 guest_v23;
+   /*  448 */  V128 guest_v24;
+   /*  464 */  V128 guest_v25;
+   /*  480 */  V128 guest_v26;
+   /*  496 */  V128 guest_v27;
+   /*  512 */  V128 guest_v28;
+   /*  528 */  V128 guest_v29;
+   /*  544 */  V128 guest_v30;
+   /*  560 */  V128 guest_v31;
+
+/*------------------------------------------------------------*/
+/*--- gpr registers                                        ---*/
+/*------------------------------------------------------------*/
+
+   /*  568 */  ULong guest_r0;
+   /*  576 */  ULong guest_r1;
+   /*  584 */  ULong guest_r2;
+   /*  592 */  ULong guest_r3;
+   /*  600 */  ULong guest_r4;
+   /*  608 */  ULong guest_r5;
+   /*  616 */  ULong guest_r6;
+   /*  624 */  ULong guest_r7;
+   /*  632 */  ULong guest_r8;
+   /*  640 */  ULong guest_r9;
+   /*  648 */  ULong guest_r10;
+   /*  656 */  ULong guest_r11;
+   /*  664 */  ULong guest_r12;
+   /*  672 */  ULong guest_r13;
+   /*  680 */  ULong guest_r14;
+   /*  688 */  ULong guest_r15;
+
+/*------------------------------------------------------------*/
+/*--- S390 miscellaneous registers                         ---*/
+/*------------------------------------------------------------*/
+
+   /*  696 */  ULong guest_counter;
+   /*  704 */  UInt guest_fpc;
+   /*  708 */  UChar unused[4]; /* 4-byte hole to get 8-byte alignment */
+   /*  712 */  ULong guest_IA;
+
+/*------------------------------------------------------------*/
+/*--- S390 pseudo registers                                ---*/
+/*------------------------------------------------------------*/
+
+   /*  720 */  ULong guest_SYSNO;
+
+/*------------------------------------------------------------*/
+/*--- 4-word thunk used to calculate the condition code    ---*/
+/*------------------------------------------------------------*/
+
+   /*  728 */  ULong guest_CC_OP;
+   /*  736 */  ULong guest_CC_DEP1;
+   /*  744 */  ULong guest_CC_DEP2;
+   /*  752 */  ULong guest_CC_NDEP;
+
+/*------------------------------------------------------------*/
+/*--- Pseudo registers. Required by all architectures      ---*/
+/*------------------------------------------------------------*/
+
+   /* See comments at bottom of libvex.h */
+   /*  760 */  ULong guest_NRADDR;
+   /*  768 */  ULong guest_CMSTART;
+   /*  776 */  ULong guest_CMLEN;
+
+   /* Used when backing up to restart a syscall that has
+      been interrupted by a signal. See also comment in
+      libvex_ir.h */
+   /*  784 */  ULong guest_IP_AT_SYSCALL;
+
+   /* Emulation notes; see comments in libvex_emnote.h */
+   /*  792 */  UInt guest_EMNOTE;
+
+   /* For translation chaining */
+   /*  796 */  UInt  host_EvC_COUNTER;
+   /*  800 */  ULong host_EvC_FAILADDR;
+
+/*------------------------------------------------------------*/
+/*--- Force alignment to 16 bytes                          ---*/
+/*------------------------------------------------------------*/
+   /*  808 */  UChar padding[0];
+
+   /*  816 */  /* This is the size of the guest state */
+} VexGuestS390XState;
+
+
+/*------------------------------------------------------------*/
+/*--- Function prototypes                                  ---*/
+/*------------------------------------------------------------*/
+
+void LibVEX_GuestS390X_initialise(VexGuestS390XState *);
+
+/*------------------------------------------------------------*/
+/*--- Dedicated registers                                  ---*/
+/*------------------------------------------------------------*/
+
+#define guest_LR guest_r14  /* Link register */
+#define guest_SP guest_r15  /* Stack pointer */
+#define guest_FP guest_r11  /* Frame pointer */
+
+/*---------------------------------------------------------------*/
+/*--- end                                libvex_guest_s390x.h ---*/
+/*---------------------------------------------------------------*/
+
+#endif /* __LIBVEX_PUB_GUEST_S390X_H */

pyvex/include/libvex_guest_tilegx.h

@@ -0,0 +1,149 @@
+
+/*---------------------------------------------------------------*/
+/*--- begin                             libvex_guest_tilegx.h ---*/
+/*---------------------------------------------------------------*/
+
+/*
+  This file is part of Valgrind, a dynamic binary instrumentation
+  framework.
+
+  Copyright (C) 2010-2015 Tilera Corp.
+
+  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., 59 Temple Place, Suite 330, Boston, MA
+  02111-1307, USA.
+
+  The GNU General Public License is contained in the file COPYING.
+*/
+
+/* Contributed by Zhi-Gang Liu <zliu at tilera dot com> */
+
+#ifndef __LIBVEX_PUB_GUEST_TILEGX_H
+#define __LIBVEX_PUB_GUEST_TILEGX_H
+
+#include "libvex_basictypes.h"
+#include "libvex_emnote.h"
+
+#undef   TILEGX_DEBUG
+
+/*---------------------------------------------------------------*/
+/*--- Vex's representation of the tilegx CPU state.           ---*/
+/*---------------------------------------------------------------*/
+
+typedef ULong ULONG;
+
+typedef
+struct {
+  /* CPU Registers */
+  /*   0   */ ULONG guest_r0;
+  /*   8   */ ULONG guest_r1;
+  /*   16  */ ULONG guest_r2;
+  /*   24  */ ULONG guest_r3;
+  /*   32  */ ULONG guest_r4;
+  /*   40  */ ULONG guest_r5;
+  /*   48  */ ULONG guest_r6;
+  /*   56  */ ULONG guest_r7;
+  /*   64  */ ULONG guest_r8;
+  /*   72  */ ULONG guest_r9;
+  /*   80  */ ULONG guest_r10;
+  /*   88  */ ULONG guest_r11;
+  /*   96  */ ULONG guest_r12;
+  /*   104 */ ULONG guest_r13;
+  /*   112 */ ULONG guest_r14;
+  /*   120 */ ULONG guest_r15;
+  /*   128 */ ULONG guest_r16;
+  /*   136 */ ULONG guest_r17;
+  /*   144 */ ULONG guest_r18;
+  /*   152 */ ULONG guest_r19;
+  /*   160 */ ULONG guest_r20;
+  /*   168 */ ULONG guest_r21;
+  /*   176 */ ULONG guest_r22;
+  /*   184 */ ULONG guest_r23;
+  /*   192 */ ULONG guest_r24;
+  /*   200 */ ULONG guest_r25;
+  /*   208 */ ULONG guest_r26;
+  /*   216 */ ULONG guest_r27;
+  /*   224 */ ULONG guest_r28;
+  /*   232 */ ULONG guest_r29;
+  /*   240 */ ULONG guest_r30;
+  /*   248 */ ULONG guest_r31;
+  /*   256 */ ULONG guest_r32;
+  /*   264 */ ULONG guest_r33;
+  /*   272 */ ULONG guest_r34;
+  /*   280 */ ULONG guest_r35;
+  /*   288 */ ULONG guest_r36;
+  /*   296 */ ULONG guest_r37;
+  /*   304 */ ULONG guest_r38;
+  /*   312 */ ULONG guest_r39;
+  /*   320 */ ULONG guest_r40;
+  /*   328 */ ULONG guest_r41;
+  /*   336 */ ULONG guest_r42;
+  /*   344 */ ULONG guest_r43;
+  /*   352 */ ULONG guest_r44;
+  /*   360 */ ULONG guest_r45;
+  /*   368 */ ULONG guest_r46;
+  /*   376 */ ULONG guest_r47;
+  /*   384 */ ULONG guest_r48;
+  /*   392 */ ULONG guest_r49;
+  /*   400 */ ULONG guest_r50;
+  /*   408 */ ULONG guest_r51;
+  /*   416 */ ULONG guest_r52; /* FP */
+  /*   424 */ ULONG guest_r53;
+  /*   432 */ ULONG guest_r54; /* SP */
+  /*   440 */ ULONG guest_r55; /* LR */
+  /*   448 */ ULONG guest_r56; /* zero */
+  /*   456 */ ULONG guest_r57; /* Reserved */
+  /*   464 */ ULONG guest_r58; /* Reserved */
+  /*   472 */ ULONG guest_r59; /* Reserved */
+  /*   480 */ ULONG guest_r60; /* Reserved */
+  /*   488 */ ULONG guest_r61; /* Reserved */
+  /*   496 */ ULONG guest_r62; /* Reserved */
+  /*   504 */ ULONG guest_r63; /* Reserved */
+  /*   512 */ ULONG guest_pc;
+  /*   520 */ ULONG guest_spare; /* Reserved */
+  /*   528 */ ULONG guest_EMNOTE;
+  /*   536 */ ULONG guest_CMSTART;
+  /*   544 */ ULONG guest_CMLEN;
+  /*   552 */ ULONG guest_NRADDR;
+  /*   560 */ ULong guest_cmpexch;
+  /*   568 */ ULong guest_zero;
+  /*   576 */ ULong guest_ex_context_0;
+  /*   584 */ ULong guest_ex_context_1;
+  /*   592 */ ULong host_EvC_FAILADDR;
+  /*   600 */ ULong host_EvC_COUNTER;
+  /*   608 */ ULong guest_COND;
+  /*   616 */ ULong PAD;
+
+} VexGuestTILEGXState;
+
+#define OFFSET_tilegx_r(_N)  (8 * (_N))
+
+/*---------------------------------------------------------------*/
+/*--- Utility functions for TILEGX guest stuff.               ---*/
+/*---------------------------------------------------------------*/
+
+/* ALL THE FOLLOWING ARE VISIBLE TO LIBRARY CLIENT */
+
+/* Initialise all guest TILEGX state. */
+
+extern
+void LibVEX_GuestTILEGX_initialise ( /*OUT*/VexGuestTILEGXState* vex_state );
+
+
+#endif /* __LIBVEX_PUB_GUEST_TILEGX_H */
+
+
+/*---------------------------------------------------------------*/
+/*---                                   libvex_guest_tilegx.h ---*/
+/*---------------------------------------------------------------*/