blob: daa7d8741292ce9c5f0113d1638f05eadae74464 [file] [log] [blame]
njnf536bbb2005-06-13 04:21:38 +00001
2/*--------------------------------------------------------------------*/
3/*--- Machine-related stuff. pub_tool_machine.h ---*/
4/*--------------------------------------------------------------------*/
5
6/*
7 This file is part of Valgrind, a dynamic binary instrumentation
8 framework.
9
sewardj9eecbbb2010-05-03 21:37:12 +000010 Copyright (C) 2000-2010 Julian Seward
njnf536bbb2005-06-13 04:21:38 +000011 jseward@acm.org
12
13 This program is free software; you can redistribute it and/or
14 modify it under the terms of the GNU General Public License as
15 published by the Free Software Foundation; either version 2 of the
16 License, or (at your option) any later version.
17
18 This program is distributed in the hope that it will be useful, but
19 WITHOUT ANY WARRANTY; without even the implied warranty of
20 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
21 General Public License for more details.
22
23 You should have received a copy of the GNU General Public License
24 along with this program; if not, write to the Free Software
25 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
26 02111-1307, USA.
27
28 The GNU General Public License is contained in the file COPYING.
29*/
30
njn4a164d02005-06-18 18:49:40 +000031#ifndef __PUB_TOOL_MACHINE_H
32#define __PUB_TOOL_MACHINE_H
njnf536bbb2005-06-13 04:21:38 +000033
sewardjf1c91e02006-10-17 01:35:58 +000034#if defined(VGP_x86_linux)
njna5ad9ba2005-11-10 15:20:37 +000035# define VG_MIN_INSTR_SZB 1 // min length of native instruction
36# define VG_MAX_INSTR_SZB 16 // max length of native instruction
sewardj0ec07f32006-01-12 12:32:32 +000037# define VG_CLREQ_SZB 14 // length of a client request, may
njna5ad9ba2005-11-10 15:20:37 +000038 // be larger than VG_MAX_INSTR_SZB
sewardjc2812332005-12-23 23:34:51 +000039# define VG_STACK_REDZONE_SZB 0 // number of addressable bytes below %RSP
sewardj59570ff2010-01-01 11:59:33 +000040
sewardjf1c91e02006-10-17 01:35:58 +000041#elif defined(VGP_amd64_linux)
njnaf839f52005-06-23 03:27:57 +000042# define VG_MIN_INSTR_SZB 1
43# define VG_MAX_INSTR_SZB 16
sewardj0ec07f32006-01-12 12:32:32 +000044# define VG_CLREQ_SZB 19
njnaf839f52005-06-23 03:27:57 +000045# define VG_STACK_REDZONE_SZB 128
sewardj59570ff2010-01-01 11:59:33 +000046
sewardjf1c91e02006-10-17 01:35:58 +000047#elif defined(VGP_ppc32_linux)
njnaf839f52005-06-23 03:27:57 +000048# define VG_MIN_INSTR_SZB 4
49# define VG_MAX_INSTR_SZB 4
sewardjd68ac3e2006-01-20 14:31:57 +000050# define VG_CLREQ_SZB 20
njnaf839f52005-06-23 03:27:57 +000051# define VG_STACK_REDZONE_SZB 0
sewardj59570ff2010-01-01 11:59:33 +000052
sewardjf1c91e02006-10-17 01:35:58 +000053#elif defined(VGP_ppc64_linux)
sewardj2c48c7b2005-11-29 13:05:56 +000054# define VG_MIN_INSTR_SZB 4
55# define VG_MAX_INSTR_SZB 4
sewardjd68ac3e2006-01-20 14:31:57 +000056# define VG_CLREQ_SZB 20
sewardjc2812332005-12-23 23:34:51 +000057# define VG_STACK_REDZONE_SZB 288 // number of addressable bytes below R1
sewardj59570ff2010-01-01 11:59:33 +000058 // from 64-bit PowerPC ELF ABI
59 // Supplement 1.7
60
61#elif defined(VGP_arm_linux)
62# define VG_MIN_INSTR_SZB 4
63# define VG_MAX_INSTR_SZB 4
64# define VG_CLREQ_SZB 28
65# define VG_STACK_REDZONE_SZB 0
66
sewardjf1c91e02006-10-17 01:35:58 +000067#elif defined(VGP_ppc32_aix5)
68# define VG_MIN_INSTR_SZB 4
69# define VG_MAX_INSTR_SZB 4
70# define VG_CLREQ_SZB 20
71 /* The PowerOpen ABI actually says 220 bytes, but that is not an
72 8-aligned number, and frequently forces Memcheck's
73 mc_{new,die}_mem_stack_N routines into slow cases by losing
74 8-alignment of the area to be messed with. So let's just say
75 224 instead. Gdb has a similar kludge. */
76# define VG_STACK_REDZONE_SZB 224
sewardj59570ff2010-01-01 11:59:33 +000077
sewardjf1c91e02006-10-17 01:35:58 +000078#elif defined(VGP_ppc64_aix5)
79# define VG_MIN_INSTR_SZB 4
80# define VG_MAX_INSTR_SZB 4
81# define VG_CLREQ_SZB 20
82# define VG_STACK_REDZONE_SZB 288 // is this right?
sewardj59570ff2010-01-01 11:59:33 +000083
njnf76d27a2009-05-28 01:53:07 +000084#elif defined(VGP_x86_darwin)
85# define VG_MIN_INSTR_SZB 1 // min length of native instruction
86# define VG_MAX_INSTR_SZB 16 // max length of native instruction
87# define VG_CLREQ_SZB 14 // length of a client request, may
88 // be larger than VG_MAX_INSTR_SZB
89# define VG_STACK_REDZONE_SZB 0 // number of addressable bytes below %RSP
sewardj59570ff2010-01-01 11:59:33 +000090
njnf76d27a2009-05-28 01:53:07 +000091#elif defined(VGP_amd64_darwin)
92# define VG_MIN_INSTR_SZB 1
93# define VG_MAX_INSTR_SZB 16
94# define VG_CLREQ_SZB 19
95# define VG_STACK_REDZONE_SZB 128
sewardj59570ff2010-01-01 11:59:33 +000096
njnf536bbb2005-06-13 04:21:38 +000097#else
sewardjf1c91e02006-10-17 01:35:58 +000098# error Unknown platform
njnf536bbb2005-06-13 04:21:38 +000099#endif
100
101// Guest state accessors
102extern Addr VG_(get_SP) ( ThreadId tid );
103extern Addr VG_(get_IP) ( ThreadId tid );
104extern Addr VG_(get_FP) ( ThreadId tid );
sewardjacaec5f2005-08-19 16:02:59 +0000105extern Addr VG_(get_LR) ( ThreadId tid );
njnf536bbb2005-06-13 04:21:38 +0000106
107extern void VG_(set_SP) ( ThreadId tid, Addr sp );
108extern void VG_(set_IP) ( ThreadId tid, Addr ip );
109
sewardj9c606bd2008-09-18 18:12:50 +0000110// For get/set, 'area' is where the asked-for guest state will be copied
111// into/from. If shadowNo == 0, the real (non-shadow) guest state is
112// accessed. If shadowNo == 1, the first shadow area is accessed, and
113// if shadowNo == 2, the second shadow area is accessed. This gives a
114// completely general way to read/modify a thread's guest register state
115// providing you know the offsets you need.
sewardj7cf4e6b2008-05-01 20:24:26 +0000116void
117VG_(get_shadow_regs_area) ( ThreadId tid,
118 /*DST*/UChar* dst,
njnc4431bf2009-01-15 21:29:24 +0000119 /*SRC*/Int shadowNo, PtrdiffT offset, SizeT size );
sewardj7cf4e6b2008-05-01 20:24:26 +0000120void
121VG_(set_shadow_regs_area) ( ThreadId tid,
njnc4431bf2009-01-15 21:29:24 +0000122 /*DST*/Int shadowNo, PtrdiffT offset, SizeT size,
sewardj7cf4e6b2008-05-01 20:24:26 +0000123 /*SRC*/const UChar* src );
njnf536bbb2005-06-13 04:21:38 +0000124
sewardj9c606bd2008-09-18 18:12:50 +0000125// Sets the shadow values for the syscall return value register(s).
126// This is platform specific.
127void VG_(set_syscall_return_shadows) ( ThreadId tid,
128 /* shadow vals for the result */
129 UWord s1res, UWord s2res,
130 /* shadow vals for the error val */
131 UWord s1err, UWord s2err );
132
njn6ace3ea2005-06-17 03:06:27 +0000133// Apply a function 'f' to all the general purpose registers in all the
134// current threads.
135// This is very Memcheck-specific -- it's used to find the roots when
136// doing leak checking.
137extern void VG_(apply_to_GP_regs)(void (*f)(UWord val));
138
sewardjb8b79ad2008-03-03 01:35:41 +0000139// This iterator lets you inspect each live thread's stack bounds.
140// Returns False at the end. 'tid' is the iterator and you can only
141// safely change it by making calls to these functions.
142extern void VG_(thread_stack_reset_iter) ( /*OUT*/ThreadId* tid );
143extern Bool VG_(thread_stack_next) ( /*MOD*/ThreadId* tid,
144 /*OUT*/Addr* stack_min,
145 /*OUT*/Addr* stack_max );
njnb506bd82005-06-21 04:01:51 +0000146
sewardjbbec7722007-11-25 14:08:53 +0000147// Returns .client_stack_highest_word for the given thread
148extern Addr VG_(thread_get_stack_max) ( ThreadId tid );
149
bart0fb03202008-03-29 09:25:53 +0000150// Returns how many bytes have been allocated for the stack of the given thread
151extern Addr VG_(thread_get_stack_size) ( ThreadId tid );
152
sewardj53ee1fc2005-12-23 02:29:58 +0000153// Given a pointer to a function as obtained by "& functionname" in C,
154// produce a pointer to the actual entry point for the function. For
155// most platforms it's the identity function. Unfortunately, on
156// ppc64-linux it isn't (sigh).
157extern void* VG_(fnptr_to_fnentry)( void* );
158
njn4a164d02005-06-18 18:49:40 +0000159#endif // __PUB_TOOL_MACHINE_H
njnf536bbb2005-06-13 04:21:38 +0000160
161/*--------------------------------------------------------------------*/
162/*--- end ---*/
163/*--------------------------------------------------------------------*/