blob: 52ed3022b28ade7b86077b7ae4f62f535af659de [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
njn0e1b5142003-04-15 14:58:06 +000012 Copyright (C) 2000-2003 Julian Seward
sewardjde4a1d02002-03-22 01:27:54 +000013 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
jsgf855d93d2003-10-13 22:26:55 +000048/* For system call numbers __NR_... */
49#include "vg_unistd.h"
50
sewardjde4a1d02002-03-22 01:27:54 +000051#include "vg_constants.h"
52
sewardj4cf05692002-10-27 20:28:29 +000053/* All stuff visible to core and skins goes in vg_skin.h. Things
54 * visible to core but not visible to any skins should go in this
55 * file, vg_include.h. */
njn25e49d8e72002-09-23 09:36:25 +000056#include "vg_skin.h"
sewardjde4a1d02002-03-22 01:27:54 +000057
58/* Total number of spill slots available for allocation, if a TempReg
59 doesn't make it into a RealReg. Just bomb the entire system if
60 this value is too small; we don't expect it will ever get
61 particularly high. */
62#define VG_MAX_SPILLSLOTS 24
63
64
65/* Constants for the slow translation lookup cache. */
66#define VG_TRANSTAB_SLOW_BITS 11
67#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
68#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
69
70/* Size of a buffer used for creating messages. */
71#define M_VG_MSGBUF 10000
72
73/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +000074#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +000075
76/* Max length of pathname to a .so/executable file. */
77#define M_VG_LIBNAMESTR 100
78
79/* Max length of a text fragment used to construct error messages. */
80#define M_VG_ERRTXT 512
81
82/* Max length of the string copied from env var VG_ARGS at startup. */
83#define M_VG_CMDLINE_STRLEN 1000
84
85/* Max number of options for Valgrind which we can handle. */
86#define M_VG_CMDLINE_OPTS 100
87
88/* After this many different unsuppressed errors have been observed,
89 be more conservative about collecting new ones. */
90#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
91
92/* After this many different unsuppressed errors have been observed,
93 stop collecting errors at all, and tell the user their program is
94 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +000095#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +000096
97/* After this many total errors have been observed, stop collecting
98 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +000099#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +0000100
sewardjde4a1d02002-03-22 01:27:54 +0000101/* The maximum number of calls we're prepared to save in a
102 backtrace. */
103#define VG_DEEPEST_BACKTRACE 50
104
sewardjde4a1d02002-03-22 01:27:54 +0000105/* Number of lists in which we keep track of ExeContexts. Should be
106 prime. */
sewardj59fb25c2003-09-28 16:32:58 +0000107#define VG_N_EC_LISTS 4999 /* a prime number */
sewardjde4a1d02002-03-22 01:27:54 +0000108
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
jsgf855d93d2003-10-13 22:26:55 +0000114/* Maximum FD Valgrind can use for its internal file descriptors. */
115#define VG_MAX_SAFE_FD 1024 /* usual ulimit */
116
117/* Maximum allowed application-visible file descriptor. Valgrind's
118 internal fds hide above this (starting at VG_MAX_FD+1). This is
119 derived from the default fd limit (1024) minus the 2 fds per thread
120 and a small number of extra fds. */
121#define VG_MAX_FD (VG_MAX_SAFE_FD - (VG_N_THREADS*2 + 4))
sewardj2e93c502002-04-12 11:12:52 +0000122
sewardjbf290b92002-05-01 02:28:01 +0000123/* Stack size for a thread. We try and check that they do not go
124 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000125#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000126
sewardj20917d82002-05-28 01:36:45 +0000127/* Number of entries in the semaphore-remapping table. */
128#define VG_N_SEMAPHORES 50
129
130/* Number of entries in the rwlock-remapping table. */
sewardj89745a52002-09-27 01:04:29 +0000131#define VG_N_RWLOCKS 500
sewardj20917d82002-05-28 01:36:45 +0000132
sewardj8ad94e12002-05-29 00:10:20 +0000133/* Number of entries in each thread's cleanup stack. */
sewardj61821c02003-05-04 13:02:10 +0000134#define VG_N_CLEANUPSTACK 16
sewardj8ad94e12002-05-29 00:10:20 +0000135
sewardj2cb00342002-06-28 01:46:26 +0000136/* Number of entries in each thread's fork-handler stack. */
sewardj4700f042003-07-26 17:49:58 +0000137#define VG_N_FORKHANDLERSTACK 4
sewardj2cb00342002-06-28 01:46:26 +0000138
njn25e49d8e72002-09-23 09:36:25 +0000139/* Max number of callers for context in a suppression. */
140#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000141
njn6eba4ef2003-05-01 08:06:41 +0000142/* Valgrind's stack sizes, in words */
143#define VG_STACK_SIZE_W 10000
144#define VG_SIGSTACK_SIZE_W 10000
njn12a57142003-04-30 20:49:10 +0000145
sewardjde4a1d02002-03-22 01:27:54 +0000146/* ---------------------------------------------------------------------
147 Basic types
148 ------------------------------------------------------------------ */
149
sewardjde4a1d02002-03-22 01:27:54 +0000150/* Just pray that gcc's constant folding works properly ... */
151#define BITS(bit7,bit6,bit5,bit4,bit3,bit2,bit1,bit0) \
152 ( ((bit7) << 7) | ((bit6) << 6) | ((bit5) << 5) | ((bit4) << 4) \
153 | ((bit3) << 3) | ((bit2) << 2) | ((bit1) << 1) | (bit0))
154
sewardjde4a1d02002-03-22 01:27:54 +0000155/* ---------------------------------------------------------------------
156 Command-line-settable options
157 ------------------------------------------------------------------ */
158
sewardj4f094a72002-11-05 23:37:35 +0000159/* Default destination port to be used in logging over a network, if
160 none specified. */
161#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000162
163/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000164#define VG_CLO_MAX_SFILES 10
165
sewardj4cf05692002-10-27 20:28:29 +0000166/* Describes where logging output is to be sent. */
167typedef
168 enum {
169 VgLogTo_Fd,
170 VgLogTo_File,
171 VgLogTo_Socket
172 } VgLogTo;
173
jsgf855d93d2003-10-13 22:26:55 +0000174/* pid of main process */
175extern Int VG_(main_pid);
176
177/* pgrp of process (global to all threads) */
178extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000179
sewardj72f98ff2002-06-13 17:23:38 +0000180/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000181extern Bool VG_(clo_error_limit);
sewardjde4a1d02002-03-22 01:27:54 +0000182/* Enquire about whether to attach to GDB at errors? default: NO */
183extern Bool VG_(clo_GDB_attach);
sewardj6024b212003-07-13 10:54:33 +0000184/* The path to GDB? default: whatever ./configure found */
185extern Char* VG_(clo_GDB_path);
njn43c799e2003-04-08 00:08:52 +0000186/* Enquire about generating a suppression for each error? default: NO */
187extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000188/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
189extern Int VG_(sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000190/* Automatically attempt to demangle C++ names? default: YES */
191extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000192/* Simulate child processes? default: NO */
193extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000194
195/* Where logging output is to be sent to.
196
197 When log_to == VgLogTo_Fd, clo_logfile_fd holds the file id, and is
198 taken from the command line. clo_logfile_name is irrelevant.
199
200 When log_to == VgLogTo_File, clo_logfile_name holds the logfile
201 name, and is taken from the command line. clo_logfile_fd is then
202 made to hold the relevant file id, by opening clo_logfile_name
203 (concatenated with the process ID) for writing.
204
205 When log_to == VgLogTo_Socket, clo_logfile_name holds the
206 hostname:portnumber pair, and is taken from the command line.
207 clo_logfile_fd is then made to hold the relevant file handle, by
208 opening a connection to said hostname:portnumber pair.
209
210 Global default is to set log_to == VgLogTo_Fd and logfile_fd == 2
211 (stderr). */
212extern VgLogTo VG_(clo_log_to);
213extern Int VG_(clo_logfile_fd);
214extern Char* VG_(clo_logfile_name);
sewardjde4a1d02002-03-22 01:27:54 +0000215
sewardj6024b212003-07-13 10:54:33 +0000216/* The file descriptor to read for input. default: 0 == stdin */
217extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000218/* The number of suppression files specified. */
219extern Int VG_(clo_n_suppressions);
220/* The names of the suppression files. */
221extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
222
223/* Single stepping? default: NO */
224extern Bool VG_(clo_single_step);
225/* Code improvement? default: YES */
226extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000227/* DEBUG: print generated code? default: 00000 ( == NO ) */
228extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000229/* DEBUG: print system calls? default: NO */
230extern Bool VG_(clo_trace_syscalls);
231/* DEBUG: print signal details? default: NO */
232extern Bool VG_(clo_trace_signals);
233/* DEBUG: print symtab details? default: NO */
234extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000235/* DEBUG: print thread scheduling events? default: NO */
236extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000237/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
238 (some), 2 (all) */
239extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000240/* Stop after this many basic blocks. default: Infinity. */
241extern ULong VG_(clo_stop_after);
242/* Display gory details for the k'th most popular error. default:
243 Infinity. */
244extern Int VG_(clo_dump_error);
245/* Number of parents of a backtrace. Default: 8. */
246extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000247/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000248extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000249/* How often we should poll for signals, assuming we need to poll for
250 signals. */
251extern Int VG_(clo_signal_polltime);
fitzhardinge89f9a322003-10-30 07:25:59 +0000252/* Assume we're running on a plain 2.4 kernel */
253extern Bool VG_(clo_assume_24);
jsgf855d93d2003-10-13 22:26:55 +0000254
255/* Low latency syscalls and signals */
256extern Bool VG_(clo_lowlat_syscalls);
257extern Bool VG_(clo_lowlat_signals);
258
sewardj858964b2002-10-05 14:15:43 +0000259/* Should we run __libc_freeres at exit? Sometimes causes crashes.
260 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
261 if the latter says False, then the setting of VG_(clo_weird_hacks)
262 is ignored. Ie if a skin says no, I don't want this to run, that
263 cannot be overridden from the command line. */
264extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000265/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000266extern Bool VG_(clo_chain_bb);
sewardjde4a1d02002-03-22 01:27:54 +0000267
268
269/* ---------------------------------------------------------------------
270 Debugging and profiling stuff
271 ------------------------------------------------------------------ */
272
sewardjde4a1d02002-03-22 01:27:54 +0000273/* Create a logfile into which messages can be dumped. */
274extern void VG_(startup_logging) ( void );
njn25e49d8e72002-09-23 09:36:25 +0000275extern void VG_(shutdown_logging)( void );
sewardjde4a1d02002-03-22 01:27:54 +0000276
277extern void VGP_(init_profiling) ( void );
278extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000279
njn25e49d8e72002-09-23 09:36:25 +0000280#undef VGP_PUSHCC
281#undef VGP_POPCC
282#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
283#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000284
sewardjde4a1d02002-03-22 01:27:54 +0000285/* ---------------------------------------------------------------------
njn810086f2002-11-14 12:42:47 +0000286 Skin-related types
287 ------------------------------------------------------------------ */
288/* These structs are not exposed to skins to mitigate possibility of
289 binary-incompatibilities when the core/skin interface changes. Instead,
290 set functions are provided (see include/vg_skin.h). */
291typedef
292 struct {
293 Char* name;
294 Char* version;
295 Char* description;
296 Char* copyright_author;
297 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000298 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000299 }
300 VgDetails;
301
302extern VgDetails VG_(details);
303
304/* If new fields are added to this type, update:
305 * - vg_main.c:initialisation of VG_(needs)
306 * - vg_main.c:sanity_check_needs()
307 *
308 * If the name of this type or any of its fields change, update:
309 * - dependent comments (just search for "VG_(needs)").
310 */
311typedef
312 struct {
313 Bool libc_freeres;
314 Bool core_errors;
315
316 Bool skin_errors;
317 Bool basic_block_discards;
318 Bool shadow_regs;
319 Bool command_line_options;
320 Bool client_requests;
321 Bool extended_UCode;
322 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000323 Bool sanity_checks;
324 Bool data_syms;
325 }
326 VgNeeds;
327
328extern VgNeeds VG_(needs);
329
330/* Events happening in core to track. To be notified, assign a function
331 to the function pointer. To ignore an event, don't do anything
332 (default assignment is to NULL in which case the call is skipped). */
333typedef
334 struct {
335 /* Memory events */
336 void (*new_mem_startup)( Addr a, UInt len, Bool rr, Bool ww, Bool xx );
njn810086f2002-11-14 12:42:47 +0000337 void (*new_mem_stack_signal) ( Addr a, UInt len );
338 void (*new_mem_brk) ( Addr a, UInt len );
339 void (*new_mem_mmap) ( Addr a, UInt len, Bool rr, Bool ww, Bool xx );
340
njn3e884182003-04-15 13:03:23 +0000341 void (*copy_mem_remap) ( Addr from, Addr to, UInt len );
342 void (*change_mem_mprotect) ( Addr a, UInt len, Bool rr, Bool ww, Bool xx );
343 void (*die_mem_stack_signal) ( Addr a, UInt len );
344 void (*die_mem_brk) ( Addr a, UInt len );
345 void (*die_mem_munmap) ( Addr a, UInt len );
346
njn9b007f62003-04-07 14:40:25 +0000347 void (*new_mem_stack_4) ( Addr new_ESP );
348 void (*new_mem_stack_8) ( Addr new_ESP );
349 void (*new_mem_stack_12) ( Addr new_ESP );
350 void (*new_mem_stack_16) ( Addr new_ESP );
351 void (*new_mem_stack_32) ( Addr new_ESP );
352 void (*new_mem_stack) ( Addr a, UInt len );
353
njn9b007f62003-04-07 14:40:25 +0000354 void (*die_mem_stack_4) ( Addr die_ESP );
355 void (*die_mem_stack_8) ( Addr die_ESP );
356 void (*die_mem_stack_12) ( Addr die_ESP );
357 void (*die_mem_stack_16) ( Addr die_ESP );
358 void (*die_mem_stack_32) ( Addr die_ESP );
359 void (*die_mem_stack) ( Addr a, UInt len );
360
njn3e884182003-04-15 13:03:23 +0000361 void (*ban_mem_stack) ( Addr a, UInt len );
njn810086f2002-11-14 12:42:47 +0000362
njn72718642003-07-24 08:45:32 +0000363 void (*pre_mem_read) ( CorePart part, ThreadId tid,
njn810086f2002-11-14 12:42:47 +0000364 Char* s, Addr a, UInt size );
njn72718642003-07-24 08:45:32 +0000365 void (*pre_mem_read_asciiz) ( CorePart part, ThreadId tid,
njn810086f2002-11-14 12:42:47 +0000366 Char* s, Addr a );
njn72718642003-07-24 08:45:32 +0000367 void (*pre_mem_write) ( CorePart part, ThreadId tid,
njn810086f2002-11-14 12:42:47 +0000368 Char* s, Addr a, UInt size );
369 /* Not implemented yet -- have to add in lots of places, which is a
370 pain. Won't bother unless/until there's a need. */
371 /* void (*post_mem_read) ( ThreadState* tst, Char* s,
372 Addr a, UInt size ); */
373 void (*post_mem_write) ( Addr a, UInt size );
374
375
njnd3040452003-05-19 15:04:06 +0000376 /* Register events */
377 void (*post_regs_write_init) ( void );
378 void (*post_reg_write_syscall_return) ( ThreadId tid, UInt reg );
379 void (*post_reg_write_deliver_signal) ( ThreadId tid, UInt reg );
380 void (*post_reg_write_pthread_return) ( ThreadId tid, UInt reg );
381 void (*post_reg_write_clientreq_return) ( ThreadId tid, UInt reg );
382 void (*post_reg_write_clientcall_return) ( ThreadId tid, UInt reg,
383 Addr f );
384
385
njn810086f2002-11-14 12:42:47 +0000386 /* Scheduler events (not exhaustive) */
387 void (*thread_run) ( ThreadId tid );
388
389
390 /* Thread events (not exhaustive) */
391 void (*post_thread_create) ( ThreadId tid, ThreadId child );
392 void (*post_thread_join) ( ThreadId joiner, ThreadId joinee );
393
394
395 /* Mutex events (not exhaustive) */
396 void (*pre_mutex_lock) ( ThreadId tid,
397 void* /*pthread_mutex_t* */ mutex );
398 void (*post_mutex_lock) ( ThreadId tid,
399 void* /*pthread_mutex_t* */ mutex );
400 void (*post_mutex_unlock) ( ThreadId tid,
401 void* /*pthread_mutex_t* */ mutex );
402
njnfdc28af2003-02-24 10:36:48 +0000403 /* Signal events (not exhaustive) */
njn3e884182003-04-15 13:03:23 +0000404 void (* pre_deliver_signal) ( ThreadId tid, Int sigNo, Bool alt_stack );
njnfdc28af2003-02-24 10:36:48 +0000405 void (*post_deliver_signal) ( ThreadId tid, Int sigNo );
406
njn810086f2002-11-14 12:42:47 +0000407
njnfdc28af2003-02-24 10:36:48 +0000408 /* Others... condition variable... */
njn810086f2002-11-14 12:42:47 +0000409 /* ... */
410 }
411 VgTrackEvents;
412
413extern VgTrackEvents VG_(track_events);
414
415
416/* ---------------------------------------------------------------------
417 Exports of vg_needs.c
418 ------------------------------------------------------------------ */
419
420void VG_(sanity_check_needs)(void);
421
422/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000423 Exports of vg_malloc2.c
424 ------------------------------------------------------------------ */
425
426/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000427
428 CORE for the core's general use.
429 SKIN for the skin to use (and the only one it uses).
430 SYMTAB for Valgrind's symbol table storage.
431 JITTER for small storage during translation.
432 CLIENT for the client's mallocs/frees, if the skin replaces glibc's
433 malloc() et al -- redzone size is chosen by the skin.
434 DEMANGLE for the C++ demangler.
435 EXECTXT for storing ExeContexts.
436 ERRORS for storing CoreErrors.
437 TRANSIENT for very short-term use. It should be empty in between uses.
438
njn25e49d8e72002-09-23 09:36:25 +0000439 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000440*/
441typedef Int ArenaId;
442
njn3e884182003-04-15 13:03:23 +0000443#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000444
njn3e884182003-04-15 13:03:23 +0000445#define VG_AR_CORE 0
446#define VG_AR_SKIN 1
447#define VG_AR_SYMTAB 2
448#define VG_AR_JITTER 3
449#define VG_AR_CLIENT 4
450#define VG_AR_DEMANGLE 5
451#define VG_AR_EXECTXT 6
452#define VG_AR_ERRORS 7
453#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000454
njn25e49d8e72002-09-23 09:36:25 +0000455extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
456extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn3e884182003-04-15 13:03:23 +0000457extern void* VG_(arena_calloc) ( ArenaId arena, Int alignment,
458 Int nmemb, Int nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000459extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
460 Int size );
461extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000462 Int req_pszB );
463
njn8a6b6c02003-04-22 22:45:55 +0000464extern Int VG_(arena_payload_szB) ( ArenaId aid, void* payload );
465
sewardjde4a1d02002-03-22 01:27:54 +0000466extern void VG_(mallocSanityCheckAll) ( void );
467
468extern void VG_(show_all_arena_stats) ( void );
469extern Bool VG_(is_empty_arena) ( ArenaId aid );
470
sewardjecf8e102003-07-12 12:11:39 +0000471/* Returns True if aa is inside any block mmap'd /dev/zero
472 by our low-level memory manager. */
473extern Bool VG_(is_inside_segment_mmapd_by_low_level_MM)( Addr aa );
474
sewardjde4a1d02002-03-22 01:27:54 +0000475
sewardjde4a1d02002-03-22 01:27:54 +0000476/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000477 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000478 ------------------------------------------------------------------ */
479
480/* This doesn't export code or data that valgrind.so needs to link
481 against. However, the scheduler does need to know the following
482 request codes. A few, publically-visible, request codes are also
njn25e49d8e72002-09-23 09:36:25 +0000483 defined in valgrind.h, and similar headers for some skins. */
sewardj2e93c502002-04-12 11:12:52 +0000484
njn4c791212003-05-02 17:53:54 +0000485#define VG_USERREQ__MALLOC 0x2001
486#define VG_USERREQ__FREE 0x2002
487
sewardj20917d82002-05-28 01:36:45 +0000488/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
489 MUST NOT return -- ever. Eventually it will do either __QUIT or
490 __WAIT_JOINER. */
491#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
492
493/* ( no-args ): calling thread disappears from the system forever.
494 Reclaim resources. */
495#define VG_USERREQ__QUIT 0x3002
496
497/* ( void* ): calling thread waits for joiner and returns the void* to
498 it. */
499#define VG_USERREQ__WAIT_JOINER 0x3003
500
501/* ( ThreadId, void** ): wait to join a thread. */
502#define VG_USERREQ__PTHREAD_JOIN 0x3004
503
504/* Set cancellation state and type for this thread. */
505#define VG_USERREQ__SET_CANCELSTATE 0x3005
506#define VG_USERREQ__SET_CANCELTYPE 0x3006
507
508/* ( no-args ): Test if we are at a cancellation point. */
509#define VG_USERREQ__TESTCANCEL 0x3007
510
511/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
512 with this arg to indicate that a cancel is now pending for the
513 specified thread. */
514#define VG_USERREQ__SET_CANCELPEND 0x3008
515
516/* Set/get detach state for this thread. */
517#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
518
519#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
520#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
521#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
522#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
523#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
524#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
525#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
526#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
527#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
528#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000529#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
530#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000531#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
532#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000533#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000534#define VG_USERREQ__PTHREAD_KILL 0x301A
535#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000536#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000537
sewardj8ad94e12002-05-29 00:10:20 +0000538#define VG_USERREQ__CLEANUP_PUSH 0x3020
539#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000540#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000541
sewardjef037c72002-05-30 00:40:03 +0000542#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000543
544/* Ask how many signal handler returns have happened to this
545 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000546#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000547
sewardj2cb00342002-06-28 01:46:26 +0000548/* Get/set entries for a thread's pthread_atfork stack. */
549#define VG_USERREQ__SET_FHSTACK_USED 0x3025
550#define VG_USERREQ__GET_FHSTACK_USED 0x3026
551#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
552#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000553
sewardj1fe7b002002-07-16 01:43:15 +0000554/* Denote the finish of VG_(__libc_freeres_wrapper). */
555#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
556
sewardj45b4b372002-04-16 22:50:32 +0000557/* Cosmetic ... */
558#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000559/* Log a pthread error from client-space. Cosmetic. */
560#define VG_USERREQ__PTHREAD_ERROR 0x3102
sewardj45b4b372002-04-16 22:50:32 +0000561
sewardj54cacf02002-04-12 23:24:59 +0000562/*
563In vg_constants.h:
564#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000565*/
566
njn4c791212003-05-02 17:53:54 +0000567
sewardj1fe7b002002-07-16 01:43:15 +0000568/* The scheduler does need to know the address of it so it can be
569 called at program exit. */
570extern void VG_(__libc_freeres_wrapper)( void );
571
sewardj54cacf02002-04-12 23:24:59 +0000572
sewardj2e93c502002-04-12 11:12:52 +0000573/* ---------------------------------------------------------------------
574 Constants pertaining to the simulated CPU state, VG_(baseBlock),
575 which need to go here to avoid ugly circularities.
576 ------------------------------------------------------------------ */
577
sewardjb91ae7f2003-04-29 23:50:00 +0000578/* How big is the saved SSE/SSE2 state? Note that this subsumes the
579 FPU state. On machines without SSE, we just save/restore the FPU
580 state into the first part of this area. */
581/* A general comment about SSE save/restore: It appears that the 7th
582 word (which is the MXCSR) has to be &ed with 0x0000FFBF in order
583 that restoring from it later does not cause a GP fault (which is
584 delivered as a segfault). I guess this will have to be done
585 any time we do fxsave :-( 7th word means word offset 6 or byte
586 offset 24 from the start address of the save area.
587 */
588#define VG_SIZE_OF_SSESTATE 512
sewardj2e93c502002-04-12 11:12:52 +0000589/* ... and in words ... */
sewardjb91ae7f2003-04-29 23:50:00 +0000590#define VG_SIZE_OF_SSESTATE_W ((VG_SIZE_OF_SSESTATE+3)/4)
sewardj2e93c502002-04-12 11:12:52 +0000591
592
593/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000594 Exports of vg_defaults.c
595 ------------------------------------------------------------------ */
596
597extern Bool VG_(sk_malloc_called_by_scheduler);
598
599
600/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000601 Exports of vg_ldt.c
602 ------------------------------------------------------------------ */
603
604/* This is the hardware-format for a segment descriptor, ie what the
605 x86 actually deals with. It is 8 bytes long. It's ugly. */
606
607typedef struct _LDT_ENTRY {
608 union {
609 struct {
610 UShort LimitLow;
611 UShort BaseLow;
612 unsigned BaseMid : 8;
613 unsigned Type : 5;
614 unsigned Dpl : 2;
615 unsigned Pres : 1;
616 unsigned LimitHi : 4;
617 unsigned Sys : 1;
618 unsigned Reserved_0 : 1;
619 unsigned Default_Big : 1;
620 unsigned Granularity : 1;
621 unsigned BaseHi : 8;
622 } Bits;
623 struct {
624 UInt word1;
625 UInt word2;
626 } Words;
627 }
628 LdtEnt;
629} VgLdtEntry;
630
631/* Maximum number of LDT entries supported (by the x86). */
632#define VG_M_LDT_ENTRIES 8192
633/* The size of each LDT entry == sizeof(VgLdtEntry) */
634#define VG_LDT_ENTRY_SIZE 8
635
636/* Alloc & copy, and dealloc. */
637extern VgLdtEntry*
638 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
639extern void
640 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
641
642/* Simulate the modify_ldt syscall. */
643extern Int VG_(sys_modify_ldt) ( ThreadId tid,
644 Int func, void* ptr, UInt bytecount );
645
sewardje1042472002-09-30 12:33:11 +0000646/* Called from generated code. Given a segment selector and a virtual
647 address, return a linear address, and do limit checks too. */
648extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
649
sewardj92a59562002-09-30 00:53:10 +0000650
651/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000652 Exports of vg_scheduler.c
653 ------------------------------------------------------------------ */
654
sewardj2e93c502002-04-12 11:12:52 +0000655typedef
jsgf855d93d2003-10-13 22:26:55 +0000656 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000657 VgTs_Empty, /* this slot is not in use */
658 VgTs_Runnable, /* waiting to be scheduled */
659 VgTs_WaitJoiner, /* waiting for someone to do join on me */
660 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000661 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000662 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000663 VgTs_WaitSys, /* waiting for a syscall to complete */
664 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000665 }
666 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000667
668/* An entry in a threads's cleanup stack. */
669typedef
670 struct {
671 void (*fn)(void*);
672 void* arg;
673 }
674 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000675
676/* An entry in a thread's fork-handler stack. */
677typedef
678 struct {
679 void (*prepare)(void);
680 void (*parent)(void);
681 void (*child)(void);
682 }
683 ForkHandlerEntry;
684
jsgf855d93d2003-10-13 22:26:55 +0000685typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000686
njn72718642003-07-24 08:45:32 +0000687typedef
688 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000689 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
690 The thread identity is simply the index in vg_threads[].
691 ThreadId == 1 is the root thread and has the special property
692 that we don't try and allocate or deallocate its stack. For
693 convenience of generating error message, we also put the
694 ThreadId in this tid field, but be aware that it should
695 ALWAYS == the index in vg_threads[]. */
696 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000697
njn25e49d8e72002-09-23 09:36:25 +0000698 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000699
njn25e49d8e72002-09-23 09:36:25 +0000700 Complications: whenever this is set to VgTs_WaitMX, you
701 should also set .m_edx to whatever the required return value
702 is for pthread_mutex_lock / pthread_cond_timedwait for when
703 the mutex finally gets unblocked. */
704 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000705
njn25e49d8e72002-09-23 09:36:25 +0000706 /* When .status == WaitMX, points to the mutex I am waiting for.
707 When .status == WaitCV, points to the mutex associated with
708 the condition variable indicated by the .associated_cv field.
709 In all other cases, should be NULL. */
710 void* /*pthread_mutex_t* */ associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000711
njn25e49d8e72002-09-23 09:36:25 +0000712 /* When .status == WaitCV, points to the condition variable I am
713 waiting for. In all other cases, should be NULL. */
714 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000715
njn25e49d8e72002-09-23 09:36:25 +0000716 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000717 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000718
njn25e49d8e72002-09-23 09:36:25 +0000719 If VgTs_WaitCV, this indicates the time at which
720 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
721 this means infinitely far in the future, viz,
722 pthread_cond_wait. */
723 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000724
njn25e49d8e72002-09-23 09:36:25 +0000725 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
726 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000727
njn25e49d8e72002-09-23 09:36:25 +0000728 /* If VgTs_WaitJoinee, place to copy the return value to, and
729 the identity of the thread we're waiting for. */
730 void** joiner_thread_return;
731 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000732
jsgf855d93d2003-10-13 22:26:55 +0000733 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
734 void *sys_pre_res;
735
736 /* If VgTs_WaitSys, this is the syscall we're currently running */
737 Int syscallno;
738
739 /* Details about this thread's proxy LWP */
740 ProxyLWP *proxy;
741
njn25e49d8e72002-09-23 09:36:25 +0000742 /* Whether or not detached. */
743 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000744
njn25e49d8e72002-09-23 09:36:25 +0000745 /* Cancelability state and type. */
746 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
747 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
748
749 /* Pointer to fn to call to do cancellation. Indicates whether
750 or not cancellation is pending. If NULL, not pending. Else
751 should be &thread_exit_wrapper(), indicating that
752 cancallation is pending. */
753 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000754
njn25e49d8e72002-09-23 09:36:25 +0000755 /* The cleanup stack. */
756 Int custack_used;
757 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000758
sewardj00a66b12002-10-12 16:42:35 +0000759 /* A pointer to the thread's-specific-data. This is handled almost
760 entirely from vg_libpthread.c. We just provide hooks to get and
761 set this ptr. This is either NULL, indicating the thread has
762 read/written none of its specifics so far, OR points to a
763 void*[VG_N_THREAD_KEYS], allocated and deallocated in
764 vg_libpthread.c. */
765 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000766
njn25e49d8e72002-09-23 09:36:25 +0000767 /* This thread's blocked-signals mask. Semantics is that for a
768 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000769 blocked by this signal mask. If more than one thread accepts a
770 signal, then it will be delivered to one at random. If all
771 threads block the signal, it will remain pending until either a
772 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
773
774 sig_mask reflects what the client told us its signal mask should
775 be, but isn't necessarily the current signal mask of the proxy
776 LWP: it may have more signals blocked because of signal
777 handling, or it may be different because of sigsuspend.
778 */
njn25e49d8e72002-09-23 09:36:25 +0000779 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000780
jsgf855d93d2003-10-13 22:26:55 +0000781 /* Effective signal mask. This is the mask which is currently
782 applying; it may be different from sig_mask while a signal
783 handler is running.
784 */
785 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000786
njn25e49d8e72002-09-23 09:36:25 +0000787 /* Stacks. When a thread slot is freed, we don't deallocate its
788 stack; we just leave it lying around for the next use of the
789 slot. If the next use of the slot requires a larger stack,
790 only then is the old one deallocated and a new one
791 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000792
njn25e49d8e72002-09-23 09:36:25 +0000793 For the main thread (threadid == 0), this mechanism doesn't
794 apply. We don't know the size of the stack since we didn't
795 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000796
njn25e49d8e72002-09-23 09:36:25 +0000797 /* The allocated size of this thread's stack (permanently zero
798 if this is ThreadId == 0, since we didn't allocate its stack) */
799 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000800
njn25e49d8e72002-09-23 09:36:25 +0000801 /* Address of the lowest word in this thread's stack. NULL means
802 not allocated yet.
803 */
804 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000805
sewardj92a59562002-09-30 00:53:10 +0000806 /* Address of the highest legitimate word in this stack. This is
807 used for error messages only -- not critical for execution
808 correctness. Is is set for all stacks, specifically including
809 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000810 Addr stack_highest_word;
811
sewardj92a59562002-09-30 00:53:10 +0000812 /* Pointer to this thread's Local (Segment) Descriptor Table.
813 Starts out as NULL, indicating there is no table, and we hope to
814 keep it that way. If the thread does __NR_modify_ldt to create
815 entries, we allocate a 8192-entry table at that point. This is
816 a straight copy of the Linux kernel's scheme. Don't forget to
817 deallocate this at thread exit. */
818 VgLdtEntry* ldt;
819
820 /* Saved machine context. Note the FPU state, %EIP and segment
821 registers are not shadowed.
822
823 Although the segment registers are 16 bits long, storage
824 management here, in VG_(baseBlock) and in VG_(m_state_static) is
825 simplified if we pretend they are 32 bits. */
826 UInt m_cs;
827 UInt m_ss;
828 UInt m_ds;
829 UInt m_es;
830 UInt m_fs;
831 UInt m_gs;
832
njn25e49d8e72002-09-23 09:36:25 +0000833 UInt m_eax;
834 UInt m_ebx;
835 UInt m_ecx;
836 UInt m_edx;
837 UInt m_esi;
838 UInt m_edi;
839 UInt m_ebp;
840 UInt m_esp;
841 UInt m_eflags;
842 UInt m_eip;
sewardjb91ae7f2003-04-29 23:50:00 +0000843
844 /* The SSE/FPU state. This array does not (necessarily) have the
845 required 16-byte alignment required to get stuff in/out by
846 fxsave/fxrestore. So we have to do it "by hand".
847 */
848 UInt m_sse[VG_SIZE_OF_SSESTATE_W];
njn25e49d8e72002-09-23 09:36:25 +0000849
850 UInt sh_eax;
851 UInt sh_ebx;
852 UInt sh_ecx;
853 UInt sh_edx;
854 UInt sh_esi;
855 UInt sh_edi;
856 UInt sh_ebp;
857 UInt sh_esp;
858 UInt sh_eflags;
njn72718642003-07-24 08:45:32 +0000859}
860ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000861
862
sewardj018f7622002-05-15 21:13:39 +0000863/* The thread table. */
864extern ThreadState VG_(threads)[VG_N_THREADS];
865
866/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000867extern Bool VG_(is_valid_tid) ( ThreadId tid );
868
sewardj018f7622002-05-15 21:13:39 +0000869/* Check that tid is in range. */
870extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
871
njn72718642003-07-24 08:45:32 +0000872/* Determine if 'tid' is that of the current running thread (Nb: returns
873 False if no thread is currently running. */
874extern Bool VG_(is_running_thread)(ThreadId tid);
875
jsgf855d93d2003-10-13 22:26:55 +0000876/* Get the ThreadState for a particular thread */
877extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
878
sewardj2e93c502002-04-12 11:12:52 +0000879/* Copy the specified thread's state into VG_(baseBlock) in
880 preparation for running it. */
881extern void VG_(load_thread_state)( ThreadId );
882
883/* Save the specified thread's state back in VG_(baseBlock), and fill
884 VG_(baseBlock) with junk, for sanity-check reasons. */
885extern void VG_(save_thread_state)( ThreadId );
886
sewardj1e8cdc92002-04-18 11:37:52 +0000887/* And for the currently running one, if valid. */
888extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000889
sewardj1e8cdc92002-04-18 11:37:52 +0000890/* Similarly ... */
891extern ThreadId VG_(get_current_tid) ( void );
892
sewardjccef2e62002-05-29 19:26:32 +0000893/* Nuke all threads except tid. */
894extern void VG_(nuke_all_threads_except) ( ThreadId me );
895
jsgf855d93d2003-10-13 22:26:55 +0000896/* Give a hint to the scheduler that it may be a good time to find a
897 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
898 try to schedule that thread.
899*/
900extern void VG_(need_resched) ( ThreadId prefer_sched );
901
902/* Add a new timeout event for a thread*/
903extern void VG_(add_timeout) ( ThreadId tid, UInt time );
sewardj2e93c502002-04-12 11:12:52 +0000904
905/* Return codes from the scheduler. */
906typedef
sewardj7e87e382002-05-03 19:09:05 +0000907 enum {
908 VgSrc_Deadlock, /* no runnable threads and no prospect of any
909 even if we wait for a long time */
910 VgSrc_ExitSyscall, /* client called exit(). This is the normal
911 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000912 VgSrc_BbsDone, /* In a debugging run, the specified number of
sewardj7e87e382002-05-03 19:09:05 +0000913 bbs has been completed. */
jsgf855d93d2003-10-13 22:26:55 +0000914 VgSrc_FatalSig /* Killed by the default action of a fatal
915 signal */
sewardj7e87e382002-05-03 19:09:05 +0000916 }
sewardj2e93c502002-04-12 11:12:52 +0000917 VgSchedReturnCode;
918
sewardj7e87e382002-05-03 19:09:05 +0000919
sewardj2e93c502002-04-12 11:12:52 +0000920/* The scheduler. */
921extern VgSchedReturnCode VG_(scheduler) ( void );
922
923extern void VG_(scheduler_init) ( void );
924
sewardj15a43e12002-04-17 19:35:12 +0000925extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000926
927/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
928extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000929/* This says whether scheduler_jmpbuf is actually valid. Needed so
930 that our signal handler doesn't longjmp when the buffer isn't
931 actually valid. */
932extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000933/* ... and if so, here's the signal which caused it to do so. */
934extern Int VG_(longjmpd_on_signal);
935
936
sewardj2e93c502002-04-12 11:12:52 +0000937/* The red-zone size which we put at the bottom (highest address) of
938 thread stacks, for paranoia reasons. This can be arbitrary, and
939 doesn't really need to be set at compile time. */
940#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
941
942#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
943 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
944
njn25e49d8e72002-09-23 09:36:25 +0000945/* Junk to fill up a thread's shadow regs with when shadow regs aren't
njnd3040452003-05-19 15:04:06 +0000946 being used. */
njn25e49d8e72002-09-23 09:36:25 +0000947#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
njnd3040452003-05-19 15:04:06 +0000948/* For sanity checking: if this ends up in a thread's shadow regs when
949 shadow regs aren't being used, something went wrong. */
950#define VG_USED_SHADOW_REG_VALUE 0x31415927
njn25e49d8e72002-09-23 09:36:25 +0000951
njnd3040452003-05-19 15:04:06 +0000952/* Write a value to a client's thread register, and shadow (if necessary) */
953#define SET_THREAD_REG( zztid, zzval, zzreg, zzREG, zzevent, zzargs... ) \
954 do { VG_(threads)[zztid].m_##zzreg = (zzval); \
955 VG_TRACK( zzevent, zztid, R_##zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000956 } while (0)
957
njnd3040452003-05-19 15:04:06 +0000958#define SET_SYSCALL_RETVAL(zztid, zzval) \
959 SET_THREAD_REG(zztid, zzval, eax, EAX, post_reg_write_syscall_return)
960
961#define SET_SIGNAL_EDX(zztid, zzval) \
962 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_deliver_signal)
963
964#define SET_SIGNAL_ESP(zztid, zzval) \
965 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_deliver_signal)
966
967#define SET_CLREQ_RETVAL(zztid, zzval) \
968 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientreq_return)
969
970#define SET_CLCALL_RETVAL(zztid, zzval, f) \
971 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientcall_return, f)
972
973#define SET_PTHREQ_ESP(zztid, zzval) \
974 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_pthread_return)
975
976#define SET_PTHREQ_RETVAL(zztid, zzval) \
977 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +0000978
sewardj2e93c502002-04-12 11:12:52 +0000979
sewardjd8acdf22002-11-13 21:57:52 +0000980/* This is or'd into a pthread mutex's __m_kind field if it is used
981 before Valgrind is up and running (prehistory). This is used so
982 that if some early code (like the dynamic linker) takes a lock
983 before Valgrind starts and then releases it afterwards, we can work
984 out what's happening. */
985#define VG_PTHREAD_PREHISTORY 0x80000000
986
sewardj2e93c502002-04-12 11:12:52 +0000987/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000988 Exports of vg_signals.c
989 ------------------------------------------------------------------ */
990
jsgf855d93d2003-10-13 22:26:55 +0000991extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
992
993/* RT signal allocation */
994extern Int VG_(sig_rtmin);
995extern Int VG_(sig_rtmax);
996extern Int VG_(sig_alloc_rtsig) ( Int high );
997
sewardjde4a1d02002-03-22 01:27:54 +0000998extern void VG_(sigstartup_actions) ( void );
sewardj839299f2003-06-14 11:57:59 +0000999extern void VG_(sigshutdown_actions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001000
jsgf855d93d2003-10-13 22:26:55 +00001001extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +00001002extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +00001003extern void VG_(handle_SCSS_change) ( Bool force_update );
1004
jsgf855d93d2003-10-13 22:26:55 +00001005extern Bool VG_(is_sig_ign) ( Int sigNo );
1006
1007/* Route pending signals from the scheduler LWP to the appropriate
1008 thread LWP. */
1009extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001010
1011/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +00001012extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +00001013extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +00001014extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
1015 Int how,
1016 vki_ksigset_t* set,
1017 vki_ksigset_t* oldset );
1018extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
1019 Int how,
1020 vki_ksigset_t* set,
1021 vki_ksigset_t* oldset );
1022extern void VG_(send_signal_to_thread) ( ThreadId thread,
1023 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +00001024
sewardjefbfcdf2002-06-19 17:35:45 +00001025extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
1026
1027
sewardj2e93c502002-04-12 11:12:52 +00001028/* Modify the current thread's state once we have detected it is
1029 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +00001030extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +00001031
sewardj2e93c502002-04-12 11:12:52 +00001032/* Handy utilities to block/restore all host signals. */
1033extern void VG_(block_all_host_signals)
1034 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +00001035extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +00001036 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +00001037
jsgf855d93d2003-10-13 22:26:55 +00001038extern vki_ksiginfo_t VG_(unresumable_siginfo);
1039
1040extern void VG_(kill_self)(Int sigNo);
1041
sewardjde4a1d02002-03-22 01:27:54 +00001042/* ---------------------------------------------------------------------
1043 Exports of vg_mylibc.c
1044 ------------------------------------------------------------------ */
1045
njne427a662002-10-02 11:08:25 +00001046#define vg_assert(expr) \
1047 ((void) ((expr) ? 0 : \
1048 (VG_(core_assert_fail) (VG__STRING(expr), \
1049 __FILE__, __LINE__, \
1050 __PRETTY_FUNCTION__), 0)))
1051__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001052extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1053 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001054__attribute__ ((__noreturn__))
1055extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +00001056
njn25e49d8e72002-09-23 09:36:25 +00001057/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
1058extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +00001059
njn25e49d8e72002-09-23 09:36:25 +00001060/* Skins use VG_(strdup)() which doesn't expose ArenaId */
1061extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001062
njn25e49d8e72002-09-23 09:36:25 +00001063/* Skins shouldn't need these...(?) */
sewardj5f07b662002-04-23 16:52:51 +00001064extern void VG_(start_rdtsc_calibration) ( void );
1065extern void VG_(end_rdtsc_calibration) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001066
njn25e49d8e72002-09-23 09:36:25 +00001067extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +00001068extern Int VG_(select)( Int n,
1069 vki_fd_set* readfds,
1070 vki_fd_set* writefds,
1071 vki_fd_set* exceptfds,
1072 struct vki_timeval * timeout );
jsgf855d93d2003-10-13 22:26:55 +00001073extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001074extern Int VG_(nanosleep)( const struct vki_timespec *req,
1075 struct vki_timespec *rem );
1076
jsgf855d93d2003-10-13 22:26:55 +00001077/* Move an fd into the Valgrind-safe range */
1078Int VG_(safe_fd)(Int oldfd);
1079
sewardj570f8902002-11-03 11:44:36 +00001080extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001081
1082/* --- Connecting over the network --- */
1083extern Int VG_(connect_via_socket)( UChar* str );
1084
sewardj570f8902002-11-03 11:44:36 +00001085
1086/* ---------------------------------------------------------------------
1087 Exports of vg_message.c
1088 ------------------------------------------------------------------ */
1089
1090/* Low-level -- send bytes directly to the message sink. Do not
1091 use. */
1092extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1093
1094
sewardjde4a1d02002-03-22 01:27:54 +00001095/* ---------------------------------------------------------------------
1096 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
1097 vg_from_ucode.c).
1098 ------------------------------------------------------------------ */
1099
sewardjde4a1d02002-03-22 01:27:54 +00001100#define VG_IS_FLAG_SUBSET(set1,set2) \
1101 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
1102
1103#define VG_UNION_FLAG_SETS(set1,set2) \
1104 ( ((FlagSet)set1) | ((FlagSet)set2) )
1105
sewardjde4a1d02002-03-22 01:27:54 +00001106/* ---------------------------------------------------------------------
1107 Exports of vg_demangle.c
1108 ------------------------------------------------------------------ */
1109
1110extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1111
sewardjde4a1d02002-03-22 01:27:54 +00001112/* ---------------------------------------------------------------------
1113 Exports of vg_from_ucode.c
1114 ------------------------------------------------------------------ */
1115
sewardj22854b92002-11-30 14:00:47 +00001116extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001117
njn25e49d8e72002-09-23 09:36:25 +00001118extern void VG_(print_ccall_stats) ( void );
1119extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001120
sewardj22854b92002-11-30 14:00:47 +00001121extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1122extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
1123extern Bool VG_(is_unchained_jumpsite) ( Addr jumpsite );
1124extern Bool VG_(is_chained_jumpsite) ( Addr jumpsite );
1125
sewardjde4a1d02002-03-22 01:27:54 +00001126/* ---------------------------------------------------------------------
1127 Exports of vg_to_ucode.c
1128 ------------------------------------------------------------------ */
1129
1130extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001131
1132/* ---------------------------------------------------------------------
1133 Exports of vg_translate.c
1134 ------------------------------------------------------------------ */
1135
njn810086f2002-11-14 12:42:47 +00001136/* Expandable arrays of uinstrs. */
1137struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001138 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001139 Int used;
1140 Int size;
1141 UInstr* instrs;
1142 Int nextTemp;
1143};
1144
1145extern UCodeBlock* VG_(alloc_UCodeBlock) ( void );
1146
njn72718642003-07-24 08:45:32 +00001147extern void VG_(translate) ( ThreadId tid,
sewardj1e8cdc92002-04-18 11:37:52 +00001148 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +00001149 UInt* orig_size,
1150 Addr* trans_addr,
sewardj22854b92002-11-30 14:00:47 +00001151 UInt* trans_size,
1152 UShort jumps[VG_MAX_JUMPS]);
sewardjde4a1d02002-03-22 01:27:54 +00001153
njn25e49d8e72002-09-23 09:36:25 +00001154extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
1155 UInstr* u );
1156extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
1157extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +00001158
sewardjb5ff83e2002-12-01 19:40:49 +00001159
sewardjde4a1d02002-03-22 01:27:54 +00001160/* ---------------------------------------------------------------------
1161 Exports of vg_execontext.c.
1162 ------------------------------------------------------------------ */
1163
1164/* Records the PC and a bit of the call chain. The first 4 %eip
1165 values are used in comparisons do remove duplicate errors, and for
1166 comparing against suppression specifications. The rest are purely
1167 informational (but often important). */
1168
njn25e49d8e72002-09-23 09:36:25 +00001169struct _ExeContext {
1170 struct _ExeContext * next;
1171 /* Variable-length array. The size is VG_(clo_backtrace_size); at
njn6c846552003-09-16 07:41:43 +00001172 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
njn25e49d8e72002-09-23 09:36:25 +00001173 [1] is its caller, [2] is the caller of [1], etc. */
1174 Addr eips[0];
1175};
sewardjde4a1d02002-03-22 01:27:54 +00001176
1177
sewardjde4a1d02002-03-22 01:27:54 +00001178/* Print stats (informational only). */
1179extern void VG_(show_ExeContext_stats) ( void );
1180
njn25e49d8e72002-09-23 09:36:25 +00001181/* Like VG_(get_ExeContext), but with a slightly different type */
1182extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1183 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001184
1185
1186/* ---------------------------------------------------------------------
1187 Exports of vg_errcontext.c.
1188 ------------------------------------------------------------------ */
1189
njn25e49d8e72002-09-23 09:36:25 +00001190/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1191 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +00001192typedef
njn25e49d8e72002-09-23 09:36:25 +00001193 enum {
1194 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +00001195 }
njn25e49d8e72002-09-23 09:36:25 +00001196 CoreSuppKind;
1197
1198/* For each caller specified for a suppression, record the nature of
1199 the caller name. Not of interest to skins. */
1200typedef
1201 enum {
1202 ObjName, /* Name is of an shared object file. */
1203 FunName /* Name is of a function. */
1204 }
1205 SuppLocTy;
1206
njn810086f2002-11-14 12:42:47 +00001207/* Suppressions. Skins can get/set skin-relevant parts with functions
1208 declared in include/vg_skin.h. Extensible via the 'extra' field.
1209 Skins can use a normal enum (with element values in the normal range
1210 (0..)) for `skind'. */
1211struct _Supp {
1212 struct _Supp* next;
1213 /* The number of times this error has been suppressed. */
1214 Int count;
1215 /* The name by which the suppression is referred to. */
1216 Char* sname;
1217 /* First two (name of fn where err occurs, and immediate caller)
1218 * are mandatory; extra two are optional. */
1219 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
1220 Char* caller [VG_N_SUPP_CALLERS];
1221
1222 /* The skin-specific part */
1223 /* What kind of suppression. Must use the range (0..) */
1224 SuppKind skind;
1225 /* String -- use is optional. NULL by default. */
1226 Char* string;
1227 /* Anything else -- use is optional. NULL by default. */
1228 void* extra;
1229};
njn25e49d8e72002-09-23 09:36:25 +00001230
1231/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1232 * effectively extend it by defining their own enums in the (0..) range. */
1233typedef
1234 enum {
1235 PThreadErr = -1, /* Pthreading error */
1236 }
1237 CoreErrorKind;
1238
njn810086f2002-11-14 12:42:47 +00001239/* Errors. Extensible (via the 'extra' field). Skins can use a normal
1240 enum (with element values in the normal range (0..)) for `ekind'.
1241 Functions for getting/setting the skin-relevant fields are in
1242 include/vg_skin.h.
1243
1244 When errors are found and recorded with VG_(maybe_record_error)(), all
1245 the skin must do is pass in the four parameters; core will
1246 allocate/initialise the error record.
1247*/
1248struct _Error {
1249 struct _Error* next;
1250 /* NULL if unsuppressed; or ptr to suppression record. */
1251 Supp* supp;
1252 Int count;
njn810086f2002-11-14 12:42:47 +00001253 ThreadId tid;
njn810086f2002-11-14 12:42:47 +00001254
1255 /* The skin-specific part */
njnae17bec2003-01-28 19:59:38 +00001256 /* Initialised by core */
1257 ExeContext* where;
njn810086f2002-11-14 12:42:47 +00001258 /* Used by ALL. Must be in the range (0..) */
1259 Int ekind;
1260 /* Used frequently */
1261 Addr addr;
1262 /* Used frequently */
1263 Char* string;
1264 /* For any skin-specific extras */
1265 void* extra;
1266};
sewardjde4a1d02002-03-22 01:27:54 +00001267
1268
njn25e49d8e72002-09-23 09:36:25 +00001269extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001270
njn25e49d8e72002-09-23 09:36:25 +00001271extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001272
njn25e49d8e72002-09-23 09:36:25 +00001273extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001274
njn43c799e2003-04-08 00:08:52 +00001275extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
1276
1277extern void VG_(gen_suppression) ( Error* err );
sewardj99aac972002-12-26 01:53:45 +00001278
njn47363ab2003-04-21 13:24:40 +00001279extern UInt VG_(n_errs_found);
1280
sewardjde4a1d02002-03-22 01:27:54 +00001281/* ---------------------------------------------------------------------
1282 Exports of vg_procselfmaps.c
1283 ------------------------------------------------------------------ */
1284
njnfa1016e2003-09-25 17:54:11 +00001285/* Reads /proc/self/maps into a static buffer which can be parsed by
1286 VG_(parse_procselfmaps)(). */
1287extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001288
1289/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1290 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1291 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001292extern
njnfa1016e2003-09-25 17:54:11 +00001293void VG_(parse_procselfmaps) (
1294 void (*record_mapping)( Addr, UInt, Char, Char, Char, UInt, UChar* )
sewardjde4a1d02002-03-22 01:27:54 +00001295);
1296
1297
1298/* ---------------------------------------------------------------------
1299 Exports of vg_symtab2.c
1300 ------------------------------------------------------------------ */
1301
njnfa1016e2003-09-25 17:54:11 +00001302extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
1303extern void VG_(read_all_symbols) ( void );
1304extern void VG_(read_seg_symbols) ( Addr start, UInt size,
1305 Char rr, Char ww, Char xx,
1306 UInt foffset, UChar* filename );
1307extern void VG_(unload_symbols) ( Addr start, UInt length );
sewardjde4a1d02002-03-22 01:27:54 +00001308
njn25e49d8e72002-09-23 09:36:25 +00001309extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001310extern Int VG_(setup_code_redirect_table) ( void );
1311
1312typedef
1313 struct {
1314 Addr entry_pt_orig;
1315 Addr entry_pt_subst;
1316 }
1317 CodeRedirect;
1318
1319#define VG_N_CODE_REDIRECTS 10
1320extern CodeRedirect VG_(code_redirect_table)[VG_N_CODE_REDIRECTS];
1321/* Table is terminated by a NULL entry_pt_orig field. */
sewardjde4a1d02002-03-22 01:27:54 +00001322
1323
1324/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001325 Exports of vg_main.c
1326 ------------------------------------------------------------------ */
1327
sewardjb91ae7f2003-04-29 23:50:00 +00001328/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1329 the SSE state all over the place. This is set up very early, in
1330 vg_startup.S. We have to determine it early since we can't even
1331 correctly snapshot the startup machine state without it. */
1332extern Bool VG_(have_ssestate);
1333
sewardj73cf3bc2002-11-03 03:20:15 +00001334/* Tell the logging mechanism whether we are logging to a file
1335 descriptor or a socket descriptor. */
1336extern Bool VG_(logging_to_filedes);
1337
njn25e49d8e72002-09-23 09:36:25 +00001338/* Sanity checks which may be done at any time. The scheduler decides when. */
1339extern void VG_(do_sanity_checks) ( Bool force_expensive );
1340
sewardjde4a1d02002-03-22 01:27:54 +00001341/* A structure used as an intermediary when passing the simulated
1342 CPU's state to some assembly fragments, particularly system calls.
1343 Stuff is copied from baseBlock to here, the assembly magic runs,
sewardjb91ae7f2003-04-29 23:50:00 +00001344 and then the inverse copy is done. Alignment: the SSE state must
1345 be 16-byte aligned. We ask for the whole struct to be 16-byte
1346 aligned, and the SSE state starts at the 6+8+1+1th == 16th word,
1347 so it too must be 16-byte aligned. Consequence: change this struct
1348 only _very carefully_ ! See also above comment re masking MXCSR.
1349*/
1350__attribute__ ((aligned (16)))
sewardj92a59562002-09-30 00:53:10 +00001351extern UInt VG_(m_state_static) [6 /* segment regs, Intel order */
1352 + 8 /* int regs, in Intel order */
sewardjde4a1d02002-03-22 01:27:54 +00001353 + 1 /* %eflags */
1354 + 1 /* %eip */
sewardjb91ae7f2003-04-29 23:50:00 +00001355 + VG_SIZE_OF_SSESTATE_W /* SSE state */
sewardjde4a1d02002-03-22 01:27:54 +00001356 ];
1357
1358/* Handy fns for doing the copy back and forth. */
1359extern void VG_(copy_baseBlock_to_m_state_static) ( void );
1360extern void VG_(copy_m_state_static_to_baseBlock) ( void );
1361
njn9b007f62003-04-07 14:40:25 +00001362/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001363extern Bool VG_(need_to_handle_esp_assignment) ( void );
1364
sewardjde4a1d02002-03-22 01:27:54 +00001365/* Called when some unhandleable client behaviour is detected.
1366 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001367extern void VG_(unimplemented) ( Char* msg )
1368 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001369
1370/* The stack on which Valgrind runs. We can't use the same stack as the
1371 simulatee -- that's an important design decision. */
njn6eba4ef2003-05-01 08:06:41 +00001372extern UInt VG_(stack)[VG_STACK_SIZE_W];
sewardjde4a1d02002-03-22 01:27:54 +00001373
njn25e49d8e72002-09-23 09:36:25 +00001374/* Similarly, we have to ask for signals to be delivered on an alternative
1375 stack, since it is possible, although unlikely, that we'll have to run
1376 client code from inside the Valgrind-installed signal handler. If this
1377 happens it will be done by vg_deliver_signal_immediately(). */
njn6eba4ef2003-05-01 08:06:41 +00001378extern UInt VG_(sigstack)[VG_SIGSTACK_SIZE_W];
sewardjde4a1d02002-03-22 01:27:54 +00001379
sewardjde4a1d02002-03-22 01:27:54 +00001380/* Holds client's %esp at the point we gained control. From this the
1381 client's argc, argv and envp are deduced. */
1382extern Addr VG_(esp_at_startup);
sewardjde4a1d02002-03-22 01:27:54 +00001383
sewardjd5815ec2003-04-06 12:23:27 +00001384/* Indicates presence, and holds address of client's sysinfo page, a
1385 feature of some modern kernels used to provide vsyscalls, etc. */
1386extern Bool VG_(sysinfo_page_exists);
1387extern Addr VG_(sysinfo_page_addr);
1388
njn25e49d8e72002-09-23 09:36:25 +00001389/* Remove valgrind.so and skin's .so from a LD_PRELOAD=... string so child
1390 processes don't get traced into. Also mess up $libdir/valgrind so that
1391 our libpthread.so disappears from view. */
sewardj3e1eb1f2002-05-18 13:14:17 +00001392void VG_(mash_LD_PRELOAD_and_LD_LIBRARY_PATH) ( Char* ld_preload_str,
1393 Char* ld_library_path_str );
sewardjde4a1d02002-03-22 01:27:54 +00001394
1395/* Something of a function looking for a home ... start up GDB. This
1396 is called from VG_(swizzle_esp_then_start_GDB) and so runs on the
1397 *client's* stack. This is necessary to give GDB the illusion that
1398 the client program really was running on the real cpu. */
1399extern void VG_(start_GDB_whilst_on_client_stack) ( void );
1400
njn41557122002-10-14 09:25:37 +00001401/* VG_(bbs_done) in include/vg_skin.h */
1402
sewardjde4a1d02002-03-22 01:27:54 +00001403/* 64-bit counter for the number of bbs to go before a debug exit. */
1404extern ULong VG_(bbs_to_go);
1405
1406/* Counts downwards in vg_run_innerloop. */
1407extern UInt VG_(dispatch_ctr);
1408
sewardjde4a1d02002-03-22 01:27:54 +00001409/* Is the client running on the simulated CPU or the real one? */
1410extern Bool VG_(running_on_simd_CPU); /* Initially False */
1411
sewardj7e87e382002-05-03 19:09:05 +00001412/* This is the ThreadId of the last thread the scheduler ran. */
1413extern ThreadId VG_(last_run_tid);
1414
njn25e49d8e72002-09-23 09:36:25 +00001415/* This is the argument to __NR_exit() supplied by the first thread to
1416 call that syscall. We eventually pass that to __NR_exit() for
1417 real. */
njn633de322003-05-12 20:40:13 +00001418extern Int VG_(exitcode);
njn25e49d8e72002-09-23 09:36:25 +00001419
jsgf855d93d2003-10-13 22:26:55 +00001420/* If we're doing the default action of a fatal signal */
1421extern jmp_buf VG_(fatal_signal_jmpbuf);
1422extern Bool VG_(fatal_signal_set); /* jmp_buf is valid */
1423extern Int VG_(fatal_sigNo); /* the fatal signal */
sewardjde4a1d02002-03-22 01:27:54 +00001424
1425/* --- Counters, for informational purposes only. --- */
1426
1427/* Number of lookups which miss the fast tt helper. */
1428extern UInt VG_(tt_fast_misses);
1429
sewardjc0d8f682002-11-30 00:49:43 +00001430/* Counts for TT/TC informational messages. */
sewardjde4a1d02002-03-22 01:27:54 +00001431
sewardjde4a1d02002-03-22 01:27:54 +00001432/* Number and total o/t size of translations overall. */
1433extern UInt VG_(overall_in_count);
1434extern UInt VG_(overall_in_osize);
1435extern UInt VG_(overall_in_tsize);
1436/* Number and total o/t size of discards overall. */
1437extern UInt VG_(overall_out_count);
1438extern UInt VG_(overall_out_osize);
1439extern UInt VG_(overall_out_tsize);
sewardjc0d8f682002-11-30 00:49:43 +00001440/* The number of discards of TT/TC. */
1441extern UInt VG_(number_of_tc_discards);
sewardj22854b92002-11-30 14:00:47 +00001442/* Counts of chain and unchain operations done. */
1443extern UInt VG_(bb_enchain_count);
1444extern UInt VG_(bb_dechain_count);
1445/* Number of unchained jumps performed. */
1446extern UInt VG_(unchained_jumps_done);
1447
sewardjde4a1d02002-03-22 01:27:54 +00001448
1449/* Counts pertaining to the register allocator. */
1450
1451/* total number of uinstrs input to reg-alloc */
1452extern UInt VG_(uinstrs_prealloc);
1453
1454/* total number of uinstrs added due to spill code */
1455extern UInt VG_(uinstrs_spill);
1456
1457/* number of bbs requiring spill code */
1458extern UInt VG_(translations_needing_spill);
1459
1460/* total of register ranks over all translations */
1461extern UInt VG_(total_reg_rank);
1462
sewardjde4a1d02002-03-22 01:27:54 +00001463/* Counts pertaining to internal sanity checking. */
1464extern UInt VG_(sanity_fast_count);
1465extern UInt VG_(sanity_slow_count);
1466
sewardj2e93c502002-04-12 11:12:52 +00001467/* Counts pertaining to the scheduler. */
1468extern UInt VG_(num_scheduling_events_MINOR);
1469extern UInt VG_(num_scheduling_events_MAJOR);
1470
sewardjfa492d42002-12-08 18:20:01 +00001471/* Insert and extract the D flag from eflags */
1472UInt VG_(insertDflag)(UInt eflags, Int d);
1473Int VG_(extractDflag)(UInt eflags);
sewardjde4a1d02002-03-22 01:27:54 +00001474
sewardj49e630d2003-04-23 21:18:52 +00001475/* start address and size of the initial stack */
1476extern Addr VG_(foundstack_start);
1477extern UInt VG_(foundstack_size);
1478
1479
sewardjde4a1d02002-03-22 01:27:54 +00001480/* ---------------------------------------------------------------------
1481 Exports of vg_memory.c
1482 ------------------------------------------------------------------ */
1483
njnfa1016e2003-09-25 17:54:11 +00001484extern void VG_(init_memory) ( void );
1485extern void VG_(new_exeseg_startup) ( Addr a, UInt len, Char rr, Char ww,
1486 Char xx, UInt foffset,
1487 UChar* filename );
1488extern void VG_(new_exeseg_mmap) ( Addr a, UInt len );
1489extern void VG_(remove_if_exeseg) ( Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001490
njn9b007f62003-04-07 14:40:25 +00001491extern __attribute__((regparm(1)))
njnfa1016e2003-09-25 17:54:11 +00001492 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001493
jsgf855d93d2003-10-13 22:26:55 +00001494extern Bool VG_(is_addressable)(Addr p, Int sz);
1495
1496/* ---------------------------------------------------------------------
1497 Exports of vg_proxylwp.c
1498 ------------------------------------------------------------------ */
1499
1500/* Issue a syscall for thread tid */
1501extern Int VG_(sys_issue)(int tid);
1502
1503extern void VG_(proxy_init) ( void );
1504extern void VG_(proxy_create) ( ThreadId tid );
1505extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1506extern void VG_(proxy_results) ( void );
1507extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1508extern void VG_(proxy_setsigmask)(ThreadId tid);
1509extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1510extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1511extern void VG_(proxy_waitsig) ( void );
1512
1513extern void VG_(proxy_shutdown) ( void ); /* shut down the syscall workers */
1514extern Int VG_(proxy_resfd) ( void ); /* FD something can select on to know
1515 a syscall finished */
1516
1517/* Sanity-check the whole proxy-LWP machinery */
1518void VG_(proxy_sanity)(void);
1519
1520/* Send a signal from a thread's proxy to the thread. This longjmps
1521 back into the proxy's main loop, so it doesn't return. */
1522__attribute__ ((__noreturn__))
1523extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
1524 const struct vki_sigcontext *sigcontext );
1525
1526
sewardjde4a1d02002-03-22 01:27:54 +00001527/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001528 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001529 ------------------------------------------------------------------ */
1530
njn25e49d8e72002-09-23 09:36:25 +00001531extern void VG_(init_dataseg_end_for_brk) ( void );
1532
jsgf855d93d2003-10-13 22:26:55 +00001533extern Bool VG_(pre_syscall) ( ThreadId tid );
1534extern void VG_(post_syscall)( ThreadId tid );
fitzhardingee1c06d82003-10-30 07:21:44 +00001535extern void VG_(restart_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001536
1537extern Bool VG_(is_kerror) ( Int res );
1538
jsgf855d93d2003-10-13 22:26:55 +00001539/* Internal atfork handlers */
1540typedef void (*vg_atfork_t)(ThreadId);
1541extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001542
1543/* ---------------------------------------------------------------------
1544 Exports of vg_transtab.c
1545 ------------------------------------------------------------------ */
1546
njn25e49d8e72002-09-23 09:36:25 +00001547/* The fast-cache for tt-lookup. */
1548extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1549
sewardjde4a1d02002-03-22 01:27:54 +00001550extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
sewardj6c3769f2002-11-29 01:02:45 +00001551
sewardjc0d8f682002-11-30 00:49:43 +00001552extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001553 Addr trans_addr, Int trans_size,
1554 UShort jumps[VG_MAX_JUMPS]);
sewardj6c3769f2002-11-29 01:02:45 +00001555
sewardj97ad5522003-05-04 12:32:56 +00001556extern void VG_(invalidate_translations) ( Addr start, UInt range, Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001557
sewardj18d75132002-05-16 11:06:21 +00001558extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001559
1560extern void VG_(sanity_check_tc_tt) ( void );
1561extern Addr VG_(search_transtab) ( Addr original_addr );
1562
sewardjde4a1d02002-03-22 01:27:54 +00001563
1564
1565/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001566 Exports of vg_syscall.S
1567 ------------------------------------------------------------------ */
1568
jsgf855d93d2003-10-13 22:26:55 +00001569extern Int VG_(do_syscall) ( UInt, ... );
1570extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1571 Int *child_tid, Int *parent_tid);
sewardjde4a1d02002-03-22 01:27:54 +00001572
1573/* ---------------------------------------------------------------------
1574 Exports of vg_startup.S
1575 ------------------------------------------------------------------ */
1576
sewardjde4a1d02002-03-22 01:27:54 +00001577extern void VG_(switch_to_real_CPU) ( void );
1578
sewardj35805422002-04-21 13:05:34 +00001579extern void VG_(swizzle_esp_then_start_GDB) ( Addr m_eip_at_error,
1580 Addr m_esp_at_error,
1581 Addr m_ebp_at_error );
sewardjde4a1d02002-03-22 01:27:54 +00001582
1583
1584/* ---------------------------------------------------------------------
1585 Exports of vg_dispatch.S
1586 ------------------------------------------------------------------ */
1587
sewardj2e93c502002-04-12 11:12:52 +00001588/* Run a thread for a (very short) while, until some event happens
1589 which means we need to defer to the scheduler. */
1590extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001591
sewardj22854b92002-11-30 14:00:47 +00001592/* The patching routing called when a BB wants to chain itself to
1593 another. */
1594extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001595
1596/* ---------------------------------------------------------------------
1597 Exports of vg_helpers.S
1598 ------------------------------------------------------------------ */
1599
sewardjde4a1d02002-03-22 01:27:54 +00001600/* Mul, div, etc, -- we don't codegen these directly. */
1601extern void VG_(helper_idiv_64_32);
1602extern void VG_(helper_div_64_32);
1603extern void VG_(helper_idiv_32_16);
1604extern void VG_(helper_div_32_16);
1605extern void VG_(helper_idiv_16_8);
1606extern void VG_(helper_div_16_8);
1607
1608extern void VG_(helper_imul_32_64);
1609extern void VG_(helper_mul_32_64);
1610extern void VG_(helper_imul_16_32);
1611extern void VG_(helper_mul_16_32);
1612extern void VG_(helper_imul_8_16);
1613extern void VG_(helper_mul_8_16);
1614
1615extern void VG_(helper_CLD);
1616extern void VG_(helper_STD);
1617extern void VG_(helper_get_dirflag);
1618
sewardj7d78e782002-06-02 00:04:00 +00001619extern void VG_(helper_CLC);
1620extern void VG_(helper_STC);
1621
sewardjde4a1d02002-03-22 01:27:54 +00001622extern void VG_(helper_shldl);
1623extern void VG_(helper_shldw);
1624extern void VG_(helper_shrdl);
1625extern void VG_(helper_shrdw);
1626
daywalkerb18d2532003-09-27 20:15:01 +00001627extern void VG_(helper_IN);
1628extern void VG_(helper_OUT);
1629
sewardjde4a1d02002-03-22 01:27:54 +00001630extern void VG_(helper_RDTSC);
1631extern void VG_(helper_CPUID);
1632
sewardjde4a1d02002-03-22 01:27:54 +00001633extern void VG_(helper_bsf);
1634extern void VG_(helper_bsr);
1635
1636extern void VG_(helper_fstsw_AX);
1637extern void VG_(helper_SAHF);
njnd6251f12003-06-03 13:38:51 +00001638extern void VG_(helper_LAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001639extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001640extern void VG_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001641
sewardj51096432002-12-14 23:59:09 +00001642extern void VG_(helper_undefined_instruction);
1643
sewardj20917d82002-05-28 01:36:45 +00001644/* NOT A FUNCTION; this is a bogus RETURN ADDRESS. */
sewardj54cacf02002-04-12 23:24:59 +00001645extern void VG_(signalreturn_bogusRA)( void );
sewardj20917d82002-05-28 01:36:45 +00001646
njn4f9c9342002-04-29 16:03:24 +00001647/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001648 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001649 ------------------------------------------------------------------ */
1650
njn25e49d8e72002-09-23 09:36:25 +00001651#define VG_TRACK(fn, args...) \
1652 do { \
1653 if (VG_(track_events).fn) \
1654 VG_(track_events).fn(args); \
1655 } while (0)
sewardj18d75132002-05-16 11:06:21 +00001656
1657
sewardjde4a1d02002-03-22 01:27:54 +00001658/* ---------------------------------------------------------------------
1659 The state of the simulated CPU.
1660 ------------------------------------------------------------------ */
1661
sewardjde4a1d02002-03-22 01:27:54 +00001662/* ---------------------------------------------------------------------
1663 Offsets into baseBlock for everything which needs to referred to
1664 from generated code. The order of these decls does not imply
1665 what the order of the actual offsets is. The latter is important
1666 and is set up in vg_main.c.
1667 ------------------------------------------------------------------ */
1668
1669/* An array of words. In generated code, %ebp always points to the
1670 start of this array. Useful stuff, like the simulated CPU state,
1671 and the addresses of helper functions, can then be found by
1672 indexing off %ebp. The following declares variables which, at
1673 startup time, are given values denoting offsets into baseBlock.
1674 These offsets are in *words* from the start of baseBlock. */
1675
sewardjb91ae7f2003-04-29 23:50:00 +00001676#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001677
1678extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1679
1680
1681/* -----------------------------------------------------
1682 Read-write parts of baseBlock.
1683 -------------------------------------------------- */
1684
1685/* State of the simulated CPU. */
1686extern Int VGOFF_(m_eax);
1687extern Int VGOFF_(m_ecx);
1688extern Int VGOFF_(m_edx);
1689extern Int VGOFF_(m_ebx);
1690extern Int VGOFF_(m_esp);
1691extern Int VGOFF_(m_ebp);
1692extern Int VGOFF_(m_esi);
1693extern Int VGOFF_(m_edi);
1694extern Int VGOFF_(m_eflags);
sewardjb91ae7f2003-04-29 23:50:00 +00001695extern Int VGOFF_(m_ssestate);
sewardjde4a1d02002-03-22 01:27:54 +00001696extern Int VGOFF_(m_eip);
1697
sewardjfa492d42002-12-08 18:20:01 +00001698extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1699
sewardj92a59562002-09-30 00:53:10 +00001700extern Int VGOFF_(m_cs);
1701extern Int VGOFF_(m_ss);
1702extern Int VGOFF_(m_ds);
1703extern Int VGOFF_(m_es);
1704extern Int VGOFF_(m_fs);
1705extern Int VGOFF_(m_gs);
1706
sewardjde4a1d02002-03-22 01:27:54 +00001707/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1708extern Int VGOFF_(spillslots);
1709
1710/* Records the valid bits for the 8 integer regs & flags reg. */
1711extern Int VGOFF_(sh_eax);
1712extern Int VGOFF_(sh_ecx);
1713extern Int VGOFF_(sh_edx);
1714extern Int VGOFF_(sh_ebx);
1715extern Int VGOFF_(sh_esp);
1716extern Int VGOFF_(sh_ebp);
1717extern Int VGOFF_(sh_esi);
1718extern Int VGOFF_(sh_edi);
1719extern Int VGOFF_(sh_eflags);
1720
sewardjde4a1d02002-03-22 01:27:54 +00001721/* -----------------------------------------------------
1722 Read-only parts of baseBlock.
1723 -------------------------------------------------- */
1724
sewardj92a59562002-09-30 00:53:10 +00001725/* This thread's LDT pointer. */
1726extern Int VGOFF_(ldt);
1727
njn211b6ad2003-02-03 12:33:31 +00001728/* Nb: Most helper offsets are in include/vg_skin.h, for use by skins */
sewardjde4a1d02002-03-22 01:27:54 +00001729
sewardj51096432002-12-14 23:59:09 +00001730extern Int VGOFF_(helper_undefined_instruction);
1731
njn25e49d8e72002-09-23 09:36:25 +00001732/* For storing extension-specific helpers, determined at runtime. The addr
1733 * and offset arrays together form a (addr, offset) map that allows a
1734 * helper's baseBlock offset to be computed from its address. It's done
1735 * like this so CCALL_M_Ns and other helper calls can use the function
1736 * address rather than having to much around with offsets. */
1737extern UInt VG_(n_compact_helpers);
1738extern UInt VG_(n_noncompact_helpers);
1739
1740extern Addr VG_(compact_helper_addrs) [];
1741extern Int VG_(compact_helper_offsets)[];
1742
1743extern Addr VG_(noncompact_helper_addrs) [];
1744extern Int VG_(noncompact_helper_offsets)[];
1745
sewardjde4a1d02002-03-22 01:27:54 +00001746#endif /* ndef __VG_INCLUDE_H */
1747
sewardj3b2736a2002-03-24 12:18:35 +00001748
1749/* ---------------------------------------------------------------------
1750 Finally - autoconf-generated settings
1751 ------------------------------------------------------------------ */
1752
1753#include "config.h"
1754
sewardjde4a1d02002-03-22 01:27:54 +00001755/*--------------------------------------------------------------------*/
1756/*--- end vg_include.h ---*/
1757/*--------------------------------------------------------------------*/