From: Julian Seward <jseward@acm.org>
Date: Mon, 22 Nov 2004 16:02:34 +0000 (+0000)
Subject: Add a dummy ARM guest state include that Valgrind can be compiled
X-Git-Tag: svn/VALGRIND_3_0_1^2~755
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=186d92f18f755259afe865754beaa0319e1b51fd;p=thirdparty%2Fvalgrind.git

Add a dummy ARM guest state include that Valgrind can be compiled
against.



git-svn-id: svn://svn.valgrind.org/vex/trunk@579
---

diff --git a/VEX/Makefile b/VEX/Makefile
index c3ea4bbabb..93cfb73d25 100644
--- a/VEX/Makefile
+++ b/VEX/Makefile
@@ -2,7 +2,8 @@
 PUB_HEADERS = 	pub/libvex_basictypes.h 		\
 		pub/libvex_ir.h				\
 		pub/libvex.h				\
-		pub/libvex_guest_x86.h
+		pub/libvex_guest_x86.h			\
+		pub/libvex_guest_arm.h
 
 PRIV_HEADERS = 	priv/host-x86/hdefs.h			\
 		priv/host-generic/h_generic_regs.h	\
diff --git a/VEX/pub/libvex_guest_arm.h b/VEX/pub/libvex_guest_arm.h
new file mode 100644
index 0000000000..a9ab301994
--- /dev/null
+++ b/VEX/pub/libvex_guest_arm.h
@@ -0,0 +1,120 @@
+
+/*---------------------------------------------------------------*/
+/*---                                                         ---*/
+/*--- This file (libvex_guest_arm.h) is                       ---*/
+/*--- Copyright (c) 2004 OpenWorks LLP.  All rights reserved. ---*/
+/*---                                                         ---*/
+/*---------------------------------------------------------------*/
+
+/*
+   This file is part of LibVEX, a library for dynamic binary
+   instrumentation and translation.
+
+   Copyright (C) 2004 OpenWorks, LLP.
+
+   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; Version 2 dated June 1991 of the
+   license.
+
+   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, or liability
+   for damages.  See the GNU General Public License for more details.
+
+   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.
+
+   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.
+*/
+
+#ifndef __LIBVEX_PUB_GUEST_ARM_H
+#define __LIBVEX_PUB_GUEST_ARM_H
+
+#include "libvex_basictypes.h"
+
+/*---------------------------------------------------------------*/
+/*--- Vex's representation of the ARM CPU state.              ---*/
+/*---------------------------------------------------------------*/
+
+typedef
+   struct {
+      UInt  guest_R0;
+      UInt  guest_R1;
+      UInt  guest_R2;
+      UInt  guest_R3;
+      UInt  guest_R4;
+      UInt  guest_R5;
+      UInt  guest_R6;
+      UInt  guest_R7;
+      UInt  guest_R8;
+      UInt  guest_R9;
+      UInt  guest_R10;
+      UInt  guest_R11;
+      UInt  guest_R12;
+      UInt  guest_R13;
+      UInt  guest_R14;
+
+      UInt  guest_R15;
+
+      UInt  guest_PSW;
+
+      /* Padding to make it have an 8-aligned size */
+      /* UInt   padding; */
+   }
+   VexGuestARMState;
+
+
+
+/*---------------------------------------------------------------*/
+/*--- Utility functions for arm guest stuff.                  ---*/
+/*---------------------------------------------------------------*/
+
+#if 0
+/* ALL THE FOLLOWING ARE VISIBLE TO LIBRARY CLIENT */
+
+/* Initialise all guest x86 state.  The FPU is put in default mode. */
+extern
+void LibVEX_GuestX86_initialise ( /*OUT*/VexGuestX86State* vex_state );
+
+
+/* Convert a saved x87 FPU image (as created by fsave) and write it
+   into the supplied VexGuestX86State structure.  The non-FP parts of
+   said structure are left unchanged.  
+*/
+extern 
+void LibVEX_GuestX86_put_x87 ( /*IN*/UChar* x87_state, 
+                               /*OUT*/VexGuestX86State* vex_state );
+
+/* Extract from the supplied VexGuestX86State structure, an x87 FPU
+   image. */
+extern 
+void LibVEX_GuestX86_get_x87 ( /*IN*/VexGuestX86State* vex_state, 
+                               /*OUT*/UChar* x87_state );
+
+
+/* Given a 32-bit word containing native x86 %eflags values, set the
+   eflag-related fields in the supplied VexGuestX86State accordingly.
+   All other fields are left unchanged.  */
+
+extern
+void LibVEX_GuestX86_put_eflags ( UInt eflags_native,
+                                  /*OUT*/VexGuestX86State* vex_state );
+
+/* Extract from the supplied VexGuestX86State structure the
+   corresponding native %eflags value. */
+
+extern 
+UInt LibVEX_GuestX86_get_eflags ( /*IN*/VexGuestX86State* vex_state );
+#endif /* 0 */
+
+#endif /* ndef __LIBVEX_PUB_GUEST_ARM_H */
+
+/*---------------------------------------------------------------*/
+/*---                                      libvex_guest_arm.h ---*/
+/*---------------------------------------------------------------*/