blob: d0c8f08356c381bc44cd68bc954b8f7d2eac16c6 [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/*
9 This file is part of Valgrind, an x86 protected-mode emulator
10 designed for debugging and profiling binaries on x86-Unixes.
11
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);
sewardjde4a1d02002-03-22 01:27:54 +0000207
208
209/* ---------------------------------------------------------------------
210 Debugging and profiling stuff
211 ------------------------------------------------------------------ */
212
njn25e49d8e72002-09-23 09:36:25 +0000213/* Change to 1 to get more accurate but more expensive core profiling. */
214#if 0
215# define VGP_ACCURATE_PROFILING
216#endif
217
sewardjde4a1d02002-03-22 01:27:54 +0000218/* Create a logfile into which messages can be dumped. */
219extern void VG_(startup_logging) ( void );
njn25e49d8e72002-09-23 09:36:25 +0000220extern void VG_(shutdown_logging)( void );
sewardjde4a1d02002-03-22 01:27:54 +0000221
222extern void VGP_(init_profiling) ( void );
223extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000224
njn25e49d8e72002-09-23 09:36:25 +0000225#undef VGP_PUSHCC
226#undef VGP_POPCC
227#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
228#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000229
njn25e49d8e72002-09-23 09:36:25 +0000230/* Use this for ones that happen a lot and thus we don't want to put in
231 all the time, eg. for %esp assignment. */
232#ifdef VGP_ACCURATE_PROFILING
233# define VGP_MAYBE_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
234# define VGP_MAYBE_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000235#else
njn25e49d8e72002-09-23 09:36:25 +0000236# define VGP_MAYBE_PUSHCC(x)
237# define VGP_MAYBE_POPCC(x)
238#endif
sewardjde4a1d02002-03-22 01:27:54 +0000239
240
241/* ---------------------------------------------------------------------
242 Exports of vg_malloc2.c
243 ------------------------------------------------------------------ */
244
245/* Allocation arenas.
njn25e49d8e72002-09-23 09:36:25 +0000246 CORE is for the core's general use.
247 SKIN is for the skin to use (and the only one it uses).
sewardjde4a1d02002-03-22 01:27:54 +0000248 SYMTAB is for Valgrind's symbol table storage.
njn25e49d8e72002-09-23 09:36:25 +0000249 JITTER is for small storage during translation.
sewardjde4a1d02002-03-22 01:27:54 +0000250 CLIENT is for the client's mallocs/frees.
251 DEMANGLE is for the C++ demangler.
252 EXECTXT is for storing ExeContexts.
njn25e49d8e72002-09-23 09:36:25 +0000253 ERRORS is for storing CoreErrors.
sewardjde4a1d02002-03-22 01:27:54 +0000254 TRANSIENT is for very short-term use. It should be empty
255 in between uses.
njn25e49d8e72002-09-23 09:36:25 +0000256 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000257*/
258typedef Int ArenaId;
259
njn25e49d8e72002-09-23 09:36:25 +0000260#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000261
njn25e49d8e72002-09-23 09:36:25 +0000262#define VG_AR_CORE 0 /* :: ArenaId */
263#define VG_AR_SKIN 1 /* :: ArenaId */
264#define VG_AR_SYMTAB 2 /* :: ArenaId */
265#define VG_AR_JITTER 3 /* :: ArenaId */
266#define VG_AR_CLIENT 4 /* :: ArenaId */
267#define VG_AR_DEMANGLE 5 /* :: ArenaId */
268#define VG_AR_EXECTXT 6 /* :: ArenaId */
269#define VG_AR_ERRORS 7 /* :: ArenaId */
270#define VG_AR_TRANSIENT 8 /* :: ArenaId */
sewardjde4a1d02002-03-22 01:27:54 +0000271
njn25e49d8e72002-09-23 09:36:25 +0000272extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
273extern void VG_(arena_free) ( ArenaId arena, void* ptr );
274extern void* VG_(arena_calloc) ( ArenaId arena, Int nmemb, Int nbytes );
275extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
276 Int size );
277extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000278 Int req_pszB );
279
sewardjde4a1d02002-03-22 01:27:54 +0000280extern void VG_(mallocSanityCheckAll) ( void );
281
282extern void VG_(show_all_arena_stats) ( void );
283extern Bool VG_(is_empty_arena) ( ArenaId aid );
284
285
286/* The red-zone size for the client. This can be arbitrary, but
287 unfortunately must be set at compile time. */
288#define VG_AR_CLIENT_REDZONE_SZW 4
289
290#define VG_AR_CLIENT_REDZONE_SZB \
291 (VG_AR_CLIENT_REDZONE_SZW * VKI_BYTES_PER_WORD)
292
293
294/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +0000295 Exports of vg_clientfuncs.c
sewardj2e93c502002-04-12 11:12:52 +0000296 ------------------------------------------------------------------ */
297
298/* This doesn't export code or data that valgrind.so needs to link
299 against. However, the scheduler does need to know the following
300 request codes. A few, publically-visible, request codes are also
njn25e49d8e72002-09-23 09:36:25 +0000301 defined in valgrind.h, and similar headers for some skins. */
sewardj2e93c502002-04-12 11:12:52 +0000302
303#define VG_USERREQ__MALLOC 0x2001
304#define VG_USERREQ__BUILTIN_NEW 0x2002
305#define VG_USERREQ__BUILTIN_VEC_NEW 0x2003
306
307#define VG_USERREQ__FREE 0x2004
308#define VG_USERREQ__BUILTIN_DELETE 0x2005
309#define VG_USERREQ__BUILTIN_VEC_DELETE 0x2006
310
311#define VG_USERREQ__CALLOC 0x2007
312#define VG_USERREQ__REALLOC 0x2008
313#define VG_USERREQ__MEMALIGN 0x2009
314
315
sewardj20917d82002-05-28 01:36:45 +0000316/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
317 MUST NOT return -- ever. Eventually it will do either __QUIT or
318 __WAIT_JOINER. */
319#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
320
321/* ( no-args ): calling thread disappears from the system forever.
322 Reclaim resources. */
323#define VG_USERREQ__QUIT 0x3002
324
325/* ( void* ): calling thread waits for joiner and returns the void* to
326 it. */
327#define VG_USERREQ__WAIT_JOINER 0x3003
328
329/* ( ThreadId, void** ): wait to join a thread. */
330#define VG_USERREQ__PTHREAD_JOIN 0x3004
331
332/* Set cancellation state and type for this thread. */
333#define VG_USERREQ__SET_CANCELSTATE 0x3005
334#define VG_USERREQ__SET_CANCELTYPE 0x3006
335
336/* ( no-args ): Test if we are at a cancellation point. */
337#define VG_USERREQ__TESTCANCEL 0x3007
338
339/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
340 with this arg to indicate that a cancel is now pending for the
341 specified thread. */
342#define VG_USERREQ__SET_CANCELPEND 0x3008
343
344/* Set/get detach state for this thread. */
345#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
346
347#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
348#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
349#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
350#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
351#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
352#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
353#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
354#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
355#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
356#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
357#define VG_USERREQ__PTHREAD_SETSPECIFIC 0x3015
358#define VG_USERREQ__PTHREAD_GETSPECIFIC 0x3016
359#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
360#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
361#define VG_USERREQ__SIGWAIT 0x3019
362#define VG_USERREQ__PTHREAD_KILL 0x301A
363#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj2e93c502002-04-12 11:12:52 +0000364
sewardj8ad94e12002-05-29 00:10:20 +0000365#define VG_USERREQ__CLEANUP_PUSH 0x3020
366#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000367#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000368
sewardjef037c72002-05-30 00:40:03 +0000369#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000370
371/* Ask how many signal handler returns have happened to this
372 thread. */
sewardj9a2224b2002-06-19 10:17:40 +0000373#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024
sewardjef037c72002-05-30 00:40:03 +0000374
sewardj2cb00342002-06-28 01:46:26 +0000375/* Get/set entries for a thread's pthread_atfork stack. */
376#define VG_USERREQ__SET_FHSTACK_USED 0x3025
377#define VG_USERREQ__GET_FHSTACK_USED 0x3026
378#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
379#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000380
sewardj1fe7b002002-07-16 01:43:15 +0000381/* Denote the finish of VG_(__libc_freeres_wrapper). */
382#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
383
sewardj45b4b372002-04-16 22:50:32 +0000384/* Cosmetic ... */
385#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000386/* Log a pthread error from client-space. Cosmetic. */
387#define VG_USERREQ__PTHREAD_ERROR 0x3102
sewardj45b4b372002-04-16 22:50:32 +0000388
sewardj54cacf02002-04-12 23:24:59 +0000389/*
390In vg_constants.h:
391#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000392*/
393
sewardj1fe7b002002-07-16 01:43:15 +0000394/* The scheduler does need to know the address of it so it can be
395 called at program exit. */
396extern void VG_(__libc_freeres_wrapper)( void );
397
sewardj54cacf02002-04-12 23:24:59 +0000398
sewardj2e93c502002-04-12 11:12:52 +0000399/* ---------------------------------------------------------------------
400 Constants pertaining to the simulated CPU state, VG_(baseBlock),
401 which need to go here to avoid ugly circularities.
402 ------------------------------------------------------------------ */
403
404/* How big is the saved FPU state? */
405#define VG_SIZE_OF_FPUSTATE 108
406/* ... and in words ... */
407#define VG_SIZE_OF_FPUSTATE_W ((VG_SIZE_OF_FPUSTATE+3)/4)
408
409
410/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000411 Exports of vg_ldt.c
412 ------------------------------------------------------------------ */
413
414/* This is the hardware-format for a segment descriptor, ie what the
415 x86 actually deals with. It is 8 bytes long. It's ugly. */
416
417typedef struct _LDT_ENTRY {
418 union {
419 struct {
420 UShort LimitLow;
421 UShort BaseLow;
422 unsigned BaseMid : 8;
423 unsigned Type : 5;
424 unsigned Dpl : 2;
425 unsigned Pres : 1;
426 unsigned LimitHi : 4;
427 unsigned Sys : 1;
428 unsigned Reserved_0 : 1;
429 unsigned Default_Big : 1;
430 unsigned Granularity : 1;
431 unsigned BaseHi : 8;
432 } Bits;
433 struct {
434 UInt word1;
435 UInt word2;
436 } Words;
437 }
438 LdtEnt;
439} VgLdtEntry;
440
441/* Maximum number of LDT entries supported (by the x86). */
442#define VG_M_LDT_ENTRIES 8192
443/* The size of each LDT entry == sizeof(VgLdtEntry) */
444#define VG_LDT_ENTRY_SIZE 8
445
446/* Alloc & copy, and dealloc. */
447extern VgLdtEntry*
448 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
449extern void
450 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
451
452/* Simulate the modify_ldt syscall. */
453extern Int VG_(sys_modify_ldt) ( ThreadId tid,
454 Int func, void* ptr, UInt bytecount );
455
sewardje1042472002-09-30 12:33:11 +0000456/* Called from generated code. Given a segment selector and a virtual
457 address, return a linear address, and do limit checks too. */
458extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
459
sewardj92a59562002-09-30 00:53:10 +0000460
461/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000462 Exports of vg_scheduler.c
463 ------------------------------------------------------------------ */
464
sewardj2e93c502002-04-12 11:12:52 +0000465typedef
466 enum {
467 VgTs_Empty, /* this slot is not in use */
468 VgTs_Runnable, /* waiting to be scheduled */
469 VgTs_WaitJoiner, /* waiting for someone to do join on me */
470 VgTs_WaitJoinee, /* waiting for the thread I did join on */
471 VgTs_WaitFD, /* waiting for I/O completion on a fd */
472 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000473 VgTs_WaitCV, /* waiting on a condition variable */
sewardjb48e5002002-05-13 00:16:03 +0000474 VgTs_WaitSIG, /* waiting due to sigwait() */
sewardj2e93c502002-04-12 11:12:52 +0000475 VgTs_Sleeping /* sleeping for a while */
476 }
477 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000478
479/* An entry in a threads's cleanup stack. */
480typedef
481 struct {
482 void (*fn)(void*);
483 void* arg;
484 }
485 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000486
487/* An entry in a thread's fork-handler stack. */
488typedef
489 struct {
490 void (*prepare)(void);
491 void (*parent)(void);
492 void (*child)(void);
493 }
494 ForkHandlerEntry;
495
496
njn25e49d8e72002-09-23 09:36:25 +0000497struct _ThreadState {
498 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
499 The thread identity is simply the index in vg_threads[].
500 ThreadId == 1 is the root thread and has the special property
501 that we don't try and allocate or deallocate its stack. For
502 convenience of generating error message, we also put the
503 ThreadId in this tid field, but be aware that it should
504 ALWAYS == the index in vg_threads[]. */
505 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000506
njn25e49d8e72002-09-23 09:36:25 +0000507 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000508
njn25e49d8e72002-09-23 09:36:25 +0000509 Complications: whenever this is set to VgTs_WaitMX, you
510 should also set .m_edx to whatever the required return value
511 is for pthread_mutex_lock / pthread_cond_timedwait for when
512 the mutex finally gets unblocked. */
513 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000514
njn25e49d8e72002-09-23 09:36:25 +0000515 /* When .status == WaitMX, points to the mutex I am waiting for.
516 When .status == WaitCV, points to the mutex associated with
517 the condition variable indicated by the .associated_cv field.
518 In all other cases, should be NULL. */
519 void* /*pthread_mutex_t* */ associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000520
njn25e49d8e72002-09-23 09:36:25 +0000521 /* When .status == WaitCV, points to the condition variable I am
522 waiting for. In all other cases, should be NULL. */
523 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000524
njn25e49d8e72002-09-23 09:36:25 +0000525 /* If VgTs_Sleeping, this is when we should wake up, measured in
526 milliseconds as supplied by VG_(read_millisecond_counter).
sewardj2e93c502002-04-12 11:12:52 +0000527
njn25e49d8e72002-09-23 09:36:25 +0000528 If VgTs_WaitCV, this indicates the time at which
529 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
530 this means infinitely far in the future, viz,
531 pthread_cond_wait. */
532 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000533
njn25e49d8e72002-09-23 09:36:25 +0000534 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
535 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000536
njn25e49d8e72002-09-23 09:36:25 +0000537 /* If VgTs_WaitJoinee, place to copy the return value to, and
538 the identity of the thread we're waiting for. */
539 void** joiner_thread_return;
540 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000541
njn25e49d8e72002-09-23 09:36:25 +0000542 /* Whether or not detached. */
543 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000544
njn25e49d8e72002-09-23 09:36:25 +0000545 /* Cancelability state and type. */
546 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
547 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
548
549 /* Pointer to fn to call to do cancellation. Indicates whether
550 or not cancellation is pending. If NULL, not pending. Else
551 should be &thread_exit_wrapper(), indicating that
552 cancallation is pending. */
553 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000554
njn25e49d8e72002-09-23 09:36:25 +0000555 /* The cleanup stack. */
556 Int custack_used;
557 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000558
njn25e49d8e72002-09-23 09:36:25 +0000559 /* thread-specific data */
560 void* specifics[VG_N_THREAD_KEYS];
sewardjb48e5002002-05-13 00:16:03 +0000561
njn25e49d8e72002-09-23 09:36:25 +0000562 /* This thread's blocked-signals mask. Semantics is that for a
563 signal to be delivered to this thread, the signal must not be
564 blocked by either the process-wide signal mask nor by this
565 one. So, if this thread is prepared to handle any signal that
566 the process as a whole is prepared to handle, this mask should
567 be made empty -- and that it is its default, starting
568 state. */
569 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000570
njn25e49d8e72002-09-23 09:36:25 +0000571 /* When not VgTs_WaitSIG, has no meaning. When VgTs_WaitSIG,
572 is the set of signals for which we are sigwait()ing. */
573 vki_ksigset_t sigs_waited_for;
sewardj9a2224b2002-06-19 10:17:40 +0000574
njn25e49d8e72002-09-23 09:36:25 +0000575 /* Counts the number of times a signal handler for this thread
576 has returned. This makes it easy to implement pause(), by
577 polling this value, of course interspersed with nanosleeps,
578 and waiting till it changes. */
579 UInt n_signals_returned;
sewardj2e93c502002-04-12 11:12:52 +0000580
njn25e49d8e72002-09-23 09:36:25 +0000581 /* Stacks. When a thread slot is freed, we don't deallocate its
582 stack; we just leave it lying around for the next use of the
583 slot. If the next use of the slot requires a larger stack,
584 only then is the old one deallocated and a new one
585 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000586
njn25e49d8e72002-09-23 09:36:25 +0000587 For the main thread (threadid == 0), this mechanism doesn't
588 apply. We don't know the size of the stack since we didn't
589 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000590
njn25e49d8e72002-09-23 09:36:25 +0000591 /* The allocated size of this thread's stack (permanently zero
592 if this is ThreadId == 0, since we didn't allocate its stack) */
593 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000594
njn25e49d8e72002-09-23 09:36:25 +0000595 /* Address of the lowest word in this thread's stack. NULL means
596 not allocated yet.
597 */
598 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000599
sewardj92a59562002-09-30 00:53:10 +0000600 /* Address of the highest legitimate word in this stack. This is
601 used for error messages only -- not critical for execution
602 correctness. Is is set for all stacks, specifically including
603 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000604 Addr stack_highest_word;
605
sewardj92a59562002-09-30 00:53:10 +0000606 /* Pointer to this thread's Local (Segment) Descriptor Table.
607 Starts out as NULL, indicating there is no table, and we hope to
608 keep it that way. If the thread does __NR_modify_ldt to create
609 entries, we allocate a 8192-entry table at that point. This is
610 a straight copy of the Linux kernel's scheme. Don't forget to
611 deallocate this at thread exit. */
612 VgLdtEntry* ldt;
613
614 /* Saved machine context. Note the FPU state, %EIP and segment
615 registers are not shadowed.
616
617 Although the segment registers are 16 bits long, storage
618 management here, in VG_(baseBlock) and in VG_(m_state_static) is
619 simplified if we pretend they are 32 bits. */
620 UInt m_cs;
621 UInt m_ss;
622 UInt m_ds;
623 UInt m_es;
624 UInt m_fs;
625 UInt m_gs;
626
njn25e49d8e72002-09-23 09:36:25 +0000627 UInt m_eax;
628 UInt m_ebx;
629 UInt m_ecx;
630 UInt m_edx;
631 UInt m_esi;
632 UInt m_edi;
633 UInt m_ebp;
634 UInt m_esp;
635 UInt m_eflags;
636 UInt m_eip;
637 UInt m_fpu[VG_SIZE_OF_FPUSTATE_W];
638
639 UInt sh_eax;
640 UInt sh_ebx;
641 UInt sh_ecx;
642 UInt sh_edx;
643 UInt sh_esi;
644 UInt sh_edi;
645 UInt sh_ebp;
646 UInt sh_esp;
647 UInt sh_eflags;
648};
sewardj2e93c502002-04-12 11:12:52 +0000649
650
sewardj018f7622002-05-15 21:13:39 +0000651/* The thread table. */
652extern ThreadState VG_(threads)[VG_N_THREADS];
653
654/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000655extern Bool VG_(is_valid_tid) ( ThreadId tid );
656
sewardj018f7622002-05-15 21:13:39 +0000657/* Check that tid is in range. */
658extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
659
sewardj2e93c502002-04-12 11:12:52 +0000660/* Copy the specified thread's state into VG_(baseBlock) in
661 preparation for running it. */
662extern void VG_(load_thread_state)( ThreadId );
663
664/* Save the specified thread's state back in VG_(baseBlock), and fill
665 VG_(baseBlock) with junk, for sanity-check reasons. */
666extern void VG_(save_thread_state)( ThreadId );
667
sewardj1e8cdc92002-04-18 11:37:52 +0000668/* And for the currently running one, if valid. */
669extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000670
sewardj1e8cdc92002-04-18 11:37:52 +0000671/* Similarly ... */
672extern ThreadId VG_(get_current_tid) ( void );
673
sewardjccef2e62002-05-29 19:26:32 +0000674/* Nuke all threads except tid. */
675extern void VG_(nuke_all_threads_except) ( ThreadId me );
676
sewardj2e93c502002-04-12 11:12:52 +0000677
678/* Return codes from the scheduler. */
679typedef
sewardj7e87e382002-05-03 19:09:05 +0000680 enum {
681 VgSrc_Deadlock, /* no runnable threads and no prospect of any
682 even if we wait for a long time */
683 VgSrc_ExitSyscall, /* client called exit(). This is the normal
684 route out. */
685 VgSrc_BbsDone /* In a debugging run, the specified number of
686 bbs has been completed. */
687 }
sewardj2e93c502002-04-12 11:12:52 +0000688 VgSchedReturnCode;
689
sewardj7e87e382002-05-03 19:09:05 +0000690
sewardj2e93c502002-04-12 11:12:52 +0000691/* The scheduler. */
692extern VgSchedReturnCode VG_(scheduler) ( void );
693
694extern void VG_(scheduler_init) ( void );
695
sewardj15a43e12002-04-17 19:35:12 +0000696extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000697
698/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
699extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000700/* This says whether scheduler_jmpbuf is actually valid. Needed so
701 that our signal handler doesn't longjmp when the buffer isn't
702 actually valid. */
703extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000704/* ... and if so, here's the signal which caused it to do so. */
705extern Int VG_(longjmpd_on_signal);
706
707
sewardja1679dd2002-05-10 22:31:40 +0000708/* Possible places where the main stack might be based. We check that
709 the initial stack, which we can't move, is allocated here.
710 VG_(scheduler_init) checks this. Andrea Archelangi's 2.4 kernels
711 have been rumoured to start stacks at 0x80000000, so that too is
njn25e49d8e72002-09-23 09:36:25 +0000712 considered. It seems systems with longer uptimes tend to to use
713 stacks which start at 0x40000000 sometimes. JRS 2002-Aug-21: I
714 also have reports of stacks starting at 0xE0000000.*/
715
sewardja1679dd2002-05-10 22:31:40 +0000716#define VG_STARTUP_STACK_BASE_1 (Addr)0xC0000000
717#define VG_STARTUP_STACK_BASE_2 (Addr)0x80000000
daywalkera2562202002-07-15 19:39:51 +0000718#define VG_STARTUP_STACK_BASE_3 (Addr)0x40000000
njn25e49d8e72002-09-23 09:36:25 +0000719#define VG_STARTUP_STACK_BASE_4 (Addr)0xE0000000
sewardja1679dd2002-05-10 22:31:40 +0000720#define VG_STARTUP_STACK_SMALLERTHAN 0x100000 /* 1024k */
721
722#define VG_STACK_MATCHES_BASE(zzstack, zzbase) \
723 ( \
724 ((zzstack) & ((zzbase) - VG_STARTUP_STACK_SMALLERTHAN)) \
725 == \
726 ((zzbase) - VG_STARTUP_STACK_SMALLERTHAN) \
727 )
sewardj2e93c502002-04-12 11:12:52 +0000728
729
730/* The red-zone size which we put at the bottom (highest address) of
731 thread stacks, for paranoia reasons. This can be arbitrary, and
732 doesn't really need to be set at compile time. */
733#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
734
735#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
736 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
737
njn25e49d8e72002-09-23 09:36:25 +0000738/* Junk to fill up a thread's shadow regs with when shadow regs aren't
739 * being used. */
740#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
741
742/* What we set a shadow register to when written by SET_EAX and similar
743 * things. */
744extern UInt VG_(written_shadow_reg);
sewardj2e93c502002-04-12 11:12:52 +0000745
sewardj018f7622002-05-15 21:13:39 +0000746/* Write a value to the client's %EDX (request return value register)
747 and set the shadow to indicate it is defined. */
njn25e49d8e72002-09-23 09:36:25 +0000748#define SET_EDX(zztid, zzval) \
749 do { VG_(threads)[zztid].m_edx = (zzval); \
750 VG_(threads)[zztid].sh_edx = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000751 } while (0)
752
njn25e49d8e72002-09-23 09:36:25 +0000753#define SET_EAX(zztid, zzval) \
754 do { VG_(threads)[zztid].m_eax = (zzval); \
755 VG_(threads)[zztid].sh_eax = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000756 } while (0)
757
sewardj2e93c502002-04-12 11:12:52 +0000758
759/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000760 Exports of vg_signals.c
761 ------------------------------------------------------------------ */
762
sewardjde4a1d02002-03-22 01:27:54 +0000763extern void VG_(sigstartup_actions) ( void );
764
sewardjb48e5002002-05-13 00:16:03 +0000765extern Bool VG_(deliver_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000766extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000767extern void VG_(handle_SCSS_change) ( Bool force_update );
768
sewardjde4a1d02002-03-22 01:27:54 +0000769
770/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +0000771extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000772extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +0000773extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
774 Int how,
775 vki_ksigset_t* set,
776 vki_ksigset_t* oldset );
777extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
778 Int how,
779 vki_ksigset_t* set,
780 vki_ksigset_t* oldset );
781extern void VG_(send_signal_to_thread) ( ThreadId thread,
782 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +0000783
sewardjefbfcdf2002-06-19 17:35:45 +0000784extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
785
786
sewardj2e93c502002-04-12 11:12:52 +0000787/* Modify the current thread's state once we have detected it is
788 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +0000789extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +0000790
sewardj2e93c502002-04-12 11:12:52 +0000791/* Handy utilities to block/restore all host signals. */
792extern void VG_(block_all_host_signals)
793 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000794extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +0000795 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000796
797/* ---------------------------------------------------------------------
798 Exports of vg_mylibc.c
799 ------------------------------------------------------------------ */
800
njne427a662002-10-02 11:08:25 +0000801#define vg_assert(expr) \
802 ((void) ((expr) ? 0 : \
803 (VG_(core_assert_fail) (VG__STRING(expr), \
804 __FILE__, __LINE__, \
805 __PRETTY_FUNCTION__), 0)))
806__attribute__ ((__noreturn__))
807extern void VG_(core_assert_fail) ( Char* expr, Char* file,
808 Int line, Char* fn );
809__attribute__ ((__noreturn__))
810extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +0000811
njn25e49d8e72002-09-23 09:36:25 +0000812/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
813extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +0000814
njn25e49d8e72002-09-23 09:36:25 +0000815/* Skins use VG_(strdup)() which doesn't expose ArenaId */
816extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +0000817
njn25e49d8e72002-09-23 09:36:25 +0000818/* Skins shouldn't need these...(?) */
sewardj5f07b662002-04-23 16:52:51 +0000819extern void VG_(start_rdtsc_calibration) ( void );
820extern void VG_(end_rdtsc_calibration) ( void );
821extern UInt VG_(read_millisecond_timer) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000822
njn25e49d8e72002-09-23 09:36:25 +0000823extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +0000824extern Int VG_(select)( Int n,
825 vki_fd_set* readfds,
826 vki_fd_set* writefds,
827 vki_fd_set* exceptfds,
828 struct vki_timeval * timeout );
829extern Int VG_(nanosleep)( const struct vki_timespec *req,
830 struct vki_timespec *rem );
831
sewardjde4a1d02002-03-22 01:27:54 +0000832/* ---------------------------------------------------------------------
833 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
834 vg_from_ucode.c).
835 ------------------------------------------------------------------ */
836
sewardjde4a1d02002-03-22 01:27:54 +0000837#define VG_IS_FLAG_SUBSET(set1,set2) \
838 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
839
840#define VG_UNION_FLAG_SETS(set1,set2) \
841 ( ((FlagSet)set1) | ((FlagSet)set2) )
842
sewardjde4a1d02002-03-22 01:27:54 +0000843/* ---------------------------------------------------------------------
844 Exports of vg_demangle.c
845 ------------------------------------------------------------------ */
846
847extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
848
sewardjde4a1d02002-03-22 01:27:54 +0000849/* ---------------------------------------------------------------------
850 Exports of vg_from_ucode.c
851 ------------------------------------------------------------------ */
852
853extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes );
854
njn25e49d8e72002-09-23 09:36:25 +0000855extern void VG_(print_ccall_stats) ( void );
856extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000857
858/* ---------------------------------------------------------------------
859 Exports of vg_to_ucode.c
860 ------------------------------------------------------------------ */
861
862extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +0000863
864/* ---------------------------------------------------------------------
865 Exports of vg_translate.c
866 ------------------------------------------------------------------ */
867
sewardj1e8cdc92002-04-18 11:37:52 +0000868extern void VG_(translate) ( ThreadState* tst,
869 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +0000870 UInt* orig_size,
871 Addr* trans_addr,
872 UInt* trans_size );
873
njn25e49d8e72002-09-23 09:36:25 +0000874extern Char* VG_(nameCondcode) ( Condcode cond );
875extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
876 UInstr* u );
877extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
878extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +0000879
880/* ---------------------------------------------------------------------
881 Exports of vg_execontext.c.
882 ------------------------------------------------------------------ */
883
884/* Records the PC and a bit of the call chain. The first 4 %eip
885 values are used in comparisons do remove duplicate errors, and for
886 comparing against suppression specifications. The rest are purely
887 informational (but often important). */
888
njn25e49d8e72002-09-23 09:36:25 +0000889struct _ExeContext {
890 struct _ExeContext * next;
891 /* Variable-length array. The size is VG_(clo_backtrace_size); at
892 least 2, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
893 [1] is its caller, [2] is the caller of [1], etc. */
894 Addr eips[0];
895};
sewardjde4a1d02002-03-22 01:27:54 +0000896
897
898/* Initialise the ExeContext storage mechanism. */
899extern void VG_(init_ExeContext_storage) ( void );
900
901/* Print stats (informational only). */
902extern void VG_(show_ExeContext_stats) ( void );
903
njn25e49d8e72002-09-23 09:36:25 +0000904/* Like VG_(get_ExeContext), but with a slightly different type */
905extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
906 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +0000907
908
909/* ---------------------------------------------------------------------
910 Exports of vg_errcontext.c.
911 ------------------------------------------------------------------ */
912
njn25e49d8e72002-09-23 09:36:25 +0000913/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
914 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +0000915typedef
njn25e49d8e72002-09-23 09:36:25 +0000916 enum {
917 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +0000918 }
njn25e49d8e72002-09-23 09:36:25 +0000919 CoreSuppKind;
920
921/* For each caller specified for a suppression, record the nature of
922 the caller name. Not of interest to skins. */
923typedef
924 enum {
925 ObjName, /* Name is of an shared object file. */
926 FunName /* Name is of a function. */
927 }
928 SuppLocTy;
929
930/* Suppressions. Skin part `SkinSupp' (which is all skins have to deal
931 with) is in vg_skin.h */
932typedef
933 struct _CoreSupp {
934 struct _CoreSupp* next;
935 /* The number of times this error has been suppressed. */
936 Int count;
937 /* The name by which the suppression is referred to. */
938 Char* sname;
939 /* First two (name of fn where err occurs, and immediate caller)
940 * are mandatory; extra two are optional. */
941 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
942 Char* caller [VG_N_SUPP_CALLERS];
943 /* The skin-specific part */
944 SkinSupp skin_supp;
945 }
946 CoreSupp;
947
948/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
949 * effectively extend it by defining their own enums in the (0..) range. */
950typedef
951 enum {
952 PThreadErr = -1, /* Pthreading error */
953 }
954 CoreErrorKind;
955
956/* Errors. Skin part `SkinError' (which is all skins have to deal
957 with) is in vg_skin.h */
958typedef
959 struct _CoreErrContext {
960 struct _CoreErrContext* next;
961 /* NULL if unsuppressed; or ptr to suppression record. */
962 CoreSupp* supp;
963 Int count;
964 ExeContext* where;
965 ThreadId tid;
966 /* These record %EIP, %ESP and %EBP at the error point. They
967 are only used to make GDB-attaching convenient; there is no
968 other purpose; specifically they are not used to do
969 comparisons between errors. */
970 UInt m_eip;
971 UInt m_esp;
972 UInt m_ebp;
973 /* The skin-specific part */
974 SkinError skin_err;
975 }
976 CoreError;
sewardjde4a1d02002-03-22 01:27:54 +0000977
978
njn25e49d8e72002-09-23 09:36:25 +0000979extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000980
njn25e49d8e72002-09-23 09:36:25 +0000981extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +0000982
njn25e49d8e72002-09-23 09:36:25 +0000983extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000984
985/* ---------------------------------------------------------------------
986 Exports of vg_procselfmaps.c
987 ------------------------------------------------------------------ */
988
989extern
990void VG_(read_procselfmaps) (
991 void (*record_mapping)( Addr, UInt, Char, Char, Char, UInt, UChar* )
992);
993
994
995/* ---------------------------------------------------------------------
996 Exports of vg_symtab2.c
997 ------------------------------------------------------------------ */
998
999/* We assume the executable is loaded here ... can't really find
njn25e49d8e72002-09-23 09:36:25 +00001000 out. There is a hacky sanity check in VG_(init_memory)()
sewardjde4a1d02002-03-22 01:27:54 +00001001 which should trip up most stupidities.
1002*/
1003#define VG_ASSUMED_EXE_BASE (Addr)0x8048000
1004
njn25e49d8e72002-09-23 09:36:25 +00001005extern void VG_(maybe_read_symbols) ( void );
1006extern void VG_(read_symtab_callback) ( Addr start, UInt size,
1007 Char rr, Char ww, Char xx,
1008 UInt foffset, UChar* filename );
1009extern void VG_(maybe_unload_symbols) ( Addr start, UInt length );
sewardjde4a1d02002-03-22 01:27:54 +00001010
njn25e49d8e72002-09-23 09:36:25 +00001011extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
1012extern void VG_(mini_stack_dump) ( ExeContext* ec );
sewardjde4a1d02002-03-22 01:27:54 +00001013
1014
1015/* ---------------------------------------------------------------------
1016 Exports of vg_clientmalloc.c
1017 ------------------------------------------------------------------ */
1018
njn25e49d8e72002-09-23 09:36:25 +00001019extern void VG_(client_malloc_init)();
sewardjde4a1d02002-03-22 01:27:54 +00001020
sewardj2e93c502002-04-12 11:12:52 +00001021/* These are called from the scheduler, when it intercepts a user
1022 request. */
sewardj8c824512002-04-14 04:16:48 +00001023extern void* VG_(client_malloc) ( ThreadState* tst,
1024 UInt size, VgAllocKind kind );
1025extern void* VG_(client_memalign) ( ThreadState* tst,
1026 UInt align, UInt size );
1027extern void VG_(client_free) ( ThreadState* tst,
1028 void* ptrV, VgAllocKind kind );
1029extern void* VG_(client_calloc) ( ThreadState* tst,
1030 UInt nmemb, UInt size1 );
1031extern void* VG_(client_realloc) ( ThreadState* tst,
1032 void* ptrV, UInt size_new );
sewardjde4a1d02002-03-22 01:27:54 +00001033
1034
1035/* ---------------------------------------------------------------------
1036 Exports of vg_main.c
1037 ------------------------------------------------------------------ */
1038
njn25e49d8e72002-09-23 09:36:25 +00001039/* Sanity checks which may be done at any time. The scheduler decides when. */
1040extern void VG_(do_sanity_checks) ( Bool force_expensive );
1041
sewardjde4a1d02002-03-22 01:27:54 +00001042/* A structure used as an intermediary when passing the simulated
1043 CPU's state to some assembly fragments, particularly system calls.
1044 Stuff is copied from baseBlock to here, the assembly magic runs,
njn25e49d8e72002-09-23 09:36:25 +00001045 and then the inverse copy is done.
1046 */
sewardj92a59562002-09-30 00:53:10 +00001047extern UInt VG_(m_state_static) [6 /* segment regs, Intel order */
1048 + 8 /* int regs, in Intel order */
sewardjde4a1d02002-03-22 01:27:54 +00001049 + 1 /* %eflags */
1050 + 1 /* %eip */
1051 + VG_SIZE_OF_FPUSTATE_W /* FPU state */
1052 ];
1053
1054/* Handy fns for doing the copy back and forth. */
1055extern void VG_(copy_baseBlock_to_m_state_static) ( void );
1056extern void VG_(copy_m_state_static_to_baseBlock) ( void );
1057
sewardjde4a1d02002-03-22 01:27:54 +00001058/* Called when some unhandleable client behaviour is detected.
1059 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001060extern void VG_(unimplemented) ( Char* msg )
1061 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001062
1063/* The stack on which Valgrind runs. We can't use the same stack as the
1064 simulatee -- that's an important design decision. */
1065extern UInt VG_(stack)[10000];
1066
njn25e49d8e72002-09-23 09:36:25 +00001067/* Similarly, we have to ask for signals to be delivered on an alternative
1068 stack, since it is possible, although unlikely, that we'll have to run
1069 client code from inside the Valgrind-installed signal handler. If this
1070 happens it will be done by vg_deliver_signal_immediately(). */
sewardjde4a1d02002-03-22 01:27:54 +00001071extern UInt VG_(sigstack)[10000];
1072
sewardjde4a1d02002-03-22 01:27:54 +00001073/* Holds client's %esp at the point we gained control. From this the
1074 client's argc, argv and envp are deduced. */
1075extern Addr VG_(esp_at_startup);
sewardjde4a1d02002-03-22 01:27:54 +00001076
njn25e49d8e72002-09-23 09:36:25 +00001077/* Remove valgrind.so and skin's .so from a LD_PRELOAD=... string so child
1078 processes don't get traced into. Also mess up $libdir/valgrind so that
1079 our libpthread.so disappears from view. */
sewardj3e1eb1f2002-05-18 13:14:17 +00001080void VG_(mash_LD_PRELOAD_and_LD_LIBRARY_PATH) ( Char* ld_preload_str,
1081 Char* ld_library_path_str );
sewardjde4a1d02002-03-22 01:27:54 +00001082
1083/* Something of a function looking for a home ... start up GDB. This
1084 is called from VG_(swizzle_esp_then_start_GDB) and so runs on the
1085 *client's* stack. This is necessary to give GDB the illusion that
1086 the client program really was running on the real cpu. */
1087extern void VG_(start_GDB_whilst_on_client_stack) ( void );
1088
sewardjde4a1d02002-03-22 01:27:54 +00001089/* 64-bit counter for the number of basic blocks done. */
1090extern ULong VG_(bbs_done);
1091/* 64-bit counter for the number of bbs to go before a debug exit. */
1092extern ULong VG_(bbs_to_go);
1093
1094/* Counts downwards in vg_run_innerloop. */
1095extern UInt VG_(dispatch_ctr);
1096
sewardjde4a1d02002-03-22 01:27:54 +00001097/* Is the client running on the simulated CPU or the real one? */
1098extern Bool VG_(running_on_simd_CPU); /* Initially False */
1099
1100/* The current LRU epoch. */
1101extern UInt VG_(current_epoch);
1102
sewardj7e87e382002-05-03 19:09:05 +00001103/* This is the ThreadId of the last thread the scheduler ran. */
1104extern ThreadId VG_(last_run_tid);
1105
njn25e49d8e72002-09-23 09:36:25 +00001106/* This is the argument to __NR_exit() supplied by the first thread to
1107 call that syscall. We eventually pass that to __NR_exit() for
1108 real. */
1109extern UInt VG_(exitcode);
1110
sewardjde4a1d02002-03-22 01:27:54 +00001111
1112/* --- Counters, for informational purposes only. --- */
1113
1114/* Number of lookups which miss the fast tt helper. */
1115extern UInt VG_(tt_fast_misses);
1116
1117/* Counts for LRU informational messages. */
1118
1119/* Number and total o/t size of new translations this epoch. */
1120extern UInt VG_(this_epoch_in_count);
1121extern UInt VG_(this_epoch_in_osize);
1122extern UInt VG_(this_epoch_in_tsize);
1123/* Number and total o/t size of discarded translations this epoch. */
1124extern UInt VG_(this_epoch_out_count);
1125extern UInt VG_(this_epoch_out_osize);
1126extern UInt VG_(this_epoch_out_tsize);
1127/* Number and total o/t size of translations overall. */
1128extern UInt VG_(overall_in_count);
1129extern UInt VG_(overall_in_osize);
1130extern UInt VG_(overall_in_tsize);
1131/* Number and total o/t size of discards overall. */
1132extern UInt VG_(overall_out_count);
1133extern UInt VG_(overall_out_osize);
1134extern UInt VG_(overall_out_tsize);
1135
1136/* The number of LRU-clearings of TT/TC. */
1137extern UInt VG_(number_of_lrus);
1138
1139/* Counts pertaining to the register allocator. */
1140
1141/* total number of uinstrs input to reg-alloc */
1142extern UInt VG_(uinstrs_prealloc);
1143
1144/* total number of uinstrs added due to spill code */
1145extern UInt VG_(uinstrs_spill);
1146
1147/* number of bbs requiring spill code */
1148extern UInt VG_(translations_needing_spill);
1149
1150/* total of register ranks over all translations */
1151extern UInt VG_(total_reg_rank);
1152
sewardjde4a1d02002-03-22 01:27:54 +00001153/* Counts pertaining to internal sanity checking. */
1154extern UInt VG_(sanity_fast_count);
1155extern UInt VG_(sanity_slow_count);
1156
sewardj2e93c502002-04-12 11:12:52 +00001157/* Counts pertaining to the scheduler. */
1158extern UInt VG_(num_scheduling_events_MINOR);
1159extern UInt VG_(num_scheduling_events_MAJOR);
1160
sewardjde4a1d02002-03-22 01:27:54 +00001161
1162/* ---------------------------------------------------------------------
1163 Exports of vg_memory.c
1164 ------------------------------------------------------------------ */
1165
njn25e49d8e72002-09-23 09:36:25 +00001166extern void VG_(init_memory) ( void );
1167extern void VG_(new_exe_segment) ( Addr a, UInt len );
1168extern void VG_(remove_if_exe_segment) ( Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001169
njn25e49d8e72002-09-23 09:36:25 +00001170/* Called from generated code. */
1171extern void VG_(handle_esp_assignment) ( Addr new_espA );
sewardjde4a1d02002-03-22 01:27:54 +00001172
1173/* Nasty kludgery to deal with applications which switch stacks,
1174 like netscape. */
sewardjde4a1d02002-03-22 01:27:54 +00001175#define VG_PLAUSIBLE_STACK_SIZE 8000000
1176
sewardjde4a1d02002-03-22 01:27:54 +00001177/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001178 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001179 ------------------------------------------------------------------ */
1180
njn25e49d8e72002-09-23 09:36:25 +00001181extern void VG_(init_dataseg_end_for_brk) ( void );
1182
sewardj2e93c502002-04-12 11:12:52 +00001183extern void VG_(perform_assumed_nonblocking_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001184
njn25e49d8e72002-09-23 09:36:25 +00001185extern void* VG_(pre_known_blocking_syscall) ( ThreadId tid, Int syscallno );
1186extern void VG_(post_known_blocking_syscall)( ThreadId tid, Int syscallno,
1187 void* pre_res, Int res );
sewardjde4a1d02002-03-22 01:27:54 +00001188
1189extern Bool VG_(is_kerror) ( Int res );
1190
njn25e49d8e72002-09-23 09:36:25 +00001191#define KERNEL_DO_SYSCALL(thread_id, result_lvalue) \
1192 VG_(load_thread_state)(thread_id); \
1193 VG_(copy_baseBlock_to_m_state_static)(); \
1194 VG_(do_syscall)(); \
1195 VG_(copy_m_state_static_to_baseBlock)(); \
1196 VG_(save_thread_state)(thread_id); \
1197 VG_(threads)[thread_id].sh_eax = VG_(written_shadow_reg);\
sewardj018f7622002-05-15 21:13:39 +00001198 result_lvalue = VG_(threads)[thread_id].m_eax;
sewardjde4a1d02002-03-22 01:27:54 +00001199
1200
1201/* ---------------------------------------------------------------------
1202 Exports of vg_transtab.c
1203 ------------------------------------------------------------------ */
1204
1205/* An entry in the translation table (TT). */
1206typedef
1207 struct {
1208 /* +0 */ Addr orig_addr;
1209 /* +4 */ Addr trans_addr;
1210 /* +8 */ UInt mru_epoch;
1211 /* +12 */ UShort orig_size;
1212 /* +14 */ UShort trans_size;
1213 }
1214 TTEntry;
1215
1216/* The number of basic blocks in an epoch (one age-step). */
1217#define VG_BBS_PER_EPOCH 20000
1218
njn25e49d8e72002-09-23 09:36:25 +00001219/* The fast-cache for tt-lookup. */
1220extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1221
sewardjde4a1d02002-03-22 01:27:54 +00001222extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
1223extern void VG_(maybe_do_lru_pass) ( void );
1224extern void VG_(flush_transtab) ( void );
1225extern Addr VG_(copy_to_transcache) ( Addr trans_addr, Int trans_size );
1226extern void VG_(add_to_trans_tab) ( TTEntry* tte );
sewardj18d75132002-05-16 11:06:21 +00001227extern void VG_(invalidate_translations) ( Addr start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001228
sewardj18d75132002-05-16 11:06:21 +00001229extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001230
1231extern void VG_(sanity_check_tc_tt) ( void );
1232extern Addr VG_(search_transtab) ( Addr original_addr );
1233
1234extern void VG_(invalidate_tt_fast)( void );
1235
1236
1237/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001238 Exports of vg_syscall.S
1239 ------------------------------------------------------------------ */
1240
1241extern void VG_(do_syscall) ( void );
1242
1243
1244/* ---------------------------------------------------------------------
1245 Exports of vg_startup.S
1246 ------------------------------------------------------------------ */
1247
sewardjde4a1d02002-03-22 01:27:54 +00001248extern void VG_(switch_to_real_CPU) ( void );
1249
sewardj35805422002-04-21 13:05:34 +00001250extern void VG_(swizzle_esp_then_start_GDB) ( Addr m_eip_at_error,
1251 Addr m_esp_at_error,
1252 Addr m_ebp_at_error );
sewardjde4a1d02002-03-22 01:27:54 +00001253
1254
1255/* ---------------------------------------------------------------------
1256 Exports of vg_dispatch.S
1257 ------------------------------------------------------------------ */
1258
sewardj2e93c502002-04-12 11:12:52 +00001259/* Run a thread for a (very short) while, until some event happens
1260 which means we need to defer to the scheduler. */
1261extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001262
1263
1264/* ---------------------------------------------------------------------
1265 Exports of vg_helpers.S
1266 ------------------------------------------------------------------ */
1267
sewardjde4a1d02002-03-22 01:27:54 +00001268/* Mul, div, etc, -- we don't codegen these directly. */
1269extern void VG_(helper_idiv_64_32);
1270extern void VG_(helper_div_64_32);
1271extern void VG_(helper_idiv_32_16);
1272extern void VG_(helper_div_32_16);
1273extern void VG_(helper_idiv_16_8);
1274extern void VG_(helper_div_16_8);
1275
1276extern void VG_(helper_imul_32_64);
1277extern void VG_(helper_mul_32_64);
1278extern void VG_(helper_imul_16_32);
1279extern void VG_(helper_mul_16_32);
1280extern void VG_(helper_imul_8_16);
1281extern void VG_(helper_mul_8_16);
1282
1283extern void VG_(helper_CLD);
1284extern void VG_(helper_STD);
1285extern void VG_(helper_get_dirflag);
1286
sewardj7d78e782002-06-02 00:04:00 +00001287extern void VG_(helper_CLC);
1288extern void VG_(helper_STC);
1289
sewardjde4a1d02002-03-22 01:27:54 +00001290extern void VG_(helper_shldl);
1291extern void VG_(helper_shldw);
1292extern void VG_(helper_shrdl);
1293extern void VG_(helper_shrdw);
1294
1295extern void VG_(helper_RDTSC);
1296extern void VG_(helper_CPUID);
1297
sewardjde4a1d02002-03-22 01:27:54 +00001298extern void VG_(helper_bsf);
1299extern void VG_(helper_bsr);
1300
1301extern void VG_(helper_fstsw_AX);
1302extern void VG_(helper_SAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001303extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001304extern void VG_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001305
sewardj20917d82002-05-28 01:36:45 +00001306/* NOT A FUNCTION; this is a bogus RETURN ADDRESS. */
sewardj54cacf02002-04-12 23:24:59 +00001307extern void VG_(signalreturn_bogusRA)( void );
sewardj20917d82002-05-28 01:36:45 +00001308
njn4f9c9342002-04-29 16:03:24 +00001309/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001310 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001311 ------------------------------------------------------------------ */
1312
njn25e49d8e72002-09-23 09:36:25 +00001313#define VG_TRACK(fn, args...) \
1314 do { \
1315 if (VG_(track_events).fn) \
1316 VG_(track_events).fn(args); \
1317 } while (0)
sewardj18d75132002-05-16 11:06:21 +00001318
1319
sewardjde4a1d02002-03-22 01:27:54 +00001320/* ---------------------------------------------------------------------
1321 The state of the simulated CPU.
1322 ------------------------------------------------------------------ */
1323
sewardjde4a1d02002-03-22 01:27:54 +00001324/* ---------------------------------------------------------------------
1325 Offsets into baseBlock for everything which needs to referred to
1326 from generated code. The order of these decls does not imply
1327 what the order of the actual offsets is. The latter is important
1328 and is set up in vg_main.c.
1329 ------------------------------------------------------------------ */
1330
1331/* An array of words. In generated code, %ebp always points to the
1332 start of this array. Useful stuff, like the simulated CPU state,
1333 and the addresses of helper functions, can then be found by
1334 indexing off %ebp. The following declares variables which, at
1335 startup time, are given values denoting offsets into baseBlock.
1336 These offsets are in *words* from the start of baseBlock. */
1337
1338#define VG_BASEBLOCK_WORDS 200
1339
1340extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1341
1342
1343/* -----------------------------------------------------
1344 Read-write parts of baseBlock.
1345 -------------------------------------------------- */
1346
1347/* State of the simulated CPU. */
1348extern Int VGOFF_(m_eax);
1349extern Int VGOFF_(m_ecx);
1350extern Int VGOFF_(m_edx);
1351extern Int VGOFF_(m_ebx);
1352extern Int VGOFF_(m_esp);
1353extern Int VGOFF_(m_ebp);
1354extern Int VGOFF_(m_esi);
1355extern Int VGOFF_(m_edi);
1356extern Int VGOFF_(m_eflags);
1357extern Int VGOFF_(m_fpustate);
1358extern Int VGOFF_(m_eip);
1359
sewardj92a59562002-09-30 00:53:10 +00001360extern Int VGOFF_(m_cs);
1361extern Int VGOFF_(m_ss);
1362extern Int VGOFF_(m_ds);
1363extern Int VGOFF_(m_es);
1364extern Int VGOFF_(m_fs);
1365extern Int VGOFF_(m_gs);
1366
sewardjde4a1d02002-03-22 01:27:54 +00001367/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1368extern Int VGOFF_(spillslots);
1369
1370/* Records the valid bits for the 8 integer regs & flags reg. */
1371extern Int VGOFF_(sh_eax);
1372extern Int VGOFF_(sh_ecx);
1373extern Int VGOFF_(sh_edx);
1374extern Int VGOFF_(sh_ebx);
1375extern Int VGOFF_(sh_esp);
1376extern Int VGOFF_(sh_ebp);
1377extern Int VGOFF_(sh_esi);
1378extern Int VGOFF_(sh_edi);
1379extern Int VGOFF_(sh_eflags);
1380
sewardjde4a1d02002-03-22 01:27:54 +00001381/* -----------------------------------------------------
1382 Read-only parts of baseBlock.
1383 -------------------------------------------------- */
1384
sewardj92a59562002-09-30 00:53:10 +00001385/* This thread's LDT pointer. */
1386extern Int VGOFF_(ldt);
1387
sewardjde4a1d02002-03-22 01:27:54 +00001388/* Offsets of addresses of helper functions. A "helper" function is
1389 one which is called from generated code. */
1390
1391extern Int VGOFF_(helper_idiv_64_32);
1392extern Int VGOFF_(helper_div_64_32);
1393extern Int VGOFF_(helper_idiv_32_16);
1394extern Int VGOFF_(helper_div_32_16);
1395extern Int VGOFF_(helper_idiv_16_8);
1396extern Int VGOFF_(helper_div_16_8);
1397
1398extern Int VGOFF_(helper_imul_32_64);
1399extern Int VGOFF_(helper_mul_32_64);
1400extern Int VGOFF_(helper_imul_16_32);
1401extern Int VGOFF_(helper_mul_16_32);
1402extern Int VGOFF_(helper_imul_8_16);
1403extern Int VGOFF_(helper_mul_8_16);
1404
1405extern Int VGOFF_(helper_CLD);
1406extern Int VGOFF_(helper_STD);
1407extern Int VGOFF_(helper_get_dirflag);
1408
sewardj7d78e782002-06-02 00:04:00 +00001409extern Int VGOFF_(helper_CLC);
1410extern Int VGOFF_(helper_STC);
1411
sewardjde4a1d02002-03-22 01:27:54 +00001412extern Int VGOFF_(helper_shldl);
1413extern Int VGOFF_(helper_shldw);
1414extern Int VGOFF_(helper_shrdl);
1415extern Int VGOFF_(helper_shrdw);
1416
1417extern Int VGOFF_(helper_RDTSC);
1418extern Int VGOFF_(helper_CPUID);
1419
sewardjde4a1d02002-03-22 01:27:54 +00001420extern Int VGOFF_(helper_bsf);
1421extern Int VGOFF_(helper_bsr);
1422
1423extern Int VGOFF_(helper_fstsw_AX);
1424extern Int VGOFF_(helper_SAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001425extern Int VGOFF_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001426extern Int VGOFF_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001427
sewardjde4a1d02002-03-22 01:27:54 +00001428extern Int VGOFF_(handle_esp_assignment); /* :: Addr -> void */
sewardjde4a1d02002-03-22 01:27:54 +00001429
njn25e49d8e72002-09-23 09:36:25 +00001430/* For storing extension-specific helpers, determined at runtime. The addr
1431 * and offset arrays together form a (addr, offset) map that allows a
1432 * helper's baseBlock offset to be computed from its address. It's done
1433 * like this so CCALL_M_Ns and other helper calls can use the function
1434 * address rather than having to much around with offsets. */
1435extern UInt VG_(n_compact_helpers);
1436extern UInt VG_(n_noncompact_helpers);
1437
1438extern Addr VG_(compact_helper_addrs) [];
1439extern Int VG_(compact_helper_offsets)[];
1440
1441extern Addr VG_(noncompact_helper_addrs) [];
1442extern Int VG_(noncompact_helper_offsets)[];
1443
sewardjde4a1d02002-03-22 01:27:54 +00001444
1445#endif /* ndef __VG_INCLUDE_H */
1446
sewardj3b2736a2002-03-24 12:18:35 +00001447
1448/* ---------------------------------------------------------------------
1449 Finally - autoconf-generated settings
1450 ------------------------------------------------------------------ */
1451
1452#include "config.h"
1453
sewardjde4a1d02002-03-22 01:27:54 +00001454/*--------------------------------------------------------------------*/
1455/*--- end vg_include.h ---*/
1456/*--------------------------------------------------------------------*/