blob: a7643626447339d755056d8a638d918f1bdabbbd [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
nethercotebb1c9912004-01-04 16:43:23 +000012 Copyright (C) 2000-2004 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/* ---------------------------------------------------------------------
37 Build options and table sizes. You should be able to change these
38 options or sizes, recompile, and still have a working system.
39 ------------------------------------------------------------------ */
40
jsgf855d93d2003-10-13 22:26:55 +000041/* For system call numbers __NR_... */
42#include "vg_unistd.h"
43
sewardjde4a1d02002-03-22 01:27:54 +000044#include "vg_constants.h"
45
sewardj4cf05692002-10-27 20:28:29 +000046/* All stuff visible to core and skins goes in vg_skin.h. Things
47 * visible to core but not visible to any skins should go in this
48 * file, vg_include.h. */
njn25e49d8e72002-09-23 09:36:25 +000049#include "vg_skin.h"
fitzhardinge39de4b42003-10-31 07:12:21 +000050#include "valgrind.h"
sewardjde4a1d02002-03-22 01:27:54 +000051
fitzhardinge98abfc72003-12-16 02:05:15 +000052#undef SK_
53#define SK_(x) vgSkinInternal_##x
54
sewardjde4a1d02002-03-22 01:27:54 +000055/* 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
sewardjde4a1d02002-03-22 01:27:54 +0000102/* Number of lists in which we keep track of ExeContexts. Should be
103 prime. */
sewardj59fb25c2003-09-28 16:32:58 +0000104#define VG_N_EC_LISTS 4999 /* a prime number */
sewardjde4a1d02002-03-22 01:27:54 +0000105
sewardj2e93c502002-04-12 11:12:52 +0000106/* Defines the thread-scheduling timeslice, in terms of the number of
107 basic blocks we attempt to run each thread for. Smaller values
108 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000109#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000110
fitzhardingef0046f22003-12-18 02:39:22 +0000111/* Number of file descriptors that Valgrind tries to reserve for
112 it's own use - two per thread plues a small number of extras. */
113#define VG_N_RESERVED_FDS (VG_N_THREADS*2 + 4)
sewardj2e93c502002-04-12 11:12:52 +0000114
sewardjbf290b92002-05-01 02:28:01 +0000115/* Stack size for a thread. We try and check that they do not go
116 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000117#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000118
sewardj20917d82002-05-28 01:36:45 +0000119/* Number of entries in the semaphore-remapping table. */
120#define VG_N_SEMAPHORES 50
121
122/* Number of entries in the rwlock-remapping table. */
sewardj89745a52002-09-27 01:04:29 +0000123#define VG_N_RWLOCKS 500
sewardj20917d82002-05-28 01:36:45 +0000124
sewardj8ad94e12002-05-29 00:10:20 +0000125/* Number of entries in each thread's cleanup stack. */
sewardj61821c02003-05-04 13:02:10 +0000126#define VG_N_CLEANUPSTACK 16
sewardj8ad94e12002-05-29 00:10:20 +0000127
sewardj2cb00342002-06-28 01:46:26 +0000128/* Number of entries in each thread's fork-handler stack. */
sewardj4700f042003-07-26 17:49:58 +0000129#define VG_N_FORKHANDLERSTACK 4
sewardj2cb00342002-06-28 01:46:26 +0000130
njn25e49d8e72002-09-23 09:36:25 +0000131/* Max number of callers for context in a suppression. */
132#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000133
njn6eba4ef2003-05-01 08:06:41 +0000134/* Valgrind's stack sizes, in words */
135#define VG_STACK_SIZE_W 10000
136#define VG_SIGSTACK_SIZE_W 10000
njn12a57142003-04-30 20:49:10 +0000137
fitzhardinge98abfc72003-12-16 02:05:15 +0000138/* Useful macros */
139/* a - alignment - must be a power of 2 */
140#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
141#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
142#define PGROUNDDN(p) ROUNDDN(p, VKI_BYTES_PER_PAGE)
143#define PGROUNDUP(p) ROUNDUP(p, VKI_BYTES_PER_PAGE)
144
145
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
nethercote04d0fbc2004-01-26 16:48:06 +0000166/* Default debugger command. */
167#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
168
sewardj4cf05692002-10-27 20:28:29 +0000169/* Describes where logging output is to be sent. */
170typedef
171 enum {
172 VgLogTo_Fd,
173 VgLogTo_File,
174 VgLogTo_Socket
175 } VgLogTo;
176
jsgf855d93d2003-10-13 22:26:55 +0000177/* pid of main process */
178extern Int VG_(main_pid);
179
180/* pgrp of process (global to all threads) */
181extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000182
fitzhardingef0046f22003-12-18 02:39:22 +0000183/* Maximum allowed application-visible file descriptor */
184extern Int VG_(max_fd);
185
sewardj72f98ff2002-06-13 17:23:38 +0000186/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000187extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000188/* Enquire about whether to attach to a debugger at errors? default: NO */
189extern Bool VG_(clo_db_attach);
190/* The debugger command? default: whatever gdb ./configure found */
191extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000192/* Enquire about generating a suppression for each error? default: NO */
193extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000194/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
195extern Int VG_(sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000196/* Automatically attempt to demangle C++ names? default: YES */
197extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000198/* Simulate child processes? default: NO */
199extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000200
201/* Where logging output is to be sent to.
202
203 When log_to == VgLogTo_Fd, clo_logfile_fd holds the file id, and is
204 taken from the command line. clo_logfile_name is irrelevant.
205
206 When log_to == VgLogTo_File, clo_logfile_name holds the logfile
207 name, and is taken from the command line. clo_logfile_fd is then
208 made to hold the relevant file id, by opening clo_logfile_name
209 (concatenated with the process ID) for writing.
210
211 When log_to == VgLogTo_Socket, clo_logfile_name holds the
212 hostname:portnumber pair, and is taken from the command line.
213 clo_logfile_fd is then made to hold the relevant file handle, by
214 opening a connection to said hostname:portnumber pair.
215
216 Global default is to set log_to == VgLogTo_Fd and logfile_fd == 2
217 (stderr). */
218extern VgLogTo VG_(clo_log_to);
219extern Int VG_(clo_logfile_fd);
220extern Char* VG_(clo_logfile_name);
sewardjde4a1d02002-03-22 01:27:54 +0000221
sewardj6024b212003-07-13 10:54:33 +0000222/* The file descriptor to read for input. default: 0 == stdin */
223extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000224/* The number of suppression files specified. */
225extern Int VG_(clo_n_suppressions);
226/* The names of the suppression files. */
227extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
228
229/* Single stepping? default: NO */
230extern Bool VG_(clo_single_step);
231/* Code improvement? default: YES */
232extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000233/* DEBUG: print generated code? default: 00000 ( == NO ) */
234extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000235/* DEBUG: print system calls? default: NO */
236extern Bool VG_(clo_trace_syscalls);
237/* DEBUG: print signal details? default: NO */
238extern Bool VG_(clo_trace_signals);
239/* DEBUG: print symtab details? default: NO */
240extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000241/* DEBUG: print thread scheduling events? default: NO */
242extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000243/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
244 (some), 2 (all) */
245extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000246/* Display gory details for the k'th most popular error. default:
247 Infinity. */
248extern Int VG_(clo_dump_error);
249/* Number of parents of a backtrace. Default: 8. */
250extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000251/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000252extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000253/* How often we should poll for signals, assuming we need to poll for
254 signals. */
255extern Int VG_(clo_signal_polltime);
256
257/* Low latency syscalls and signals */
258extern Bool VG_(clo_lowlat_syscalls);
259extern Bool VG_(clo_lowlat_signals);
260
rjwalshf5f536f2003-11-17 17:45:00 +0000261/* Track open file descriptors? */
262extern Bool VG_(clo_track_fds);
263
sewardj858964b2002-10-05 14:15:43 +0000264/* Should we run __libc_freeres at exit? Sometimes causes crashes.
265 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
266 if the latter says False, then the setting of VG_(clo_weird_hacks)
267 is ignored. Ie if a skin says no, I don't want this to run, that
268 cannot be overridden from the command line. */
269extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000270/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000271extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000272/* Generate branch-prediction hints? */
273extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000274/* Continue stack traces below main()? Default: NO */
275extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000276/* Test each client pointer dereference to check it's within the
277 client address space bounds */
278extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000279
280/* ---------------------------------------------------------------------
281 Debugging and profiling stuff
282 ------------------------------------------------------------------ */
283
sewardjde4a1d02002-03-22 01:27:54 +0000284/* Create a logfile into which messages can be dumped. */
285extern void VG_(startup_logging) ( void );
njn25e49d8e72002-09-23 09:36:25 +0000286extern void VG_(shutdown_logging)( void );
sewardjde4a1d02002-03-22 01:27:54 +0000287
288extern void VGP_(init_profiling) ( void );
289extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000290
njn25e49d8e72002-09-23 09:36:25 +0000291#undef VGP_PUSHCC
292#undef VGP_POPCC
293#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
294#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000295
sewardjde4a1d02002-03-22 01:27:54 +0000296/* ---------------------------------------------------------------------
njn810086f2002-11-14 12:42:47 +0000297 Skin-related types
298 ------------------------------------------------------------------ */
299/* These structs are not exposed to skins to mitigate possibility of
300 binary-incompatibilities when the core/skin interface changes. Instead,
301 set functions are provided (see include/vg_skin.h). */
302typedef
303 struct {
304 Char* name;
305 Char* version;
306 Char* description;
307 Char* copyright_author;
308 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000309 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000310 }
311 VgDetails;
312
313extern VgDetails VG_(details);
314
315/* If new fields are added to this type, update:
316 * - vg_main.c:initialisation of VG_(needs)
317 * - vg_main.c:sanity_check_needs()
318 *
319 * If the name of this type or any of its fields change, update:
320 * - dependent comments (just search for "VG_(needs)").
321 */
322typedef
323 struct {
324 Bool libc_freeres;
325 Bool core_errors;
326
327 Bool skin_errors;
328 Bool basic_block_discards;
329 Bool shadow_regs;
330 Bool command_line_options;
331 Bool client_requests;
332 Bool extended_UCode;
333 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000334 Bool sanity_checks;
335 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000336 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000337 }
338 VgNeeds;
339
340extern VgNeeds VG_(needs);
341
fitzhardinge98abfc72003-12-16 02:05:15 +0000342extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000343
fitzhardinge98abfc72003-12-16 02:05:15 +0000344#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000345
346/* ---------------------------------------------------------------------
347 Exports of vg_needs.c
348 ------------------------------------------------------------------ */
349
350void VG_(sanity_check_needs)(void);
351
352/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000353 Exports of vg_malloc2.c
354 ------------------------------------------------------------------ */
355
356/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000357
358 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000359 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000360 SYMTAB for Valgrind's symbol table storage.
361 JITTER for small storage during translation.
362 CLIENT for the client's mallocs/frees, if the skin replaces glibc's
363 malloc() et al -- redzone size is chosen by the skin.
364 DEMANGLE for the C++ demangler.
365 EXECTXT for storing ExeContexts.
366 ERRORS for storing CoreErrors.
367 TRANSIENT for very short-term use. It should be empty in between uses.
368
njn25e49d8e72002-09-23 09:36:25 +0000369 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000370*/
371typedef Int ArenaId;
372
njn3e884182003-04-15 13:03:23 +0000373#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000374
njn3e884182003-04-15 13:03:23 +0000375#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000376#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000377#define VG_AR_SYMTAB 2
378#define VG_AR_JITTER 3
379#define VG_AR_CLIENT 4
380#define VG_AR_DEMANGLE 5
381#define VG_AR_EXECTXT 6
382#define VG_AR_ERRORS 7
383#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000384
njn25e49d8e72002-09-23 09:36:25 +0000385extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
386extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn3e884182003-04-15 13:03:23 +0000387extern void* VG_(arena_calloc) ( ArenaId arena, Int alignment,
388 Int nmemb, Int nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000389extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
390 Int size );
391extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000392 Int req_pszB );
393
njn8a6b6c02003-04-22 22:45:55 +0000394extern Int VG_(arena_payload_szB) ( ArenaId aid, void* payload );
395
sewardjde4a1d02002-03-22 01:27:54 +0000396extern void VG_(mallocSanityCheckAll) ( void );
397
398extern void VG_(show_all_arena_stats) ( void );
399extern Bool VG_(is_empty_arena) ( ArenaId aid );
400
sewardjecf8e102003-07-12 12:11:39 +0000401/* Returns True if aa is inside any block mmap'd /dev/zero
402 by our low-level memory manager. */
403extern Bool VG_(is_inside_segment_mmapd_by_low_level_MM)( Addr aa );
404
sewardjde4a1d02002-03-22 01:27:54 +0000405
sewardjde4a1d02002-03-22 01:27:54 +0000406/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000407 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000408 ------------------------------------------------------------------ */
409
410/* This doesn't export code or data that valgrind.so needs to link
411 against. However, the scheduler does need to know the following
412 request codes. A few, publically-visible, request codes are also
njn25e49d8e72002-09-23 09:36:25 +0000413 defined in valgrind.h, and similar headers for some skins. */
sewardj2e93c502002-04-12 11:12:52 +0000414
njn4c791212003-05-02 17:53:54 +0000415#define VG_USERREQ__MALLOC 0x2001
416#define VG_USERREQ__FREE 0x2002
417
sewardj20917d82002-05-28 01:36:45 +0000418/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
419 MUST NOT return -- ever. Eventually it will do either __QUIT or
420 __WAIT_JOINER. */
421#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
422
423/* ( no-args ): calling thread disappears from the system forever.
424 Reclaim resources. */
425#define VG_USERREQ__QUIT 0x3002
426
427/* ( void* ): calling thread waits for joiner and returns the void* to
428 it. */
429#define VG_USERREQ__WAIT_JOINER 0x3003
430
431/* ( ThreadId, void** ): wait to join a thread. */
432#define VG_USERREQ__PTHREAD_JOIN 0x3004
433
434/* Set cancellation state and type for this thread. */
435#define VG_USERREQ__SET_CANCELSTATE 0x3005
436#define VG_USERREQ__SET_CANCELTYPE 0x3006
437
438/* ( no-args ): Test if we are at a cancellation point. */
439#define VG_USERREQ__TESTCANCEL 0x3007
440
441/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
442 with this arg to indicate that a cancel is now pending for the
443 specified thread. */
444#define VG_USERREQ__SET_CANCELPEND 0x3008
445
446/* Set/get detach state for this thread. */
447#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
448
449#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
450#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
451#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
452#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
453#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
454#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
455#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
456#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
457#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
458#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000459#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
460#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000461#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
462#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000463#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000464#define VG_USERREQ__PTHREAD_KILL 0x301A
465#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000466#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000467
sewardj8ad94e12002-05-29 00:10:20 +0000468#define VG_USERREQ__CLEANUP_PUSH 0x3020
469#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000470#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000471
sewardjef037c72002-05-30 00:40:03 +0000472#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000473
474/* Ask how many signal handler returns have happened to this
475 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000476#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000477
sewardj2cb00342002-06-28 01:46:26 +0000478/* Get/set entries for a thread's pthread_atfork stack. */
479#define VG_USERREQ__SET_FHSTACK_USED 0x3025
480#define VG_USERREQ__GET_FHSTACK_USED 0x3026
481#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
482#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000483
sewardj1fe7b002002-07-16 01:43:15 +0000484/* Denote the finish of VG_(__libc_freeres_wrapper). */
485#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000486#define VG_USERREQ__REGISTER_LIBC_FREERES 0x302A
487
488/* Allocate RT signals */
489#define VG_USERREQ__GET_SIGRT_MIN 0x302B
490#define VG_USERREQ__GET_SIGRT_MAX 0x302C
491#define VG_USERREQ__ALLOC_RTSIG 0x302D
492
493/* Hook for replace_malloc.o to get malloc functions */
494#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
495
496/* Hook for interface to vg_inject.so */
497#define VG_USERREQ__REGISTER_REDIRECT_SYM 0x3031
498#define VG_USERREQ__REGISTER_REDIRECT_ADDR 0x3032
sewardj1fe7b002002-07-16 01:43:15 +0000499
sewardj45b4b372002-04-16 22:50:32 +0000500/* Cosmetic ... */
501#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000502/* Log a pthread error from client-space. Cosmetic. */
503#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000504/* Internal equivalent of VALGRIND_PRINTF . */
505#define VG_USERREQ__INTERNAL_PRINTF 0x3103
506/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
507#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000508
sewardj54cacf02002-04-12 23:24:59 +0000509/*
510In vg_constants.h:
511#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000512*/
513
njn4c791212003-05-02 17:53:54 +0000514
fitzhardinge98abfc72003-12-16 02:05:15 +0000515struct vg_mallocfunc_info {
516 /* things vg_replace_malloc.o needs to know about */
517 Addr sk_malloc;
518 Addr sk_calloc;
519 Addr sk_realloc;
520 Addr sk_memalign;
521 Addr sk___builtin_new;
522 Addr sk___builtin_vec_new;
523 Addr sk_free;
524 Addr sk___builtin_delete;
525 Addr sk___builtin_vec_delete;
526
527 Addr arena_payload_szB;
528
529 Bool clo_sloppy_malloc;
530 Bool clo_trace_malloc;
531};
sewardj1fe7b002002-07-16 01:43:15 +0000532
fitzhardinge39de4b42003-10-31 07:12:21 +0000533__attribute__((weak))
534int
535VALGRIND_INTERNAL_PRINTF(char *format, ...)
536{
537 unsigned int _qzz_res = 0;
538 va_list vargs;
539 va_start(vargs, format);
540 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
541 (unsigned int)format, (unsigned int)vargs, 0, 0);
542 va_end(vargs);
543 return _qzz_res;
544}
545
546__attribute__((weak))
547int
548VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
549{
550 unsigned int _qzz_res = 0;
551 va_list vargs;
552 va_start(vargs, format);
553 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
554 (unsigned int)format, (unsigned int)vargs, 0, 0);
555 va_end(vargs);
556 return _qzz_res;
557}
558
sewardj54cacf02002-04-12 23:24:59 +0000559
sewardj2e93c502002-04-12 11:12:52 +0000560/* ---------------------------------------------------------------------
561 Constants pertaining to the simulated CPU state, VG_(baseBlock),
562 which need to go here to avoid ugly circularities.
563 ------------------------------------------------------------------ */
564
sewardjb91ae7f2003-04-29 23:50:00 +0000565/* How big is the saved SSE/SSE2 state? Note that this subsumes the
566 FPU state. On machines without SSE, we just save/restore the FPU
567 state into the first part of this area. */
568/* A general comment about SSE save/restore: It appears that the 7th
569 word (which is the MXCSR) has to be &ed with 0x0000FFBF in order
570 that restoring from it later does not cause a GP fault (which is
571 delivered as a segfault). I guess this will have to be done
572 any time we do fxsave :-( 7th word means word offset 6 or byte
573 offset 24 from the start address of the save area.
574 */
575#define VG_SIZE_OF_SSESTATE 512
sewardj2e93c502002-04-12 11:12:52 +0000576/* ... and in words ... */
sewardjb91ae7f2003-04-29 23:50:00 +0000577#define VG_SIZE_OF_SSESTATE_W ((VG_SIZE_OF_SSESTATE+3)/4)
sewardj2e93c502002-04-12 11:12:52 +0000578
579
580/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000581 Exports of vg_defaults.c
582 ------------------------------------------------------------------ */
583
584extern Bool VG_(sk_malloc_called_by_scheduler);
585
586
587/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000588 Exports of vg_ldt.c
589 ------------------------------------------------------------------ */
590
591/* This is the hardware-format for a segment descriptor, ie what the
592 x86 actually deals with. It is 8 bytes long. It's ugly. */
593
594typedef struct _LDT_ENTRY {
595 union {
596 struct {
597 UShort LimitLow;
598 UShort BaseLow;
599 unsigned BaseMid : 8;
600 unsigned Type : 5;
601 unsigned Dpl : 2;
602 unsigned Pres : 1;
603 unsigned LimitHi : 4;
604 unsigned Sys : 1;
605 unsigned Reserved_0 : 1;
606 unsigned Default_Big : 1;
607 unsigned Granularity : 1;
608 unsigned BaseHi : 8;
609 } Bits;
610 struct {
611 UInt word1;
612 UInt word2;
613 } Words;
614 }
615 LdtEnt;
616} VgLdtEntry;
617
618/* Maximum number of LDT entries supported (by the x86). */
619#define VG_M_LDT_ENTRIES 8192
620/* The size of each LDT entry == sizeof(VgLdtEntry) */
621#define VG_LDT_ENTRY_SIZE 8
622
623/* Alloc & copy, and dealloc. */
624extern VgLdtEntry*
625 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
626extern void
627 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
fitzhardinge47735af2004-01-21 01:27:27 +0000628extern void
629 VG_(clear_TLS_for_thread) ( VgLdtEntry* tls );
sewardj92a59562002-09-30 00:53:10 +0000630
631/* Simulate the modify_ldt syscall. */
632extern Int VG_(sys_modify_ldt) ( ThreadId tid,
633 Int func, void* ptr, UInt bytecount );
634
fitzhardinge47735af2004-01-21 01:27:27 +0000635/* Simulate the {get,set}_thread_area syscalls. */
636extern Int VG_(sys_set_thread_area) ( ThreadId tid,
637 struct vki_modify_ldt_ldt_s* info );
638extern Int VG_(sys_get_thread_area) ( ThreadId tid,
639 struct vki_modify_ldt_ldt_s* info );
640
sewardje1042472002-09-30 12:33:11 +0000641/* Called from generated code. Given a segment selector and a virtual
642 address, return a linear address, and do limit checks too. */
643extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
644
sewardj92a59562002-09-30 00:53:10 +0000645
646/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000647 Exports of vg_scheduler.c
648 ------------------------------------------------------------------ */
649
sewardj2e93c502002-04-12 11:12:52 +0000650typedef
jsgf855d93d2003-10-13 22:26:55 +0000651 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000652 VgTs_Empty, /* this slot is not in use */
653 VgTs_Runnable, /* waiting to be scheduled */
654 VgTs_WaitJoiner, /* waiting for someone to do join on me */
655 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000656 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000657 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000658 VgTs_WaitSys, /* waiting for a syscall to complete */
659 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000660 }
661 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000662
663/* An entry in a threads's cleanup stack. */
664typedef
665 struct {
666 void (*fn)(void*);
667 void* arg;
668 }
669 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000670
671/* An entry in a thread's fork-handler stack. */
672typedef
673 struct {
674 void (*prepare)(void);
675 void (*parent)(void);
676 void (*child)(void);
677 }
678 ForkHandlerEntry;
679
jsgf855d93d2003-10-13 22:26:55 +0000680typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000681
njn72718642003-07-24 08:45:32 +0000682typedef
683 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000684 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
685 The thread identity is simply the index in vg_threads[].
686 ThreadId == 1 is the root thread and has the special property
687 that we don't try and allocate or deallocate its stack. For
688 convenience of generating error message, we also put the
689 ThreadId in this tid field, but be aware that it should
690 ALWAYS == the index in vg_threads[]. */
691 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000692
njn25e49d8e72002-09-23 09:36:25 +0000693 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000694
njn25e49d8e72002-09-23 09:36:25 +0000695 Complications: whenever this is set to VgTs_WaitMX, you
696 should also set .m_edx to whatever the required return value
697 is for pthread_mutex_lock / pthread_cond_timedwait for when
698 the mutex finally gets unblocked. */
699 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000700
njn25e49d8e72002-09-23 09:36:25 +0000701 /* When .status == WaitMX, points to the mutex I am waiting for.
702 When .status == WaitCV, points to the mutex associated with
703 the condition variable indicated by the .associated_cv field.
704 In all other cases, should be NULL. */
705 void* /*pthread_mutex_t* */ associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000706
njn25e49d8e72002-09-23 09:36:25 +0000707 /* When .status == WaitCV, points to the condition variable I am
708 waiting for. In all other cases, should be NULL. */
709 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000710
njn25e49d8e72002-09-23 09:36:25 +0000711 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000712 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000713
njn25e49d8e72002-09-23 09:36:25 +0000714 If VgTs_WaitCV, this indicates the time at which
715 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
716 this means infinitely far in the future, viz,
717 pthread_cond_wait. */
718 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000719
njn25e49d8e72002-09-23 09:36:25 +0000720 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
721 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000722
njn25e49d8e72002-09-23 09:36:25 +0000723 /* If VgTs_WaitJoinee, place to copy the return value to, and
724 the identity of the thread we're waiting for. */
725 void** joiner_thread_return;
726 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000727
jsgf855d93d2003-10-13 22:26:55 +0000728 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
729 void *sys_pre_res;
730
731 /* If VgTs_WaitSys, this is the syscall we're currently running */
732 Int syscallno;
733
734 /* Details about this thread's proxy LWP */
735 ProxyLWP *proxy;
736
njn25e49d8e72002-09-23 09:36:25 +0000737 /* Whether or not detached. */
738 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000739
njn25e49d8e72002-09-23 09:36:25 +0000740 /* Cancelability state and type. */
741 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
742 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
743
744 /* Pointer to fn to call to do cancellation. Indicates whether
745 or not cancellation is pending. If NULL, not pending. Else
746 should be &thread_exit_wrapper(), indicating that
747 cancallation is pending. */
748 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000749
njn25e49d8e72002-09-23 09:36:25 +0000750 /* The cleanup stack. */
751 Int custack_used;
752 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000753
sewardj00a66b12002-10-12 16:42:35 +0000754 /* A pointer to the thread's-specific-data. This is handled almost
755 entirely from vg_libpthread.c. We just provide hooks to get and
756 set this ptr. This is either NULL, indicating the thread has
757 read/written none of its specifics so far, OR points to a
758 void*[VG_N_THREAD_KEYS], allocated and deallocated in
759 vg_libpthread.c. */
760 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000761
njn25e49d8e72002-09-23 09:36:25 +0000762 /* This thread's blocked-signals mask. Semantics is that for a
763 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000764 blocked by this signal mask. If more than one thread accepts a
765 signal, then it will be delivered to one at random. If all
766 threads block the signal, it will remain pending until either a
767 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
768
769 sig_mask reflects what the client told us its signal mask should
770 be, but isn't necessarily the current signal mask of the proxy
771 LWP: it may have more signals blocked because of signal
772 handling, or it may be different because of sigsuspend.
773 */
njn25e49d8e72002-09-23 09:36:25 +0000774 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000775
fitzhardingef0dd7e12004-01-16 02:17:30 +0000776 /* Effective signal mask. This is the mask which currently
777 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000778 handler is running.
779 */
780 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000781
njn25e49d8e72002-09-23 09:36:25 +0000782 /* Stacks. When a thread slot is freed, we don't deallocate its
783 stack; we just leave it lying around for the next use of the
784 slot. If the next use of the slot requires a larger stack,
785 only then is the old one deallocated and a new one
786 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000787
njn25e49d8e72002-09-23 09:36:25 +0000788 For the main thread (threadid == 0), this mechanism doesn't
789 apply. We don't know the size of the stack since we didn't
790 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000791
njn25e49d8e72002-09-23 09:36:25 +0000792 /* The allocated size of this thread's stack (permanently zero
793 if this is ThreadId == 0, since we didn't allocate its stack) */
794 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000795
njn25e49d8e72002-09-23 09:36:25 +0000796 /* Address of the lowest word in this thread's stack. NULL means
797 not allocated yet.
798 */
799 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000800
sewardj92a59562002-09-30 00:53:10 +0000801 /* Address of the highest legitimate word in this stack. This is
802 used for error messages only -- not critical for execution
803 correctness. Is is set for all stacks, specifically including
804 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000805 Addr stack_highest_word;
806
sewardj92a59562002-09-30 00:53:10 +0000807 /* Pointer to this thread's Local (Segment) Descriptor Table.
808 Starts out as NULL, indicating there is no table, and we hope to
809 keep it that way. If the thread does __NR_modify_ldt to create
810 entries, we allocate a 8192-entry table at that point. This is
811 a straight copy of the Linux kernel's scheme. Don't forget to
812 deallocate this at thread exit. */
813 VgLdtEntry* ldt;
814
fitzhardinge47735af2004-01-21 01:27:27 +0000815 /* TLS table. This consists of a small number (currently 3) of
816 entries from the Global Descriptor Table. */
817 VgLdtEntry tls[VKI_GDT_TLS_ENTRIES];
818
sewardj92a59562002-09-30 00:53:10 +0000819 /* Saved machine context. Note the FPU state, %EIP and segment
820 registers are not shadowed.
821
822 Although the segment registers are 16 bits long, storage
nethercote1d447092004-02-01 17:29:59 +0000823 management here and in VG_(baseBlock) is
sewardj92a59562002-09-30 00:53:10 +0000824 simplified if we pretend they are 32 bits. */
825 UInt m_cs;
826 UInt m_ss;
827 UInt m_ds;
828 UInt m_es;
829 UInt m_fs;
830 UInt m_gs;
831
njn25e49d8e72002-09-23 09:36:25 +0000832 UInt m_eax;
833 UInt m_ebx;
834 UInt m_ecx;
835 UInt m_edx;
836 UInt m_esi;
837 UInt m_edi;
838 UInt m_ebp;
839 UInt m_esp;
840 UInt m_eflags;
841 UInt m_eip;
sewardjb91ae7f2003-04-29 23:50:00 +0000842
843 /* The SSE/FPU state. This array does not (necessarily) have the
844 required 16-byte alignment required to get stuff in/out by
845 fxsave/fxrestore. So we have to do it "by hand".
846 */
847 UInt m_sse[VG_SIZE_OF_SSESTATE_W];
njn25e49d8e72002-09-23 09:36:25 +0000848
849 UInt sh_eax;
850 UInt sh_ebx;
851 UInt sh_ecx;
852 UInt sh_edx;
853 UInt sh_esi;
854 UInt sh_edi;
855 UInt sh_ebp;
856 UInt sh_esp;
857 UInt sh_eflags;
njn72718642003-07-24 08:45:32 +0000858}
859ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000860
861
sewardj018f7622002-05-15 21:13:39 +0000862/* The thread table. */
863extern ThreadState VG_(threads)[VG_N_THREADS];
864
865/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000866extern Bool VG_(is_valid_tid) ( ThreadId tid );
867
sewardj018f7622002-05-15 21:13:39 +0000868/* Check that tid is in range. */
869extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
870
njn72718642003-07-24 08:45:32 +0000871/* Determine if 'tid' is that of the current running thread (Nb: returns
872 False if no thread is currently running. */
873extern Bool VG_(is_running_thread)(ThreadId tid);
874
jsgf855d93d2003-10-13 22:26:55 +0000875/* Get the ThreadState for a particular thread */
876extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
877
sewardj2e93c502002-04-12 11:12:52 +0000878/* Copy the specified thread's state into VG_(baseBlock) in
879 preparation for running it. */
880extern void VG_(load_thread_state)( ThreadId );
881
882/* Save the specified thread's state back in VG_(baseBlock), and fill
883 VG_(baseBlock) with junk, for sanity-check reasons. */
884extern void VG_(save_thread_state)( ThreadId );
885
sewardj1e8cdc92002-04-18 11:37:52 +0000886/* And for the currently running one, if valid. */
887extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000888
sewardj1e8cdc92002-04-18 11:37:52 +0000889/* Similarly ... */
890extern ThreadId VG_(get_current_tid) ( void );
891
sewardjccef2e62002-05-29 19:26:32 +0000892/* Nuke all threads except tid. */
893extern void VG_(nuke_all_threads_except) ( ThreadId me );
894
jsgf855d93d2003-10-13 22:26:55 +0000895/* Give a hint to the scheduler that it may be a good time to find a
896 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
897 try to schedule that thread.
898*/
899extern void VG_(need_resched) ( ThreadId prefer_sched );
900
901/* Add a new timeout event for a thread*/
902extern void VG_(add_timeout) ( ThreadId tid, UInt time );
sewardj2e93c502002-04-12 11:12:52 +0000903
904/* Return codes from the scheduler. */
905typedef
sewardj7e87e382002-05-03 19:09:05 +0000906 enum {
907 VgSrc_Deadlock, /* no runnable threads and no prospect of any
908 even if we wait for a long time */
909 VgSrc_ExitSyscall, /* client called exit(). This is the normal
910 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000911 VgSrc_FatalSig /* Killed by the default action of a fatal
912 signal */
sewardj7e87e382002-05-03 19:09:05 +0000913 }
sewardj2e93c502002-04-12 11:12:52 +0000914 VgSchedReturnCode;
915
sewardj7e87e382002-05-03 19:09:05 +0000916
sewardj2e93c502002-04-12 11:12:52 +0000917/* The scheduler. */
918extern VgSchedReturnCode VG_(scheduler) ( void );
919
920extern void VG_(scheduler_init) ( void );
921
sewardj15a43e12002-04-17 19:35:12 +0000922extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000923
924/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
925extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000926/* This says whether scheduler_jmpbuf is actually valid. Needed so
927 that our signal handler doesn't longjmp when the buffer isn't
928 actually valid. */
929extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000930/* ... and if so, here's the signal which caused it to do so. */
931extern Int VG_(longjmpd_on_signal);
932
933
sewardj2e93c502002-04-12 11:12:52 +0000934/* The red-zone size which we put at the bottom (highest address) of
935 thread stacks, for paranoia reasons. This can be arbitrary, and
936 doesn't really need to be set at compile time. */
937#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
938
939#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
940 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
941
njn25e49d8e72002-09-23 09:36:25 +0000942/* Junk to fill up a thread's shadow regs with when shadow regs aren't
njnd3040452003-05-19 15:04:06 +0000943 being used. */
njn25e49d8e72002-09-23 09:36:25 +0000944#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
njnd3040452003-05-19 15:04:06 +0000945/* For sanity checking: if this ends up in a thread's shadow regs when
946 shadow regs aren't being used, something went wrong. */
947#define VG_USED_SHADOW_REG_VALUE 0x31415927
njn25e49d8e72002-09-23 09:36:25 +0000948
njnd3040452003-05-19 15:04:06 +0000949/* Write a value to a client's thread register, and shadow (if necessary) */
950#define SET_THREAD_REG( zztid, zzval, zzreg, zzREG, zzevent, zzargs... ) \
951 do { VG_(threads)[zztid].m_##zzreg = (zzval); \
952 VG_TRACK( zzevent, zztid, R_##zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000953 } while (0)
954
njnd3040452003-05-19 15:04:06 +0000955#define SET_SYSCALL_RETVAL(zztid, zzval) \
956 SET_THREAD_REG(zztid, zzval, eax, EAX, post_reg_write_syscall_return)
957
958#define SET_SIGNAL_EDX(zztid, zzval) \
959 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_deliver_signal)
960
961#define SET_SIGNAL_ESP(zztid, zzval) \
962 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_deliver_signal)
963
964#define SET_CLREQ_RETVAL(zztid, zzval) \
965 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientreq_return)
966
967#define SET_CLCALL_RETVAL(zztid, zzval, f) \
968 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientcall_return, f)
969
970#define SET_PTHREQ_ESP(zztid, zzval) \
971 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_pthread_return)
972
973#define SET_PTHREQ_RETVAL(zztid, zzval) \
974 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +0000975
sewardj2e93c502002-04-12 11:12:52 +0000976
sewardjd8acdf22002-11-13 21:57:52 +0000977/* This is or'd into a pthread mutex's __m_kind field if it is used
978 before Valgrind is up and running (prehistory). This is used so
979 that if some early code (like the dynamic linker) takes a lock
980 before Valgrind starts and then releases it afterwards, we can work
981 out what's happening. */
982#define VG_PTHREAD_PREHISTORY 0x80000000
983
sewardj2e93c502002-04-12 11:12:52 +0000984/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000985 Exports of vg_signals.c
986 ------------------------------------------------------------------ */
987
jsgf855d93d2003-10-13 22:26:55 +0000988extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
989
990/* RT signal allocation */
991extern Int VG_(sig_rtmin);
992extern Int VG_(sig_rtmax);
993extern Int VG_(sig_alloc_rtsig) ( Int high );
994
sewardjde4a1d02002-03-22 01:27:54 +0000995extern void VG_(sigstartup_actions) ( void );
sewardj839299f2003-06-14 11:57:59 +0000996extern void VG_(sigshutdown_actions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000997
jsgf855d93d2003-10-13 22:26:55 +0000998extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000999extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +00001000extern void VG_(handle_SCSS_change) ( Bool force_update );
1001
jsgf855d93d2003-10-13 22:26:55 +00001002extern Bool VG_(is_sig_ign) ( Int sigNo );
1003
1004/* Route pending signals from the scheduler LWP to the appropriate
1005 thread LWP. */
1006extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001007
1008/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +00001009extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +00001010extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +00001011extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
1012 Int how,
1013 vki_ksigset_t* set,
1014 vki_ksigset_t* oldset );
1015extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
1016 Int how,
1017 vki_ksigset_t* set,
1018 vki_ksigset_t* oldset );
1019extern void VG_(send_signal_to_thread) ( ThreadId thread,
1020 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +00001021
sewardjefbfcdf2002-06-19 17:35:45 +00001022extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
1023
1024
sewardj2e93c502002-04-12 11:12:52 +00001025/* Modify the current thread's state once we have detected it is
1026 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +00001027extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +00001028
sewardj2e93c502002-04-12 11:12:52 +00001029/* Handy utilities to block/restore all host signals. */
1030extern void VG_(block_all_host_signals)
1031 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +00001032extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +00001033 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +00001034
jsgf855d93d2003-10-13 22:26:55 +00001035extern vki_ksiginfo_t VG_(unresumable_siginfo);
1036
1037extern void VG_(kill_self)(Int sigNo);
1038
sewardjde4a1d02002-03-22 01:27:54 +00001039/* ---------------------------------------------------------------------
1040 Exports of vg_mylibc.c
1041 ------------------------------------------------------------------ */
1042
njne427a662002-10-02 11:08:25 +00001043#define vg_assert(expr) \
1044 ((void) ((expr) ? 0 : \
1045 (VG_(core_assert_fail) (VG__STRING(expr), \
1046 __FILE__, __LINE__, \
1047 __PRETTY_FUNCTION__), 0)))
1048__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001049extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1050 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001051__attribute__ ((__noreturn__))
1052extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +00001053
njn25e49d8e72002-09-23 09:36:25 +00001054/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
1055extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +00001056
njn25e49d8e72002-09-23 09:36:25 +00001057/* Skins use VG_(strdup)() which doesn't expose ArenaId */
1058extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001059
njn25e49d8e72002-09-23 09:36:25 +00001060extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +00001061extern Int VG_(select)( Int n,
1062 vki_fd_set* readfds,
1063 vki_fd_set* writefds,
1064 vki_fd_set* exceptfds,
1065 struct vki_timeval * timeout );
jsgf855d93d2003-10-13 22:26:55 +00001066extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001067extern Int VG_(nanosleep)( const struct vki_timespec *req,
1068 struct vki_timespec *rem );
1069
fitzhardinge98abfc72003-12-16 02:05:15 +00001070/* system/mman.h */
1071extern void* VG_(mmap)( void* start, UInt length,
1072 UInt prot, UInt flags, UInt fd, UInt offset );
1073extern Int VG_(munmap)( void* start, Int length );
1074extern Int VG_(mprotect)( void *start, Int length, UInt prot );
1075
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
fitzhardinge98abfc72003-12-16 02:05:15 +00001085/* Environment manipulations */
nethercoteff9721d2004-01-26 17:10:01 +00001086extern Char **VG_(env_clone) ( Char **oldenv );
fitzhardinge98abfc72003-12-16 02:05:15 +00001087extern Char* VG_(env_getenv) ( Char **env, Char* varname );
1088extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname, const Char *val );
1089extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
sewardj570f8902002-11-03 11:44:36 +00001090
1091/* ---------------------------------------------------------------------
1092 Exports of vg_message.c
1093 ------------------------------------------------------------------ */
1094
1095/* Low-level -- send bytes directly to the message sink. Do not
1096 use. */
1097extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1098
1099
sewardjde4a1d02002-03-22 01:27:54 +00001100/* ---------------------------------------------------------------------
1101 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
1102 vg_from_ucode.c).
1103 ------------------------------------------------------------------ */
1104
sewardjde4a1d02002-03-22 01:27:54 +00001105#define VG_IS_FLAG_SUBSET(set1,set2) \
1106 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
1107
1108#define VG_UNION_FLAG_SETS(set1,set2) \
1109 ( ((FlagSet)set1) | ((FlagSet)set2) )
1110
sewardjde4a1d02002-03-22 01:27:54 +00001111/* ---------------------------------------------------------------------
1112 Exports of vg_demangle.c
1113 ------------------------------------------------------------------ */
1114
1115extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1116
sewardjde4a1d02002-03-22 01:27:54 +00001117/* ---------------------------------------------------------------------
1118 Exports of vg_from_ucode.c
1119 ------------------------------------------------------------------ */
1120
sewardj22854b92002-11-30 14:00:47 +00001121extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001122
njn25e49d8e72002-09-23 09:36:25 +00001123extern void VG_(print_ccall_stats) ( void );
1124extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001125
sewardj22854b92002-11-30 14:00:47 +00001126extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1127extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
1128extern Bool VG_(is_unchained_jumpsite) ( Addr jumpsite );
1129extern Bool VG_(is_chained_jumpsite) ( Addr jumpsite );
1130
sewardjde4a1d02002-03-22 01:27:54 +00001131/* ---------------------------------------------------------------------
1132 Exports of vg_to_ucode.c
1133 ------------------------------------------------------------------ */
1134
fitzhardingec2dbbac2004-01-23 23:09:01 +00001135Bool VG_(cpu_has_feature)(UInt feat);
1136
sewardjde4a1d02002-03-22 01:27:54 +00001137extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001138
1139/* ---------------------------------------------------------------------
1140 Exports of vg_translate.c
1141 ------------------------------------------------------------------ */
1142
njn810086f2002-11-14 12:42:47 +00001143/* Expandable arrays of uinstrs. */
1144struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001145 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001146 Int used;
1147 Int size;
1148 UInstr* instrs;
1149 Int nextTemp;
1150};
1151
1152extern UCodeBlock* VG_(alloc_UCodeBlock) ( void );
1153
njn72718642003-07-24 08:45:32 +00001154extern void VG_(translate) ( ThreadId tid,
sewardj1e8cdc92002-04-18 11:37:52 +00001155 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +00001156 UInt* orig_size,
1157 Addr* trans_addr,
sewardj22854b92002-11-30 14:00:47 +00001158 UInt* trans_size,
1159 UShort jumps[VG_MAX_JUMPS]);
sewardjde4a1d02002-03-22 01:27:54 +00001160
njn25e49d8e72002-09-23 09:36:25 +00001161extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
1162 UInstr* u );
1163extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
1164extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +00001165
sewardjb5ff83e2002-12-01 19:40:49 +00001166
sewardjde4a1d02002-03-22 01:27:54 +00001167/* ---------------------------------------------------------------------
1168 Exports of vg_execontext.c.
1169 ------------------------------------------------------------------ */
1170
1171/* Records the PC and a bit of the call chain. The first 4 %eip
1172 values are used in comparisons do remove duplicate errors, and for
1173 comparing against suppression specifications. The rest are purely
1174 informational (but often important). */
1175
njn25e49d8e72002-09-23 09:36:25 +00001176struct _ExeContext {
1177 struct _ExeContext * next;
1178 /* Variable-length array. The size is VG_(clo_backtrace_size); at
njn6c846552003-09-16 07:41:43 +00001179 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
njn25e49d8e72002-09-23 09:36:25 +00001180 [1] is its caller, [2] is the caller of [1], etc. */
1181 Addr eips[0];
1182};
sewardjde4a1d02002-03-22 01:27:54 +00001183
1184
sewardjde4a1d02002-03-22 01:27:54 +00001185/* Print stats (informational only). */
1186extern void VG_(show_ExeContext_stats) ( void );
1187
njn25e49d8e72002-09-23 09:36:25 +00001188/* Like VG_(get_ExeContext), but with a slightly different type */
1189extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1190 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001191
1192
1193/* ---------------------------------------------------------------------
1194 Exports of vg_errcontext.c.
1195 ------------------------------------------------------------------ */
1196
njn25e49d8e72002-09-23 09:36:25 +00001197/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1198 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +00001199typedef
njn25e49d8e72002-09-23 09:36:25 +00001200 enum {
1201 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +00001202 }
njn25e49d8e72002-09-23 09:36:25 +00001203 CoreSuppKind;
1204
1205/* For each caller specified for a suppression, record the nature of
1206 the caller name. Not of interest to skins. */
1207typedef
1208 enum {
1209 ObjName, /* Name is of an shared object file. */
1210 FunName /* Name is of a function. */
1211 }
1212 SuppLocTy;
1213
njn810086f2002-11-14 12:42:47 +00001214/* Suppressions. Skins can get/set skin-relevant parts with functions
1215 declared in include/vg_skin.h. Extensible via the 'extra' field.
1216 Skins can use a normal enum (with element values in the normal range
1217 (0..)) for `skind'. */
1218struct _Supp {
1219 struct _Supp* next;
1220 /* The number of times this error has been suppressed. */
1221 Int count;
1222 /* The name by which the suppression is referred to. */
1223 Char* sname;
1224 /* First two (name of fn where err occurs, and immediate caller)
1225 * are mandatory; extra two are optional. */
1226 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
1227 Char* caller [VG_N_SUPP_CALLERS];
1228
1229 /* The skin-specific part */
1230 /* What kind of suppression. Must use the range (0..) */
1231 SuppKind skind;
1232 /* String -- use is optional. NULL by default. */
1233 Char* string;
1234 /* Anything else -- use is optional. NULL by default. */
1235 void* extra;
1236};
njn25e49d8e72002-09-23 09:36:25 +00001237
1238/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1239 * effectively extend it by defining their own enums in the (0..) range. */
1240typedef
1241 enum {
1242 PThreadErr = -1, /* Pthreading error */
1243 }
1244 CoreErrorKind;
1245
njn810086f2002-11-14 12:42:47 +00001246/* Errors. Extensible (via the 'extra' field). Skins can use a normal
1247 enum (with element values in the normal range (0..)) for `ekind'.
1248 Functions for getting/setting the skin-relevant fields are in
1249 include/vg_skin.h.
1250
1251 When errors are found and recorded with VG_(maybe_record_error)(), all
1252 the skin must do is pass in the four parameters; core will
1253 allocate/initialise the error record.
1254*/
1255struct _Error {
1256 struct _Error* next;
1257 /* NULL if unsuppressed; or ptr to suppression record. */
1258 Supp* supp;
1259 Int count;
njn810086f2002-11-14 12:42:47 +00001260 ThreadId tid;
njn810086f2002-11-14 12:42:47 +00001261
1262 /* The skin-specific part */
njnae17bec2003-01-28 19:59:38 +00001263 /* Initialised by core */
1264 ExeContext* where;
njn810086f2002-11-14 12:42:47 +00001265 /* Used by ALL. Must be in the range (0..) */
1266 Int ekind;
1267 /* Used frequently */
1268 Addr addr;
1269 /* Used frequently */
1270 Char* string;
1271 /* For any skin-specific extras */
1272 void* extra;
1273};
sewardjde4a1d02002-03-22 01:27:54 +00001274
1275
njn25e49d8e72002-09-23 09:36:25 +00001276extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001277
njn25e49d8e72002-09-23 09:36:25 +00001278extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001279
njn25e49d8e72002-09-23 09:36:25 +00001280extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001281
njn43c799e2003-04-08 00:08:52 +00001282extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
1283
njn47363ab2003-04-21 13:24:40 +00001284extern UInt VG_(n_errs_found);
1285
sewardjde4a1d02002-03-22 01:27:54 +00001286/* ---------------------------------------------------------------------
1287 Exports of vg_procselfmaps.c
1288 ------------------------------------------------------------------ */
1289
njnfa1016e2003-09-25 17:54:11 +00001290/* Reads /proc/self/maps into a static buffer which can be parsed by
1291 VG_(parse_procselfmaps)(). */
1292extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001293
1294/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1295 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1296 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001297extern
njnfa1016e2003-09-25 17:54:11 +00001298void VG_(parse_procselfmaps) (
fitzhardinge98abfc72003-12-16 02:05:15 +00001299 void (*record_mapping)( Addr addr, UInt len, Char rr, Char ww, Char xx,
1300 UInt dev, UInt ino, ULong foff, const UChar *filename )
sewardjde4a1d02002-03-22 01:27:54 +00001301);
1302
1303
1304/* ---------------------------------------------------------------------
1305 Exports of vg_symtab2.c
1306 ------------------------------------------------------------------ */
1307
fitzhardinge98abfc72003-12-16 02:05:15 +00001308typedef struct _Segment Segment;
1309
1310extern Bool VG_(is_object_file) ( const void *hdr );
njnfa1016e2003-09-25 17:54:11 +00001311extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001312extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
njnfa1016e2003-09-25 17:54:11 +00001313extern void VG_(unload_symbols) ( Addr start, UInt length );
fitzhardinge98abfc72003-12-16 02:05:15 +00001314extern void VG_(symtab_incref) ( SegInfo * );
1315extern void VG_(symtab_decref) ( SegInfo *, Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001316
njn25e49d8e72002-09-23 09:36:25 +00001317extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001318
fitzhardinge98abfc72003-12-16 02:05:15 +00001319/* Set up some default redirects */
1320extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001321
fitzhardinge98abfc72003-12-16 02:05:15 +00001322/* Redirection machinery */
1323extern void VG_(add_redirect_sym)(const Char *from_lib, const Char *from_sym,
1324 const Char *to_lib, const Char *to_sym);
1325extern void VG_(add_redirect_addr)(const Char *from_lib, const Char *from_sym,
1326 Addr to_addr);
1327extern Addr VG_(code_redirect) (Addr orig);
sewardjde4a1d02002-03-22 01:27:54 +00001328
1329/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001330 Exports of vg_main.c
1331 ------------------------------------------------------------------ */
1332
sewardjb91ae7f2003-04-29 23:50:00 +00001333/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1334 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001335 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001336 correctly snapshot the startup machine state without it. */
1337extern Bool VG_(have_ssestate);
1338
sewardj73cf3bc2002-11-03 03:20:15 +00001339/* Tell the logging mechanism whether we are logging to a file
1340 descriptor or a socket descriptor. */
1341extern Bool VG_(logging_to_filedes);
1342
njn25e49d8e72002-09-23 09:36:25 +00001343/* Sanity checks which may be done at any time. The scheduler decides when. */
1344extern void VG_(do_sanity_checks) ( Bool force_expensive );
1345
fitzhardinge98abfc72003-12-16 02:05:15 +00001346/* Address space */
1347extern Addr VG_(client_base); /* client address space limits */
1348extern Addr VG_(client_end);
1349extern Addr VG_(client_mapbase); /* base of mappings */
1350extern Addr VG_(clstk_base); /* client stack range */
1351extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001352extern Addr VG_(client_trampoline_code);
1353
fitzhardinge98abfc72003-12-16 02:05:15 +00001354extern Addr VG_(brk_base); /* start of brk */
1355extern Addr VG_(brk_limit); /* current brk */
1356extern Addr VG_(shadow_base); /* skin's shadow memory */
1357extern Addr VG_(shadow_end);
1358extern Addr VG_(valgrind_base); /* valgrind's address range */
1359extern Addr VG_(valgrind_mmap_end);
1360extern Addr VG_(valgrind_end);
1361
fitzhardingeb50068f2004-02-24 23:42:55 +00001362extern vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1363
fitzhardinge98abfc72003-12-16 02:05:15 +00001364/* stage1 executable file descriptor */
fitzhardingea49f9b52003-12-16 22:26:45 +00001365extern Int VG_(vgexecfd);
1366
1367/* client executable file descriptor */
1368extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001369
njn9b007f62003-04-07 14:40:25 +00001370/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001371extern Bool VG_(need_to_handle_esp_assignment) ( void );
1372
sewardjde4a1d02002-03-22 01:27:54 +00001373/* Called when some unhandleable client behaviour is detected.
1374 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001375extern void VG_(unimplemented) ( Char* msg )
1376 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001377
njn25e49d8e72002-09-23 09:36:25 +00001378/* Similarly, we have to ask for signals to be delivered on an alternative
1379 stack, since it is possible, although unlikely, that we'll have to run
1380 client code from inside the Valgrind-installed signal handler. If this
1381 happens it will be done by vg_deliver_signal_immediately(). */
njn6eba4ef2003-05-01 08:06:41 +00001382extern UInt VG_(sigstack)[VG_SIGSTACK_SIZE_W];
sewardjde4a1d02002-03-22 01:27:54 +00001383
fitzhardinge98abfc72003-12-16 02:05:15 +00001384/* Valgrind's argc and argv */
1385extern Int VG_(vg_argc);
1386extern Char **VG_(vg_argv);
1387
sewardjd5815ec2003-04-06 12:23:27 +00001388/* Indicates presence, and holds address of client's sysinfo page, a
1389 feature of some modern kernels used to provide vsyscalls, etc. */
1390extern Bool VG_(sysinfo_page_exists);
1391extern Addr VG_(sysinfo_page_addr);
1392
nethercoteff9721d2004-01-26 17:10:01 +00001393/* Walk through a colon separated list variable, removing entries
1394 which match pattern. */
1395extern void VG_(mash_colon_env)(Char *varp, const Char *pattern);
1396
nethercote04d0fbc2004-01-26 16:48:06 +00001397/* Something of a function looking for a home ... start up debugger. */
1398extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001399
njn41557122002-10-14 09:25:37 +00001400/* VG_(bbs_done) in include/vg_skin.h */
1401
sewardjde4a1d02002-03-22 01:27:54 +00001402/* 64-bit counter for the number of bbs to go before a debug exit. */
1403extern ULong VG_(bbs_to_go);
1404
1405/* Counts downwards in vg_run_innerloop. */
1406extern UInt VG_(dispatch_ctr);
1407
sewardj7e87e382002-05-03 19:09:05 +00001408/* This is the ThreadId of the last thread the scheduler ran. */
1409extern ThreadId VG_(last_run_tid);
1410
njn25e49d8e72002-09-23 09:36:25 +00001411/* This is the argument to __NR_exit() supplied by the first thread to
1412 call that syscall. We eventually pass that to __NR_exit() for
1413 real. */
njn633de322003-05-12 20:40:13 +00001414extern Int VG_(exitcode);
njn25e49d8e72002-09-23 09:36:25 +00001415
jsgf855d93d2003-10-13 22:26:55 +00001416/* If we're doing the default action of a fatal signal */
1417extern jmp_buf VG_(fatal_signal_jmpbuf);
1418extern Bool VG_(fatal_signal_set); /* jmp_buf is valid */
1419extern Int VG_(fatal_sigNo); /* the fatal signal */
sewardjde4a1d02002-03-22 01:27:54 +00001420
1421/* --- Counters, for informational purposes only. --- */
1422
1423/* Number of lookups which miss the fast tt helper. */
1424extern UInt VG_(tt_fast_misses);
1425
sewardjc0d8f682002-11-30 00:49:43 +00001426/* Counts for TT/TC informational messages. */
sewardjde4a1d02002-03-22 01:27:54 +00001427
sewardjde4a1d02002-03-22 01:27:54 +00001428/* Number and total o/t size of translations overall. */
1429extern UInt VG_(overall_in_count);
1430extern UInt VG_(overall_in_osize);
1431extern UInt VG_(overall_in_tsize);
1432/* Number and total o/t size of discards overall. */
1433extern UInt VG_(overall_out_count);
1434extern UInt VG_(overall_out_osize);
1435extern UInt VG_(overall_out_tsize);
sewardjc0d8f682002-11-30 00:49:43 +00001436/* The number of discards of TT/TC. */
1437extern UInt VG_(number_of_tc_discards);
sewardj22854b92002-11-30 14:00:47 +00001438/* Counts of chain and unchain operations done. */
1439extern UInt VG_(bb_enchain_count);
1440extern UInt VG_(bb_dechain_count);
1441/* Number of unchained jumps performed. */
1442extern UInt VG_(unchained_jumps_done);
1443
sewardjde4a1d02002-03-22 01:27:54 +00001444
1445/* Counts pertaining to the register allocator. */
1446
1447/* total number of uinstrs input to reg-alloc */
1448extern UInt VG_(uinstrs_prealloc);
1449
1450/* total number of uinstrs added due to spill code */
1451extern UInt VG_(uinstrs_spill);
1452
1453/* number of bbs requiring spill code */
1454extern UInt VG_(translations_needing_spill);
1455
1456/* total of register ranks over all translations */
1457extern UInt VG_(total_reg_rank);
1458
sewardjde4a1d02002-03-22 01:27:54 +00001459/* Counts pertaining to internal sanity checking. */
1460extern UInt VG_(sanity_fast_count);
1461extern UInt VG_(sanity_slow_count);
1462
sewardj2e93c502002-04-12 11:12:52 +00001463/* Counts pertaining to the scheduler. */
1464extern UInt VG_(num_scheduling_events_MINOR);
1465extern UInt VG_(num_scheduling_events_MAJOR);
1466
sewardjfa492d42002-12-08 18:20:01 +00001467/* Insert and extract the D flag from eflags */
1468UInt VG_(insertDflag)(UInt eflags, Int d);
1469Int VG_(extractDflag)(UInt eflags);
sewardjde4a1d02002-03-22 01:27:54 +00001470
1471/* ---------------------------------------------------------------------
1472 Exports of vg_memory.c
1473 ------------------------------------------------------------------ */
1474
fitzhardinge98abfc72003-12-16 02:05:15 +00001475/* A Segment is mapped piece of client memory. This covers all kinds
1476 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1477
1478 We try to encode everything we know about a particular segment here.
1479*/
1480#define SF_FIXED (1 << 0) /* client asked for MAP_FIXED */
1481#define SF_SHARED (1 << 1) /* shared */
1482#define SF_SHM (1 << 2) /* SYSV SHM (also SF_SHARED) */
1483#define SF_MMAP (1 << 3) /* mmap memory */
1484#define SF_FILE (1 << 4) /* mapping is backed by a file */
1485#define SF_STACK (1 << 5) /* is a stack */
1486#define SF_GROWDOWN (1 << 6) /* segment grows down */
1487#define SF_GROWUP (1 << 7) /* segment grows up */
1488#define SF_EXEC (1 << 8) /* segment created by exec */
1489#define SF_DYNLIB (1 << 9) /* mapped from dynamic library */
1490#define SF_NOSYMS (1 << 10) /* don't load syms, even if present */
1491#define SF_BRK (1 << 11) /* brk segment */
1492#define SF_CORE (1 << 12) /* allocated by core on behalf of the client */
1493#define SF_VALGRIND (1 << 13) /* a valgrind-internal mapping - not in client*/
1494#define SF_CODE (1 << 14) /* segment contains cached code */
1495
1496struct _Segment {
1497 UInt prot; /* VKI_PROT_* */
1498 UInt flags; /* SF_* */
1499
1500 Addr addr; /* mapped addr (page aligned) */
1501 UInt len; /* size of mapping (page aligned) */
1502
1503 /* These are valid if (flags & SF_FILE) */
1504 ULong offset; /* file offset */
1505 const Char *filename; /* filename (NULL if unknown) */
1506 UInt dev; /* device */
1507 UInt ino; /* inode */
1508
1509 SegInfo *symtab; /* symbol table */
1510};
1511
1512/* segment mapped from a file descriptor */
1513extern void VG_(map_fd_segment) (Addr addr, UInt len, UInt prot, UInt flags,
1514 Int fd, ULong off, const Char *filename);
1515
1516/* segment mapped from a file */
1517extern void VG_(map_file_segment)(Addr addr, UInt len, UInt prot, UInt flags,
1518 UInt dev, UInt ino, ULong off, const Char *filename);
1519
1520/* simple segment */
1521extern void VG_(map_segment) (Addr addr, UInt len, UInt prot, UInt flags);
1522
1523extern void VG_(unmap_range) (Addr addr, UInt len);
1524extern void VG_(mprotect_range)(Addr addr, UInt len, UInt prot);
1525extern Addr VG_(find_map_space)(Addr base, UInt len, Bool for_client);
1526
1527extern Segment *VG_(find_segment)(Addr a);
1528extern Segment *VG_(next_segment)(Segment *);
1529
1530extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, UInt size);
1531extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, UInt size);
1532
njn9b007f62003-04-07 14:40:25 +00001533extern __attribute__((regparm(1)))
njnfa1016e2003-09-25 17:54:11 +00001534 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001535
jsgf855d93d2003-10-13 22:26:55 +00001536/* ---------------------------------------------------------------------
1537 Exports of vg_proxylwp.c
1538 ------------------------------------------------------------------ */
1539
1540/* Issue a syscall for thread tid */
1541extern Int VG_(sys_issue)(int tid);
1542
1543extern void VG_(proxy_init) ( void );
1544extern void VG_(proxy_create) ( ThreadId tid );
1545extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1546extern void VG_(proxy_results) ( void );
1547extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1548extern void VG_(proxy_setsigmask)(ThreadId tid);
1549extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1550extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1551extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001552extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001553
1554extern void VG_(proxy_shutdown) ( void ); /* shut down the syscall workers */
1555extern Int VG_(proxy_resfd) ( void ); /* FD something can select on to know
1556 a syscall finished */
1557
1558/* Sanity-check the whole proxy-LWP machinery */
1559void VG_(proxy_sanity)(void);
1560
1561/* Send a signal from a thread's proxy to the thread. This longjmps
1562 back into the proxy's main loop, so it doesn't return. */
1563__attribute__ ((__noreturn__))
1564extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
1565 const struct vki_sigcontext *sigcontext );
1566
fitzhardinge47735af2004-01-21 01:27:27 +00001567/* Get the PID/TID of the ProxyLWP. */
1568extern Int VG_(proxy_id)(ThreadId tid);
1569
jsgf855d93d2003-10-13 22:26:55 +00001570
sewardjde4a1d02002-03-22 01:27:54 +00001571/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001572 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001573 ------------------------------------------------------------------ */
1574
fitzhardinge98abfc72003-12-16 02:05:15 +00001575extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001576
jsgf855d93d2003-10-13 22:26:55 +00001577extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001578extern void VG_(post_syscall)( ThreadId tid, Bool restart );
fitzhardingee1c06d82003-10-30 07:21:44 +00001579extern void VG_(restart_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001580
1581extern Bool VG_(is_kerror) ( Int res );
1582
jsgf855d93d2003-10-13 22:26:55 +00001583/* Internal atfork handlers */
1584typedef void (*vg_atfork_t)(ThreadId);
1585extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001586
rjwalshf5f536f2003-11-17 17:45:00 +00001587/* fd leakage calls. */
1588extern void VG_(init_preopened_fds) ( void );
1589extern void VG_(fd_stats) ( void );
1590
sewardjde4a1d02002-03-22 01:27:54 +00001591/* ---------------------------------------------------------------------
1592 Exports of vg_transtab.c
1593 ------------------------------------------------------------------ */
1594
njn25e49d8e72002-09-23 09:36:25 +00001595/* The fast-cache for tt-lookup. */
1596extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1597
sewardjde4a1d02002-03-22 01:27:54 +00001598extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
sewardj6c3769f2002-11-29 01:02:45 +00001599
sewardjc0d8f682002-11-30 00:49:43 +00001600extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001601 Addr trans_addr, Int trans_size,
1602 UShort jumps[VG_MAX_JUMPS]);
sewardj6c3769f2002-11-29 01:02:45 +00001603
sewardj97ad5522003-05-04 12:32:56 +00001604extern void VG_(invalidate_translations) ( Addr start, UInt range, Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001605
sewardj18d75132002-05-16 11:06:21 +00001606extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001607
1608extern void VG_(sanity_check_tc_tt) ( void );
1609extern Addr VG_(search_transtab) ( Addr original_addr );
1610
sewardjde4a1d02002-03-22 01:27:54 +00001611
1612
1613/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001614 Exports of vg_syscall.S
1615 ------------------------------------------------------------------ */
1616
jsgf855d93d2003-10-13 22:26:55 +00001617extern Int VG_(do_syscall) ( UInt, ... );
1618extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1619 Int *child_tid, Int *parent_tid);
sewardjde4a1d02002-03-22 01:27:54 +00001620
1621/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001622 Exports of vg_dispatch.S
1623 ------------------------------------------------------------------ */
1624
sewardj2e93c502002-04-12 11:12:52 +00001625/* Run a thread for a (very short) while, until some event happens
1626 which means we need to defer to the scheduler. */
1627extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001628
sewardj22854b92002-11-30 14:00:47 +00001629/* The patching routing called when a BB wants to chain itself to
1630 another. */
1631extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001632
1633/* ---------------------------------------------------------------------
1634 Exports of vg_helpers.S
1635 ------------------------------------------------------------------ */
1636
sewardjde4a1d02002-03-22 01:27:54 +00001637/* Mul, div, etc, -- we don't codegen these directly. */
1638extern void VG_(helper_idiv_64_32);
1639extern void VG_(helper_div_64_32);
1640extern void VG_(helper_idiv_32_16);
1641extern void VG_(helper_div_32_16);
1642extern void VG_(helper_idiv_16_8);
1643extern void VG_(helper_div_16_8);
1644
1645extern void VG_(helper_imul_32_64);
1646extern void VG_(helper_mul_32_64);
1647extern void VG_(helper_imul_16_32);
1648extern void VG_(helper_mul_16_32);
1649extern void VG_(helper_imul_8_16);
1650extern void VG_(helper_mul_8_16);
1651
1652extern void VG_(helper_CLD);
1653extern void VG_(helper_STD);
1654extern void VG_(helper_get_dirflag);
1655
sewardj7d78e782002-06-02 00:04:00 +00001656extern void VG_(helper_CLC);
1657extern void VG_(helper_STC);
nethercote1018bdd2004-02-11 23:33:29 +00001658extern void VG_(helper_CMC);
sewardj7d78e782002-06-02 00:04:00 +00001659
sewardjde4a1d02002-03-22 01:27:54 +00001660extern void VG_(helper_shldl);
1661extern void VG_(helper_shldw);
1662extern void VG_(helper_shrdl);
1663extern void VG_(helper_shrdw);
1664
daywalkerb18d2532003-09-27 20:15:01 +00001665extern void VG_(helper_IN);
1666extern void VG_(helper_OUT);
1667
sewardjde4a1d02002-03-22 01:27:54 +00001668extern void VG_(helper_RDTSC);
1669extern void VG_(helper_CPUID);
1670
nethercote1018bdd2004-02-11 23:33:29 +00001671extern void VG_(helper_bsfw);
1672extern void VG_(helper_bsfl);
1673extern void VG_(helper_bsrw);
1674extern void VG_(helper_bsrl);
sewardjde4a1d02002-03-22 01:27:54 +00001675
1676extern void VG_(helper_fstsw_AX);
1677extern void VG_(helper_SAHF);
njnd6251f12003-06-03 13:38:51 +00001678extern void VG_(helper_LAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001679extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001680extern void VG_(helper_DAA);
nethercote1018bdd2004-02-11 23:33:29 +00001681extern void VG_(helper_AAS);
1682extern void VG_(helper_AAA);
1683extern void VG_(helper_AAD);
1684extern void VG_(helper_AAM);
sewardjde4a1d02002-03-22 01:27:54 +00001685
muellerf217c732004-01-02 22:42:29 +00001686extern void VG_(helper_cmpxchg8b);
1687
sewardj51096432002-12-14 23:59:09 +00001688extern void VG_(helper_undefined_instruction);
1689
fitzhardinge92360792003-12-24 10:11:11 +00001690/* Information about trampoline code (for signal return and syscalls) */
1691extern const Char VG_(trampoline_code_start);
1692extern const Int VG_(trampoline_code_length);
1693extern const Int VG_(tramp_sigreturn_offset);
1694extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001695
njn4f9c9342002-04-29 16:03:24 +00001696/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001697 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001698 ------------------------------------------------------------------ */
1699
fitzhardinge98abfc72003-12-16 02:05:15 +00001700#define VG_TRACK(fn, args...) \
1701 do { \
1702 if (VG_(defined_##fn)()) \
1703 SK_(fn)(args); \
1704 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001705
fitzhardinge98abfc72003-12-16 02:05:15 +00001706__attribute__ ((noreturn))
1707extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001708
sewardjde4a1d02002-03-22 01:27:54 +00001709/* ---------------------------------------------------------------------
1710 The state of the simulated CPU.
1711 ------------------------------------------------------------------ */
1712
sewardjde4a1d02002-03-22 01:27:54 +00001713/* ---------------------------------------------------------------------
1714 Offsets into baseBlock for everything which needs to referred to
1715 from generated code. The order of these decls does not imply
1716 what the order of the actual offsets is. The latter is important
1717 and is set up in vg_main.c.
1718 ------------------------------------------------------------------ */
1719
1720/* An array of words. In generated code, %ebp always points to the
1721 start of this array. Useful stuff, like the simulated CPU state,
1722 and the addresses of helper functions, can then be found by
1723 indexing off %ebp. The following declares variables which, at
1724 startup time, are given values denoting offsets into baseBlock.
1725 These offsets are in *words* from the start of baseBlock. */
1726
sewardjb91ae7f2003-04-29 23:50:00 +00001727#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001728
1729extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1730
1731
1732/* -----------------------------------------------------
1733 Read-write parts of baseBlock.
1734 -------------------------------------------------- */
1735
1736/* State of the simulated CPU. */
1737extern Int VGOFF_(m_eax);
1738extern Int VGOFF_(m_ecx);
1739extern Int VGOFF_(m_edx);
1740extern Int VGOFF_(m_ebx);
1741extern Int VGOFF_(m_esp);
1742extern Int VGOFF_(m_ebp);
1743extern Int VGOFF_(m_esi);
1744extern Int VGOFF_(m_edi);
1745extern Int VGOFF_(m_eflags);
sewardjb91ae7f2003-04-29 23:50:00 +00001746extern Int VGOFF_(m_ssestate);
sewardjde4a1d02002-03-22 01:27:54 +00001747extern Int VGOFF_(m_eip);
1748
sewardjfa492d42002-12-08 18:20:01 +00001749extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1750
sewardj92a59562002-09-30 00:53:10 +00001751extern Int VGOFF_(m_cs);
1752extern Int VGOFF_(m_ss);
1753extern Int VGOFF_(m_ds);
1754extern Int VGOFF_(m_es);
1755extern Int VGOFF_(m_fs);
1756extern Int VGOFF_(m_gs);
1757
sewardjde4a1d02002-03-22 01:27:54 +00001758/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1759extern Int VGOFF_(spillslots);
1760
1761/* Records the valid bits for the 8 integer regs & flags reg. */
1762extern Int VGOFF_(sh_eax);
1763extern Int VGOFF_(sh_ecx);
1764extern Int VGOFF_(sh_edx);
1765extern Int VGOFF_(sh_ebx);
1766extern Int VGOFF_(sh_esp);
1767extern Int VGOFF_(sh_ebp);
1768extern Int VGOFF_(sh_esi);
1769extern Int VGOFF_(sh_edi);
1770extern Int VGOFF_(sh_eflags);
1771
sewardjde4a1d02002-03-22 01:27:54 +00001772/* -----------------------------------------------------
1773 Read-only parts of baseBlock.
1774 -------------------------------------------------- */
1775
sewardj92a59562002-09-30 00:53:10 +00001776/* This thread's LDT pointer. */
1777extern Int VGOFF_(ldt);
1778
fitzhardinge47735af2004-01-21 01:27:27 +00001779/* This thread's TLS pointer. */
1780extern Int VGOFF_(tls);
1781
njn211b6ad2003-02-03 12:33:31 +00001782/* Nb: Most helper offsets are in include/vg_skin.h, for use by skins */
sewardjde4a1d02002-03-22 01:27:54 +00001783
sewardj51096432002-12-14 23:59:09 +00001784extern Int VGOFF_(helper_undefined_instruction);
1785
njn25e49d8e72002-09-23 09:36:25 +00001786/* For storing extension-specific helpers, determined at runtime. The addr
1787 * and offset arrays together form a (addr, offset) map that allows a
1788 * helper's baseBlock offset to be computed from its address. It's done
1789 * like this so CCALL_M_Ns and other helper calls can use the function
1790 * address rather than having to much around with offsets. */
1791extern UInt VG_(n_compact_helpers);
1792extern UInt VG_(n_noncompact_helpers);
1793
1794extern Addr VG_(compact_helper_addrs) [];
1795extern Int VG_(compact_helper_offsets)[];
1796
1797extern Addr VG_(noncompact_helper_addrs) [];
1798extern Int VG_(noncompact_helper_offsets)[];
1799
sewardjde4a1d02002-03-22 01:27:54 +00001800#endif /* ndef __VG_INCLUDE_H */
1801
sewardj3b2736a2002-03-24 12:18:35 +00001802
1803/* ---------------------------------------------------------------------
1804 Finally - autoconf-generated settings
1805 ------------------------------------------------------------------ */
1806
1807#include "config.h"
1808
sewardjde4a1d02002-03-22 01:27:54 +00001809/*--------------------------------------------------------------------*/
1810/*--- end vg_include.h ---*/
1811/*--------------------------------------------------------------------*/