blob: 47c96b60571abf408536920a1d5eeb5de2e7d8e0 [file] [log] [blame]
sewardjde4a1d02002-03-22 01:27:54 +00001
2/*--------------------------------------------------------------------*/
njn25e49d8e72002-09-23 09:36:25 +00003/*--- A header file for all private parts of Valgrind's core. ---*/
sewardjde4a1d02002-03-22 01:27:54 +00004/*--- Include no other! ---*/
5/*--- vg_include.h ---*/
6/*--------------------------------------------------------------------*/
7
8/*
njnc9539842002-10-02 13:26:35 +00009 This file is part of Valgrind, an extensible x86 protected-mode
10 emulator for monitoring program execution on x86-Unixes.
sewardjde4a1d02002-03-22 01:27:54 +000011
12 Copyright (C) 2000-2002 Julian Seward
13 jseward@acm.org
sewardjde4a1d02002-03-22 01:27:54 +000014
15 This program is free software; you can redistribute it and/or
16 modify it under the terms of the GNU General Public License as
17 published by the Free Software Foundation; either version 2 of the
18 License, or (at your option) any later version.
19
20 This program is distributed in the hope that it will be useful, but
21 WITHOUT ANY WARRANTY; without even the implied warranty of
22 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
23 General Public License for more details.
24
25 You should have received a copy of the GNU General Public License
26 along with this program; if not, write to the Free Software
27 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
28 02111-1307, USA.
29
njn25e49d8e72002-09-23 09:36:25 +000030 The GNU General Public License is contained in the file COPYING.
sewardjde4a1d02002-03-22 01:27:54 +000031*/
32
33#ifndef __VG_INCLUDE_H
34#define __VG_INCLUDE_H
35
sewardjde4a1d02002-03-22 01:27:54 +000036/* ---------------------------------------------------------------------
sewardj2d94c112002-06-03 01:25:54 +000037 Where to send bug reports to.
38 ------------------------------------------------------------------ */
39
40#define VG_EMAIL_ADDR "jseward@acm.org"
41
42
43/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +000044 Build options and table sizes. You should be able to change these
45 options or sizes, recompile, and still have a working system.
46 ------------------------------------------------------------------ */
47
48#include "vg_constants.h"
49
sewardj4cf05692002-10-27 20:28:29 +000050/* All stuff visible to core and skins goes in vg_skin.h. Things
51 * visible to core but not visible to any skins should go in this
52 * file, vg_include.h. */
njn25e49d8e72002-09-23 09:36:25 +000053#include "vg_skin.h"
sewardjde4a1d02002-03-22 01:27:54 +000054
55/* Total number of spill slots available for allocation, if a TempReg
56 doesn't make it into a RealReg. Just bomb the entire system if
57 this value is too small; we don't expect it will ever get
58 particularly high. */
59#define VG_MAX_SPILLSLOTS 24
60
61
62/* Constants for the slow translation lookup cache. */
63#define VG_TRANSTAB_SLOW_BITS 11
64#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
65#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
66
67/* Size of a buffer used for creating messages. */
68#define M_VG_MSGBUF 10000
69
70/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +000071#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +000072
73/* Max length of pathname to a .so/executable file. */
74#define M_VG_LIBNAMESTR 100
75
76/* Max length of a text fragment used to construct error messages. */
77#define M_VG_ERRTXT 512
78
79/* Max length of the string copied from env var VG_ARGS at startup. */
80#define M_VG_CMDLINE_STRLEN 1000
81
82/* Max number of options for Valgrind which we can handle. */
83#define M_VG_CMDLINE_OPTS 100
84
85/* After this many different unsuppressed errors have been observed,
86 be more conservative about collecting new ones. */
87#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
88
89/* After this many different unsuppressed errors have been observed,
90 stop collecting errors at all, and tell the user their program is
91 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +000092#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +000093
94/* After this many total errors have been observed, stop collecting
95 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +000096#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +000097
sewardjde4a1d02002-03-22 01:27:54 +000098/* The maximum number of calls we're prepared to save in a
99 backtrace. */
100#define VG_DEEPEST_BACKTRACE 50
101
102/* Number of lists in which we keep track of malloc'd but not free'd
103 blocks. Should be prime. */
104#define VG_N_MALLOCLISTS 997
105
106/* Number of lists in which we keep track of ExeContexts. Should be
107 prime. */
108#define VG_N_EC_LISTS /*997*/ 4999
109
sewardj2e93c502002-04-12 11:12:52 +0000110/* Defines the thread-scheduling timeslice, in terms of the number of
111 basic blocks we attempt to run each thread for. Smaller values
112 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000113#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000114
sewardj2e93c502002-04-12 11:12:52 +0000115/* Number of file descriptors that can simultaneously be waited on for
116 I/O to complete. Perhaps this should be the same as VG_N_THREADS
117 (surely a thread can't wait on more than one fd at once?. Who
118 knows.) */
119#define VG_N_WAITING_FDS 10
120
sewardjbf290b92002-05-01 02:28:01 +0000121/* Stack size for a thread. We try and check that they do not go
122 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000123#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000124
sewardj20917d82002-05-28 01:36:45 +0000125/* Number of entries in the semaphore-remapping table. */
126#define VG_N_SEMAPHORES 50
127
128/* Number of entries in the rwlock-remapping table. */
sewardj89745a52002-09-27 01:04:29 +0000129#define VG_N_RWLOCKS 500
sewardj20917d82002-05-28 01:36:45 +0000130
sewardj8ad94e12002-05-29 00:10:20 +0000131/* Number of entries in each thread's cleanup stack. */
132#define VG_N_CLEANUPSTACK 8
133
sewardj2cb00342002-06-28 01:46:26 +0000134/* Number of entries in each thread's fork-handler stack. */
135#define VG_N_FORKHANDLERSTACK 2
136
njn25e49d8e72002-09-23 09:36:25 +0000137/* Max number of callers for context in a suppression. */
138#define VG_N_SUPP_CALLERS 4
139
sewardjde4a1d02002-03-22 01:27:54 +0000140
141/* ---------------------------------------------------------------------
142 Basic types
143 ------------------------------------------------------------------ */
144
sewardjde4a1d02002-03-22 01:27:54 +0000145/* Just pray that gcc's constant folding works properly ... */
146#define BITS(bit7,bit6,bit5,bit4,bit3,bit2,bit1,bit0) \
147 ( ((bit7) << 7) | ((bit6) << 6) | ((bit5) << 5) | ((bit4) << 4) \
148 | ((bit3) << 3) | ((bit2) << 2) | ((bit1) << 1) | (bit0))
149
sewardjde4a1d02002-03-22 01:27:54 +0000150/* ---------------------------------------------------------------------
151 Command-line-settable options
152 ------------------------------------------------------------------ */
153
sewardjde4a1d02002-03-22 01:27:54 +0000154#define VG_CLO_MAX_SFILES 10
155
sewardj4cf05692002-10-27 20:28:29 +0000156/* Describes where logging output is to be sent. */
157typedef
158 enum {
159 VgLogTo_Fd,
160 VgLogTo_File,
161 VgLogTo_Socket
162 } VgLogTo;
163
164
sewardj72f98ff2002-06-13 17:23:38 +0000165/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000166extern Bool VG_(clo_error_limit);
sewardjde4a1d02002-03-22 01:27:54 +0000167/* Enquire about whether to attach to GDB at errors? default: NO */
168extern Bool VG_(clo_GDB_attach);
169/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
170extern Int VG_(sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000171/* Automatically attempt to demangle C++ names? default: YES */
172extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000173/* Round malloc sizes upwards to integral number of words? default:
174 NO */
175extern Bool VG_(clo_sloppy_malloc);
sewardj246d4662002-06-14 10:17:05 +0000176/* Minimum alignment in functions that don't specify alignment explicitly.
177 default: 0, i.e. use default of the machine (== 4) */
178extern Int VG_(clo_alignment);
sewardjde4a1d02002-03-22 01:27:54 +0000179/* Simulate child processes? default: NO */
180extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000181
182/* Where logging output is to be sent to.
183
184 When log_to == VgLogTo_Fd, clo_logfile_fd holds the file id, and is
185 taken from the command line. clo_logfile_name is irrelevant.
186
187 When log_to == VgLogTo_File, clo_logfile_name holds the logfile
188 name, and is taken from the command line. clo_logfile_fd is then
189 made to hold the relevant file id, by opening clo_logfile_name
190 (concatenated with the process ID) for writing.
191
192 When log_to == VgLogTo_Socket, clo_logfile_name holds the
193 hostname:portnumber pair, and is taken from the command line.
194 clo_logfile_fd is then made to hold the relevant file handle, by
195 opening a connection to said hostname:portnumber pair.
196
197 Global default is to set log_to == VgLogTo_Fd and logfile_fd == 2
198 (stderr). */
199extern VgLogTo VG_(clo_log_to);
200extern Int VG_(clo_logfile_fd);
201extern Char* VG_(clo_logfile_name);
sewardjde4a1d02002-03-22 01:27:54 +0000202
203/* The number of suppression files specified. */
204extern Int VG_(clo_n_suppressions);
205/* The names of the suppression files. */
206extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
207
208/* Single stepping? default: NO */
209extern Bool VG_(clo_single_step);
210/* Code improvement? default: YES */
211extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000212/* DEBUG: print generated code? default: 00000 ( == NO ) */
213extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000214/* DEBUG: print system calls? default: NO */
215extern Bool VG_(clo_trace_syscalls);
216/* DEBUG: print signal details? default: NO */
217extern Bool VG_(clo_trace_signals);
218/* DEBUG: print symtab details? default: NO */
219extern Bool VG_(clo_trace_symtab);
220/* DEBUG: print malloc details? default: NO */
221extern Bool VG_(clo_trace_malloc);
sewardj8937c812002-04-12 20:12:20 +0000222/* DEBUG: print thread scheduling events? default: NO */
223extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000224/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
225 (some), 2 (all) */
226extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000227/* Stop after this many basic blocks. default: Infinity. */
228extern ULong VG_(clo_stop_after);
229/* Display gory details for the k'th most popular error. default:
230 Infinity. */
231extern Int VG_(clo_dump_error);
232/* Number of parents of a backtrace. Default: 8. */
233extern Int VG_(clo_backtrace_size);
sewardj3984b852002-05-12 03:00:17 +0000234/* Engage miscellaneous wierd hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000235extern Char* VG_(clo_weird_hacks);
sewardj858964b2002-10-05 14:15:43 +0000236/* Should we run __libc_freeres at exit? Sometimes causes crashes.
237 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
238 if the latter says False, then the setting of VG_(clo_weird_hacks)
239 is ignored. Ie if a skin says no, I don't want this to run, that
240 cannot be overridden from the command line. */
241extern Bool VG_(clo_run_libc_freeres);
sewardjde4a1d02002-03-22 01:27:54 +0000242
243
244/* ---------------------------------------------------------------------
245 Debugging and profiling stuff
246 ------------------------------------------------------------------ */
247
njn25e49d8e72002-09-23 09:36:25 +0000248/* Change to 1 to get more accurate but more expensive core profiling. */
249#if 0
250# define VGP_ACCURATE_PROFILING
251#endif
252
sewardjde4a1d02002-03-22 01:27:54 +0000253/* Create a logfile into which messages can be dumped. */
254extern void VG_(startup_logging) ( void );
njn25e49d8e72002-09-23 09:36:25 +0000255extern void VG_(shutdown_logging)( void );
sewardjde4a1d02002-03-22 01:27:54 +0000256
257extern void VGP_(init_profiling) ( void );
258extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000259
njn25e49d8e72002-09-23 09:36:25 +0000260#undef VGP_PUSHCC
261#undef VGP_POPCC
262#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
263#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000264
njn25e49d8e72002-09-23 09:36:25 +0000265/* Use this for ones that happen a lot and thus we don't want to put in
266 all the time, eg. for %esp assignment. */
267#ifdef VGP_ACCURATE_PROFILING
268# define VGP_MAYBE_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
269# define VGP_MAYBE_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000270#else
njn25e49d8e72002-09-23 09:36:25 +0000271# define VGP_MAYBE_PUSHCC(x)
272# define VGP_MAYBE_POPCC(x)
273#endif
sewardjde4a1d02002-03-22 01:27:54 +0000274
275
276/* ---------------------------------------------------------------------
277 Exports of vg_malloc2.c
278 ------------------------------------------------------------------ */
279
280/* Allocation arenas.
njn25e49d8e72002-09-23 09:36:25 +0000281 CORE is for the core's general use.
282 SKIN is for the skin to use (and the only one it uses).
sewardjde4a1d02002-03-22 01:27:54 +0000283 SYMTAB is for Valgrind's symbol table storage.
njn25e49d8e72002-09-23 09:36:25 +0000284 JITTER is for small storage during translation.
sewardjde4a1d02002-03-22 01:27:54 +0000285 CLIENT is for the client's mallocs/frees.
286 DEMANGLE is for the C++ demangler.
287 EXECTXT is for storing ExeContexts.
njn25e49d8e72002-09-23 09:36:25 +0000288 ERRORS is for storing CoreErrors.
sewardjde4a1d02002-03-22 01:27:54 +0000289 TRANSIENT is for very short-term use. It should be empty
290 in between uses.
njn25e49d8e72002-09-23 09:36:25 +0000291 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000292*/
293typedef Int ArenaId;
294
njn25e49d8e72002-09-23 09:36:25 +0000295#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000296
njn25e49d8e72002-09-23 09:36:25 +0000297#define VG_AR_CORE 0 /* :: ArenaId */
298#define VG_AR_SKIN 1 /* :: ArenaId */
299#define VG_AR_SYMTAB 2 /* :: ArenaId */
300#define VG_AR_JITTER 3 /* :: ArenaId */
301#define VG_AR_CLIENT 4 /* :: ArenaId */
302#define VG_AR_DEMANGLE 5 /* :: ArenaId */
303#define VG_AR_EXECTXT 6 /* :: ArenaId */
304#define VG_AR_ERRORS 7 /* :: ArenaId */
305#define VG_AR_TRANSIENT 8 /* :: ArenaId */
sewardjde4a1d02002-03-22 01:27:54 +0000306
njn25e49d8e72002-09-23 09:36:25 +0000307extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
308extern void VG_(arena_free) ( ArenaId arena, void* ptr );
309extern void* VG_(arena_calloc) ( ArenaId arena, Int nmemb, Int nbytes );
310extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
311 Int size );
312extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000313 Int req_pszB );
314
sewardjde4a1d02002-03-22 01:27:54 +0000315extern void VG_(mallocSanityCheckAll) ( void );
316
317extern void VG_(show_all_arena_stats) ( void );
318extern Bool VG_(is_empty_arena) ( ArenaId aid );
319
320
321/* The red-zone size for the client. This can be arbitrary, but
322 unfortunately must be set at compile time. */
323#define VG_AR_CLIENT_REDZONE_SZW 4
324
325#define VG_AR_CLIENT_REDZONE_SZB \
326 (VG_AR_CLIENT_REDZONE_SZW * VKI_BYTES_PER_WORD)
327
328
329/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +0000330 Exports of vg_clientfuncs.c
sewardj2e93c502002-04-12 11:12:52 +0000331 ------------------------------------------------------------------ */
332
333/* This doesn't export code or data that valgrind.so needs to link
334 against. However, the scheduler does need to know the following
335 request codes. A few, publically-visible, request codes are also
njn25e49d8e72002-09-23 09:36:25 +0000336 defined in valgrind.h, and similar headers for some skins. */
sewardj2e93c502002-04-12 11:12:52 +0000337
338#define VG_USERREQ__MALLOC 0x2001
339#define VG_USERREQ__BUILTIN_NEW 0x2002
340#define VG_USERREQ__BUILTIN_VEC_NEW 0x2003
341
342#define VG_USERREQ__FREE 0x2004
343#define VG_USERREQ__BUILTIN_DELETE 0x2005
344#define VG_USERREQ__BUILTIN_VEC_DELETE 0x2006
345
346#define VG_USERREQ__CALLOC 0x2007
347#define VG_USERREQ__REALLOC 0x2008
348#define VG_USERREQ__MEMALIGN 0x2009
349
350
sewardj20917d82002-05-28 01:36:45 +0000351/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
352 MUST NOT return -- ever. Eventually it will do either __QUIT or
353 __WAIT_JOINER. */
354#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
355
356/* ( no-args ): calling thread disappears from the system forever.
357 Reclaim resources. */
358#define VG_USERREQ__QUIT 0x3002
359
360/* ( void* ): calling thread waits for joiner and returns the void* to
361 it. */
362#define VG_USERREQ__WAIT_JOINER 0x3003
363
364/* ( ThreadId, void** ): wait to join a thread. */
365#define VG_USERREQ__PTHREAD_JOIN 0x3004
366
367/* Set cancellation state and type for this thread. */
368#define VG_USERREQ__SET_CANCELSTATE 0x3005
369#define VG_USERREQ__SET_CANCELTYPE 0x3006
370
371/* ( no-args ): Test if we are at a cancellation point. */
372#define VG_USERREQ__TESTCANCEL 0x3007
373
374/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
375 with this arg to indicate that a cancel is now pending for the
376 specified thread. */
377#define VG_USERREQ__SET_CANCELPEND 0x3008
378
379/* Set/get detach state for this thread. */
380#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
381
382#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
383#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
384#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
385#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
386#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
387#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
388#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
389#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
390#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
391#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000392#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
393#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000394#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
395#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
396#define VG_USERREQ__SIGWAIT 0x3019
397#define VG_USERREQ__PTHREAD_KILL 0x301A
398#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000399#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000400
sewardj8ad94e12002-05-29 00:10:20 +0000401#define VG_USERREQ__CLEANUP_PUSH 0x3020
402#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000403#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000404
sewardjef037c72002-05-30 00:40:03 +0000405#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000406
407/* Ask how many signal handler returns have happened to this
408 thread. */
sewardj9a2224b2002-06-19 10:17:40 +0000409#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024
sewardjef037c72002-05-30 00:40:03 +0000410
sewardj2cb00342002-06-28 01:46:26 +0000411/* Get/set entries for a thread's pthread_atfork stack. */
412#define VG_USERREQ__SET_FHSTACK_USED 0x3025
413#define VG_USERREQ__GET_FHSTACK_USED 0x3026
414#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
415#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000416
sewardj1fe7b002002-07-16 01:43:15 +0000417/* Denote the finish of VG_(__libc_freeres_wrapper). */
418#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
419
sewardj45b4b372002-04-16 22:50:32 +0000420/* Cosmetic ... */
421#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000422/* Log a pthread error from client-space. Cosmetic. */
423#define VG_USERREQ__PTHREAD_ERROR 0x3102
sewardj45b4b372002-04-16 22:50:32 +0000424
sewardj54cacf02002-04-12 23:24:59 +0000425/*
426In vg_constants.h:
427#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000428*/
429
sewardj1fe7b002002-07-16 01:43:15 +0000430/* The scheduler does need to know the address of it so it can be
431 called at program exit. */
432extern void VG_(__libc_freeres_wrapper)( void );
433
sewardj54cacf02002-04-12 23:24:59 +0000434
sewardj2e93c502002-04-12 11:12:52 +0000435/* ---------------------------------------------------------------------
436 Constants pertaining to the simulated CPU state, VG_(baseBlock),
437 which need to go here to avoid ugly circularities.
438 ------------------------------------------------------------------ */
439
440/* How big is the saved FPU state? */
441#define VG_SIZE_OF_FPUSTATE 108
442/* ... and in words ... */
443#define VG_SIZE_OF_FPUSTATE_W ((VG_SIZE_OF_FPUSTATE+3)/4)
444
445
446/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000447 Exports of vg_ldt.c
448 ------------------------------------------------------------------ */
449
450/* This is the hardware-format for a segment descriptor, ie what the
451 x86 actually deals with. It is 8 bytes long. It's ugly. */
452
453typedef struct _LDT_ENTRY {
454 union {
455 struct {
456 UShort LimitLow;
457 UShort BaseLow;
458 unsigned BaseMid : 8;
459 unsigned Type : 5;
460 unsigned Dpl : 2;
461 unsigned Pres : 1;
462 unsigned LimitHi : 4;
463 unsigned Sys : 1;
464 unsigned Reserved_0 : 1;
465 unsigned Default_Big : 1;
466 unsigned Granularity : 1;
467 unsigned BaseHi : 8;
468 } Bits;
469 struct {
470 UInt word1;
471 UInt word2;
472 } Words;
473 }
474 LdtEnt;
475} VgLdtEntry;
476
477/* Maximum number of LDT entries supported (by the x86). */
478#define VG_M_LDT_ENTRIES 8192
479/* The size of each LDT entry == sizeof(VgLdtEntry) */
480#define VG_LDT_ENTRY_SIZE 8
481
482/* Alloc & copy, and dealloc. */
483extern VgLdtEntry*
484 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
485extern void
486 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
487
488/* Simulate the modify_ldt syscall. */
489extern Int VG_(sys_modify_ldt) ( ThreadId tid,
490 Int func, void* ptr, UInt bytecount );
491
sewardje1042472002-09-30 12:33:11 +0000492/* Called from generated code. Given a segment selector and a virtual
493 address, return a linear address, and do limit checks too. */
494extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
495
sewardj92a59562002-09-30 00:53:10 +0000496
497/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000498 Exports of vg_scheduler.c
499 ------------------------------------------------------------------ */
500
sewardj2e93c502002-04-12 11:12:52 +0000501typedef
502 enum {
503 VgTs_Empty, /* this slot is not in use */
504 VgTs_Runnable, /* waiting to be scheduled */
505 VgTs_WaitJoiner, /* waiting for someone to do join on me */
506 VgTs_WaitJoinee, /* waiting for the thread I did join on */
507 VgTs_WaitFD, /* waiting for I/O completion on a fd */
508 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000509 VgTs_WaitCV, /* waiting on a condition variable */
sewardjb48e5002002-05-13 00:16:03 +0000510 VgTs_WaitSIG, /* waiting due to sigwait() */
sewardj2e93c502002-04-12 11:12:52 +0000511 VgTs_Sleeping /* sleeping for a while */
512 }
513 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000514
515/* An entry in a threads's cleanup stack. */
516typedef
517 struct {
518 void (*fn)(void*);
519 void* arg;
520 }
521 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000522
523/* An entry in a thread's fork-handler stack. */
524typedef
525 struct {
526 void (*prepare)(void);
527 void (*parent)(void);
528 void (*child)(void);
529 }
530 ForkHandlerEntry;
531
532
njn25e49d8e72002-09-23 09:36:25 +0000533struct _ThreadState {
534 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
535 The thread identity is simply the index in vg_threads[].
536 ThreadId == 1 is the root thread and has the special property
537 that we don't try and allocate or deallocate its stack. For
538 convenience of generating error message, we also put the
539 ThreadId in this tid field, but be aware that it should
540 ALWAYS == the index in vg_threads[]. */
541 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000542
njn25e49d8e72002-09-23 09:36:25 +0000543 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000544
njn25e49d8e72002-09-23 09:36:25 +0000545 Complications: whenever this is set to VgTs_WaitMX, you
546 should also set .m_edx to whatever the required return value
547 is for pthread_mutex_lock / pthread_cond_timedwait for when
548 the mutex finally gets unblocked. */
549 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000550
njn25e49d8e72002-09-23 09:36:25 +0000551 /* When .status == WaitMX, points to the mutex I am waiting for.
552 When .status == WaitCV, points to the mutex associated with
553 the condition variable indicated by the .associated_cv field.
554 In all other cases, should be NULL. */
555 void* /*pthread_mutex_t* */ associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000556
njn25e49d8e72002-09-23 09:36:25 +0000557 /* When .status == WaitCV, points to the condition variable I am
558 waiting for. In all other cases, should be NULL. */
559 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000560
njn25e49d8e72002-09-23 09:36:25 +0000561 /* If VgTs_Sleeping, this is when we should wake up, measured in
562 milliseconds as supplied by VG_(read_millisecond_counter).
sewardj2e93c502002-04-12 11:12:52 +0000563
njn25e49d8e72002-09-23 09:36:25 +0000564 If VgTs_WaitCV, this indicates the time at which
565 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
566 this means infinitely far in the future, viz,
567 pthread_cond_wait. */
568 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000569
njn25e49d8e72002-09-23 09:36:25 +0000570 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
571 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000572
njn25e49d8e72002-09-23 09:36:25 +0000573 /* If VgTs_WaitJoinee, place to copy the return value to, and
574 the identity of the thread we're waiting for. */
575 void** joiner_thread_return;
576 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000577
njn25e49d8e72002-09-23 09:36:25 +0000578 /* Whether or not detached. */
579 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000580
njn25e49d8e72002-09-23 09:36:25 +0000581 /* Cancelability state and type. */
582 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
583 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
584
585 /* Pointer to fn to call to do cancellation. Indicates whether
586 or not cancellation is pending. If NULL, not pending. Else
587 should be &thread_exit_wrapper(), indicating that
588 cancallation is pending. */
589 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000590
njn25e49d8e72002-09-23 09:36:25 +0000591 /* The cleanup stack. */
592 Int custack_used;
593 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000594
sewardj00a66b12002-10-12 16:42:35 +0000595 /* A pointer to the thread's-specific-data. This is handled almost
596 entirely from vg_libpthread.c. We just provide hooks to get and
597 set this ptr. This is either NULL, indicating the thread has
598 read/written none of its specifics so far, OR points to a
599 void*[VG_N_THREAD_KEYS], allocated and deallocated in
600 vg_libpthread.c. */
601 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000602
njn25e49d8e72002-09-23 09:36:25 +0000603 /* This thread's blocked-signals mask. Semantics is that for a
604 signal to be delivered to this thread, the signal must not be
605 blocked by either the process-wide signal mask nor by this
606 one. So, if this thread is prepared to handle any signal that
607 the process as a whole is prepared to handle, this mask should
608 be made empty -- and that it is its default, starting
609 state. */
610 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000611
njn25e49d8e72002-09-23 09:36:25 +0000612 /* When not VgTs_WaitSIG, has no meaning. When VgTs_WaitSIG,
613 is the set of signals for which we are sigwait()ing. */
614 vki_ksigset_t sigs_waited_for;
sewardj9a2224b2002-06-19 10:17:40 +0000615
njn25e49d8e72002-09-23 09:36:25 +0000616 /* Counts the number of times a signal handler for this thread
617 has returned. This makes it easy to implement pause(), by
618 polling this value, of course interspersed with nanosleeps,
619 and waiting till it changes. */
620 UInt n_signals_returned;
sewardj2e93c502002-04-12 11:12:52 +0000621
njn25e49d8e72002-09-23 09:36:25 +0000622 /* Stacks. When a thread slot is freed, we don't deallocate its
623 stack; we just leave it lying around for the next use of the
624 slot. If the next use of the slot requires a larger stack,
625 only then is the old one deallocated and a new one
626 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000627
njn25e49d8e72002-09-23 09:36:25 +0000628 For the main thread (threadid == 0), this mechanism doesn't
629 apply. We don't know the size of the stack since we didn't
630 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000631
njn25e49d8e72002-09-23 09:36:25 +0000632 /* The allocated size of this thread's stack (permanently zero
633 if this is ThreadId == 0, since we didn't allocate its stack) */
634 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000635
njn25e49d8e72002-09-23 09:36:25 +0000636 /* Address of the lowest word in this thread's stack. NULL means
637 not allocated yet.
638 */
639 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000640
sewardj92a59562002-09-30 00:53:10 +0000641 /* Address of the highest legitimate word in this stack. This is
642 used for error messages only -- not critical for execution
643 correctness. Is is set for all stacks, specifically including
644 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000645 Addr stack_highest_word;
646
sewardj92a59562002-09-30 00:53:10 +0000647 /* Pointer to this thread's Local (Segment) Descriptor Table.
648 Starts out as NULL, indicating there is no table, and we hope to
649 keep it that way. If the thread does __NR_modify_ldt to create
650 entries, we allocate a 8192-entry table at that point. This is
651 a straight copy of the Linux kernel's scheme. Don't forget to
652 deallocate this at thread exit. */
653 VgLdtEntry* ldt;
654
655 /* Saved machine context. Note the FPU state, %EIP and segment
656 registers are not shadowed.
657
658 Although the segment registers are 16 bits long, storage
659 management here, in VG_(baseBlock) and in VG_(m_state_static) is
660 simplified if we pretend they are 32 bits. */
661 UInt m_cs;
662 UInt m_ss;
663 UInt m_ds;
664 UInt m_es;
665 UInt m_fs;
666 UInt m_gs;
667
njn25e49d8e72002-09-23 09:36:25 +0000668 UInt m_eax;
669 UInt m_ebx;
670 UInt m_ecx;
671 UInt m_edx;
672 UInt m_esi;
673 UInt m_edi;
674 UInt m_ebp;
675 UInt m_esp;
676 UInt m_eflags;
677 UInt m_eip;
678 UInt m_fpu[VG_SIZE_OF_FPUSTATE_W];
679
680 UInt sh_eax;
681 UInt sh_ebx;
682 UInt sh_ecx;
683 UInt sh_edx;
684 UInt sh_esi;
685 UInt sh_edi;
686 UInt sh_ebp;
687 UInt sh_esp;
688 UInt sh_eflags;
689};
sewardj2e93c502002-04-12 11:12:52 +0000690
691
sewardj018f7622002-05-15 21:13:39 +0000692/* The thread table. */
693extern ThreadState VG_(threads)[VG_N_THREADS];
694
695/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000696extern Bool VG_(is_valid_tid) ( ThreadId tid );
697
sewardj018f7622002-05-15 21:13:39 +0000698/* Check that tid is in range. */
699extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
700
sewardj2e93c502002-04-12 11:12:52 +0000701/* Copy the specified thread's state into VG_(baseBlock) in
702 preparation for running it. */
703extern void VG_(load_thread_state)( ThreadId );
704
705/* Save the specified thread's state back in VG_(baseBlock), and fill
706 VG_(baseBlock) with junk, for sanity-check reasons. */
707extern void VG_(save_thread_state)( ThreadId );
708
sewardj1e8cdc92002-04-18 11:37:52 +0000709/* And for the currently running one, if valid. */
710extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000711
sewardj1e8cdc92002-04-18 11:37:52 +0000712/* Similarly ... */
713extern ThreadId VG_(get_current_tid) ( void );
714
sewardjccef2e62002-05-29 19:26:32 +0000715/* Nuke all threads except tid. */
716extern void VG_(nuke_all_threads_except) ( ThreadId me );
717
sewardj2e93c502002-04-12 11:12:52 +0000718
719/* Return codes from the scheduler. */
720typedef
sewardj7e87e382002-05-03 19:09:05 +0000721 enum {
722 VgSrc_Deadlock, /* no runnable threads and no prospect of any
723 even if we wait for a long time */
724 VgSrc_ExitSyscall, /* client called exit(). This is the normal
725 route out. */
726 VgSrc_BbsDone /* In a debugging run, the specified number of
727 bbs has been completed. */
728 }
sewardj2e93c502002-04-12 11:12:52 +0000729 VgSchedReturnCode;
730
sewardj7e87e382002-05-03 19:09:05 +0000731
sewardj2e93c502002-04-12 11:12:52 +0000732/* The scheduler. */
733extern VgSchedReturnCode VG_(scheduler) ( void );
734
735extern void VG_(scheduler_init) ( void );
736
sewardj15a43e12002-04-17 19:35:12 +0000737extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000738
739/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
740extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000741/* This says whether scheduler_jmpbuf is actually valid. Needed so
742 that our signal handler doesn't longjmp when the buffer isn't
743 actually valid. */
744extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000745/* ... and if so, here's the signal which caused it to do so. */
746extern Int VG_(longjmpd_on_signal);
747
748
sewardja1679dd2002-05-10 22:31:40 +0000749/* Possible places where the main stack might be based. We check that
750 the initial stack, which we can't move, is allocated here.
751 VG_(scheduler_init) checks this. Andrea Archelangi's 2.4 kernels
752 have been rumoured to start stacks at 0x80000000, so that too is
njn25e49d8e72002-09-23 09:36:25 +0000753 considered. It seems systems with longer uptimes tend to to use
754 stacks which start at 0x40000000 sometimes. JRS 2002-Aug-21: I
755 also have reports of stacks starting at 0xE0000000.*/
756
sewardja1679dd2002-05-10 22:31:40 +0000757#define VG_STARTUP_STACK_BASE_1 (Addr)0xC0000000
758#define VG_STARTUP_STACK_BASE_2 (Addr)0x80000000
daywalkera2562202002-07-15 19:39:51 +0000759#define VG_STARTUP_STACK_BASE_3 (Addr)0x40000000
njn25e49d8e72002-09-23 09:36:25 +0000760#define VG_STARTUP_STACK_BASE_4 (Addr)0xE0000000
sewardja1679dd2002-05-10 22:31:40 +0000761#define VG_STARTUP_STACK_SMALLERTHAN 0x100000 /* 1024k */
762
763#define VG_STACK_MATCHES_BASE(zzstack, zzbase) \
764 ( \
765 ((zzstack) & ((zzbase) - VG_STARTUP_STACK_SMALLERTHAN)) \
766 == \
767 ((zzbase) - VG_STARTUP_STACK_SMALLERTHAN) \
768 )
sewardj2e93c502002-04-12 11:12:52 +0000769
770
771/* The red-zone size which we put at the bottom (highest address) of
772 thread stacks, for paranoia reasons. This can be arbitrary, and
773 doesn't really need to be set at compile time. */
774#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
775
776#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
777 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
778
njn25e49d8e72002-09-23 09:36:25 +0000779/* Junk to fill up a thread's shadow regs with when shadow regs aren't
780 * being used. */
781#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
782
783/* What we set a shadow register to when written by SET_EAX and similar
784 * things. */
785extern UInt VG_(written_shadow_reg);
sewardj2e93c502002-04-12 11:12:52 +0000786
sewardj018f7622002-05-15 21:13:39 +0000787/* Write a value to the client's %EDX (request return value register)
788 and set the shadow to indicate it is defined. */
njn25e49d8e72002-09-23 09:36:25 +0000789#define SET_EDX(zztid, zzval) \
790 do { VG_(threads)[zztid].m_edx = (zzval); \
791 VG_(threads)[zztid].sh_edx = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000792 } while (0)
793
njn25e49d8e72002-09-23 09:36:25 +0000794#define SET_EAX(zztid, zzval) \
795 do { VG_(threads)[zztid].m_eax = (zzval); \
796 VG_(threads)[zztid].sh_eax = VG_(written_shadow_reg); \
sewardj018f7622002-05-15 21:13:39 +0000797 } while (0)
798
sewardj2e93c502002-04-12 11:12:52 +0000799
800/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000801 Exports of vg_signals.c
802 ------------------------------------------------------------------ */
803
sewardjde4a1d02002-03-22 01:27:54 +0000804extern void VG_(sigstartup_actions) ( void );
805
sewardjb48e5002002-05-13 00:16:03 +0000806extern Bool VG_(deliver_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000807extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000808extern void VG_(handle_SCSS_change) ( Bool force_update );
809
sewardjde4a1d02002-03-22 01:27:54 +0000810
811/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +0000812extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000813extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +0000814extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
815 Int how,
816 vki_ksigset_t* set,
817 vki_ksigset_t* oldset );
818extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
819 Int how,
820 vki_ksigset_t* set,
821 vki_ksigset_t* oldset );
822extern void VG_(send_signal_to_thread) ( ThreadId thread,
823 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +0000824
sewardjefbfcdf2002-06-19 17:35:45 +0000825extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
826
827
sewardj2e93c502002-04-12 11:12:52 +0000828/* Modify the current thread's state once we have detected it is
829 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +0000830extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +0000831
sewardj2e93c502002-04-12 11:12:52 +0000832/* Handy utilities to block/restore all host signals. */
833extern void VG_(block_all_host_signals)
834 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +0000835extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +0000836 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +0000837
838/* ---------------------------------------------------------------------
839 Exports of vg_mylibc.c
840 ------------------------------------------------------------------ */
841
njne427a662002-10-02 11:08:25 +0000842#define vg_assert(expr) \
843 ((void) ((expr) ? 0 : \
844 (VG_(core_assert_fail) (VG__STRING(expr), \
845 __FILE__, __LINE__, \
846 __PRETTY_FUNCTION__), 0)))
847__attribute__ ((__noreturn__))
848extern void VG_(core_assert_fail) ( Char* expr, Char* file,
849 Int line, Char* fn );
850__attribute__ ((__noreturn__))
851extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +0000852
njn25e49d8e72002-09-23 09:36:25 +0000853/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
854extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +0000855
njn25e49d8e72002-09-23 09:36:25 +0000856/* Skins use VG_(strdup)() which doesn't expose ArenaId */
857extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +0000858
njn25e49d8e72002-09-23 09:36:25 +0000859/* Skins shouldn't need these...(?) */
sewardj5f07b662002-04-23 16:52:51 +0000860extern void VG_(start_rdtsc_calibration) ( void );
861extern void VG_(end_rdtsc_calibration) ( void );
862extern UInt VG_(read_millisecond_timer) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000863
njn25e49d8e72002-09-23 09:36:25 +0000864extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +0000865extern Int VG_(select)( Int n,
866 vki_fd_set* readfds,
867 vki_fd_set* writefds,
868 vki_fd_set* exceptfds,
869 struct vki_timeval * timeout );
870extern Int VG_(nanosleep)( const struct vki_timespec *req,
871 struct vki_timespec *rem );
872
sewardjde4a1d02002-03-22 01:27:54 +0000873/* ---------------------------------------------------------------------
874 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
875 vg_from_ucode.c).
876 ------------------------------------------------------------------ */
877
sewardjde4a1d02002-03-22 01:27:54 +0000878#define VG_IS_FLAG_SUBSET(set1,set2) \
879 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
880
881#define VG_UNION_FLAG_SETS(set1,set2) \
882 ( ((FlagSet)set1) | ((FlagSet)set2) )
883
sewardjde4a1d02002-03-22 01:27:54 +0000884/* ---------------------------------------------------------------------
885 Exports of vg_demangle.c
886 ------------------------------------------------------------------ */
887
888extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
889
sewardjde4a1d02002-03-22 01:27:54 +0000890/* ---------------------------------------------------------------------
891 Exports of vg_from_ucode.c
892 ------------------------------------------------------------------ */
893
894extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes );
895
njn25e49d8e72002-09-23 09:36:25 +0000896extern void VG_(print_ccall_stats) ( void );
897extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000898
899/* ---------------------------------------------------------------------
900 Exports of vg_to_ucode.c
901 ------------------------------------------------------------------ */
902
903extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +0000904
905/* ---------------------------------------------------------------------
906 Exports of vg_translate.c
907 ------------------------------------------------------------------ */
908
sewardj1e8cdc92002-04-18 11:37:52 +0000909extern void VG_(translate) ( ThreadState* tst,
910 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +0000911 UInt* orig_size,
912 Addr* trans_addr,
913 UInt* trans_size );
914
njn25e49d8e72002-09-23 09:36:25 +0000915extern Char* VG_(nameCondcode) ( Condcode cond );
916extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
917 UInstr* u );
918extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
919extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +0000920
921/* ---------------------------------------------------------------------
922 Exports of vg_execontext.c.
923 ------------------------------------------------------------------ */
924
925/* Records the PC and a bit of the call chain. The first 4 %eip
926 values are used in comparisons do remove duplicate errors, and for
927 comparing against suppression specifications. The rest are purely
928 informational (but often important). */
929
njn25e49d8e72002-09-23 09:36:25 +0000930struct _ExeContext {
931 struct _ExeContext * next;
932 /* Variable-length array. The size is VG_(clo_backtrace_size); at
933 least 2, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
934 [1] is its caller, [2] is the caller of [1], etc. */
935 Addr eips[0];
936};
sewardjde4a1d02002-03-22 01:27:54 +0000937
938
939/* Initialise the ExeContext storage mechanism. */
940extern void VG_(init_ExeContext_storage) ( void );
941
942/* Print stats (informational only). */
943extern void VG_(show_ExeContext_stats) ( void );
944
njn25e49d8e72002-09-23 09:36:25 +0000945/* Like VG_(get_ExeContext), but with a slightly different type */
946extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
947 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +0000948
949
950/* ---------------------------------------------------------------------
951 Exports of vg_errcontext.c.
952 ------------------------------------------------------------------ */
953
njn25e49d8e72002-09-23 09:36:25 +0000954/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
955 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +0000956typedef
njn25e49d8e72002-09-23 09:36:25 +0000957 enum {
958 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +0000959 }
njn25e49d8e72002-09-23 09:36:25 +0000960 CoreSuppKind;
961
962/* For each caller specified for a suppression, record the nature of
963 the caller name. Not of interest to skins. */
964typedef
965 enum {
966 ObjName, /* Name is of an shared object file. */
967 FunName /* Name is of a function. */
968 }
969 SuppLocTy;
970
971/* Suppressions. Skin part `SkinSupp' (which is all skins have to deal
972 with) is in vg_skin.h */
973typedef
974 struct _CoreSupp {
975 struct _CoreSupp* next;
976 /* The number of times this error has been suppressed. */
977 Int count;
978 /* The name by which the suppression is referred to. */
979 Char* sname;
980 /* First two (name of fn where err occurs, and immediate caller)
981 * are mandatory; extra two are optional. */
982 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
983 Char* caller [VG_N_SUPP_CALLERS];
984 /* The skin-specific part */
985 SkinSupp skin_supp;
986 }
987 CoreSupp;
988
989/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
990 * effectively extend it by defining their own enums in the (0..) range. */
991typedef
992 enum {
993 PThreadErr = -1, /* Pthreading error */
994 }
995 CoreErrorKind;
996
997/* Errors. Skin part `SkinError' (which is all skins have to deal
998 with) is in vg_skin.h */
999typedef
1000 struct _CoreErrContext {
1001 struct _CoreErrContext* next;
1002 /* NULL if unsuppressed; or ptr to suppression record. */
1003 CoreSupp* supp;
1004 Int count;
1005 ExeContext* where;
1006 ThreadId tid;
1007 /* These record %EIP, %ESP and %EBP at the error point. They
1008 are only used to make GDB-attaching convenient; there is no
1009 other purpose; specifically they are not used to do
1010 comparisons between errors. */
1011 UInt m_eip;
1012 UInt m_esp;
1013 UInt m_ebp;
1014 /* The skin-specific part */
1015 SkinError skin_err;
1016 }
1017 CoreError;
sewardjde4a1d02002-03-22 01:27:54 +00001018
1019
njn25e49d8e72002-09-23 09:36:25 +00001020extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001021
njn25e49d8e72002-09-23 09:36:25 +00001022extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001023
njn25e49d8e72002-09-23 09:36:25 +00001024extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001025
1026/* ---------------------------------------------------------------------
1027 Exports of vg_procselfmaps.c
1028 ------------------------------------------------------------------ */
1029
1030extern
1031void VG_(read_procselfmaps) (
1032 void (*record_mapping)( Addr, UInt, Char, Char, Char, UInt, UChar* )
1033);
1034
1035
1036/* ---------------------------------------------------------------------
1037 Exports of vg_symtab2.c
1038 ------------------------------------------------------------------ */
1039
1040/* We assume the executable is loaded here ... can't really find
njn25e49d8e72002-09-23 09:36:25 +00001041 out. There is a hacky sanity check in VG_(init_memory)()
sewardjde4a1d02002-03-22 01:27:54 +00001042 which should trip up most stupidities.
1043*/
1044#define VG_ASSUMED_EXE_BASE (Addr)0x8048000
1045
njn25e49d8e72002-09-23 09:36:25 +00001046extern void VG_(maybe_read_symbols) ( void );
1047extern void VG_(read_symtab_callback) ( Addr start, UInt size,
1048 Char rr, Char ww, Char xx,
1049 UInt foffset, UChar* filename );
1050extern void VG_(maybe_unload_symbols) ( Addr start, UInt length );
sewardjde4a1d02002-03-22 01:27:54 +00001051
njn25e49d8e72002-09-23 09:36:25 +00001052extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
1053extern void VG_(mini_stack_dump) ( ExeContext* ec );
sewardjde4a1d02002-03-22 01:27:54 +00001054
1055
1056/* ---------------------------------------------------------------------
1057 Exports of vg_clientmalloc.c
1058 ------------------------------------------------------------------ */
1059
njn25e49d8e72002-09-23 09:36:25 +00001060extern void VG_(client_malloc_init)();
sewardjde4a1d02002-03-22 01:27:54 +00001061
sewardj2e93c502002-04-12 11:12:52 +00001062/* These are called from the scheduler, when it intercepts a user
1063 request. */
sewardj8c824512002-04-14 04:16:48 +00001064extern void* VG_(client_malloc) ( ThreadState* tst,
1065 UInt size, VgAllocKind kind );
1066extern void* VG_(client_memalign) ( ThreadState* tst,
1067 UInt align, UInt size );
1068extern void VG_(client_free) ( ThreadState* tst,
1069 void* ptrV, VgAllocKind kind );
1070extern void* VG_(client_calloc) ( ThreadState* tst,
1071 UInt nmemb, UInt size1 );
1072extern void* VG_(client_realloc) ( ThreadState* tst,
1073 void* ptrV, UInt size_new );
sewardjde4a1d02002-03-22 01:27:54 +00001074
1075
1076/* ---------------------------------------------------------------------
1077 Exports of vg_main.c
1078 ------------------------------------------------------------------ */
1079
njn25e49d8e72002-09-23 09:36:25 +00001080/* Sanity checks which may be done at any time. The scheduler decides when. */
1081extern void VG_(do_sanity_checks) ( Bool force_expensive );
1082
sewardjde4a1d02002-03-22 01:27:54 +00001083/* A structure used as an intermediary when passing the simulated
1084 CPU's state to some assembly fragments, particularly system calls.
1085 Stuff is copied from baseBlock to here, the assembly magic runs,
njn25e49d8e72002-09-23 09:36:25 +00001086 and then the inverse copy is done.
1087 */
sewardj92a59562002-09-30 00:53:10 +00001088extern UInt VG_(m_state_static) [6 /* segment regs, Intel order */
1089 + 8 /* int regs, in Intel order */
sewardjde4a1d02002-03-22 01:27:54 +00001090 + 1 /* %eflags */
1091 + 1 /* %eip */
1092 + VG_SIZE_OF_FPUSTATE_W /* FPU state */
1093 ];
1094
1095/* Handy fns for doing the copy back and forth. */
1096extern void VG_(copy_baseBlock_to_m_state_static) ( void );
1097extern void VG_(copy_m_state_static_to_baseBlock) ( void );
1098
sewardjde4a1d02002-03-22 01:27:54 +00001099/* Called when some unhandleable client behaviour is detected.
1100 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001101extern void VG_(unimplemented) ( Char* msg )
1102 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001103
1104/* The stack on which Valgrind runs. We can't use the same stack as the
1105 simulatee -- that's an important design decision. */
1106extern UInt VG_(stack)[10000];
1107
njn25e49d8e72002-09-23 09:36:25 +00001108/* Similarly, we have to ask for signals to be delivered on an alternative
1109 stack, since it is possible, although unlikely, that we'll have to run
1110 client code from inside the Valgrind-installed signal handler. If this
1111 happens it will be done by vg_deliver_signal_immediately(). */
sewardjde4a1d02002-03-22 01:27:54 +00001112extern UInt VG_(sigstack)[10000];
1113
sewardjde4a1d02002-03-22 01:27:54 +00001114/* Holds client's %esp at the point we gained control. From this the
1115 client's argc, argv and envp are deduced. */
1116extern Addr VG_(esp_at_startup);
sewardjde4a1d02002-03-22 01:27:54 +00001117
njn25e49d8e72002-09-23 09:36:25 +00001118/* Remove valgrind.so and skin's .so from a LD_PRELOAD=... string so child
1119 processes don't get traced into. Also mess up $libdir/valgrind so that
1120 our libpthread.so disappears from view. */
sewardj3e1eb1f2002-05-18 13:14:17 +00001121void VG_(mash_LD_PRELOAD_and_LD_LIBRARY_PATH) ( Char* ld_preload_str,
1122 Char* ld_library_path_str );
sewardjde4a1d02002-03-22 01:27:54 +00001123
1124/* Something of a function looking for a home ... start up GDB. This
1125 is called from VG_(swizzle_esp_then_start_GDB) and so runs on the
1126 *client's* stack. This is necessary to give GDB the illusion that
1127 the client program really was running on the real cpu. */
1128extern void VG_(start_GDB_whilst_on_client_stack) ( void );
1129
njn41557122002-10-14 09:25:37 +00001130/* VG_(bbs_done) in include/vg_skin.h */
1131
sewardjde4a1d02002-03-22 01:27:54 +00001132/* 64-bit counter for the number of bbs to go before a debug exit. */
1133extern ULong VG_(bbs_to_go);
1134
1135/* Counts downwards in vg_run_innerloop. */
1136extern UInt VG_(dispatch_ctr);
1137
sewardjde4a1d02002-03-22 01:27:54 +00001138/* Is the client running on the simulated CPU or the real one? */
1139extern Bool VG_(running_on_simd_CPU); /* Initially False */
1140
1141/* The current LRU epoch. */
1142extern UInt VG_(current_epoch);
1143
sewardj7e87e382002-05-03 19:09:05 +00001144/* This is the ThreadId of the last thread the scheduler ran. */
1145extern ThreadId VG_(last_run_tid);
1146
njn25e49d8e72002-09-23 09:36:25 +00001147/* This is the argument to __NR_exit() supplied by the first thread to
1148 call that syscall. We eventually pass that to __NR_exit() for
1149 real. */
1150extern UInt VG_(exitcode);
1151
sewardjde4a1d02002-03-22 01:27:54 +00001152
1153/* --- Counters, for informational purposes only. --- */
1154
1155/* Number of lookups which miss the fast tt helper. */
1156extern UInt VG_(tt_fast_misses);
1157
1158/* Counts for LRU informational messages. */
1159
1160/* Number and total o/t size of new translations this epoch. */
1161extern UInt VG_(this_epoch_in_count);
1162extern UInt VG_(this_epoch_in_osize);
1163extern UInt VG_(this_epoch_in_tsize);
1164/* Number and total o/t size of discarded translations this epoch. */
1165extern UInt VG_(this_epoch_out_count);
1166extern UInt VG_(this_epoch_out_osize);
1167extern UInt VG_(this_epoch_out_tsize);
1168/* Number and total o/t size of translations overall. */
1169extern UInt VG_(overall_in_count);
1170extern UInt VG_(overall_in_osize);
1171extern UInt VG_(overall_in_tsize);
1172/* Number and total o/t size of discards overall. */
1173extern UInt VG_(overall_out_count);
1174extern UInt VG_(overall_out_osize);
1175extern UInt VG_(overall_out_tsize);
1176
1177/* The number of LRU-clearings of TT/TC. */
1178extern UInt VG_(number_of_lrus);
1179
1180/* Counts pertaining to the register allocator. */
1181
1182/* total number of uinstrs input to reg-alloc */
1183extern UInt VG_(uinstrs_prealloc);
1184
1185/* total number of uinstrs added due to spill code */
1186extern UInt VG_(uinstrs_spill);
1187
1188/* number of bbs requiring spill code */
1189extern UInt VG_(translations_needing_spill);
1190
1191/* total of register ranks over all translations */
1192extern UInt VG_(total_reg_rank);
1193
sewardjde4a1d02002-03-22 01:27:54 +00001194/* Counts pertaining to internal sanity checking. */
1195extern UInt VG_(sanity_fast_count);
1196extern UInt VG_(sanity_slow_count);
1197
sewardj2e93c502002-04-12 11:12:52 +00001198/* Counts pertaining to the scheduler. */
1199extern UInt VG_(num_scheduling_events_MINOR);
1200extern UInt VG_(num_scheduling_events_MAJOR);
1201
sewardjde4a1d02002-03-22 01:27:54 +00001202
1203/* ---------------------------------------------------------------------
1204 Exports of vg_memory.c
1205 ------------------------------------------------------------------ */
1206
njn25e49d8e72002-09-23 09:36:25 +00001207extern void VG_(init_memory) ( void );
1208extern void VG_(new_exe_segment) ( Addr a, UInt len );
1209extern void VG_(remove_if_exe_segment) ( Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001210
njn25e49d8e72002-09-23 09:36:25 +00001211/* Called from generated code. */
1212extern void VG_(handle_esp_assignment) ( Addr new_espA );
sewardjde4a1d02002-03-22 01:27:54 +00001213
1214/* Nasty kludgery to deal with applications which switch stacks,
1215 like netscape. */
sewardjde4a1d02002-03-22 01:27:54 +00001216#define VG_PLAUSIBLE_STACK_SIZE 8000000
1217
sewardjde4a1d02002-03-22 01:27:54 +00001218/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001219 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001220 ------------------------------------------------------------------ */
1221
njn25e49d8e72002-09-23 09:36:25 +00001222extern void VG_(init_dataseg_end_for_brk) ( void );
1223
sewardj2e93c502002-04-12 11:12:52 +00001224extern void VG_(perform_assumed_nonblocking_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001225
njn25e49d8e72002-09-23 09:36:25 +00001226extern void* VG_(pre_known_blocking_syscall) ( ThreadId tid, Int syscallno );
1227extern void VG_(post_known_blocking_syscall)( ThreadId tid, Int syscallno,
1228 void* pre_res, Int res );
sewardjde4a1d02002-03-22 01:27:54 +00001229
1230extern Bool VG_(is_kerror) ( Int res );
1231
njn25e49d8e72002-09-23 09:36:25 +00001232#define KERNEL_DO_SYSCALL(thread_id, result_lvalue) \
1233 VG_(load_thread_state)(thread_id); \
1234 VG_(copy_baseBlock_to_m_state_static)(); \
1235 VG_(do_syscall)(); \
1236 VG_(copy_m_state_static_to_baseBlock)(); \
1237 VG_(save_thread_state)(thread_id); \
1238 VG_(threads)[thread_id].sh_eax = VG_(written_shadow_reg);\
sewardj018f7622002-05-15 21:13:39 +00001239 result_lvalue = VG_(threads)[thread_id].m_eax;
sewardjde4a1d02002-03-22 01:27:54 +00001240
1241
1242/* ---------------------------------------------------------------------
1243 Exports of vg_transtab.c
1244 ------------------------------------------------------------------ */
1245
1246/* An entry in the translation table (TT). */
1247typedef
1248 struct {
1249 /* +0 */ Addr orig_addr;
1250 /* +4 */ Addr trans_addr;
1251 /* +8 */ UInt mru_epoch;
1252 /* +12 */ UShort orig_size;
1253 /* +14 */ UShort trans_size;
1254 }
1255 TTEntry;
1256
1257/* The number of basic blocks in an epoch (one age-step). */
1258#define VG_BBS_PER_EPOCH 20000
1259
njn25e49d8e72002-09-23 09:36:25 +00001260/* The fast-cache for tt-lookup. */
1261extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1262
sewardjde4a1d02002-03-22 01:27:54 +00001263extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
1264extern void VG_(maybe_do_lru_pass) ( void );
1265extern void VG_(flush_transtab) ( void );
1266extern Addr VG_(copy_to_transcache) ( Addr trans_addr, Int trans_size );
1267extern void VG_(add_to_trans_tab) ( TTEntry* tte );
sewardj18d75132002-05-16 11:06:21 +00001268extern void VG_(invalidate_translations) ( Addr start, UInt range );
sewardjde4a1d02002-03-22 01:27:54 +00001269
sewardj18d75132002-05-16 11:06:21 +00001270extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001271
1272extern void VG_(sanity_check_tc_tt) ( void );
1273extern Addr VG_(search_transtab) ( Addr original_addr );
1274
1275extern void VG_(invalidate_tt_fast)( void );
1276
1277
1278/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001279 Exports of vg_syscall.S
1280 ------------------------------------------------------------------ */
1281
1282extern void VG_(do_syscall) ( void );
1283
1284
1285/* ---------------------------------------------------------------------
1286 Exports of vg_startup.S
1287 ------------------------------------------------------------------ */
1288
sewardjde4a1d02002-03-22 01:27:54 +00001289extern void VG_(switch_to_real_CPU) ( void );
1290
sewardj35805422002-04-21 13:05:34 +00001291extern void VG_(swizzle_esp_then_start_GDB) ( Addr m_eip_at_error,
1292 Addr m_esp_at_error,
1293 Addr m_ebp_at_error );
sewardjde4a1d02002-03-22 01:27:54 +00001294
1295
1296/* ---------------------------------------------------------------------
1297 Exports of vg_dispatch.S
1298 ------------------------------------------------------------------ */
1299
sewardj2e93c502002-04-12 11:12:52 +00001300/* Run a thread for a (very short) while, until some event happens
1301 which means we need to defer to the scheduler. */
1302extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001303
1304
1305/* ---------------------------------------------------------------------
1306 Exports of vg_helpers.S
1307 ------------------------------------------------------------------ */
1308
sewardjde4a1d02002-03-22 01:27:54 +00001309/* Mul, div, etc, -- we don't codegen these directly. */
1310extern void VG_(helper_idiv_64_32);
1311extern void VG_(helper_div_64_32);
1312extern void VG_(helper_idiv_32_16);
1313extern void VG_(helper_div_32_16);
1314extern void VG_(helper_idiv_16_8);
1315extern void VG_(helper_div_16_8);
1316
1317extern void VG_(helper_imul_32_64);
1318extern void VG_(helper_mul_32_64);
1319extern void VG_(helper_imul_16_32);
1320extern void VG_(helper_mul_16_32);
1321extern void VG_(helper_imul_8_16);
1322extern void VG_(helper_mul_8_16);
1323
1324extern void VG_(helper_CLD);
1325extern void VG_(helper_STD);
1326extern void VG_(helper_get_dirflag);
1327
sewardj7d78e782002-06-02 00:04:00 +00001328extern void VG_(helper_CLC);
1329extern void VG_(helper_STC);
1330
sewardjde4a1d02002-03-22 01:27:54 +00001331extern void VG_(helper_shldl);
1332extern void VG_(helper_shldw);
1333extern void VG_(helper_shrdl);
1334extern void VG_(helper_shrdw);
1335
1336extern void VG_(helper_RDTSC);
1337extern void VG_(helper_CPUID);
1338
sewardjde4a1d02002-03-22 01:27:54 +00001339extern void VG_(helper_bsf);
1340extern void VG_(helper_bsr);
1341
1342extern void VG_(helper_fstsw_AX);
1343extern void VG_(helper_SAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001344extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001345extern void VG_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001346
sewardj20917d82002-05-28 01:36:45 +00001347/* NOT A FUNCTION; this is a bogus RETURN ADDRESS. */
sewardj54cacf02002-04-12 23:24:59 +00001348extern void VG_(signalreturn_bogusRA)( void );
sewardj20917d82002-05-28 01:36:45 +00001349
njn4f9c9342002-04-29 16:03:24 +00001350/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001351 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001352 ------------------------------------------------------------------ */
1353
njn25e49d8e72002-09-23 09:36:25 +00001354#define VG_TRACK(fn, args...) \
1355 do { \
1356 if (VG_(track_events).fn) \
1357 VG_(track_events).fn(args); \
1358 } while (0)
sewardj18d75132002-05-16 11:06:21 +00001359
1360
sewardjde4a1d02002-03-22 01:27:54 +00001361/* ---------------------------------------------------------------------
1362 The state of the simulated CPU.
1363 ------------------------------------------------------------------ */
1364
sewardjde4a1d02002-03-22 01:27:54 +00001365/* ---------------------------------------------------------------------
1366 Offsets into baseBlock for everything which needs to referred to
1367 from generated code. The order of these decls does not imply
1368 what the order of the actual offsets is. The latter is important
1369 and is set up in vg_main.c.
1370 ------------------------------------------------------------------ */
1371
1372/* An array of words. In generated code, %ebp always points to the
1373 start of this array. Useful stuff, like the simulated CPU state,
1374 and the addresses of helper functions, can then be found by
1375 indexing off %ebp. The following declares variables which, at
1376 startup time, are given values denoting offsets into baseBlock.
1377 These offsets are in *words* from the start of baseBlock. */
1378
1379#define VG_BASEBLOCK_WORDS 200
1380
1381extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1382
1383
1384/* -----------------------------------------------------
1385 Read-write parts of baseBlock.
1386 -------------------------------------------------- */
1387
1388/* State of the simulated CPU. */
1389extern Int VGOFF_(m_eax);
1390extern Int VGOFF_(m_ecx);
1391extern Int VGOFF_(m_edx);
1392extern Int VGOFF_(m_ebx);
1393extern Int VGOFF_(m_esp);
1394extern Int VGOFF_(m_ebp);
1395extern Int VGOFF_(m_esi);
1396extern Int VGOFF_(m_edi);
1397extern Int VGOFF_(m_eflags);
1398extern Int VGOFF_(m_fpustate);
1399extern Int VGOFF_(m_eip);
1400
sewardj92a59562002-09-30 00:53:10 +00001401extern Int VGOFF_(m_cs);
1402extern Int VGOFF_(m_ss);
1403extern Int VGOFF_(m_ds);
1404extern Int VGOFF_(m_es);
1405extern Int VGOFF_(m_fs);
1406extern Int VGOFF_(m_gs);
1407
sewardjde4a1d02002-03-22 01:27:54 +00001408/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1409extern Int VGOFF_(spillslots);
1410
1411/* Records the valid bits for the 8 integer regs & flags reg. */
1412extern Int VGOFF_(sh_eax);
1413extern Int VGOFF_(sh_ecx);
1414extern Int VGOFF_(sh_edx);
1415extern Int VGOFF_(sh_ebx);
1416extern Int VGOFF_(sh_esp);
1417extern Int VGOFF_(sh_ebp);
1418extern Int VGOFF_(sh_esi);
1419extern Int VGOFF_(sh_edi);
1420extern Int VGOFF_(sh_eflags);
1421
sewardjde4a1d02002-03-22 01:27:54 +00001422/* -----------------------------------------------------
1423 Read-only parts of baseBlock.
1424 -------------------------------------------------- */
1425
sewardj92a59562002-09-30 00:53:10 +00001426/* This thread's LDT pointer. */
1427extern Int VGOFF_(ldt);
1428
sewardjde4a1d02002-03-22 01:27:54 +00001429/* Offsets of addresses of helper functions. A "helper" function is
1430 one which is called from generated code. */
1431
1432extern Int VGOFF_(helper_idiv_64_32);
1433extern Int VGOFF_(helper_div_64_32);
1434extern Int VGOFF_(helper_idiv_32_16);
1435extern Int VGOFF_(helper_div_32_16);
1436extern Int VGOFF_(helper_idiv_16_8);
1437extern Int VGOFF_(helper_div_16_8);
1438
1439extern Int VGOFF_(helper_imul_32_64);
1440extern Int VGOFF_(helper_mul_32_64);
1441extern Int VGOFF_(helper_imul_16_32);
1442extern Int VGOFF_(helper_mul_16_32);
1443extern Int VGOFF_(helper_imul_8_16);
1444extern Int VGOFF_(helper_mul_8_16);
1445
1446extern Int VGOFF_(helper_CLD);
1447extern Int VGOFF_(helper_STD);
1448extern Int VGOFF_(helper_get_dirflag);
1449
sewardj7d78e782002-06-02 00:04:00 +00001450extern Int VGOFF_(helper_CLC);
1451extern Int VGOFF_(helper_STC);
1452
sewardjde4a1d02002-03-22 01:27:54 +00001453extern Int VGOFF_(helper_shldl);
1454extern Int VGOFF_(helper_shldw);
1455extern Int VGOFF_(helper_shrdl);
1456extern Int VGOFF_(helper_shrdw);
1457
1458extern Int VGOFF_(helper_RDTSC);
1459extern Int VGOFF_(helper_CPUID);
1460
sewardjde4a1d02002-03-22 01:27:54 +00001461extern Int VGOFF_(helper_bsf);
1462extern Int VGOFF_(helper_bsr);
1463
1464extern Int VGOFF_(helper_fstsw_AX);
1465extern Int VGOFF_(helper_SAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001466extern Int VGOFF_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001467extern Int VGOFF_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001468
sewardjde4a1d02002-03-22 01:27:54 +00001469extern Int VGOFF_(handle_esp_assignment); /* :: Addr -> void */
sewardjde4a1d02002-03-22 01:27:54 +00001470
njn25e49d8e72002-09-23 09:36:25 +00001471/* For storing extension-specific helpers, determined at runtime. The addr
1472 * and offset arrays together form a (addr, offset) map that allows a
1473 * helper's baseBlock offset to be computed from its address. It's done
1474 * like this so CCALL_M_Ns and other helper calls can use the function
1475 * address rather than having to much around with offsets. */
1476extern UInt VG_(n_compact_helpers);
1477extern UInt VG_(n_noncompact_helpers);
1478
1479extern Addr VG_(compact_helper_addrs) [];
1480extern Int VG_(compact_helper_offsets)[];
1481
1482extern Addr VG_(noncompact_helper_addrs) [];
1483extern Int VG_(noncompact_helper_offsets)[];
1484
sewardjf220ccc2002-10-23 21:53:49 +00001485#define VGL_(x) vgIntercept_##x
sewardjde4a1d02002-03-22 01:27:54 +00001486
1487#endif /* ndef __VG_INCLUDE_H */
1488
sewardj3b2736a2002-03-24 12:18:35 +00001489
1490/* ---------------------------------------------------------------------
1491 Finally - autoconf-generated settings
1492 ------------------------------------------------------------------ */
1493
1494#include "config.h"
1495
sewardjde4a1d02002-03-22 01:27:54 +00001496/*--------------------------------------------------------------------*/
1497/*--- end vg_include.h ---*/
1498/*--------------------------------------------------------------------*/