blob: a36b67d422305c20c344a8ac55fd3df4a7dccee9 [file] [log] [blame]
sewardjde4a1d02002-03-22 01:27:54 +00001
2/*--------------------------------------------------------------------*/
njn25e49d8e72002-09-23 09:36:25 +00003/*--- A header file for all private parts of Valgrind's core. ---*/
sewardjde4a1d02002-03-22 01:27:54 +00004/*--- Include no other! ---*/
5/*--- vg_include.h ---*/
6/*--------------------------------------------------------------------*/
7
8/*
njnc9539842002-10-02 13:26:35 +00009 This file is part of Valgrind, an extensible x86 protected-mode
10 emulator for monitoring program execution on x86-Unixes.
sewardjde4a1d02002-03-22 01:27:54 +000011
12 Copyright (C) 2000-2002 Julian Seward
13 jseward@acm.org
sewardjde4a1d02002-03-22 01:27:54 +000014
15 This program is free software; you can redistribute it and/or
16 modify it under the terms of the GNU General Public License as
17 published by the Free Software Foundation; either version 2 of the
18 License, or (at your option) any later version.
19
20 This program is distributed in the hope that it will be useful, but
21 WITHOUT ANY WARRANTY; without even the implied warranty of
22 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
23 General Public License for more details.
24
25 You should have received a copy of the GNU General Public License
26 along with this program; if not, write to the Free Software
27 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
28 02111-1307, USA.
29
njn25e49d8e72002-09-23 09:36:25 +000030 The GNU General Public License is contained in the file COPYING.
sewardjde4a1d02002-03-22 01:27:54 +000031*/
32
33#ifndef __VG_INCLUDE_H
34#define __VG_INCLUDE_H
35
sewardjde4a1d02002-03-22 01:27:54 +000036/* ---------------------------------------------------------------------
sewardj2d94c112002-06-03 01:25:54 +000037 Where to send bug reports to.
38 ------------------------------------------------------------------ */
39
40#define VG_EMAIL_ADDR "jseward@acm.org"
41
42
43/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +000044 Build options and table sizes. You should be able to change these
45 options or sizes, recompile, and still have a working system.
46 ------------------------------------------------------------------ */
47
48#include "vg_constants.h"
49
sewardj4cf05692002-10-27 20:28:29 +000050/* All stuff visible to core and skins goes in vg_skin.h. Things
51 * visible to core but not visible to any skins should go in this
52 * file, vg_include.h. */
njn25e49d8e72002-09-23 09:36:25 +000053#include "vg_skin.h"
sewardjde4a1d02002-03-22 01:27:54 +000054
55/* Total number of spill slots available for allocation, if a TempReg
56 doesn't make it into a RealReg. Just bomb the entire system if
57 this value is too small; we don't expect it will ever get
58 particularly high. */
59#define VG_MAX_SPILLSLOTS 24
60
61
62/* Constants for the slow translation lookup cache. */
63#define VG_TRANSTAB_SLOW_BITS 11
64#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
65#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
66
67/* Size of a buffer used for creating messages. */
68#define M_VG_MSGBUF 10000
69
70/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +000071#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +000072
73/* Max length of pathname to a .so/executable file. */
74#define M_VG_LIBNAMESTR 100
75
76/* Max length of a text fragment used to construct error messages. */
77#define M_VG_ERRTXT 512
78
79/* Max length of the string copied from env var VG_ARGS at startup. */
80#define M_VG_CMDLINE_STRLEN 1000
81
82/* Max number of options for Valgrind which we can handle. */
83#define M_VG_CMDLINE_OPTS 100
84
85/* After this many different unsuppressed errors have been observed,
86 be more conservative about collecting new ones. */
87#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
88
89/* After this many different unsuppressed errors have been observed,
90 stop collecting errors at all, and tell the user their program is
91 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +000092#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +000093
94/* After this many total errors have been observed, stop collecting
95 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +000096#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +000097
sewardjde4a1d02002-03-22 01:27:54 +000098/* The maximum number of calls we're prepared to save in a
99 backtrace. */
100#define VG_DEEPEST_BACKTRACE 50
101
102/* Number of lists in which we keep track of malloc'd but not free'd
103 blocks. Should be prime. */
104#define VG_N_MALLOCLISTS 997
105
106/* Number of lists in which we keep track of ExeContexts. Should be
107 prime. */
108#define VG_N_EC_LISTS /*997*/ 4999
109
sewardj2e93c502002-04-12 11:12:52 +0000110/* Defines the thread-scheduling timeslice, in terms of the number of
111 basic blocks we attempt to run each thread for. Smaller values
112 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000113#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000114
sewardj2e93c502002-04-12 11:12:52 +0000115/* Number of file descriptors that can simultaneously be waited on for
116 I/O to complete. Perhaps this should be the same as VG_N_THREADS
117 (surely a thread can't wait on more than one fd at once?. Who
118 knows.) */
119#define VG_N_WAITING_FDS 10
120
sewardjbf290b92002-05-01 02:28:01 +0000121/* Stack size for a thread. We try and check that they do not go
122 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000123#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000124
sewardj20917d82002-05-28 01:36:45 +0000125/* Number of entries in the semaphore-remapping table. */
126#define VG_N_SEMAPHORES 50
127
128/* Number of entries in the rwlock-remapping table. */
sewardj89745a52002-09-27 01:04:29 +0000129#define VG_N_RWLOCKS 500
sewardj20917d82002-05-28 01:36:45 +0000130
sewardj8ad94e12002-05-29 00:10:20 +0000131/* Number of entries in each thread's cleanup stack. */
132#define VG_N_CLEANUPSTACK 8
133
sewardj2cb00342002-06-28 01:46:26 +0000134/* Number of entries in each thread's fork-handler stack. */
135#define VG_N_FORKHANDLERSTACK 2
136
njn25e49d8e72002-09-23 09:36:25 +0000137/* Max number of callers for context in a suppression. */
138#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000139
sewardjde4a1d02002-03-22 01:27:54 +0000140
141/* ---------------------------------------------------------------------
142 Basic types
143 ------------------------------------------------------------------ */
144
sewardjde4a1d02002-03-22 01:27:54 +0000145/* Just pray that gcc's constant folding works properly ... */
146#define BITS(bit7,bit6,bit5,bit4,bit3,bit2,bit1,bit0) \
147 ( ((bit7) << 7) | ((bit6) << 6) | ((bit5) << 5) | ((bit4) << 4) \
148 | ((bit3) << 3) | ((bit2) << 2) | ((bit1) << 1) | (bit0))
149
sewardjde4a1d02002-03-22 01:27:54 +0000150/* ---------------------------------------------------------------------
151 Command-line-settable options
152 ------------------------------------------------------------------ */
153
sewardj4f094a72002-11-05 23:37:35 +0000154/* Default destination port to be used in logging over a network, if
155 none specified. */
156#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000157
158/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000159#define VG_CLO_MAX_SFILES 10
160
sewardj4cf05692002-10-27 20:28:29 +0000161/* Describes where logging output is to be sent. */
162typedef
163 enum {
164 VgLogTo_Fd,
165 VgLogTo_File,
166 VgLogTo_Socket
167 } VgLogTo;
168
169
sewardj72f98ff2002-06-13 17:23:38 +0000170/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000171extern Bool VG_(clo_error_limit);
sewardjde4a1d02002-03-22 01:27:54 +0000172/* Enquire about whether to attach to GDB at errors? default: NO */
173extern Bool VG_(clo_GDB_attach);
174/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
175extern Int VG_(sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000176/* Automatically attempt to demangle C++ names? default: YES */
177extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000178/* Round malloc sizes upwards to integral number of words? default:
179 NO */
180extern Bool VG_(clo_sloppy_malloc);
sewardj246d4662002-06-14 10:17:05 +0000181/* Minimum alignment in functions that don't specify alignment explicitly.
182 default: 0, i.e. use default of the machine (== 4) */
183extern Int VG_(clo_alignment);
sewardjde4a1d02002-03-22 01:27:54 +0000184/* Simulate child processes? default: NO */
185extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000186
187/* Where logging output is to be sent to.
188
189 When log_to == VgLogTo_Fd, clo_logfile_fd holds the file id, and is
190 taken from the command line. clo_logfile_name is irrelevant.
191
192 When log_to == VgLogTo_File, clo_logfile_name holds the logfile
193 name, and is taken from the command line. clo_logfile_fd is then
194 made to hold the relevant file id, by opening clo_logfile_name
195 (concatenated with the process ID) for writing.
196
197 When log_to == VgLogTo_Socket, clo_logfile_name holds the
198 hostname:portnumber pair, and is taken from the command line.
199 clo_logfile_fd is then made to hold the relevant file handle, by
200 opening a connection to said hostname:portnumber pair.
201
202 Global default is to set log_to == VgLogTo_Fd and logfile_fd == 2
203 (stderr). */
204extern VgLogTo VG_(clo_log_to);
205extern Int VG_(clo_logfile_fd);
206extern Char* VG_(clo_logfile_name);
sewardjde4a1d02002-03-22 01:27:54 +0000207
208/* The number of suppression files specified. */
209extern Int VG_(clo_n_suppressions);
210/* The names of the suppression files. */
211extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
212
213/* Single stepping? default: NO */
214extern Bool VG_(clo_single_step);
215/* Code improvement? default: YES */
216extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000217/* DEBUG: print generated code? default: 00000 ( == NO ) */
218extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000219/* DEBUG: print system calls? default: NO */
220extern Bool VG_(clo_trace_syscalls);
221/* DEBUG: print signal details? default: NO */
222extern Bool VG_(clo_trace_signals);
223/* DEBUG: print symtab details? default: NO */
224extern Bool VG_(clo_trace_symtab);
225/* DEBUG: print malloc details? default: NO */
226extern Bool VG_(clo_trace_malloc);
sewardj8937c812002-04-12 20:12:20 +0000227/* DEBUG: print thread scheduling events? default: NO */
228extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000229/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
230 (some), 2 (all) */
231extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000232/* Stop after this many basic blocks. default: Infinity. */
233extern ULong VG_(clo_stop_after);
234/* Display gory details for the k'th most popular error. default:
235 Infinity. */
236extern Int VG_(clo_dump_error);
237/* Number of parents of a backtrace. Default: 8. */
238extern Int VG_(clo_backtrace_size);
sewardj3984b852002-05-12 03:00:17 +0000239/* Engage miscellaneous wierd hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000240extern Char* VG_(clo_weird_hacks);
sewardj858964b2002-10-05 14:15:43 +0000241/* Should we run __libc_freeres at exit? Sometimes causes crashes.
242 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
243 if the latter says False, then the setting of VG_(clo_weird_hacks)
244 is ignored. Ie if a skin says no, I don't want this to run, that
245 cannot be overridden from the command line. */
246extern Bool VG_(clo_run_libc_freeres);
sewardjde4a1d02002-03-22 01:27:54 +0000247
248
249/* ---------------------------------------------------------------------
250 Debugging and profiling stuff
251 ------------------------------------------------------------------ */
252
njn25e49d8e72002-09-23 09:36:25 +0000253/* Change to 1 to get more accurate but more expensive core profiling. */
254#if 0
255# define VGP_ACCURATE_PROFILING
256#endif
257
sewardjde4a1d02002-03-22 01:27:54 +0000258/* Create a logfile into which messages can be dumped. */
259extern void VG_(startup_logging) ( void );
njn25e49d8e72002-09-23 09:36:25 +0000260extern void VG_(shutdown_logging)( void );
sewardjde4a1d02002-03-22 01:27:54 +0000261
262extern void VGP_(init_profiling) ( void );
263extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000264
njn25e49d8e72002-09-23 09:36:25 +0000265#undef VGP_PUSHCC
266#undef VGP_POPCC
267#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
268#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000269
njn25e49d8e72002-09-23 09:36:25 +0000270/* Use this for ones that happen a lot and thus we don't want to put in
271 all the time, eg. for %esp assignment. */
272#ifdef VGP_ACCURATE_PROFILING
273# define VGP_MAYBE_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
274# define VGP_MAYBE_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000275#else
njn25e49d8e72002-09-23 09:36:25 +0000276# define VGP_MAYBE_PUSHCC(x)
277# define VGP_MAYBE_POPCC(x)
278#endif
sewardjde4a1d02002-03-22 01:27:54 +0000279
280
281/* ---------------------------------------------------------------------
282 Exports of vg_malloc2.c
283 ------------------------------------------------------------------ */
284
285/* Allocation arenas.
njn25e49d8e72002-09-23 09:36:25 +0000286 CORE is for the core's general use.
287 SKIN is for the skin to use (and the only one it uses).
sewardjde4a1d02002-03-22 01:27:54 +0000288 SYMTAB is for Valgrind's symbol table storage.
njn25e49d8e72002-09-23 09:36:25 +0000289 JITTER is for small storage during translation.
sewardjde4a1d02002-03-22 01:27:54 +0000290 CLIENT is for the client's mallocs/frees.
291 DEMANGLE is for the C++ demangler.
292 EXECTXT is for storing ExeContexts.
njn25e49d8e72002-09-23 09:36:25 +0000293 ERRORS is for storing CoreErrors.
sewardjde4a1d02002-03-22 01:27:54 +0000294 TRANSIENT is for very short-term use. It should be empty
295 in between uses.
njn25e49d8e72002-09-23 09:36:25 +0000296 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000297*/
298typedef Int ArenaId;
299
njn25e49d8e72002-09-23 09:36:25 +0000300#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000301
njn25e49d8e72002-09-23 09:36:25 +0000302#define VG_AR_CORE 0 /* :: ArenaId */
303#define VG_AR_SKIN 1 /* :: ArenaId */
304#define VG_AR_SYMTAB 2 /* :: ArenaId */
305#define VG_AR_JITTER 3 /* :: ArenaId */
306#define VG_AR_CLIENT 4 /* :: ArenaId */
307#define VG_AR_DEMANGLE 5 /* :: ArenaId */
308#define VG_AR_EXECTXT 6 /* :: ArenaId */
309#define VG_AR_ERRORS 7 /* :: ArenaId */
310#define VG_AR_TRANSIENT 8 /* :: ArenaId */
sewardjde4a1d02002-03-22 01:27:54 +0000311
njn25e49d8e72002-09-23 09:36:25 +0000312extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
313extern void VG_(arena_free) ( ArenaId arena, void* ptr );
314extern void* VG_(arena_calloc) ( ArenaId arena, Int nmemb, Int nbytes );
315extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
316 Int size );
317extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000318 Int req_pszB );
319
sewardjde4a1d02002-03-22 01:27:54 +0000320extern void VG_(mallocSanityCheckAll) ( void );
321
322extern void VG_(show_all_arena_stats) ( void );
323extern Bool VG_(is_empty_arena) ( ArenaId aid );
324
325
326/* The red-zone size for the client. This can be arbitrary, but
327 unfortunately must be set at compile time. */
328#define VG_AR_CLIENT_REDZONE_SZW 4
329
330#define VG_AR_CLIENT_REDZONE_SZB \
331 (VG_AR_CLIENT_REDZONE_SZW * VKI_BYTES_PER_WORD)
332
333
334/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +0000335 Exports of vg_clientfuncs.c
sewardj2e93c502002-04-12 11:12:52 +0000336 ------------------------------------------------------------------ */
337
338/* This doesn't export code or data that valgrind.so needs to link
339 against. However, the scheduler does need to know the following
340 request codes. A few, publically-visible, request codes are also
njn25e49d8e72002-09-23 09:36:25 +0000341 defined in valgrind.h, and similar headers for some skins. */
sewardj2e93c502002-04-12 11:12:52 +0000342
343#define VG_USERREQ__MALLOC 0x2001
344#define VG_USERREQ__BUILTIN_NEW 0x2002
345#define VG_USERREQ__BUILTIN_VEC_NEW 0x2003
346
347#define VG_USERREQ__FREE 0x2004
348#define VG_USERREQ__BUILTIN_DELETE 0x2005
349#define VG_USERREQ__BUILTIN_VEC_DELETE 0x2006
350
351#define VG_USERREQ__CALLOC 0x2007
352#define VG_USERREQ__REALLOC 0x2008
353#define VG_USERREQ__MEMALIGN 0x2009
354
355
sewardj20917d82002-05-28 01:36:45 +0000356/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
357 MUST NOT return -- ever. Eventually it will do either __QUIT or
358 __WAIT_JOINER. */
359#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
360
361/* ( no-args ): calling thread disappears from the system forever.
362 Reclaim resources. */
363#define VG_USERREQ__QUIT 0x3002
364
365/* ( void* ): calling thread waits for joiner and returns the void* to
366 it. */
367#define VG_USERREQ__WAIT_JOINER 0x3003
368
369/* ( ThreadId, void** ): wait to join a thread. */
370#define VG_USERREQ__PTHREAD_JOIN 0x3004
371
372/* Set cancellation state and type for this thread. */
373#define VG_USERREQ__SET_CANCELSTATE 0x3005
374#define VG_USERREQ__SET_CANCELTYPE 0x3006
375
376/* ( no-args ): Test if we are at a cancellation point. */
377#define VG_USERREQ__TESTCANCEL 0x3007
378
379/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
380 with this arg to indicate that a cancel is now pending for the
381 specified thread. */
382#define VG_USERREQ__SET_CANCELPEND 0x3008
383
384/* Set/get detach state for this thread. */
385#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
386
387#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
388#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
389#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
390#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
391#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
392#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
393#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
394#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
395#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
396#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000397#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
398#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000399#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
400#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
401#define VG_USERREQ__SIGWAIT 0x3019
402#define VG_USERREQ__PTHREAD_KILL 0x301A
403#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000404#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000405
sewardj8ad94e12002-05-29 00:10:20 +0000406#define VG_USERREQ__CLEANUP_PUSH 0x3020
407#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000408#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000409
sewardjef037c72002-05-30 00:40:03 +0000410#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000411
412/* Ask how many signal handler returns have happened to this
413 thread. */
sewardj9a2224b2002-06-19 10:17:40 +0000414#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024
sewardjef037c72002-05-30 00:40:03 +0000415
sewardj2cb00342002-06-28 01:46:26 +0000416/* Get/set entries for a thread's pthread_atfork stack. */
417#define VG_USERREQ__SET_FHSTACK_USED 0x3025
418#define VG_USERREQ__GET_FHSTACK_USED 0x3026
419#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
420#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000421
sewardj1fe7b002002-07-16 01:43:15 +0000422/* Denote the finish of VG_(__libc_freeres_wrapper). */
423#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
424
sewardj45b4b372002-04-16 22:50:32 +0000425/* Cosmetic ... */
426#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000427/* Log a pthread error from client-space. Cosmetic. */
428#define VG_USERREQ__PTHREAD_ERROR 0x3102
sewardj69a72a52002-11-03 13:41:41 +0000429/* Write a string to the logging sink. */
430#define VG_USERREQ__LOGMESSAGE 0x3103
431
sewardj45b4b372002-04-16 22:50:32 +0000432
sewardj54cacf02002-04-12 23:24:59 +0000433/*
434In vg_constants.h:
435#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000436*/
437
sewardj1fe7b002002-07-16 01:43:15 +0000438/* The scheduler does need to know the address of it so it can be
439 called at program exit. */
440extern void VG_(__libc_freeres_wrapper)( void );
441
sewardj54cacf02002-04-12 23:24:59 +0000442
sewardj2e93c502002-04-12 11:12:52 +0000443/* ---------------------------------------------------------------------
444 Constants pertaining to the simulated CPU state, VG_(baseBlock),
445 which need to go here to avoid ugly circularities.
446 ------------------------------------------------------------------ */
447
448/* How big is the saved FPU state? */
449#define VG_SIZE_OF_FPUSTATE 108
450/* ... and in words ... */
451#define VG_SIZE_OF_FPUSTATE_W ((VG_SIZE_OF_FPUSTATE+3)/4)
452
453
454/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000455 Exports of vg_ldt.c
456 ------------------------------------------------------------------ */
457
458/* This is the hardware-format for a segment descriptor, ie what the
459 x86 actually deals with. It is 8 bytes long. It's ugly. */
460
461typedef struct _LDT_ENTRY {
462 union {
463 struct {
464 UShort LimitLow;
465 UShort BaseLow;
466 unsigned BaseMid : 8;
467 unsigned Type : 5;
468 unsigned Dpl : 2;
469 unsigned Pres : 1;
470 unsigned LimitHi : 4;
471 unsigned Sys : 1;
472 unsigned Reserved_0 : 1;
473 unsigned Default_Big : 1;
474 unsigned Granularity : 1;
475 unsigned BaseHi : 8;
476 } Bits;
477 struct {
478 UInt word1;
479 UInt word2;
480 } Words;
481 }
482 LdtEnt;
483} VgLdtEntry;
484
485/* Maximum number of LDT entries supported (by the x86). */
486#define VG_M_LDT_ENTRIES 8192
487/* The size of each LDT entry == sizeof(VgLdtEntry) */
488#define VG_LDT_ENTRY_SIZE 8
489
490/* Alloc & copy, and dealloc. */
491extern VgLdtEntry*
492 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
493extern void
494 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
495
496/* Simulate the modify_ldt syscall. */
497extern Int VG_(sys_modify_ldt) ( ThreadId tid,
498 Int func, void* ptr, UInt bytecount );
499
sewardje1042472002-09-30 12:33:11 +0000500/* Called from generated code. Given a segment selector and a virtual
501 address, return a linear address, and do limit checks too. */
502extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
503
sewardj92a59562002-09-30 00:53:10 +0000504
505/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000506 Exports of vg_scheduler.c
507 ------------------------------------------------------------------ */
508
sewardj2e93c502002-04-12 11:12:52 +0000509typedef
510 enum {
511 VgTs_Empty, /* this slot is not in use */
512 VgTs_Runnable, /* waiting to be scheduled */
513 VgTs_WaitJoiner, /* waiting for someone to do join on me */
514 VgTs_WaitJoinee, /* waiting for the thread I did join on */
515 VgTs_WaitFD, /* waiting for I/O completion on a fd */
516 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000517 VgTs_WaitCV, /* waiting on a condition variable */
sewardjb48e5002002-05-13 00:16:03 +0000518 VgTs_WaitSIG, /* waiting due to sigwait() */
sewardj2e93c502002-04-12 11:12:52 +0000519 VgTs_Sleeping /* sleeping for a while */
520 }
521 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000522
523/* An entry in a threads's cleanup stack. */
524typedef
525 struct {
526 void (*fn)(void*);
527 void* arg;
528 }
529 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000530
531/* An entry in a thread's fork-handler stack. */
532typedef
533 struct {
534 void (*prepare)(void);
535 void (*parent)(void);
536 void (*child)(void);
537 }
538 ForkHandlerEntry;
539
540
njn25e49d8e72002-09-23 09:36:25 +0000541struct _ThreadState {
542 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
543 The thread identity is simply the index in vg_threads[].
544 ThreadId == 1 is the root thread and has the special property
545 that we don't try and allocate or deallocate its stack. For
546 convenience of generating error message, we also put the
547 ThreadId in this tid field, but be aware that it should
548 ALWAYS == the index in vg_threads[]. */
549 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000550
njn25e49d8e72002-09-23 09:36:25 +0000551 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000552
njn25e49d8e72002-09-23 09:36:25 +0000553 Complications: whenever this is set to VgTs_WaitMX, you
554 should also set .m_edx to whatever the required return value
555 is for pthread_mutex_lock / pthread_cond_timedwait for when
556 the mutex finally gets unblocked. */
557 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000558
njn25e49d8e72002-09-23 09:36:25 +0000559 /* When .status == WaitMX, points to the mutex I am waiting for.
560 When .status == WaitCV, points to the mutex associated with
561 the condition variable indicated by the .associated_cv field.
562 In all other cases, should be NULL. */
563 void* /*pthread_mutex_t* */ associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000564
njn25e49d8e72002-09-23 09:36:25 +0000565 /* When .status == WaitCV, points to the condition variable I am
566 waiting for. In all other cases, should be NULL. */
567 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000568
njn25e49d8e72002-09-23 09:36:25 +0000569 /* If VgTs_Sleeping, this is when we should wake up, measured in
570 milliseconds as supplied by VG_(read_millisecond_counter).
sewardj2e93c502002-04-12 11:12:52 +0000571
njn25e49d8e72002-09-23 09:36:25 +0000572 If VgTs_WaitCV, this indicates the time at which
573 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
574 this means infinitely far in the future, viz,
575 pthread_cond_wait. */
576 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000577
njn25e49d8e72002-09-23 09:36:25 +0000578 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
579 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000580
njn25e49d8e72002-09-23 09:36:25 +0000581 /* If VgTs_WaitJoinee, place to copy the return value to, and
582 the identity of the thread we're waiting for. */
583 void** joiner_thread_return;
584 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000585
njn25e49d8e72002-09-23 09:36:25 +0000586 /* Whether or not detached. */
587 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000588
njn25e49d8e72002-09-23 09:36:25 +0000589 /* Cancelability state and type. */
590 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
591 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
592
593 /* Pointer to fn to call to do cancellation. Indicates whether
594 or not cancellation is pending. If NULL, not pending. Else
595 should be &thread_exit_wrapper(), indicating that
596 cancallation is pending. */
597 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000598
njn25e49d8e72002-09-23 09:36:25 +0000599 /* The cleanup stack. */
600 Int custack_used;
601 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000602
sewardj00a66b12002-10-12 16:42:35 +0000603 /* A pointer to the thread's-specific-data. This is handled almost
604 entirely from vg_libpthread.c. We just provide hooks to get and
605 set this ptr. This is either NULL, indicating the thread has
606 read/written none of its specifics so far, OR points to a
607 void*[VG_N_THREAD_KEYS], allocated and deallocated in
608 vg_libpthread.c. */
609 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000610
njn25e49d8e72002-09-23 09:36:25 +0000611 /* This thread's blocked-signals mask. Semantics is that for a
612 signal to be delivered to this thread, the signal must not be
613 blocked by either the process-wide signal mask nor by this
614 one. So, if this thread is prepared to handle any signal that
615 the process as a whole is prepared to handle, this mask should
616 be made empty -- and that it is its default, starting
617 state. */
618 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000619
njn25e49d8e72002-09-23 09:36:25 +0000620 /* When not VgTs_WaitSIG, has no meaning. When VgTs_WaitSIG,
621 is the set of signals for which we are sigwait()ing. */
622 vki_ksigset_t sigs_waited_for;
sewardj9a2224b2002-06-19 10:17:40 +0000623
njn25e49d8e72002-09-23 09:36:25 +0000624 /* Counts the number of times a signal handler for this thread
625 has returned. This makes it easy to implement pause(), by
626 polling this value, of course interspersed with nanosleeps,
627 and waiting till it changes. */
628 UInt n_signals_returned;
sewardj2e93c502002-04-12 11:12:52 +0000629
njn25e49d8e72002-09-23 09:36:25 +0000630 /* Stacks. When a thread slot is freed, we don't deallocate its
631 stack; we just leave it lying around for the next use of the
632 slot. If the next use of the slot requires a larger stack,
633 only then is the old one deallocated and a new one
634 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000635
njn25e49d8e72002-09-23 09:36:25 +0000636 For the main thread (threadid == 0), this mechanism doesn't
637 apply. We don't know the size of the stack since we didn't
638 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000639
njn25e49d8e72002-09-23 09:36:25 +0000640 /* The allocated size of this thread's stack (permanently zero
641 if this is ThreadId == 0, since we didn't allocate its stack) */
642 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000643
njn25e49d8e72002-09-23 09:36:25 +0000644 /* Address of the lowest word in this thread's stack. NULL means
645 not allocated yet.
646 */
647 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000648
sewardj92a59562002-09-30 00:53:10 +0000649 /* Address of the highest legitimate word in this stack. This is
650 used for error messages only -- not critical for execution
651 correctness. Is is set for all stacks, specifically including
652 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000653 Addr stack_highest_word;
654
sewardj92a59562002-09-30 00:53:10 +0000655 /* Pointer to this thread's Local (Segment) Descriptor Table.
656 Starts out as NULL, indicating there is no table, and we hope to
657 keep it that way. If the thread does __NR_modify_ldt to create
658 entries, we allocate a 8192-entry table at that point. This is
659 a straight copy of the Linux kernel's scheme. Don't forget to
660 deallocate this at thread exit. */
661 VgLdtEntry* ldt;
662
663 /* Saved machine context. Note the FPU state, %EIP and segment
664 registers are not shadowed.
665
666 Although the segment registers are 16 bits long, storage
667 management here, in VG_(baseBlock) and in VG_(m_state_static) is
668 simplified if we pretend they are 32 bits. */
669 UInt m_cs;
670 UInt m_ss;
671 UInt m_ds;
672 UInt m_es;
673 UInt m_fs;
674 UInt m_gs;
675
njn25e49d8e72002-09-23 09:36:25 +0000676 UInt m_eax;
677 UInt m_ebx;
678 UInt m_ecx;
679 UInt m_edx;
680 UInt m_esi;
681 UInt m_edi;
682 UInt m_ebp;
683 UInt m_esp;
684 UInt m_eflags;
685 UInt m_eip;
686 UInt m_fpu[VG_SIZE_OF_FPUSTATE_W];
687
688 UInt sh_eax;
689 UInt sh_ebx;
690 UInt sh_ecx;
691 UInt sh_edx;
692 UInt sh_esi;
693 UInt sh_edi;
694 UInt sh_ebp;
695 UInt sh_esp;
696 UInt sh_eflags;
697};
sewardj2e93c502002-04-12 11:12:52 +0000698
699
sewardj018f7622002-05-15 21:13:39 +0000700/* The thread table. */
701extern ThreadState VG_(threads)[VG_N_THREADS];
702
703/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000704extern Bool VG_(is_valid_tid) ( ThreadId tid );
705
sewardj018f7622002-05-15 21:13:39 +0000706/* Check that tid is in range. */
707extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
708
sewardj2e93c502002-04-12 11:12:52 +0000709/* Copy the specified thread's state into VG_(baseBlock) in
710 preparation for running it. */
711extern void VG_(load_thread_state)( ThreadId );
712
713/* Save the specified thread's state back in VG_(baseBlock), and fill
714 VG_(baseBlock) with junk, for sanity-check reasons. */
715extern void VG_(save_thread_state)( ThreadId );
716
sewardj1e8cdc92002-04-18 11:37:52 +0000717/* And for the currently running one, if valid. */
718extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000719
sewardj1e8cdc92002-04-18 11:37:52 +0000720/* Similarly ... */
721extern ThreadId VG_(get_current_tid) ( void );
722
sewardjccef2e62002-05-29 19:26:32 +0000723/* Nuke all threads except tid. */
724extern void VG_(nuke_all_threads_except) ( ThreadId me );
725
sewardj2e93c502002-04-12 11:12:52 +0000726
727/* Return codes from the scheduler. */
728typedef
sewardj7e87e382002-05-03 19:09:05 +0000729 enum {
730 VgSrc_Deadlock, /* no runnable threads and no prospect of any
731 even if we wait for a long time */
732 VgSrc_ExitSyscall, /* client called exit(). This is the normal
733 route out. */
734 VgSrc_BbsDone /* In a debugging run, the specified number of
735 bbs has been completed. */
736 }
sewardj2e93c502002-04-12 11:12:52 +0000737 VgSchedReturnCode;
738
sewardj7e87e382002-05-03 19:09:05 +0000739
sewardj2e93c502002-04-12 11:12:52 +0000740/* The scheduler. */
741extern VgSchedReturnCode VG_(scheduler) ( void );
742
743extern void VG_(scheduler_init) ( void );
744
sewardj15a43e12002-04-17 19:35:12 +0000745extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000746
747/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
748extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000749/* This says whether scheduler_jmpbuf is actually valid. Needed so
750 that our signal handler doesn't longjmp when the buffer isn't
751 actually valid. */
752extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000753/* ... and if so, here's the signal which caused it to do so. */
754extern Int VG_(longjmpd_on_signal);
755
756
sewardja1679dd2002-05-10 22:31:40 +0000757/* Possible places where the main stack might be based. We check that
758 the initial stack, which we can't move, is allocated here.
759 VG_(scheduler_init) checks this. Andrea Archelangi's 2.4 kernels
760 have been rumoured to start stacks at 0x80000000, so that too is
njn25e49d8e72002-09-23 09:36:25 +0000761 considered. It seems systems with longer uptimes tend to to use
762 stacks which start at 0x40000000 sometimes. JRS 2002-Aug-21: I
763 also have reports of stacks starting at 0xE0000000.*/
764
sewardja1679dd2002-05-10 22:31:40 +0000765#define VG_STARTUP_STACK_BASE_1 (Addr)0xC0000000
766#define VG_STARTUP_STACK_BASE_2 (Addr)0x80000000
daywalkera2562202002-07-15 19:39:51 +0000767#define VG_STARTUP_STACK_BASE_3 (Addr)0x40000000
njn25e49d8e72002-09-23 09:36:25 +0000768#define VG_STARTUP_STACK_BASE_4 (Addr)0xE0000000
sewardja1679dd2002-05-10 22:31:40 +0000769#define VG_STARTUP_STACK_SMALLERTHAN 0x100000 /* 1024k */
770
771#define VG_STACK_MATCHES_BASE(zzstack, zzbase) \
772 ( \
773 ((zzstack) & ((zzbase) - VG_STARTUP_STACK_SMALLERTHAN)) \
774 == \
775 ((zzbase) - VG_STARTUP_STACK_SMALLERTHAN) \
776 )
sewardj2e93c502002-04-12 11:12:52 +0000777
778
779/* The red-zone size which we put at the bottom (highest address) of
780 thread stacks, for paranoia reasons. This can be arbitrary, and
781 doesn't really need to be set at compile time. */
782#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
783
784#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
785 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
786
njn25e49d8e72002-09-23 09:36:25 +0000787/* Junk to fill up a thread's shadow regs with when shadow regs aren't
788 * being used. */
789#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
790
791/* What we set a shadow register to when written by SET_EAX and similar
792 * things. */
793extern UInt VG_(written_shadow_reg);
sewardj2e93c502002-04-12 11:12:52 +0000794
sewardj018f7622002-05-15 21:13:39 +0000795/* Write a value to the client's %EDX (request return value register)
796 and set the shadow to indicate it is defined. */
njn25e49d8e72002-09-23 09:36:25 +0000797#define SET_EDX(zztid, zzval) \
798 do { VG_(threads)[zztid].m_edx = (zzval); \
799 VG_(threads)[zztid].sh_edx = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000800 } while (0)
801
njn25e49d8e72002-09-23 09:36:25 +0000802#define SET_EAX(zztid, zzval) \
803 do { VG_(threads)[zztid].m_eax = (zzval); \
804 VG_(threads)[zztid].sh_eax = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000805 } while (0)
806
sewardj2e93c502002-04-12 11:12:52 +0000807
808/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000809 Exports of vg_signals.c
810 ------------------------------------------------------------------ */
811
sewardjde4a1d02002-03-22 01:27:54 +0000812extern void VG_(sigstartup_actions) ( void );
813
sewardjb48e5002002-05-13 00:16:03 +0000814extern Bool VG_(deliver_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000815extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000816extern void VG_(handle_SCSS_change) ( Bool force_update );
817
sewardjde4a1d02002-03-22 01:27:54 +0000818
819/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +0000820extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000821extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +0000822extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
823 Int how,
824 vki_ksigset_t* set,
825 vki_ksigset_t* oldset );
826extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
827 Int how,
828 vki_ksigset_t* set,
829 vki_ksigset_t* oldset );
830extern void VG_(send_signal_to_thread) ( ThreadId thread,
831 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +0000832
sewardjefbfcdf2002-06-19 17:35:45 +0000833extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
834
835
sewardj2e93c502002-04-12 11:12:52 +0000836/* Modify the current thread's state once we have detected it is
837 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +0000838extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +0000839
sewardj2e93c502002-04-12 11:12:52 +0000840/* Handy utilities to block/restore all host signals. */
841extern void VG_(block_all_host_signals)
842 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000843extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +0000844 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000845
846/* ---------------------------------------------------------------------
847 Exports of vg_mylibc.c
848 ------------------------------------------------------------------ */
849
njne427a662002-10-02 11:08:25 +0000850#define vg_assert(expr) \
851 ((void) ((expr) ? 0 : \
852 (VG_(core_assert_fail) (VG__STRING(expr), \
853 __FILE__, __LINE__, \
854 __PRETTY_FUNCTION__), 0)))
855__attribute__ ((__noreturn__))
856extern void VG_(core_assert_fail) ( Char* expr, Char* file,
857 Int line, Char* fn );
858__attribute__ ((__noreturn__))
859extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +0000860
njn25e49d8e72002-09-23 09:36:25 +0000861/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
862extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +0000863
njn25e49d8e72002-09-23 09:36:25 +0000864/* Skins use VG_(strdup)() which doesn't expose ArenaId */
865extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +0000866
njn25e49d8e72002-09-23 09:36:25 +0000867/* Skins shouldn't need these...(?) */
sewardj5f07b662002-04-23 16:52:51 +0000868extern void VG_(start_rdtsc_calibration) ( void );
869extern void VG_(end_rdtsc_calibration) ( void );
870extern UInt VG_(read_millisecond_timer) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000871
njn25e49d8e72002-09-23 09:36:25 +0000872extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +0000873extern Int VG_(select)( Int n,
874 vki_fd_set* readfds,
875 vki_fd_set* writefds,
876 vki_fd_set* exceptfds,
877 struct vki_timeval * timeout );
878extern Int VG_(nanosleep)( const struct vki_timespec *req,
879 struct vki_timespec *rem );
880
sewardj570f8902002-11-03 11:44:36 +0000881extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +0000882
883/* --- Connecting over the network --- */
884extern Int VG_(connect_via_socket)( UChar* str );
885
sewardj570f8902002-11-03 11:44:36 +0000886
887/* ---------------------------------------------------------------------
888 Exports of vg_message.c
889 ------------------------------------------------------------------ */
890
891/* Low-level -- send bytes directly to the message sink. Do not
892 use. */
893extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
894
895
sewardjde4a1d02002-03-22 01:27:54 +0000896/* ---------------------------------------------------------------------
897 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
898 vg_from_ucode.c).
899 ------------------------------------------------------------------ */
900
sewardjde4a1d02002-03-22 01:27:54 +0000901#define VG_IS_FLAG_SUBSET(set1,set2) \
902 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
903
904#define VG_UNION_FLAG_SETS(set1,set2) \
905 ( ((FlagSet)set1) | ((FlagSet)set2) )
906
sewardjde4a1d02002-03-22 01:27:54 +0000907/* ---------------------------------------------------------------------
908 Exports of vg_demangle.c
909 ------------------------------------------------------------------ */
910
911extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
912
sewardjde4a1d02002-03-22 01:27:54 +0000913/* ---------------------------------------------------------------------
914 Exports of vg_from_ucode.c
915 ------------------------------------------------------------------ */
916
917extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes );
918
njn25e49d8e72002-09-23 09:36:25 +0000919extern void VG_(print_ccall_stats) ( void );
920extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000921
922/* ---------------------------------------------------------------------
923 Exports of vg_to_ucode.c
924 ------------------------------------------------------------------ */
925
926extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +0000927
928/* ---------------------------------------------------------------------
929 Exports of vg_translate.c
930 ------------------------------------------------------------------ */
931
sewardj1e8cdc92002-04-18 11:37:52 +0000932extern void VG_(translate) ( ThreadState* tst,
933 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +0000934 UInt* orig_size,
935 Addr* trans_addr,
936 UInt* trans_size );
937
njn25e49d8e72002-09-23 09:36:25 +0000938extern Char* VG_(nameCondcode) ( Condcode cond );
939extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
940 UInstr* u );
941extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
942extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +0000943
944/* ---------------------------------------------------------------------
945 Exports of vg_execontext.c.
946 ------------------------------------------------------------------ */
947
948/* Records the PC and a bit of the call chain. The first 4 %eip
949 values are used in comparisons do remove duplicate errors, and for
950 comparing against suppression specifications. The rest are purely
951 informational (but often important). */
952
njn25e49d8e72002-09-23 09:36:25 +0000953struct _ExeContext {
954 struct _ExeContext * next;
955 /* Variable-length array. The size is VG_(clo_backtrace_size); at
956 least 2, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
957 [1] is its caller, [2] is the caller of [1], etc. */
958 Addr eips[0];
959};
sewardjde4a1d02002-03-22 01:27:54 +0000960
961
962/* Initialise the ExeContext storage mechanism. */
963extern void VG_(init_ExeContext_storage) ( void );
964
965/* Print stats (informational only). */
966extern void VG_(show_ExeContext_stats) ( void );
967
njn25e49d8e72002-09-23 09:36:25 +0000968/* Like VG_(get_ExeContext), but with a slightly different type */
969extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
970 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +0000971
972
973/* ---------------------------------------------------------------------
974 Exports of vg_errcontext.c.
975 ------------------------------------------------------------------ */
976
njn25e49d8e72002-09-23 09:36:25 +0000977/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
978 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +0000979typedef
njn25e49d8e72002-09-23 09:36:25 +0000980 enum {
981 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +0000982 }
njn25e49d8e72002-09-23 09:36:25 +0000983 CoreSuppKind;
984
985/* For each caller specified for a suppression, record the nature of
986 the caller name. Not of interest to skins. */
987typedef
988 enum {
989 ObjName, /* Name is of an shared object file. */
990 FunName /* Name is of a function. */
991 }
992 SuppLocTy;
993
994/* Suppressions. Skin part `SkinSupp' (which is all skins have to deal
995 with) is in vg_skin.h */
996typedef
997 struct _CoreSupp {
998 struct _CoreSupp* next;
999 /* The number of times this error has been suppressed. */
1000 Int count;
1001 /* The name by which the suppression is referred to. */
1002 Char* sname;
1003 /* First two (name of fn where err occurs, and immediate caller)
1004 * are mandatory; extra two are optional. */
1005 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
1006 Char* caller [VG_N_SUPP_CALLERS];
1007 /* The skin-specific part */
1008 SkinSupp skin_supp;
1009 }
1010 CoreSupp;
1011
1012/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1013 * effectively extend it by defining their own enums in the (0..) range. */
1014typedef
1015 enum {
1016 PThreadErr = -1, /* Pthreading error */
1017 }
1018 CoreErrorKind;
1019
1020/* Errors. Skin part `SkinError' (which is all skins have to deal
1021 with) is in vg_skin.h */
1022typedef
1023 struct _CoreErrContext {
1024 struct _CoreErrContext* next;
1025 /* NULL if unsuppressed; or ptr to suppression record. */
1026 CoreSupp* supp;
1027 Int count;
1028 ExeContext* where;
1029 ThreadId tid;
1030 /* These record %EIP, %ESP and %EBP at the error point. They
1031 are only used to make GDB-attaching convenient; there is no
1032 other purpose; specifically they are not used to do
1033 comparisons between errors. */
1034 UInt m_eip;
1035 UInt m_esp;
1036 UInt m_ebp;
1037 /* The skin-specific part */
1038 SkinError skin_err;
1039 }
1040 CoreError;
sewardjde4a1d02002-03-22 01:27:54 +00001041
1042
njn25e49d8e72002-09-23 09:36:25 +00001043extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001044
njn25e49d8e72002-09-23 09:36:25 +00001045extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001046
njn25e49d8e72002-09-23 09:36:25 +00001047extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001048
1049/* ---------------------------------------------------------------------
1050 Exports of vg_procselfmaps.c
1051 ------------------------------------------------------------------ */
1052
1053extern
1054void VG_(read_procselfmaps) (
1055 void (*record_mapping)( Addr, UInt, Char, Char, Char, UInt, UChar* )
1056);
1057
1058
1059/* ---------------------------------------------------------------------
1060 Exports of vg_symtab2.c
1061 ------------------------------------------------------------------ */
1062
1063/* We assume the executable is loaded here ... can't really find
njn25e49d8e72002-09-23 09:36:25 +00001064 out. There is a hacky sanity check in VG_(init_memory)()
sewardjde4a1d02002-03-22 01:27:54 +00001065 which should trip up most stupidities.
1066*/
1067#define VG_ASSUMED_EXE_BASE (Addr)0x8048000
1068
njn25e49d8e72002-09-23 09:36:25 +00001069extern void VG_(maybe_read_symbols) ( void );
1070extern void VG_(read_symtab_callback) ( Addr start, UInt size,
1071 Char rr, Char ww, Char xx,
1072 UInt foffset, UChar* filename );
1073extern void VG_(maybe_unload_symbols) ( Addr start, UInt length );
sewardjde4a1d02002-03-22 01:27:54 +00001074
njn25e49d8e72002-09-23 09:36:25 +00001075extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
1076extern void VG_(mini_stack_dump) ( ExeContext* ec );
sewardjde4a1d02002-03-22 01:27:54 +00001077
1078
1079/* ---------------------------------------------------------------------
1080 Exports of vg_clientmalloc.c
1081 ------------------------------------------------------------------ */
1082
njn25e49d8e72002-09-23 09:36:25 +00001083extern void VG_(client_malloc_init)();
sewardjde4a1d02002-03-22 01:27:54 +00001084
sewardj2e93c502002-04-12 11:12:52 +00001085/* These are called from the scheduler, when it intercepts a user
1086 request. */
sewardj8c824512002-04-14 04:16:48 +00001087extern void* VG_(client_malloc) ( ThreadState* tst,
1088 UInt size, VgAllocKind kind );
1089extern void* VG_(client_memalign) ( ThreadState* tst,
1090 UInt align, UInt size );
1091extern void VG_(client_free) ( ThreadState* tst,
1092 void* ptrV, VgAllocKind kind );
1093extern void* VG_(client_calloc) ( ThreadState* tst,
1094 UInt nmemb, UInt size1 );
1095extern void* VG_(client_realloc) ( ThreadState* tst,
1096 void* ptrV, UInt size_new );
sewardjde4a1d02002-03-22 01:27:54 +00001097
1098
1099/* ---------------------------------------------------------------------
1100 Exports of vg_main.c
1101 ------------------------------------------------------------------ */
1102
sewardj73cf3bc2002-11-03 03:20:15 +00001103/* Tell the logging mechanism whether we are logging to a file
1104 descriptor or a socket descriptor. */
1105extern Bool VG_(logging_to_filedes);
1106
njn25e49d8e72002-09-23 09:36:25 +00001107/* Sanity checks which may be done at any time. The scheduler decides when. */
1108extern void VG_(do_sanity_checks) ( Bool force_expensive );
1109
sewardjde4a1d02002-03-22 01:27:54 +00001110/* A structure used as an intermediary when passing the simulated
1111 CPU's state to some assembly fragments, particularly system calls.
1112 Stuff is copied from baseBlock to here, the assembly magic runs,
njn25e49d8e72002-09-23 09:36:25 +00001113 and then the inverse copy is done.
1114 */
sewardj92a59562002-09-30 00:53:10 +00001115extern UInt VG_(m_state_static) [6 /* segment regs, Intel order */
1116 + 8 /* int regs, in Intel order */
sewardjde4a1d02002-03-22 01:27:54 +00001117 + 1 /* %eflags */
1118 + 1 /* %eip */
1119 + VG_SIZE_OF_FPUSTATE_W /* FPU state */
1120 ];
1121
1122/* Handy fns for doing the copy back and forth. */
1123extern void VG_(copy_baseBlock_to_m_state_static) ( void );
1124extern void VG_(copy_m_state_static_to_baseBlock) ( void );
1125
sewardjde4a1d02002-03-22 01:27:54 +00001126/* Called when some unhandleable client behaviour is detected.
1127 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001128extern void VG_(unimplemented) ( Char* msg )
1129 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001130
1131/* The stack on which Valgrind runs. We can't use the same stack as the
1132 simulatee -- that's an important design decision. */
1133extern UInt VG_(stack)[10000];
1134
njn25e49d8e72002-09-23 09:36:25 +00001135/* Similarly, we have to ask for signals to be delivered on an alternative
1136 stack, since it is possible, although unlikely, that we'll have to run
1137 client code from inside the Valgrind-installed signal handler. If this
1138 happens it will be done by vg_deliver_signal_immediately(). */
sewardjde4a1d02002-03-22 01:27:54 +00001139extern UInt VG_(sigstack)[10000];
1140
sewardjde4a1d02002-03-22 01:27:54 +00001141/* Holds client's %esp at the point we gained control. From this the
1142 client's argc, argv and envp are deduced. */
1143extern Addr VG_(esp_at_startup);
sewardjde4a1d02002-03-22 01:27:54 +00001144
njn25e49d8e72002-09-23 09:36:25 +00001145/* Remove valgrind.so and skin's .so from a LD_PRELOAD=... string so child
1146 processes don't get traced into. Also mess up $libdir/valgrind so that
1147 our libpthread.so disappears from view. */
sewardj3e1eb1f2002-05-18 13:14:17 +00001148void VG_(mash_LD_PRELOAD_and_LD_LIBRARY_PATH) ( Char* ld_preload_str,
1149 Char* ld_library_path_str );
sewardjde4a1d02002-03-22 01:27:54 +00001150
1151/* Something of a function looking for a home ... start up GDB. This
1152 is called from VG_(swizzle_esp_then_start_GDB) and so runs on the
1153 *client's* stack. This is necessary to give GDB the illusion that
1154 the client program really was running on the real cpu. */
1155extern void VG_(start_GDB_whilst_on_client_stack) ( void );
1156
njn41557122002-10-14 09:25:37 +00001157/* VG_(bbs_done) in include/vg_skin.h */
1158
sewardjde4a1d02002-03-22 01:27:54 +00001159/* 64-bit counter for the number of bbs to go before a debug exit. */
1160extern ULong VG_(bbs_to_go);
1161
1162/* Counts downwards in vg_run_innerloop. */
1163extern UInt VG_(dispatch_ctr);
1164
sewardjde4a1d02002-03-22 01:27:54 +00001165/* Is the client running on the simulated CPU or the real one? */
1166extern Bool VG_(running_on_simd_CPU); /* Initially False */
1167
1168/* The current LRU epoch. */
1169extern UInt VG_(current_epoch);
1170
sewardj7e87e382002-05-03 19:09:05 +00001171/* This is the ThreadId of the last thread the scheduler ran. */
1172extern ThreadId VG_(last_run_tid);
1173
njn25e49d8e72002-09-23 09:36:25 +00001174/* This is the argument to __NR_exit() supplied by the first thread to
1175 call that syscall. We eventually pass that to __NR_exit() for
1176 real. */
1177extern UInt VG_(exitcode);
1178
sewardjde4a1d02002-03-22 01:27:54 +00001179
1180/* --- Counters, for informational purposes only. --- */
1181
1182/* Number of lookups which miss the fast tt helper. */
1183extern UInt VG_(tt_fast_misses);
1184
1185/* Counts for LRU informational messages. */
1186
1187/* Number and total o/t size of new translations this epoch. */
1188extern UInt VG_(this_epoch_in_count);
1189extern UInt VG_(this_epoch_in_osize);
1190extern UInt VG_(this_epoch_in_tsize);
1191/* Number and total o/t size of discarded translations this epoch. */
1192extern UInt VG_(this_epoch_out_count);
1193extern UInt VG_(this_epoch_out_osize);
1194extern UInt VG_(this_epoch_out_tsize);
1195/* Number and total o/t size of translations overall. */
1196extern UInt VG_(overall_in_count);
1197extern UInt VG_(overall_in_osize);
1198extern UInt VG_(overall_in_tsize);
1199/* Number and total o/t size of discards overall. */
1200extern UInt VG_(overall_out_count);
1201extern UInt VG_(overall_out_osize);
1202extern UInt VG_(overall_out_tsize);
1203
1204/* The number of LRU-clearings of TT/TC. */
1205extern UInt VG_(number_of_lrus);
1206
1207/* Counts pertaining to the register allocator. */
1208
1209/* total number of uinstrs input to reg-alloc */
1210extern UInt VG_(uinstrs_prealloc);
1211
1212/* total number of uinstrs added due to spill code */
1213extern UInt VG_(uinstrs_spill);
1214
1215/* number of bbs requiring spill code */
1216extern UInt VG_(translations_needing_spill);
1217
1218/* total of register ranks over all translations */
1219extern UInt VG_(total_reg_rank);
1220
sewardjde4a1d02002-03-22 01:27:54 +00001221/* Counts pertaining to internal sanity checking. */
1222extern UInt VG_(sanity_fast_count);
1223extern UInt VG_(sanity_slow_count);
1224
sewardj2e93c502002-04-12 11:12:52 +00001225/* Counts pertaining to the scheduler. */
1226extern UInt VG_(num_scheduling_events_MINOR);
1227extern UInt VG_(num_scheduling_events_MAJOR);
1228
sewardjde4a1d02002-03-22 01:27:54 +00001229
1230/* ---------------------------------------------------------------------
1231 Exports of vg_memory.c
1232 ------------------------------------------------------------------ */
1233
njn25e49d8e72002-09-23 09:36:25 +00001234extern void VG_(init_memory) ( void );
1235extern void VG_(new_exe_segment) ( Addr a, UInt len );
1236extern void VG_(remove_if_exe_segment) ( Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001237
njn25e49d8e72002-09-23 09:36:25 +00001238/* Called from generated code. */
1239extern void VG_(handle_esp_assignment) ( Addr new_espA );
sewardjde4a1d02002-03-22 01:27:54 +00001240
1241/* Nasty kludgery to deal with applications which switch stacks,
1242 like netscape. */
sewardjde4a1d02002-03-22 01:27:54 +00001243#define VG_PLAUSIBLE_STACK_SIZE 8000000
1244
sewardjde4a1d02002-03-22 01:27:54 +00001245/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001246 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001247 ------------------------------------------------------------------ */
1248
njn25e49d8e72002-09-23 09:36:25 +00001249extern void VG_(init_dataseg_end_for_brk) ( void );
1250
sewardj2e93c502002-04-12 11:12:52 +00001251extern void VG_(perform_assumed_nonblocking_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001252
njn25e49d8e72002-09-23 09:36:25 +00001253extern void* VG_(pre_known_blocking_syscall) ( ThreadId tid, Int syscallno );
1254extern void VG_(post_known_blocking_syscall)( ThreadId tid, Int syscallno,
1255 void* pre_res, Int res );
sewardjde4a1d02002-03-22 01:27:54 +00001256
1257extern Bool VG_(is_kerror) ( Int res );
1258
njn25e49d8e72002-09-23 09:36:25 +00001259#define KERNEL_DO_SYSCALL(thread_id, result_lvalue) \
1260 VG_(load_thread_state)(thread_id); \
1261 VG_(copy_baseBlock_to_m_state_static)(); \
1262 VG_(do_syscall)(); \
1263 VG_(copy_m_state_static_to_baseBlock)(); \
1264 VG_(save_thread_state)(thread_id); \
1265 VG_(threads)[thread_id].sh_eax = VG_(written_shadow_reg);\
sewardj018f7622002-05-15 21:13:39 +00001266 result_lvalue = VG_(threads)[thread_id].m_eax;
sewardjde4a1d02002-03-22 01:27:54 +00001267
1268
1269/* ---------------------------------------------------------------------
1270 Exports of vg_transtab.c
1271 ------------------------------------------------------------------ */
1272
1273/* An entry in the translation table (TT). */
1274typedef
1275 struct {
1276 /* +0 */ Addr orig_addr;
1277 /* +4 */ Addr trans_addr;
1278 /* +8 */ UInt mru_epoch;
1279 /* +12 */ UShort orig_size;
1280 /* +14 */ UShort trans_size;
1281 }
1282 TTEntry;
1283
1284/* The number of basic blocks in an epoch (one age-step). */
1285#define VG_BBS_PER_EPOCH 20000
1286
njn25e49d8e72002-09-23 09:36:25 +00001287/* The fast-cache for tt-lookup. */
1288extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1289
sewardjde4a1d02002-03-22 01:27:54 +00001290extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
1291extern void VG_(maybe_do_lru_pass) ( void );
1292extern void VG_(flush_transtab) ( void );
1293extern Addr VG_(copy_to_transcache) ( Addr trans_addr, Int trans_size );
1294extern void VG_(add_to_trans_tab) ( TTEntry* tte );
sewardj18d75132002-05-16 11:06:21 +00001295extern void VG_(invalidate_translations) ( Addr start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001296
sewardj18d75132002-05-16 11:06:21 +00001297extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001298
1299extern void VG_(sanity_check_tc_tt) ( void );
1300extern Addr VG_(search_transtab) ( Addr original_addr );
1301
1302extern void VG_(invalidate_tt_fast)( void );
1303
1304
1305/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001306 Exports of vg_syscall.S
1307 ------------------------------------------------------------------ */
1308
1309extern void VG_(do_syscall) ( void );
1310
1311
1312/* ---------------------------------------------------------------------
1313 Exports of vg_startup.S
1314 ------------------------------------------------------------------ */
1315
sewardjde4a1d02002-03-22 01:27:54 +00001316extern void VG_(switch_to_real_CPU) ( void );
1317
sewardj35805422002-04-21 13:05:34 +00001318extern void VG_(swizzle_esp_then_start_GDB) ( Addr m_eip_at_error,
1319 Addr m_esp_at_error,
1320 Addr m_ebp_at_error );
sewardjde4a1d02002-03-22 01:27:54 +00001321
1322
1323/* ---------------------------------------------------------------------
1324 Exports of vg_dispatch.S
1325 ------------------------------------------------------------------ */
1326
sewardj2e93c502002-04-12 11:12:52 +00001327/* Run a thread for a (very short) while, until some event happens
1328 which means we need to defer to the scheduler. */
1329extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001330
1331
1332/* ---------------------------------------------------------------------
1333 Exports of vg_helpers.S
1334 ------------------------------------------------------------------ */
1335
sewardjde4a1d02002-03-22 01:27:54 +00001336/* Mul, div, etc, -- we don't codegen these directly. */
1337extern void VG_(helper_idiv_64_32);
1338extern void VG_(helper_div_64_32);
1339extern void VG_(helper_idiv_32_16);
1340extern void VG_(helper_div_32_16);
1341extern void VG_(helper_idiv_16_8);
1342extern void VG_(helper_div_16_8);
1343
1344extern void VG_(helper_imul_32_64);
1345extern void VG_(helper_mul_32_64);
1346extern void VG_(helper_imul_16_32);
1347extern void VG_(helper_mul_16_32);
1348extern void VG_(helper_imul_8_16);
1349extern void VG_(helper_mul_8_16);
1350
1351extern void VG_(helper_CLD);
1352extern void VG_(helper_STD);
1353extern void VG_(helper_get_dirflag);
1354
sewardj7d78e782002-06-02 00:04:00 +00001355extern void VG_(helper_CLC);
1356extern void VG_(helper_STC);
1357
sewardjde4a1d02002-03-22 01:27:54 +00001358extern void VG_(helper_shldl);
1359extern void VG_(helper_shldw);
1360extern void VG_(helper_shrdl);
1361extern void VG_(helper_shrdw);
1362
1363extern void VG_(helper_RDTSC);
1364extern void VG_(helper_CPUID);
1365
sewardjde4a1d02002-03-22 01:27:54 +00001366extern void VG_(helper_bsf);
1367extern void VG_(helper_bsr);
1368
1369extern void VG_(helper_fstsw_AX);
1370extern void VG_(helper_SAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001371extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001372extern void VG_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001373
sewardj20917d82002-05-28 01:36:45 +00001374/* NOT A FUNCTION; this is a bogus RETURN ADDRESS. */
sewardj54cacf02002-04-12 23:24:59 +00001375extern void VG_(signalreturn_bogusRA)( void );
sewardj20917d82002-05-28 01:36:45 +00001376
njn4f9c9342002-04-29 16:03:24 +00001377/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001378 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001379 ------------------------------------------------------------------ */
1380
njn25e49d8e72002-09-23 09:36:25 +00001381#define VG_TRACK(fn, args...) \
1382 do { \
1383 if (VG_(track_events).fn) \
1384 VG_(track_events).fn(args); \
1385 } while (0)
sewardj18d75132002-05-16 11:06:21 +00001386
1387
sewardjde4a1d02002-03-22 01:27:54 +00001388/* ---------------------------------------------------------------------
1389 The state of the simulated CPU.
1390 ------------------------------------------------------------------ */
1391
sewardjde4a1d02002-03-22 01:27:54 +00001392/* ---------------------------------------------------------------------
1393 Offsets into baseBlock for everything which needs to referred to
1394 from generated code. The order of these decls does not imply
1395 what the order of the actual offsets is. The latter is important
1396 and is set up in vg_main.c.
1397 ------------------------------------------------------------------ */
1398
1399/* An array of words. In generated code, %ebp always points to the
1400 start of this array. Useful stuff, like the simulated CPU state,
1401 and the addresses of helper functions, can then be found by
1402 indexing off %ebp. The following declares variables which, at
1403 startup time, are given values denoting offsets into baseBlock.
1404 These offsets are in *words* from the start of baseBlock. */
1405
1406#define VG_BASEBLOCK_WORDS 200
1407
1408extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1409
1410
1411/* -----------------------------------------------------
1412 Read-write parts of baseBlock.
1413 -------------------------------------------------- */
1414
1415/* State of the simulated CPU. */
1416extern Int VGOFF_(m_eax);
1417extern Int VGOFF_(m_ecx);
1418extern Int VGOFF_(m_edx);
1419extern Int VGOFF_(m_ebx);
1420extern Int VGOFF_(m_esp);
1421extern Int VGOFF_(m_ebp);
1422extern Int VGOFF_(m_esi);
1423extern Int VGOFF_(m_edi);
1424extern Int VGOFF_(m_eflags);
1425extern Int VGOFF_(m_fpustate);
1426extern Int VGOFF_(m_eip);
1427
sewardj92a59562002-09-30 00:53:10 +00001428extern Int VGOFF_(m_cs);
1429extern Int VGOFF_(m_ss);
1430extern Int VGOFF_(m_ds);
1431extern Int VGOFF_(m_es);
1432extern Int VGOFF_(m_fs);
1433extern Int VGOFF_(m_gs);
1434
sewardjde4a1d02002-03-22 01:27:54 +00001435/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1436extern Int VGOFF_(spillslots);
1437
1438/* Records the valid bits for the 8 integer regs & flags reg. */
1439extern Int VGOFF_(sh_eax);
1440extern Int VGOFF_(sh_ecx);
1441extern Int VGOFF_(sh_edx);
1442extern Int VGOFF_(sh_ebx);
1443extern Int VGOFF_(sh_esp);
1444extern Int VGOFF_(sh_ebp);
1445extern Int VGOFF_(sh_esi);
1446extern Int VGOFF_(sh_edi);
1447extern Int VGOFF_(sh_eflags);
1448
sewardjde4a1d02002-03-22 01:27:54 +00001449/* -----------------------------------------------------
1450 Read-only parts of baseBlock.
1451 -------------------------------------------------- */
1452
sewardj92a59562002-09-30 00:53:10 +00001453/* This thread's LDT pointer. */
1454extern Int VGOFF_(ldt);
1455
sewardjde4a1d02002-03-22 01:27:54 +00001456/* Offsets of addresses of helper functions. A "helper" function is
1457 one which is called from generated code. */
1458
1459extern Int VGOFF_(helper_idiv_64_32);
1460extern Int VGOFF_(helper_div_64_32);
1461extern Int VGOFF_(helper_idiv_32_16);
1462extern Int VGOFF_(helper_div_32_16);
1463extern Int VGOFF_(helper_idiv_16_8);
1464extern Int VGOFF_(helper_div_16_8);
1465
1466extern Int VGOFF_(helper_imul_32_64);
1467extern Int VGOFF_(helper_mul_32_64);
1468extern Int VGOFF_(helper_imul_16_32);
1469extern Int VGOFF_(helper_mul_16_32);
1470extern Int VGOFF_(helper_imul_8_16);
1471extern Int VGOFF_(helper_mul_8_16);
1472
1473extern Int VGOFF_(helper_CLD);
1474extern Int VGOFF_(helper_STD);
1475extern Int VGOFF_(helper_get_dirflag);
1476
sewardj7d78e782002-06-02 00:04:00 +00001477extern Int VGOFF_(helper_CLC);
1478extern Int VGOFF_(helper_STC);
1479
sewardjde4a1d02002-03-22 01:27:54 +00001480extern Int VGOFF_(helper_shldl);
1481extern Int VGOFF_(helper_shldw);
1482extern Int VGOFF_(helper_shrdl);
1483extern Int VGOFF_(helper_shrdw);
1484
1485extern Int VGOFF_(helper_RDTSC);
1486extern Int VGOFF_(helper_CPUID);
1487
sewardjde4a1d02002-03-22 01:27:54 +00001488extern Int VGOFF_(helper_bsf);
1489extern Int VGOFF_(helper_bsr);
1490
1491extern Int VGOFF_(helper_fstsw_AX);
1492extern Int VGOFF_(helper_SAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001493extern Int VGOFF_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001494extern Int VGOFF_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001495
sewardjde4a1d02002-03-22 01:27:54 +00001496extern Int VGOFF_(handle_esp_assignment); /* :: Addr -> void */
sewardjde4a1d02002-03-22 01:27:54 +00001497
njn25e49d8e72002-09-23 09:36:25 +00001498/* For storing extension-specific helpers, determined at runtime. The addr
1499 * and offset arrays together form a (addr, offset) map that allows a
1500 * helper's baseBlock offset to be computed from its address. It's done
1501 * like this so CCALL_M_Ns and other helper calls can use the function
1502 * address rather than having to much around with offsets. */
1503extern UInt VG_(n_compact_helpers);
1504extern UInt VG_(n_noncompact_helpers);
1505
1506extern Addr VG_(compact_helper_addrs) [];
1507extern Int VG_(compact_helper_offsets)[];
1508
1509extern Addr VG_(noncompact_helper_addrs) [];
1510extern Int VG_(noncompact_helper_offsets)[];
1511
sewardjf220ccc2002-10-23 21:53:49 +00001512#define VGL_(x) vgIntercept_##x
sewardjde4a1d02002-03-22 01:27:54 +00001513
1514#endif /* ndef __VG_INCLUDE_H */
1515
sewardj3b2736a2002-03-24 12:18:35 +00001516
1517/* ---------------------------------------------------------------------
1518 Finally - autoconf-generated settings
1519 ------------------------------------------------------------------ */
1520
1521#include "config.h"
1522
sewardjde4a1d02002-03-22 01:27:54 +00001523/*--------------------------------------------------------------------*/
1524/*--- end vg_include.h ---*/
1525/*--------------------------------------------------------------------*/