blob: f9a7a40ec0facc3a08fa1efd22909ee4db093490 [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
njn25e49d8e72002-09-23 09:36:25 +000050/* All stuff visible to core and skins goes in vg_skin.h. Things visible
51 * to core but private to skins go here. */
52#include "vg_skin.h"
sewardjde4a1d02002-03-22 01:27:54 +000053
54/* Total number of spill slots available for allocation, if a TempReg
55 doesn't make it into a RealReg. Just bomb the entire system if
56 this value is too small; we don't expect it will ever get
57 particularly high. */
58#define VG_MAX_SPILLSLOTS 24
59
60
61/* Constants for the slow translation lookup cache. */
62#define VG_TRANSTAB_SLOW_BITS 11
63#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
64#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
65
66/* Size of a buffer used for creating messages. */
67#define M_VG_MSGBUF 10000
68
69/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +000070#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +000071
72/* Max length of pathname to a .so/executable file. */
73#define M_VG_LIBNAMESTR 100
74
75/* Max length of a text fragment used to construct error messages. */
76#define M_VG_ERRTXT 512
77
78/* Max length of the string copied from env var VG_ARGS at startup. */
79#define M_VG_CMDLINE_STRLEN 1000
80
81/* Max number of options for Valgrind which we can handle. */
82#define M_VG_CMDLINE_OPTS 100
83
84/* After this many different unsuppressed errors have been observed,
85 be more conservative about collecting new ones. */
86#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
87
88/* After this many different unsuppressed errors have been observed,
89 stop collecting errors at all, and tell the user their program is
90 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +000091#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +000092
93/* After this many total errors have been observed, stop collecting
94 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +000095#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +000096
sewardjde4a1d02002-03-22 01:27:54 +000097/* The maximum number of calls we're prepared to save in a
98 backtrace. */
99#define VG_DEEPEST_BACKTRACE 50
100
101/* Number of lists in which we keep track of malloc'd but not free'd
102 blocks. Should be prime. */
103#define VG_N_MALLOCLISTS 997
104
105/* Number of lists in which we keep track of ExeContexts. Should be
106 prime. */
107#define VG_N_EC_LISTS /*997*/ 4999
108
sewardj2e93c502002-04-12 11:12:52 +0000109/* Defines the thread-scheduling timeslice, in terms of the number of
110 basic blocks we attempt to run each thread for. Smaller values
111 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000112#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000113
sewardj2e93c502002-04-12 11:12:52 +0000114/* Number of file descriptors that can simultaneously be waited on for
115 I/O to complete. Perhaps this should be the same as VG_N_THREADS
116 (surely a thread can't wait on more than one fd at once?. Who
117 knows.) */
118#define VG_N_WAITING_FDS 10
119
sewardjbf290b92002-05-01 02:28:01 +0000120/* Stack size for a thread. We try and check that they do not go
121 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000122#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000123
sewardj20917d82002-05-28 01:36:45 +0000124/* Number of entries in the semaphore-remapping table. */
125#define VG_N_SEMAPHORES 50
126
127/* Number of entries in the rwlock-remapping table. */
sewardj89745a52002-09-27 01:04:29 +0000128#define VG_N_RWLOCKS 500
sewardj20917d82002-05-28 01:36:45 +0000129
sewardj8ad94e12002-05-29 00:10:20 +0000130/* Number of entries in each thread's cleanup stack. */
131#define VG_N_CLEANUPSTACK 8
132
sewardj2cb00342002-06-28 01:46:26 +0000133/* Number of entries in each thread's fork-handler stack. */
134#define VG_N_FORKHANDLERSTACK 2
135
njn25e49d8e72002-09-23 09:36:25 +0000136/* Max number of callers for context in a suppression. */
137#define VG_N_SUPP_CALLERS 4
138
sewardjde4a1d02002-03-22 01:27:54 +0000139
140/* ---------------------------------------------------------------------
141 Basic types
142 ------------------------------------------------------------------ */
143
sewardjde4a1d02002-03-22 01:27:54 +0000144/* Just pray that gcc's constant folding works properly ... */
145#define BITS(bit7,bit6,bit5,bit4,bit3,bit2,bit1,bit0) \
146 ( ((bit7) << 7) | ((bit6) << 6) | ((bit5) << 5) | ((bit4) << 4) \
147 | ((bit3) << 3) | ((bit2) << 2) | ((bit1) << 1) | (bit0))
148
sewardjde4a1d02002-03-22 01:27:54 +0000149/* ---------------------------------------------------------------------
150 Command-line-settable options
151 ------------------------------------------------------------------ */
152
sewardjde4a1d02002-03-22 01:27:54 +0000153#define VG_CLO_MAX_SFILES 10
154
sewardj72f98ff2002-06-13 17:23:38 +0000155/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000156extern Bool VG_(clo_error_limit);
sewardjde4a1d02002-03-22 01:27:54 +0000157/* Enquire about whether to attach to GDB at errors? default: NO */
158extern Bool VG_(clo_GDB_attach);
159/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
160extern Int VG_(sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000161/* Automatically attempt to demangle C++ names? default: YES */
162extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000163/* Round malloc sizes upwards to integral number of words? default:
164 NO */
165extern Bool VG_(clo_sloppy_malloc);
sewardj246d4662002-06-14 10:17:05 +0000166/* Minimum alignment in functions that don't specify alignment explicitly.
167 default: 0, i.e. use default of the machine (== 4) */
168extern Int VG_(clo_alignment);
sewardjde4a1d02002-03-22 01:27:54 +0000169/* Simulate child processes? default: NO */
170extern Bool VG_(clo_trace_children);
171/* The file id on which we send all messages. default: 2 (stderr). */
172extern Int VG_(clo_logfile_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000173
174/* The number of suppression files specified. */
175extern Int VG_(clo_n_suppressions);
176/* The names of the suppression files. */
177extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
178
179/* Single stepping? default: NO */
180extern Bool VG_(clo_single_step);
181/* Code improvement? default: YES */
182extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000183/* DEBUG: print generated code? default: 00000 ( == NO ) */
184extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000185/* DEBUG: print system calls? default: NO */
186extern Bool VG_(clo_trace_syscalls);
187/* DEBUG: print signal details? default: NO */
188extern Bool VG_(clo_trace_signals);
189/* DEBUG: print symtab details? default: NO */
190extern Bool VG_(clo_trace_symtab);
191/* DEBUG: print malloc details? default: NO */
192extern Bool VG_(clo_trace_malloc);
sewardj8937c812002-04-12 20:12:20 +0000193/* DEBUG: print thread scheduling events? default: NO */
194extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000195/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
196 (some), 2 (all) */
197extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000198/* Stop after this many basic blocks. default: Infinity. */
199extern ULong VG_(clo_stop_after);
200/* Display gory details for the k'th most popular error. default:
201 Infinity. */
202extern Int VG_(clo_dump_error);
203/* Number of parents of a backtrace. Default: 8. */
204extern Int VG_(clo_backtrace_size);
sewardj3984b852002-05-12 03:00:17 +0000205/* Engage miscellaneous wierd hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000206extern Char* VG_(clo_weird_hacks);
sewardj858964b2002-10-05 14:15:43 +0000207/* Should we run __libc_freeres at exit? Sometimes causes crashes.
208 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
209 if the latter says False, then the setting of VG_(clo_weird_hacks)
210 is ignored. Ie if a skin says no, I don't want this to run, that
211 cannot be overridden from the command line. */
212extern Bool VG_(clo_run_libc_freeres);
sewardjde4a1d02002-03-22 01:27:54 +0000213
214
215/* ---------------------------------------------------------------------
216 Debugging and profiling stuff
217 ------------------------------------------------------------------ */
218
njn25e49d8e72002-09-23 09:36:25 +0000219/* Change to 1 to get more accurate but more expensive core profiling. */
220#if 0
221# define VGP_ACCURATE_PROFILING
222#endif
223
sewardjde4a1d02002-03-22 01:27:54 +0000224/* Create a logfile into which messages can be dumped. */
225extern void VG_(startup_logging) ( void );
njn25e49d8e72002-09-23 09:36:25 +0000226extern void VG_(shutdown_logging)( void );
sewardjde4a1d02002-03-22 01:27:54 +0000227
228extern void VGP_(init_profiling) ( void );
229extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000230
njn25e49d8e72002-09-23 09:36:25 +0000231#undef VGP_PUSHCC
232#undef VGP_POPCC
233#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
234#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000235
njn25e49d8e72002-09-23 09:36:25 +0000236/* Use this for ones that happen a lot and thus we don't want to put in
237 all the time, eg. for %esp assignment. */
238#ifdef VGP_ACCURATE_PROFILING
239# define VGP_MAYBE_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
240# define VGP_MAYBE_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000241#else
njn25e49d8e72002-09-23 09:36:25 +0000242# define VGP_MAYBE_PUSHCC(x)
243# define VGP_MAYBE_POPCC(x)
244#endif
sewardjde4a1d02002-03-22 01:27:54 +0000245
246
247/* ---------------------------------------------------------------------
248 Exports of vg_malloc2.c
249 ------------------------------------------------------------------ */
250
251/* Allocation arenas.
njn25e49d8e72002-09-23 09:36:25 +0000252 CORE is for the core's general use.
253 SKIN is for the skin to use (and the only one it uses).
sewardjde4a1d02002-03-22 01:27:54 +0000254 SYMTAB is for Valgrind's symbol table storage.
njn25e49d8e72002-09-23 09:36:25 +0000255 JITTER is for small storage during translation.
sewardjde4a1d02002-03-22 01:27:54 +0000256 CLIENT is for the client's mallocs/frees.
257 DEMANGLE is for the C++ demangler.
258 EXECTXT is for storing ExeContexts.
njn25e49d8e72002-09-23 09:36:25 +0000259 ERRORS is for storing CoreErrors.
sewardjde4a1d02002-03-22 01:27:54 +0000260 TRANSIENT is for very short-term use. It should be empty
261 in between uses.
njn25e49d8e72002-09-23 09:36:25 +0000262 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000263*/
264typedef Int ArenaId;
265
njn25e49d8e72002-09-23 09:36:25 +0000266#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000267
njn25e49d8e72002-09-23 09:36:25 +0000268#define VG_AR_CORE 0 /* :: ArenaId */
269#define VG_AR_SKIN 1 /* :: ArenaId */
270#define VG_AR_SYMTAB 2 /* :: ArenaId */
271#define VG_AR_JITTER 3 /* :: ArenaId */
272#define VG_AR_CLIENT 4 /* :: ArenaId */
273#define VG_AR_DEMANGLE 5 /* :: ArenaId */
274#define VG_AR_EXECTXT 6 /* :: ArenaId */
275#define VG_AR_ERRORS 7 /* :: ArenaId */
276#define VG_AR_TRANSIENT 8 /* :: ArenaId */
sewardjde4a1d02002-03-22 01:27:54 +0000277
njn25e49d8e72002-09-23 09:36:25 +0000278extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
279extern void VG_(arena_free) ( ArenaId arena, void* ptr );
280extern void* VG_(arena_calloc) ( ArenaId arena, Int nmemb, Int nbytes );
281extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
282 Int size );
283extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000284 Int req_pszB );
285
sewardjde4a1d02002-03-22 01:27:54 +0000286extern void VG_(mallocSanityCheckAll) ( void );
287
288extern void VG_(show_all_arena_stats) ( void );
289extern Bool VG_(is_empty_arena) ( ArenaId aid );
290
291
292/* The red-zone size for the client. This can be arbitrary, but
293 unfortunately must be set at compile time. */
294#define VG_AR_CLIENT_REDZONE_SZW 4
295
296#define VG_AR_CLIENT_REDZONE_SZB \
297 (VG_AR_CLIENT_REDZONE_SZW * VKI_BYTES_PER_WORD)
298
299
300/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +0000301 Exports of vg_clientfuncs.c
sewardj2e93c502002-04-12 11:12:52 +0000302 ------------------------------------------------------------------ */
303
304/* This doesn't export code or data that valgrind.so needs to link
305 against. However, the scheduler does need to know the following
306 request codes. A few, publically-visible, request codes are also
njn25e49d8e72002-09-23 09:36:25 +0000307 defined in valgrind.h, and similar headers for some skins. */
sewardj2e93c502002-04-12 11:12:52 +0000308
309#define VG_USERREQ__MALLOC 0x2001
310#define VG_USERREQ__BUILTIN_NEW 0x2002
311#define VG_USERREQ__BUILTIN_VEC_NEW 0x2003
312
313#define VG_USERREQ__FREE 0x2004
314#define VG_USERREQ__BUILTIN_DELETE 0x2005
315#define VG_USERREQ__BUILTIN_VEC_DELETE 0x2006
316
317#define VG_USERREQ__CALLOC 0x2007
318#define VG_USERREQ__REALLOC 0x2008
319#define VG_USERREQ__MEMALIGN 0x2009
320
321
sewardj20917d82002-05-28 01:36:45 +0000322/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
323 MUST NOT return -- ever. Eventually it will do either __QUIT or
324 __WAIT_JOINER. */
325#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
326
327/* ( no-args ): calling thread disappears from the system forever.
328 Reclaim resources. */
329#define VG_USERREQ__QUIT 0x3002
330
331/* ( void* ): calling thread waits for joiner and returns the void* to
332 it. */
333#define VG_USERREQ__WAIT_JOINER 0x3003
334
335/* ( ThreadId, void** ): wait to join a thread. */
336#define VG_USERREQ__PTHREAD_JOIN 0x3004
337
338/* Set cancellation state and type for this thread. */
339#define VG_USERREQ__SET_CANCELSTATE 0x3005
340#define VG_USERREQ__SET_CANCELTYPE 0x3006
341
342/* ( no-args ): Test if we are at a cancellation point. */
343#define VG_USERREQ__TESTCANCEL 0x3007
344
345/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
346 with this arg to indicate that a cancel is now pending for the
347 specified thread. */
348#define VG_USERREQ__SET_CANCELPEND 0x3008
349
350/* Set/get detach state for this thread. */
351#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
352
353#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
354#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
355#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
356#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
357#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
358#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
359#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
360#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
361#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
362#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000363#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
364#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000365#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
366#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
367#define VG_USERREQ__SIGWAIT 0x3019
368#define VG_USERREQ__PTHREAD_KILL 0x301A
369#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000370#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000371
sewardj8ad94e12002-05-29 00:10:20 +0000372#define VG_USERREQ__CLEANUP_PUSH 0x3020
373#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000374#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000375
sewardjef037c72002-05-30 00:40:03 +0000376#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000377
378/* Ask how many signal handler returns have happened to this
379 thread. */
sewardj9a2224b2002-06-19 10:17:40 +0000380#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024
sewardjef037c72002-05-30 00:40:03 +0000381
sewardj2cb00342002-06-28 01:46:26 +0000382/* Get/set entries for a thread's pthread_atfork stack. */
383#define VG_USERREQ__SET_FHSTACK_USED 0x3025
384#define VG_USERREQ__GET_FHSTACK_USED 0x3026
385#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
386#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000387
sewardj1fe7b002002-07-16 01:43:15 +0000388/* Denote the finish of VG_(__libc_freeres_wrapper). */
389#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
390
sewardj45b4b372002-04-16 22:50:32 +0000391/* Cosmetic ... */
392#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000393/* Log a pthread error from client-space. Cosmetic. */
394#define VG_USERREQ__PTHREAD_ERROR 0x3102
sewardj45b4b372002-04-16 22:50:32 +0000395
sewardj54cacf02002-04-12 23:24:59 +0000396/*
397In vg_constants.h:
398#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000399*/
400
sewardj1fe7b002002-07-16 01:43:15 +0000401/* The scheduler does need to know the address of it so it can be
402 called at program exit. */
403extern void VG_(__libc_freeres_wrapper)( void );
404
sewardj54cacf02002-04-12 23:24:59 +0000405
sewardj2e93c502002-04-12 11:12:52 +0000406/* ---------------------------------------------------------------------
407 Constants pertaining to the simulated CPU state, VG_(baseBlock),
408 which need to go here to avoid ugly circularities.
409 ------------------------------------------------------------------ */
410
411/* How big is the saved FPU state? */
412#define VG_SIZE_OF_FPUSTATE 108
413/* ... and in words ... */
414#define VG_SIZE_OF_FPUSTATE_W ((VG_SIZE_OF_FPUSTATE+3)/4)
415
416
417/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000418 Exports of vg_ldt.c
419 ------------------------------------------------------------------ */
420
421/* This is the hardware-format for a segment descriptor, ie what the
422 x86 actually deals with. It is 8 bytes long. It's ugly. */
423
424typedef struct _LDT_ENTRY {
425 union {
426 struct {
427 UShort LimitLow;
428 UShort BaseLow;
429 unsigned BaseMid : 8;
430 unsigned Type : 5;
431 unsigned Dpl : 2;
432 unsigned Pres : 1;
433 unsigned LimitHi : 4;
434 unsigned Sys : 1;
435 unsigned Reserved_0 : 1;
436 unsigned Default_Big : 1;
437 unsigned Granularity : 1;
438 unsigned BaseHi : 8;
439 } Bits;
440 struct {
441 UInt word1;
442 UInt word2;
443 } Words;
444 }
445 LdtEnt;
446} VgLdtEntry;
447
448/* Maximum number of LDT entries supported (by the x86). */
449#define VG_M_LDT_ENTRIES 8192
450/* The size of each LDT entry == sizeof(VgLdtEntry) */
451#define VG_LDT_ENTRY_SIZE 8
452
453/* Alloc & copy, and dealloc. */
454extern VgLdtEntry*
455 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
456extern void
457 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
458
459/* Simulate the modify_ldt syscall. */
460extern Int VG_(sys_modify_ldt) ( ThreadId tid,
461 Int func, void* ptr, UInt bytecount );
462
sewardje1042472002-09-30 12:33:11 +0000463/* Called from generated code. Given a segment selector and a virtual
464 address, return a linear address, and do limit checks too. */
465extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
466
sewardj92a59562002-09-30 00:53:10 +0000467
468/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000469 Exports of vg_scheduler.c
470 ------------------------------------------------------------------ */
471
sewardj2e93c502002-04-12 11:12:52 +0000472typedef
473 enum {
474 VgTs_Empty, /* this slot is not in use */
475 VgTs_Runnable, /* waiting to be scheduled */
476 VgTs_WaitJoiner, /* waiting for someone to do join on me */
477 VgTs_WaitJoinee, /* waiting for the thread I did join on */
478 VgTs_WaitFD, /* waiting for I/O completion on a fd */
479 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000480 VgTs_WaitCV, /* waiting on a condition variable */
sewardjb48e5002002-05-13 00:16:03 +0000481 VgTs_WaitSIG, /* waiting due to sigwait() */
sewardj2e93c502002-04-12 11:12:52 +0000482 VgTs_Sleeping /* sleeping for a while */
483 }
484 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000485
486/* An entry in a threads's cleanup stack. */
487typedef
488 struct {
489 void (*fn)(void*);
490 void* arg;
491 }
492 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000493
494/* An entry in a thread's fork-handler stack. */
495typedef
496 struct {
497 void (*prepare)(void);
498 void (*parent)(void);
499 void (*child)(void);
500 }
501 ForkHandlerEntry;
502
503
njn25e49d8e72002-09-23 09:36:25 +0000504struct _ThreadState {
505 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
506 The thread identity is simply the index in vg_threads[].
507 ThreadId == 1 is the root thread and has the special property
508 that we don't try and allocate or deallocate its stack. For
509 convenience of generating error message, we also put the
510 ThreadId in this tid field, but be aware that it should
511 ALWAYS == the index in vg_threads[]. */
512 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000513
njn25e49d8e72002-09-23 09:36:25 +0000514 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000515
njn25e49d8e72002-09-23 09:36:25 +0000516 Complications: whenever this is set to VgTs_WaitMX, you
517 should also set .m_edx to whatever the required return value
518 is for pthread_mutex_lock / pthread_cond_timedwait for when
519 the mutex finally gets unblocked. */
520 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000521
njn25e49d8e72002-09-23 09:36:25 +0000522 /* When .status == WaitMX, points to the mutex I am waiting for.
523 When .status == WaitCV, points to the mutex associated with
524 the condition variable indicated by the .associated_cv field.
525 In all other cases, should be NULL. */
526 void* /*pthread_mutex_t* */ associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000527
njn25e49d8e72002-09-23 09:36:25 +0000528 /* When .status == WaitCV, points to the condition variable I am
529 waiting for. In all other cases, should be NULL. */
530 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000531
njn25e49d8e72002-09-23 09:36:25 +0000532 /* If VgTs_Sleeping, this is when we should wake up, measured in
533 milliseconds as supplied by VG_(read_millisecond_counter).
sewardj2e93c502002-04-12 11:12:52 +0000534
njn25e49d8e72002-09-23 09:36:25 +0000535 If VgTs_WaitCV, this indicates the time at which
536 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
537 this means infinitely far in the future, viz,
538 pthread_cond_wait. */
539 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000540
njn25e49d8e72002-09-23 09:36:25 +0000541 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
542 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000543
njn25e49d8e72002-09-23 09:36:25 +0000544 /* If VgTs_WaitJoinee, place to copy the return value to, and
545 the identity of the thread we're waiting for. */
546 void** joiner_thread_return;
547 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000548
njn25e49d8e72002-09-23 09:36:25 +0000549 /* Whether or not detached. */
550 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000551
njn25e49d8e72002-09-23 09:36:25 +0000552 /* Cancelability state and type. */
553 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
554 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
555
556 /* Pointer to fn to call to do cancellation. Indicates whether
557 or not cancellation is pending. If NULL, not pending. Else
558 should be &thread_exit_wrapper(), indicating that
559 cancallation is pending. */
560 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000561
njn25e49d8e72002-09-23 09:36:25 +0000562 /* The cleanup stack. */
563 Int custack_used;
564 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000565
sewardj00a66b12002-10-12 16:42:35 +0000566 /* A pointer to the thread's-specific-data. This is handled almost
567 entirely from vg_libpthread.c. We just provide hooks to get and
568 set this ptr. This is either NULL, indicating the thread has
569 read/written none of its specifics so far, OR points to a
570 void*[VG_N_THREAD_KEYS], allocated and deallocated in
571 vg_libpthread.c. */
572 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000573
njn25e49d8e72002-09-23 09:36:25 +0000574 /* This thread's blocked-signals mask. Semantics is that for a
575 signal to be delivered to this thread, the signal must not be
576 blocked by either the process-wide signal mask nor by this
577 one. So, if this thread is prepared to handle any signal that
578 the process as a whole is prepared to handle, this mask should
579 be made empty -- and that it is its default, starting
580 state. */
581 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000582
njn25e49d8e72002-09-23 09:36:25 +0000583 /* When not VgTs_WaitSIG, has no meaning. When VgTs_WaitSIG,
584 is the set of signals for which we are sigwait()ing. */
585 vki_ksigset_t sigs_waited_for;
sewardj9a2224b2002-06-19 10:17:40 +0000586
njn25e49d8e72002-09-23 09:36:25 +0000587 /* Counts the number of times a signal handler for this thread
588 has returned. This makes it easy to implement pause(), by
589 polling this value, of course interspersed with nanosleeps,
590 and waiting till it changes. */
591 UInt n_signals_returned;
sewardj2e93c502002-04-12 11:12:52 +0000592
njn25e49d8e72002-09-23 09:36:25 +0000593 /* Stacks. When a thread slot is freed, we don't deallocate its
594 stack; we just leave it lying around for the next use of the
595 slot. If the next use of the slot requires a larger stack,
596 only then is the old one deallocated and a new one
597 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000598
njn25e49d8e72002-09-23 09:36:25 +0000599 For the main thread (threadid == 0), this mechanism doesn't
600 apply. We don't know the size of the stack since we didn't
601 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000602
njn25e49d8e72002-09-23 09:36:25 +0000603 /* The allocated size of this thread's stack (permanently zero
604 if this is ThreadId == 0, since we didn't allocate its stack) */
605 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000606
njn25e49d8e72002-09-23 09:36:25 +0000607 /* Address of the lowest word in this thread's stack. NULL means
608 not allocated yet.
609 */
610 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000611
sewardj92a59562002-09-30 00:53:10 +0000612 /* Address of the highest legitimate word in this stack. This is
613 used for error messages only -- not critical for execution
614 correctness. Is is set for all stacks, specifically including
615 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000616 Addr stack_highest_word;
617
sewardj92a59562002-09-30 00:53:10 +0000618 /* Pointer to this thread's Local (Segment) Descriptor Table.
619 Starts out as NULL, indicating there is no table, and we hope to
620 keep it that way. If the thread does __NR_modify_ldt to create
621 entries, we allocate a 8192-entry table at that point. This is
622 a straight copy of the Linux kernel's scheme. Don't forget to
623 deallocate this at thread exit. */
624 VgLdtEntry* ldt;
625
626 /* Saved machine context. Note the FPU state, %EIP and segment
627 registers are not shadowed.
628
629 Although the segment registers are 16 bits long, storage
630 management here, in VG_(baseBlock) and in VG_(m_state_static) is
631 simplified if we pretend they are 32 bits. */
632 UInt m_cs;
633 UInt m_ss;
634 UInt m_ds;
635 UInt m_es;
636 UInt m_fs;
637 UInt m_gs;
638
njn25e49d8e72002-09-23 09:36:25 +0000639 UInt m_eax;
640 UInt m_ebx;
641 UInt m_ecx;
642 UInt m_edx;
643 UInt m_esi;
644 UInt m_edi;
645 UInt m_ebp;
646 UInt m_esp;
647 UInt m_eflags;
648 UInt m_eip;
649 UInt m_fpu[VG_SIZE_OF_FPUSTATE_W];
650
651 UInt sh_eax;
652 UInt sh_ebx;
653 UInt sh_ecx;
654 UInt sh_edx;
655 UInt sh_esi;
656 UInt sh_edi;
657 UInt sh_ebp;
658 UInt sh_esp;
659 UInt sh_eflags;
660};
sewardj2e93c502002-04-12 11:12:52 +0000661
662
sewardj018f7622002-05-15 21:13:39 +0000663/* The thread table. */
664extern ThreadState VG_(threads)[VG_N_THREADS];
665
666/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000667extern Bool VG_(is_valid_tid) ( ThreadId tid );
668
sewardj018f7622002-05-15 21:13:39 +0000669/* Check that tid is in range. */
670extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
671
sewardj2e93c502002-04-12 11:12:52 +0000672/* Copy the specified thread's state into VG_(baseBlock) in
673 preparation for running it. */
674extern void VG_(load_thread_state)( ThreadId );
675
676/* Save the specified thread's state back in VG_(baseBlock), and fill
677 VG_(baseBlock) with junk, for sanity-check reasons. */
678extern void VG_(save_thread_state)( ThreadId );
679
sewardj1e8cdc92002-04-18 11:37:52 +0000680/* And for the currently running one, if valid. */
681extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000682
sewardj1e8cdc92002-04-18 11:37:52 +0000683/* Similarly ... */
684extern ThreadId VG_(get_current_tid) ( void );
685
sewardjccef2e62002-05-29 19:26:32 +0000686/* Nuke all threads except tid. */
687extern void VG_(nuke_all_threads_except) ( ThreadId me );
688
sewardj2e93c502002-04-12 11:12:52 +0000689
690/* Return codes from the scheduler. */
691typedef
sewardj7e87e382002-05-03 19:09:05 +0000692 enum {
693 VgSrc_Deadlock, /* no runnable threads and no prospect of any
694 even if we wait for a long time */
695 VgSrc_ExitSyscall, /* client called exit(). This is the normal
696 route out. */
697 VgSrc_BbsDone /* In a debugging run, the specified number of
698 bbs has been completed. */
699 }
sewardj2e93c502002-04-12 11:12:52 +0000700 VgSchedReturnCode;
701
sewardj7e87e382002-05-03 19:09:05 +0000702
sewardj2e93c502002-04-12 11:12:52 +0000703/* The scheduler. */
704extern VgSchedReturnCode VG_(scheduler) ( void );
705
706extern void VG_(scheduler_init) ( void );
707
sewardj15a43e12002-04-17 19:35:12 +0000708extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000709
710/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
711extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000712/* This says whether scheduler_jmpbuf is actually valid. Needed so
713 that our signal handler doesn't longjmp when the buffer isn't
714 actually valid. */
715extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000716/* ... and if so, here's the signal which caused it to do so. */
717extern Int VG_(longjmpd_on_signal);
718
719
sewardja1679dd2002-05-10 22:31:40 +0000720/* Possible places where the main stack might be based. We check that
721 the initial stack, which we can't move, is allocated here.
722 VG_(scheduler_init) checks this. Andrea Archelangi's 2.4 kernels
723 have been rumoured to start stacks at 0x80000000, so that too is
njn25e49d8e72002-09-23 09:36:25 +0000724 considered. It seems systems with longer uptimes tend to to use
725 stacks which start at 0x40000000 sometimes. JRS 2002-Aug-21: I
726 also have reports of stacks starting at 0xE0000000.*/
727
sewardja1679dd2002-05-10 22:31:40 +0000728#define VG_STARTUP_STACK_BASE_1 (Addr)0xC0000000
729#define VG_STARTUP_STACK_BASE_2 (Addr)0x80000000
daywalkera2562202002-07-15 19:39:51 +0000730#define VG_STARTUP_STACK_BASE_3 (Addr)0x40000000
njn25e49d8e72002-09-23 09:36:25 +0000731#define VG_STARTUP_STACK_BASE_4 (Addr)0xE0000000
sewardja1679dd2002-05-10 22:31:40 +0000732#define VG_STARTUP_STACK_SMALLERTHAN 0x100000 /* 1024k */
733
734#define VG_STACK_MATCHES_BASE(zzstack, zzbase) \
735 ( \
736 ((zzstack) & ((zzbase) - VG_STARTUP_STACK_SMALLERTHAN)) \
737 == \
738 ((zzbase) - VG_STARTUP_STACK_SMALLERTHAN) \
739 )
sewardj2e93c502002-04-12 11:12:52 +0000740
741
742/* The red-zone size which we put at the bottom (highest address) of
743 thread stacks, for paranoia reasons. This can be arbitrary, and
744 doesn't really need to be set at compile time. */
745#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
746
747#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
748 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
749
njn25e49d8e72002-09-23 09:36:25 +0000750/* Junk to fill up a thread's shadow regs with when shadow regs aren't
751 * being used. */
752#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
753
754/* What we set a shadow register to when written by SET_EAX and similar
755 * things. */
756extern UInt VG_(written_shadow_reg);
sewardj2e93c502002-04-12 11:12:52 +0000757
sewardj018f7622002-05-15 21:13:39 +0000758/* Write a value to the client's %EDX (request return value register)
759 and set the shadow to indicate it is defined. */
njn25e49d8e72002-09-23 09:36:25 +0000760#define SET_EDX(zztid, zzval) \
761 do { VG_(threads)[zztid].m_edx = (zzval); \
762 VG_(threads)[zztid].sh_edx = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000763 } while (0)
764
njn25e49d8e72002-09-23 09:36:25 +0000765#define SET_EAX(zztid, zzval) \
766 do { VG_(threads)[zztid].m_eax = (zzval); \
767 VG_(threads)[zztid].sh_eax = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000768 } while (0)
769
sewardj2e93c502002-04-12 11:12:52 +0000770
771/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000772 Exports of vg_signals.c
773 ------------------------------------------------------------------ */
774
sewardjde4a1d02002-03-22 01:27:54 +0000775extern void VG_(sigstartup_actions) ( void );
776
sewardjb48e5002002-05-13 00:16:03 +0000777extern Bool VG_(deliver_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000778extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000779extern void VG_(handle_SCSS_change) ( Bool force_update );
780
sewardjde4a1d02002-03-22 01:27:54 +0000781
782/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +0000783extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000784extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +0000785extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
786 Int how,
787 vki_ksigset_t* set,
788 vki_ksigset_t* oldset );
789extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
790 Int how,
791 vki_ksigset_t* set,
792 vki_ksigset_t* oldset );
793extern void VG_(send_signal_to_thread) ( ThreadId thread,
794 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +0000795
sewardjefbfcdf2002-06-19 17:35:45 +0000796extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
797
798
sewardj2e93c502002-04-12 11:12:52 +0000799/* Modify the current thread's state once we have detected it is
800 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +0000801extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +0000802
sewardj2e93c502002-04-12 11:12:52 +0000803/* Handy utilities to block/restore all host signals. */
804extern void VG_(block_all_host_signals)
805 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000806extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +0000807 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000808
809/* ---------------------------------------------------------------------
810 Exports of vg_mylibc.c
811 ------------------------------------------------------------------ */
812
njne427a662002-10-02 11:08:25 +0000813#define vg_assert(expr) \
814 ((void) ((expr) ? 0 : \
815 (VG_(core_assert_fail) (VG__STRING(expr), \
816 __FILE__, __LINE__, \
817 __PRETTY_FUNCTION__), 0)))
818__attribute__ ((__noreturn__))
819extern void VG_(core_assert_fail) ( Char* expr, Char* file,
820 Int line, Char* fn );
821__attribute__ ((__noreturn__))
822extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +0000823
njn25e49d8e72002-09-23 09:36:25 +0000824/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
825extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +0000826
njn25e49d8e72002-09-23 09:36:25 +0000827/* Skins use VG_(strdup)() which doesn't expose ArenaId */
828extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +0000829
njn25e49d8e72002-09-23 09:36:25 +0000830/* Skins shouldn't need these...(?) */
sewardj5f07b662002-04-23 16:52:51 +0000831extern void VG_(start_rdtsc_calibration) ( void );
832extern void VG_(end_rdtsc_calibration) ( void );
833extern UInt VG_(read_millisecond_timer) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000834
njn25e49d8e72002-09-23 09:36:25 +0000835extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +0000836extern Int VG_(select)( Int n,
837 vki_fd_set* readfds,
838 vki_fd_set* writefds,
839 vki_fd_set* exceptfds,
840 struct vki_timeval * timeout );
841extern Int VG_(nanosleep)( const struct vki_timespec *req,
842 struct vki_timespec *rem );
843
sewardjde4a1d02002-03-22 01:27:54 +0000844/* ---------------------------------------------------------------------
845 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
846 vg_from_ucode.c).
847 ------------------------------------------------------------------ */
848
sewardjde4a1d02002-03-22 01:27:54 +0000849#define VG_IS_FLAG_SUBSET(set1,set2) \
850 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
851
852#define VG_UNION_FLAG_SETS(set1,set2) \
853 ( ((FlagSet)set1) | ((FlagSet)set2) )
854
sewardjde4a1d02002-03-22 01:27:54 +0000855/* ---------------------------------------------------------------------
856 Exports of vg_demangle.c
857 ------------------------------------------------------------------ */
858
859extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
860
sewardjde4a1d02002-03-22 01:27:54 +0000861/* ---------------------------------------------------------------------
862 Exports of vg_from_ucode.c
863 ------------------------------------------------------------------ */
864
865extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes );
866
njn25e49d8e72002-09-23 09:36:25 +0000867extern void VG_(print_ccall_stats) ( void );
868extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000869
870/* ---------------------------------------------------------------------
871 Exports of vg_to_ucode.c
872 ------------------------------------------------------------------ */
873
874extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +0000875
876/* ---------------------------------------------------------------------
877 Exports of vg_translate.c
878 ------------------------------------------------------------------ */
879
sewardj1e8cdc92002-04-18 11:37:52 +0000880extern void VG_(translate) ( ThreadState* tst,
881 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +0000882 UInt* orig_size,
883 Addr* trans_addr,
884 UInt* trans_size );
885
njn25e49d8e72002-09-23 09:36:25 +0000886extern Char* VG_(nameCondcode) ( Condcode cond );
887extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
888 UInstr* u );
889extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
890extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +0000891
892/* ---------------------------------------------------------------------
893 Exports of vg_execontext.c.
894 ------------------------------------------------------------------ */
895
896/* Records the PC and a bit of the call chain. The first 4 %eip
897 values are used in comparisons do remove duplicate errors, and for
898 comparing against suppression specifications. The rest are purely
899 informational (but often important). */
900
njn25e49d8e72002-09-23 09:36:25 +0000901struct _ExeContext {
902 struct _ExeContext * next;
903 /* Variable-length array. The size is VG_(clo_backtrace_size); at
904 least 2, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
905 [1] is its caller, [2] is the caller of [1], etc. */
906 Addr eips[0];
907};
sewardjde4a1d02002-03-22 01:27:54 +0000908
909
910/* Initialise the ExeContext storage mechanism. */
911extern void VG_(init_ExeContext_storage) ( void );
912
913/* Print stats (informational only). */
914extern void VG_(show_ExeContext_stats) ( void );
915
njn25e49d8e72002-09-23 09:36:25 +0000916/* Like VG_(get_ExeContext), but with a slightly different type */
917extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
918 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +0000919
920
921/* ---------------------------------------------------------------------
922 Exports of vg_errcontext.c.
923 ------------------------------------------------------------------ */
924
njn25e49d8e72002-09-23 09:36:25 +0000925/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
926 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +0000927typedef
njn25e49d8e72002-09-23 09:36:25 +0000928 enum {
929 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +0000930 }
njn25e49d8e72002-09-23 09:36:25 +0000931 CoreSuppKind;
932
933/* For each caller specified for a suppression, record the nature of
934 the caller name. Not of interest to skins. */
935typedef
936 enum {
937 ObjName, /* Name is of an shared object file. */
938 FunName /* Name is of a function. */
939 }
940 SuppLocTy;
941
942/* Suppressions. Skin part `SkinSupp' (which is all skins have to deal
943 with) is in vg_skin.h */
944typedef
945 struct _CoreSupp {
946 struct _CoreSupp* next;
947 /* The number of times this error has been suppressed. */
948 Int count;
949 /* The name by which the suppression is referred to. */
950 Char* sname;
951 /* First two (name of fn where err occurs, and immediate caller)
952 * are mandatory; extra two are optional. */
953 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
954 Char* caller [VG_N_SUPP_CALLERS];
955 /* The skin-specific part */
956 SkinSupp skin_supp;
957 }
958 CoreSupp;
959
960/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
961 * effectively extend it by defining their own enums in the (0..) range. */
962typedef
963 enum {
964 PThreadErr = -1, /* Pthreading error */
965 }
966 CoreErrorKind;
967
968/* Errors. Skin part `SkinError' (which is all skins have to deal
969 with) is in vg_skin.h */
970typedef
971 struct _CoreErrContext {
972 struct _CoreErrContext* next;
973 /* NULL if unsuppressed; or ptr to suppression record. */
974 CoreSupp* supp;
975 Int count;
976 ExeContext* where;
977 ThreadId tid;
978 /* These record %EIP, %ESP and %EBP at the error point. They
979 are only used to make GDB-attaching convenient; there is no
980 other purpose; specifically they are not used to do
981 comparisons between errors. */
982 UInt m_eip;
983 UInt m_esp;
984 UInt m_ebp;
985 /* The skin-specific part */
986 SkinError skin_err;
987 }
988 CoreError;
sewardjde4a1d02002-03-22 01:27:54 +0000989
990
njn25e49d8e72002-09-23 09:36:25 +0000991extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000992
njn25e49d8e72002-09-23 09:36:25 +0000993extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +0000994
njn25e49d8e72002-09-23 09:36:25 +0000995extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000996
997/* ---------------------------------------------------------------------
998 Exports of vg_procselfmaps.c
999 ------------------------------------------------------------------ */
1000
1001extern
1002void VG_(read_procselfmaps) (
1003 void (*record_mapping)( Addr, UInt, Char, Char, Char, UInt, UChar* )
1004);
1005
1006
1007/* ---------------------------------------------------------------------
1008 Exports of vg_symtab2.c
1009 ------------------------------------------------------------------ */
1010
1011/* We assume the executable is loaded here ... can't really find
njn25e49d8e72002-09-23 09:36:25 +00001012 out. There is a hacky sanity check in VG_(init_memory)()
sewardjde4a1d02002-03-22 01:27:54 +00001013 which should trip up most stupidities.
1014*/
1015#define VG_ASSUMED_EXE_BASE (Addr)0x8048000
1016
njn25e49d8e72002-09-23 09:36:25 +00001017extern void VG_(maybe_read_symbols) ( void );
1018extern void VG_(read_symtab_callback) ( Addr start, UInt size,
1019 Char rr, Char ww, Char xx,
1020 UInt foffset, UChar* filename );
1021extern void VG_(maybe_unload_symbols) ( Addr start, UInt length );
sewardjde4a1d02002-03-22 01:27:54 +00001022
njn25e49d8e72002-09-23 09:36:25 +00001023extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
1024extern void VG_(mini_stack_dump) ( ExeContext* ec );
sewardjde4a1d02002-03-22 01:27:54 +00001025
1026
1027/* ---------------------------------------------------------------------
1028 Exports of vg_clientmalloc.c
1029 ------------------------------------------------------------------ */
1030
njn25e49d8e72002-09-23 09:36:25 +00001031extern void VG_(client_malloc_init)();
sewardjde4a1d02002-03-22 01:27:54 +00001032
sewardj2e93c502002-04-12 11:12:52 +00001033/* These are called from the scheduler, when it intercepts a user
1034 request. */
sewardj8c824512002-04-14 04:16:48 +00001035extern void* VG_(client_malloc) ( ThreadState* tst,
1036 UInt size, VgAllocKind kind );
1037extern void* VG_(client_memalign) ( ThreadState* tst,
1038 UInt align, UInt size );
1039extern void VG_(client_free) ( ThreadState* tst,
1040 void* ptrV, VgAllocKind kind );
1041extern void* VG_(client_calloc) ( ThreadState* tst,
1042 UInt nmemb, UInt size1 );
1043extern void* VG_(client_realloc) ( ThreadState* tst,
1044 void* ptrV, UInt size_new );
sewardjde4a1d02002-03-22 01:27:54 +00001045
1046
1047/* ---------------------------------------------------------------------
1048 Exports of vg_main.c
1049 ------------------------------------------------------------------ */
1050
njn25e49d8e72002-09-23 09:36:25 +00001051/* Sanity checks which may be done at any time. The scheduler decides when. */
1052extern void VG_(do_sanity_checks) ( Bool force_expensive );
1053
sewardjde4a1d02002-03-22 01:27:54 +00001054/* A structure used as an intermediary when passing the simulated
1055 CPU's state to some assembly fragments, particularly system calls.
1056 Stuff is copied from baseBlock to here, the assembly magic runs,
njn25e49d8e72002-09-23 09:36:25 +00001057 and then the inverse copy is done.
1058 */
sewardj92a59562002-09-30 00:53:10 +00001059extern UInt VG_(m_state_static) [6 /* segment regs, Intel order */
1060 + 8 /* int regs, in Intel order */
sewardjde4a1d02002-03-22 01:27:54 +00001061 + 1 /* %eflags */
1062 + 1 /* %eip */
1063 + VG_SIZE_OF_FPUSTATE_W /* FPU state */
1064 ];
1065
1066/* Handy fns for doing the copy back and forth. */
1067extern void VG_(copy_baseBlock_to_m_state_static) ( void );
1068extern void VG_(copy_m_state_static_to_baseBlock) ( void );
1069
sewardjde4a1d02002-03-22 01:27:54 +00001070/* Called when some unhandleable client behaviour is detected.
1071 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001072extern void VG_(unimplemented) ( Char* msg )
1073 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001074
1075/* The stack on which Valgrind runs. We can't use the same stack as the
1076 simulatee -- that's an important design decision. */
1077extern UInt VG_(stack)[10000];
1078
njn25e49d8e72002-09-23 09:36:25 +00001079/* Similarly, we have to ask for signals to be delivered on an alternative
1080 stack, since it is possible, although unlikely, that we'll have to run
1081 client code from inside the Valgrind-installed signal handler. If this
1082 happens it will be done by vg_deliver_signal_immediately(). */
sewardjde4a1d02002-03-22 01:27:54 +00001083extern UInt VG_(sigstack)[10000];
1084
sewardjde4a1d02002-03-22 01:27:54 +00001085/* Holds client's %esp at the point we gained control. From this the
1086 client's argc, argv and envp are deduced. */
1087extern Addr VG_(esp_at_startup);
sewardjde4a1d02002-03-22 01:27:54 +00001088
njn25e49d8e72002-09-23 09:36:25 +00001089/* Remove valgrind.so and skin's .so from a LD_PRELOAD=... string so child
1090 processes don't get traced into. Also mess up $libdir/valgrind so that
1091 our libpthread.so disappears from view. */
sewardj3e1eb1f2002-05-18 13:14:17 +00001092void VG_(mash_LD_PRELOAD_and_LD_LIBRARY_PATH) ( Char* ld_preload_str,
1093 Char* ld_library_path_str );
sewardjde4a1d02002-03-22 01:27:54 +00001094
1095/* Something of a function looking for a home ... start up GDB. This
1096 is called from VG_(swizzle_esp_then_start_GDB) and so runs on the
1097 *client's* stack. This is necessary to give GDB the illusion that
1098 the client program really was running on the real cpu. */
1099extern void VG_(start_GDB_whilst_on_client_stack) ( void );
1100
sewardjde4a1d02002-03-22 01:27:54 +00001101/* 64-bit counter for the number of basic blocks done. */
1102extern ULong VG_(bbs_done);
1103/* 64-bit counter for the number of bbs to go before a debug exit. */
1104extern ULong VG_(bbs_to_go);
1105
1106/* Counts downwards in vg_run_innerloop. */
1107extern UInt VG_(dispatch_ctr);
1108
sewardjde4a1d02002-03-22 01:27:54 +00001109/* Is the client running on the simulated CPU or the real one? */
1110extern Bool VG_(running_on_simd_CPU); /* Initially False */
1111
1112/* The current LRU epoch. */
1113extern UInt VG_(current_epoch);
1114
sewardj7e87e382002-05-03 19:09:05 +00001115/* This is the ThreadId of the last thread the scheduler ran. */
1116extern ThreadId VG_(last_run_tid);
1117
njn25e49d8e72002-09-23 09:36:25 +00001118/* This is the argument to __NR_exit() supplied by the first thread to
1119 call that syscall. We eventually pass that to __NR_exit() for
1120 real. */
1121extern UInt VG_(exitcode);
1122
sewardjde4a1d02002-03-22 01:27:54 +00001123
1124/* --- Counters, for informational purposes only. --- */
1125
1126/* Number of lookups which miss the fast tt helper. */
1127extern UInt VG_(tt_fast_misses);
1128
1129/* Counts for LRU informational messages. */
1130
1131/* Number and total o/t size of new translations this epoch. */
1132extern UInt VG_(this_epoch_in_count);
1133extern UInt VG_(this_epoch_in_osize);
1134extern UInt VG_(this_epoch_in_tsize);
1135/* Number and total o/t size of discarded translations this epoch. */
1136extern UInt VG_(this_epoch_out_count);
1137extern UInt VG_(this_epoch_out_osize);
1138extern UInt VG_(this_epoch_out_tsize);
1139/* Number and total o/t size of translations overall. */
1140extern UInt VG_(overall_in_count);
1141extern UInt VG_(overall_in_osize);
1142extern UInt VG_(overall_in_tsize);
1143/* Number and total o/t size of discards overall. */
1144extern UInt VG_(overall_out_count);
1145extern UInt VG_(overall_out_osize);
1146extern UInt VG_(overall_out_tsize);
1147
1148/* The number of LRU-clearings of TT/TC. */
1149extern UInt VG_(number_of_lrus);
1150
1151/* Counts pertaining to the register allocator. */
1152
1153/* total number of uinstrs input to reg-alloc */
1154extern UInt VG_(uinstrs_prealloc);
1155
1156/* total number of uinstrs added due to spill code */
1157extern UInt VG_(uinstrs_spill);
1158
1159/* number of bbs requiring spill code */
1160extern UInt VG_(translations_needing_spill);
1161
1162/* total of register ranks over all translations */
1163extern UInt VG_(total_reg_rank);
1164
sewardjde4a1d02002-03-22 01:27:54 +00001165/* Counts pertaining to internal sanity checking. */
1166extern UInt VG_(sanity_fast_count);
1167extern UInt VG_(sanity_slow_count);
1168
sewardj2e93c502002-04-12 11:12:52 +00001169/* Counts pertaining to the scheduler. */
1170extern UInt VG_(num_scheduling_events_MINOR);
1171extern UInt VG_(num_scheduling_events_MAJOR);
1172
sewardjde4a1d02002-03-22 01:27:54 +00001173
1174/* ---------------------------------------------------------------------
1175 Exports of vg_memory.c
1176 ------------------------------------------------------------------ */
1177
njn25e49d8e72002-09-23 09:36:25 +00001178extern void VG_(init_memory) ( void );
1179extern void VG_(new_exe_segment) ( Addr a, UInt len );
1180extern void VG_(remove_if_exe_segment) ( Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001181
njn25e49d8e72002-09-23 09:36:25 +00001182/* Called from generated code. */
1183extern void VG_(handle_esp_assignment) ( Addr new_espA );
sewardjde4a1d02002-03-22 01:27:54 +00001184
1185/* Nasty kludgery to deal with applications which switch stacks,
1186 like netscape. */
sewardjde4a1d02002-03-22 01:27:54 +00001187#define VG_PLAUSIBLE_STACK_SIZE 8000000
1188
sewardjde4a1d02002-03-22 01:27:54 +00001189/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001190 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001191 ------------------------------------------------------------------ */
1192
njn25e49d8e72002-09-23 09:36:25 +00001193extern void VG_(init_dataseg_end_for_brk) ( void );
1194
sewardj2e93c502002-04-12 11:12:52 +00001195extern void VG_(perform_assumed_nonblocking_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001196
njn25e49d8e72002-09-23 09:36:25 +00001197extern void* VG_(pre_known_blocking_syscall) ( ThreadId tid, Int syscallno );
1198extern void VG_(post_known_blocking_syscall)( ThreadId tid, Int syscallno,
1199 void* pre_res, Int res );
sewardjde4a1d02002-03-22 01:27:54 +00001200
1201extern Bool VG_(is_kerror) ( Int res );
1202
njn25e49d8e72002-09-23 09:36:25 +00001203#define KERNEL_DO_SYSCALL(thread_id, result_lvalue) \
1204 VG_(load_thread_state)(thread_id); \
1205 VG_(copy_baseBlock_to_m_state_static)(); \
1206 VG_(do_syscall)(); \
1207 VG_(copy_m_state_static_to_baseBlock)(); \
1208 VG_(save_thread_state)(thread_id); \
1209 VG_(threads)[thread_id].sh_eax = VG_(written_shadow_reg);\
sewardj018f7622002-05-15 21:13:39 +00001210 result_lvalue = VG_(threads)[thread_id].m_eax;
sewardjde4a1d02002-03-22 01:27:54 +00001211
1212
1213/* ---------------------------------------------------------------------
1214 Exports of vg_transtab.c
1215 ------------------------------------------------------------------ */
1216
1217/* An entry in the translation table (TT). */
1218typedef
1219 struct {
1220 /* +0 */ Addr orig_addr;
1221 /* +4 */ Addr trans_addr;
1222 /* +8 */ UInt mru_epoch;
1223 /* +12 */ UShort orig_size;
1224 /* +14 */ UShort trans_size;
1225 }
1226 TTEntry;
1227
1228/* The number of basic blocks in an epoch (one age-step). */
1229#define VG_BBS_PER_EPOCH 20000
1230
njn25e49d8e72002-09-23 09:36:25 +00001231/* The fast-cache for tt-lookup. */
1232extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1233
sewardjde4a1d02002-03-22 01:27:54 +00001234extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
1235extern void VG_(maybe_do_lru_pass) ( void );
1236extern void VG_(flush_transtab) ( void );
1237extern Addr VG_(copy_to_transcache) ( Addr trans_addr, Int trans_size );
1238extern void VG_(add_to_trans_tab) ( TTEntry* tte );
sewardj18d75132002-05-16 11:06:21 +00001239extern void VG_(invalidate_translations) ( Addr start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001240
sewardj18d75132002-05-16 11:06:21 +00001241extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001242
1243extern void VG_(sanity_check_tc_tt) ( void );
1244extern Addr VG_(search_transtab) ( Addr original_addr );
1245
1246extern void VG_(invalidate_tt_fast)( void );
1247
1248
1249/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001250 Exports of vg_syscall.S
1251 ------------------------------------------------------------------ */
1252
1253extern void VG_(do_syscall) ( void );
1254
1255
1256/* ---------------------------------------------------------------------
1257 Exports of vg_startup.S
1258 ------------------------------------------------------------------ */
1259
sewardjde4a1d02002-03-22 01:27:54 +00001260extern void VG_(switch_to_real_CPU) ( void );
1261
sewardj35805422002-04-21 13:05:34 +00001262extern void VG_(swizzle_esp_then_start_GDB) ( Addr m_eip_at_error,
1263 Addr m_esp_at_error,
1264 Addr m_ebp_at_error );
sewardjde4a1d02002-03-22 01:27:54 +00001265
1266
1267/* ---------------------------------------------------------------------
1268 Exports of vg_dispatch.S
1269 ------------------------------------------------------------------ */
1270
sewardj2e93c502002-04-12 11:12:52 +00001271/* Run a thread for a (very short) while, until some event happens
1272 which means we need to defer to the scheduler. */
1273extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001274
1275
1276/* ---------------------------------------------------------------------
1277 Exports of vg_helpers.S
1278 ------------------------------------------------------------------ */
1279
sewardjde4a1d02002-03-22 01:27:54 +00001280/* Mul, div, etc, -- we don't codegen these directly. */
1281extern void VG_(helper_idiv_64_32);
1282extern void VG_(helper_div_64_32);
1283extern void VG_(helper_idiv_32_16);
1284extern void VG_(helper_div_32_16);
1285extern void VG_(helper_idiv_16_8);
1286extern void VG_(helper_div_16_8);
1287
1288extern void VG_(helper_imul_32_64);
1289extern void VG_(helper_mul_32_64);
1290extern void VG_(helper_imul_16_32);
1291extern void VG_(helper_mul_16_32);
1292extern void VG_(helper_imul_8_16);
1293extern void VG_(helper_mul_8_16);
1294
1295extern void VG_(helper_CLD);
1296extern void VG_(helper_STD);
1297extern void VG_(helper_get_dirflag);
1298
sewardj7d78e782002-06-02 00:04:00 +00001299extern void VG_(helper_CLC);
1300extern void VG_(helper_STC);
1301
sewardjde4a1d02002-03-22 01:27:54 +00001302extern void VG_(helper_shldl);
1303extern void VG_(helper_shldw);
1304extern void VG_(helper_shrdl);
1305extern void VG_(helper_shrdw);
1306
1307extern void VG_(helper_RDTSC);
1308extern void VG_(helper_CPUID);
1309
sewardjde4a1d02002-03-22 01:27:54 +00001310extern void VG_(helper_bsf);
1311extern void VG_(helper_bsr);
1312
1313extern void VG_(helper_fstsw_AX);
1314extern void VG_(helper_SAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001315extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001316extern void VG_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001317
sewardj20917d82002-05-28 01:36:45 +00001318/* NOT A FUNCTION; this is a bogus RETURN ADDRESS. */
sewardj54cacf02002-04-12 23:24:59 +00001319extern void VG_(signalreturn_bogusRA)( void );
sewardj20917d82002-05-28 01:36:45 +00001320
njn4f9c9342002-04-29 16:03:24 +00001321/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001322 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001323 ------------------------------------------------------------------ */
1324
njn25e49d8e72002-09-23 09:36:25 +00001325#define VG_TRACK(fn, args...) \
1326 do { \
1327 if (VG_(track_events).fn) \
1328 VG_(track_events).fn(args); \
1329 } while (0)
sewardj18d75132002-05-16 11:06:21 +00001330
1331
sewardjde4a1d02002-03-22 01:27:54 +00001332/* ---------------------------------------------------------------------
1333 The state of the simulated CPU.
1334 ------------------------------------------------------------------ */
1335
sewardjde4a1d02002-03-22 01:27:54 +00001336/* ---------------------------------------------------------------------
1337 Offsets into baseBlock for everything which needs to referred to
1338 from generated code. The order of these decls does not imply
1339 what the order of the actual offsets is. The latter is important
1340 and is set up in vg_main.c.
1341 ------------------------------------------------------------------ */
1342
1343/* An array of words. In generated code, %ebp always points to the
1344 start of this array. Useful stuff, like the simulated CPU state,
1345 and the addresses of helper functions, can then be found by
1346 indexing off %ebp. The following declares variables which, at
1347 startup time, are given values denoting offsets into baseBlock.
1348 These offsets are in *words* from the start of baseBlock. */
1349
1350#define VG_BASEBLOCK_WORDS 200
1351
1352extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1353
1354
1355/* -----------------------------------------------------
1356 Read-write parts of baseBlock.
1357 -------------------------------------------------- */
1358
1359/* State of the simulated CPU. */
1360extern Int VGOFF_(m_eax);
1361extern Int VGOFF_(m_ecx);
1362extern Int VGOFF_(m_edx);
1363extern Int VGOFF_(m_ebx);
1364extern Int VGOFF_(m_esp);
1365extern Int VGOFF_(m_ebp);
1366extern Int VGOFF_(m_esi);
1367extern Int VGOFF_(m_edi);
1368extern Int VGOFF_(m_eflags);
1369extern Int VGOFF_(m_fpustate);
1370extern Int VGOFF_(m_eip);
1371
sewardj92a59562002-09-30 00:53:10 +00001372extern Int VGOFF_(m_cs);
1373extern Int VGOFF_(m_ss);
1374extern Int VGOFF_(m_ds);
1375extern Int VGOFF_(m_es);
1376extern Int VGOFF_(m_fs);
1377extern Int VGOFF_(m_gs);
1378
sewardjde4a1d02002-03-22 01:27:54 +00001379/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1380extern Int VGOFF_(spillslots);
1381
1382/* Records the valid bits for the 8 integer regs & flags reg. */
1383extern Int VGOFF_(sh_eax);
1384extern Int VGOFF_(sh_ecx);
1385extern Int VGOFF_(sh_edx);
1386extern Int VGOFF_(sh_ebx);
1387extern Int VGOFF_(sh_esp);
1388extern Int VGOFF_(sh_ebp);
1389extern Int VGOFF_(sh_esi);
1390extern Int VGOFF_(sh_edi);
1391extern Int VGOFF_(sh_eflags);
1392
sewardjde4a1d02002-03-22 01:27:54 +00001393/* -----------------------------------------------------
1394 Read-only parts of baseBlock.
1395 -------------------------------------------------- */
1396
sewardj92a59562002-09-30 00:53:10 +00001397/* This thread's LDT pointer. */
1398extern Int VGOFF_(ldt);
1399
sewardjde4a1d02002-03-22 01:27:54 +00001400/* Offsets of addresses of helper functions. A "helper" function is
1401 one which is called from generated code. */
1402
1403extern Int VGOFF_(helper_idiv_64_32);
1404extern Int VGOFF_(helper_div_64_32);
1405extern Int VGOFF_(helper_idiv_32_16);
1406extern Int VGOFF_(helper_div_32_16);
1407extern Int VGOFF_(helper_idiv_16_8);
1408extern Int VGOFF_(helper_div_16_8);
1409
1410extern Int VGOFF_(helper_imul_32_64);
1411extern Int VGOFF_(helper_mul_32_64);
1412extern Int VGOFF_(helper_imul_16_32);
1413extern Int VGOFF_(helper_mul_16_32);
1414extern Int VGOFF_(helper_imul_8_16);
1415extern Int VGOFF_(helper_mul_8_16);
1416
1417extern Int VGOFF_(helper_CLD);
1418extern Int VGOFF_(helper_STD);
1419extern Int VGOFF_(helper_get_dirflag);
1420
sewardj7d78e782002-06-02 00:04:00 +00001421extern Int VGOFF_(helper_CLC);
1422extern Int VGOFF_(helper_STC);
1423
sewardjde4a1d02002-03-22 01:27:54 +00001424extern Int VGOFF_(helper_shldl);
1425extern Int VGOFF_(helper_shldw);
1426extern Int VGOFF_(helper_shrdl);
1427extern Int VGOFF_(helper_shrdw);
1428
1429extern Int VGOFF_(helper_RDTSC);
1430extern Int VGOFF_(helper_CPUID);
1431
sewardjde4a1d02002-03-22 01:27:54 +00001432extern Int VGOFF_(helper_bsf);
1433extern Int VGOFF_(helper_bsr);
1434
1435extern Int VGOFF_(helper_fstsw_AX);
1436extern Int VGOFF_(helper_SAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001437extern Int VGOFF_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001438extern Int VGOFF_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001439
sewardjde4a1d02002-03-22 01:27:54 +00001440extern Int VGOFF_(handle_esp_assignment); /* :: Addr -> void */
sewardjde4a1d02002-03-22 01:27:54 +00001441
njn25e49d8e72002-09-23 09:36:25 +00001442/* For storing extension-specific helpers, determined at runtime. The addr
1443 * and offset arrays together form a (addr, offset) map that allows a
1444 * helper's baseBlock offset to be computed from its address. It's done
1445 * like this so CCALL_M_Ns and other helper calls can use the function
1446 * address rather than having to much around with offsets. */
1447extern UInt VG_(n_compact_helpers);
1448extern UInt VG_(n_noncompact_helpers);
1449
1450extern Addr VG_(compact_helper_addrs) [];
1451extern Int VG_(compact_helper_offsets)[];
1452
1453extern Addr VG_(noncompact_helper_addrs) [];
1454extern Int VG_(noncompact_helper_offsets)[];
1455
sewardjde4a1d02002-03-22 01:27:54 +00001456
1457#endif /* ndef __VG_INCLUDE_H */
1458
sewardj3b2736a2002-03-24 12:18:35 +00001459
1460/* ---------------------------------------------------------------------
1461 Finally - autoconf-generated settings
1462 ------------------------------------------------------------------ */
1463
1464#include "config.h"
1465
sewardjde4a1d02002-03-22 01:27:54 +00001466/*--------------------------------------------------------------------*/
1467/*--- end vg_include.h ---*/
1468/*--------------------------------------------------------------------*/