blob: 3e807b8b012951e88547ef0711260265885010bd [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/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000647 Exports of vg_libpthread.c
648 ------------------------------------------------------------------ */
649
650/* Replacements for pthread types, shared between vg_libpthread.c and
651 vg_scheduler.c. See comment in vg_libpthread.c above the other
652 vg_pthread_*_t types for a description of how these are used. */
653
654struct _vg_pthread_fastlock
655{
656 long int __vg_status; /* "Free" or "taken" or head of waiting list */
657 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
658 adaptive SMP lock stores spin count here. */
659};
660
661typedef struct
662{
663 int __vg_m_reserved; /* Reserved for future use */
664 int __vg_m_count; /* Depth of recursive locking */
665 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
666 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
667 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
668} vg_pthread_mutex_t;
669
670typedef struct
671{
672 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000673 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
674
675 // Nb: the following padding removed because it was missing from an
676 // earlier glibc, so the size test in the CONVERT macro was failing.
677 // --njn
678
nethercote1f0173b2004-02-28 15:40:36 +0000679 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000680 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000681 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000682 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000683} vg_pthread_cond_t;
684
685
686/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000687 Exports of vg_scheduler.c
688 ------------------------------------------------------------------ */
689
sewardj2e93c502002-04-12 11:12:52 +0000690typedef
jsgf855d93d2003-10-13 22:26:55 +0000691 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000692 VgTs_Empty, /* this slot is not in use */
693 VgTs_Runnable, /* waiting to be scheduled */
694 VgTs_WaitJoiner, /* waiting for someone to do join on me */
695 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000696 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000697 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000698 VgTs_WaitSys, /* waiting for a syscall to complete */
699 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000700 }
701 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000702
703/* An entry in a threads's cleanup stack. */
704typedef
705 struct {
706 void (*fn)(void*);
707 void* arg;
708 }
709 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000710
711/* An entry in a thread's fork-handler stack. */
712typedef
713 struct {
714 void (*prepare)(void);
715 void (*parent)(void);
716 void (*child)(void);
717 }
718 ForkHandlerEntry;
719
jsgf855d93d2003-10-13 22:26:55 +0000720typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000721
njn72718642003-07-24 08:45:32 +0000722typedef
723 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000724 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
725 The thread identity is simply the index in vg_threads[].
726 ThreadId == 1 is the root thread and has the special property
727 that we don't try and allocate or deallocate its stack. For
728 convenience of generating error message, we also put the
729 ThreadId in this tid field, but be aware that it should
730 ALWAYS == the index in vg_threads[]. */
731 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000732
njn25e49d8e72002-09-23 09:36:25 +0000733 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000734
njn25e49d8e72002-09-23 09:36:25 +0000735 Complications: whenever this is set to VgTs_WaitMX, you
736 should also set .m_edx to whatever the required return value
737 is for pthread_mutex_lock / pthread_cond_timedwait for when
738 the mutex finally gets unblocked. */
739 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000740
njn25e49d8e72002-09-23 09:36:25 +0000741 /* When .status == WaitMX, points to the mutex I am waiting for.
742 When .status == WaitCV, points to the mutex associated with
743 the condition variable indicated by the .associated_cv field.
744 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000745 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000746
njn25e49d8e72002-09-23 09:36:25 +0000747 /* When .status == WaitCV, points to the condition variable I am
748 waiting for. In all other cases, should be NULL. */
749 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000750
njn25e49d8e72002-09-23 09:36:25 +0000751 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000752 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000753
njn25e49d8e72002-09-23 09:36:25 +0000754 If VgTs_WaitCV, this indicates the time at which
755 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
756 this means infinitely far in the future, viz,
757 pthread_cond_wait. */
758 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000759
njn25e49d8e72002-09-23 09:36:25 +0000760 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
761 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000762
njn25e49d8e72002-09-23 09:36:25 +0000763 /* If VgTs_WaitJoinee, place to copy the return value to, and
764 the identity of the thread we're waiting for. */
765 void** joiner_thread_return;
766 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000767
jsgf855d93d2003-10-13 22:26:55 +0000768 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
769 void *sys_pre_res;
770
771 /* If VgTs_WaitSys, this is the syscall we're currently running */
772 Int syscallno;
773
774 /* Details about this thread's proxy LWP */
775 ProxyLWP *proxy;
776
njn25e49d8e72002-09-23 09:36:25 +0000777 /* Whether or not detached. */
778 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000779
njn25e49d8e72002-09-23 09:36:25 +0000780 /* Cancelability state and type. */
781 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
782 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
783
784 /* Pointer to fn to call to do cancellation. Indicates whether
785 or not cancellation is pending. If NULL, not pending. Else
786 should be &thread_exit_wrapper(), indicating that
787 cancallation is pending. */
788 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000789
njn25e49d8e72002-09-23 09:36:25 +0000790 /* The cleanup stack. */
791 Int custack_used;
792 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000793
sewardj00a66b12002-10-12 16:42:35 +0000794 /* A pointer to the thread's-specific-data. This is handled almost
795 entirely from vg_libpthread.c. We just provide hooks to get and
796 set this ptr. This is either NULL, indicating the thread has
797 read/written none of its specifics so far, OR points to a
798 void*[VG_N_THREAD_KEYS], allocated and deallocated in
799 vg_libpthread.c. */
800 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000801
njn25e49d8e72002-09-23 09:36:25 +0000802 /* This thread's blocked-signals mask. Semantics is that for a
803 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000804 blocked by this signal mask. If more than one thread accepts a
805 signal, then it will be delivered to one at random. If all
806 threads block the signal, it will remain pending until either a
807 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
808
809 sig_mask reflects what the client told us its signal mask should
810 be, but isn't necessarily the current signal mask of the proxy
811 LWP: it may have more signals blocked because of signal
812 handling, or it may be different because of sigsuspend.
813 */
njn25e49d8e72002-09-23 09:36:25 +0000814 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000815
fitzhardingef0dd7e12004-01-16 02:17:30 +0000816 /* Effective signal mask. This is the mask which currently
817 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000818 handler is running.
819 */
820 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000821
njn25e49d8e72002-09-23 09:36:25 +0000822 /* Stacks. When a thread slot is freed, we don't deallocate its
823 stack; we just leave it lying around for the next use of the
824 slot. If the next use of the slot requires a larger stack,
825 only then is the old one deallocated and a new one
826 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000827
njn25e49d8e72002-09-23 09:36:25 +0000828 For the main thread (threadid == 0), this mechanism doesn't
829 apply. We don't know the size of the stack since we didn't
830 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000831
njn25e49d8e72002-09-23 09:36:25 +0000832 /* The allocated size of this thread's stack (permanently zero
833 if this is ThreadId == 0, since we didn't allocate its stack) */
834 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000835
njn25e49d8e72002-09-23 09:36:25 +0000836 /* Address of the lowest word in this thread's stack. NULL means
837 not allocated yet.
838 */
839 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000840
sewardj92a59562002-09-30 00:53:10 +0000841 /* Address of the highest legitimate word in this stack. This is
842 used for error messages only -- not critical for execution
843 correctness. Is is set for all stacks, specifically including
844 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000845 Addr stack_highest_word;
846
fitzhardinge98c4dc02004-03-16 08:27:29 +0000847 /* Alternate signal stack */
848 vki_kstack_t altstack;
849
sewardj92a59562002-09-30 00:53:10 +0000850 /* Pointer to this thread's Local (Segment) Descriptor Table.
851 Starts out as NULL, indicating there is no table, and we hope to
852 keep it that way. If the thread does __NR_modify_ldt to create
853 entries, we allocate a 8192-entry table at that point. This is
854 a straight copy of the Linux kernel's scheme. Don't forget to
855 deallocate this at thread exit. */
856 VgLdtEntry* ldt;
857
fitzhardinge47735af2004-01-21 01:27:27 +0000858 /* TLS table. This consists of a small number (currently 3) of
859 entries from the Global Descriptor Table. */
860 VgLdtEntry tls[VKI_GDT_TLS_ENTRIES];
861
sewardj92a59562002-09-30 00:53:10 +0000862 /* Saved machine context. Note the FPU state, %EIP and segment
863 registers are not shadowed.
864
865 Although the segment registers are 16 bits long, storage
nethercote1d447092004-02-01 17:29:59 +0000866 management here and in VG_(baseBlock) is
sewardj92a59562002-09-30 00:53:10 +0000867 simplified if we pretend they are 32 bits. */
868 UInt m_cs;
869 UInt m_ss;
870 UInt m_ds;
871 UInt m_es;
872 UInt m_fs;
873 UInt m_gs;
874
njn25e49d8e72002-09-23 09:36:25 +0000875 UInt m_eax;
876 UInt m_ebx;
877 UInt m_ecx;
878 UInt m_edx;
879 UInt m_esi;
880 UInt m_edi;
881 UInt m_ebp;
882 UInt m_esp;
883 UInt m_eflags;
884 UInt m_eip;
sewardjb91ae7f2003-04-29 23:50:00 +0000885
886 /* The SSE/FPU state. This array does not (necessarily) have the
887 required 16-byte alignment required to get stuff in/out by
888 fxsave/fxrestore. So we have to do it "by hand".
889 */
890 UInt m_sse[VG_SIZE_OF_SSESTATE_W];
njn25e49d8e72002-09-23 09:36:25 +0000891
892 UInt sh_eax;
893 UInt sh_ebx;
894 UInt sh_ecx;
895 UInt sh_edx;
896 UInt sh_esi;
897 UInt sh_edi;
898 UInt sh_ebp;
899 UInt sh_esp;
900 UInt sh_eflags;
njn72718642003-07-24 08:45:32 +0000901}
902ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000903
904
sewardj018f7622002-05-15 21:13:39 +0000905/* The thread table. */
906extern ThreadState VG_(threads)[VG_N_THREADS];
907
908/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000909extern Bool VG_(is_valid_tid) ( ThreadId tid );
910
sewardj018f7622002-05-15 21:13:39 +0000911/* Check that tid is in range. */
912extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
913
njn72718642003-07-24 08:45:32 +0000914/* Determine if 'tid' is that of the current running thread (Nb: returns
915 False if no thread is currently running. */
916extern Bool VG_(is_running_thread)(ThreadId tid);
917
jsgf855d93d2003-10-13 22:26:55 +0000918/* Get the ThreadState for a particular thread */
919extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
920
sewardj2e93c502002-04-12 11:12:52 +0000921/* Copy the specified thread's state into VG_(baseBlock) in
922 preparation for running it. */
923extern void VG_(load_thread_state)( ThreadId );
924
925/* Save the specified thread's state back in VG_(baseBlock), and fill
926 VG_(baseBlock) with junk, for sanity-check reasons. */
927extern void VG_(save_thread_state)( ThreadId );
928
sewardj1e8cdc92002-04-18 11:37:52 +0000929/* And for the currently running one, if valid. */
930extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000931
sewardj1e8cdc92002-04-18 11:37:52 +0000932/* Similarly ... */
933extern ThreadId VG_(get_current_tid) ( void );
934
sewardjccef2e62002-05-29 19:26:32 +0000935/* Nuke all threads except tid. */
936extern void VG_(nuke_all_threads_except) ( ThreadId me );
937
jsgf855d93d2003-10-13 22:26:55 +0000938/* Give a hint to the scheduler that it may be a good time to find a
939 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
940 try to schedule that thread.
941*/
942extern void VG_(need_resched) ( ThreadId prefer_sched );
943
944/* Add a new timeout event for a thread*/
945extern void VG_(add_timeout) ( ThreadId tid, UInt time );
sewardj2e93c502002-04-12 11:12:52 +0000946
947/* Return codes from the scheduler. */
948typedef
sewardj7e87e382002-05-03 19:09:05 +0000949 enum {
950 VgSrc_Deadlock, /* no runnable threads and no prospect of any
951 even if we wait for a long time */
952 VgSrc_ExitSyscall, /* client called exit(). This is the normal
953 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000954 VgSrc_FatalSig /* Killed by the default action of a fatal
955 signal */
sewardj7e87e382002-05-03 19:09:05 +0000956 }
sewardj2e93c502002-04-12 11:12:52 +0000957 VgSchedReturnCode;
958
sewardj7e87e382002-05-03 19:09:05 +0000959
sewardj2e93c502002-04-12 11:12:52 +0000960/* The scheduler. */
961extern VgSchedReturnCode VG_(scheduler) ( void );
962
963extern void VG_(scheduler_init) ( void );
964
sewardj15a43e12002-04-17 19:35:12 +0000965extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000966
967/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
968extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000969/* This says whether scheduler_jmpbuf is actually valid. Needed so
970 that our signal handler doesn't longjmp when the buffer isn't
971 actually valid. */
972extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000973/* ... and if so, here's the signal which caused it to do so. */
974extern Int VG_(longjmpd_on_signal);
975
976
sewardj2e93c502002-04-12 11:12:52 +0000977/* The red-zone size which we put at the bottom (highest address) of
978 thread stacks, for paranoia reasons. This can be arbitrary, and
979 doesn't really need to be set at compile time. */
980#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
981
982#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
983 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
984
njn25e49d8e72002-09-23 09:36:25 +0000985/* Junk to fill up a thread's shadow regs with when shadow regs aren't
njnd3040452003-05-19 15:04:06 +0000986 being used. */
njn25e49d8e72002-09-23 09:36:25 +0000987#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
njnd3040452003-05-19 15:04:06 +0000988/* For sanity checking: if this ends up in a thread's shadow regs when
989 shadow regs aren't being used, something went wrong. */
990#define VG_USED_SHADOW_REG_VALUE 0x31415927
njn25e49d8e72002-09-23 09:36:25 +0000991
njnd3040452003-05-19 15:04:06 +0000992/* Write a value to a client's thread register, and shadow (if necessary) */
993#define SET_THREAD_REG( zztid, zzval, zzreg, zzREG, zzevent, zzargs... ) \
994 do { VG_(threads)[zztid].m_##zzreg = (zzval); \
995 VG_TRACK( zzevent, zztid, R_##zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000996 } while (0)
997
njnd3040452003-05-19 15:04:06 +0000998#define SET_SYSCALL_RETVAL(zztid, zzval) \
999 SET_THREAD_REG(zztid, zzval, eax, EAX, post_reg_write_syscall_return)
1000
1001#define SET_SIGNAL_EDX(zztid, zzval) \
1002 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_deliver_signal)
1003
1004#define SET_SIGNAL_ESP(zztid, zzval) \
1005 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_deliver_signal)
1006
1007#define SET_CLREQ_RETVAL(zztid, zzval) \
1008 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientreq_return)
1009
1010#define SET_CLCALL_RETVAL(zztid, zzval, f) \
1011 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientcall_return, f)
1012
1013#define SET_PTHREQ_ESP(zztid, zzval) \
1014 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_pthread_return)
1015
1016#define SET_PTHREQ_RETVAL(zztid, zzval) \
1017 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +00001018
sewardj2e93c502002-04-12 11:12:52 +00001019
sewardjd8acdf22002-11-13 21:57:52 +00001020/* This is or'd into a pthread mutex's __m_kind field if it is used
1021 before Valgrind is up and running (prehistory). This is used so
1022 that if some early code (like the dynamic linker) takes a lock
1023 before Valgrind starts and then releases it afterwards, we can work
1024 out what's happening. */
1025#define VG_PTHREAD_PREHISTORY 0x80000000
1026
nethercote1f0173b2004-02-28 15:40:36 +00001027
sewardj2e93c502002-04-12 11:12:52 +00001028/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001029 Exports of vg_signals.c
1030 ------------------------------------------------------------------ */
1031
jsgf855d93d2003-10-13 22:26:55 +00001032extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
1033
1034/* RT signal allocation */
1035extern Int VG_(sig_rtmin);
1036extern Int VG_(sig_rtmax);
1037extern Int VG_(sig_alloc_rtsig) ( Int high );
1038
sewardjde4a1d02002-03-22 01:27:54 +00001039extern void VG_(sigstartup_actions) ( void );
sewardj839299f2003-06-14 11:57:59 +00001040extern void VG_(sigshutdown_actions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001041
jsgf855d93d2003-10-13 22:26:55 +00001042extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +00001043extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +00001044extern void VG_(handle_SCSS_change) ( Bool force_update );
1045
jsgf855d93d2003-10-13 22:26:55 +00001046extern Bool VG_(is_sig_ign) ( Int sigNo );
1047
1048/* Route pending signals from the scheduler LWP to the appropriate
1049 thread LWP. */
1050extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001051
1052/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +00001053extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +00001054extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +00001055extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
1056 Int how,
1057 vki_ksigset_t* set,
1058 vki_ksigset_t* oldset );
1059extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
1060 Int how,
1061 vki_ksigset_t* set,
1062 vki_ksigset_t* oldset );
1063extern void VG_(send_signal_to_thread) ( ThreadId thread,
1064 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +00001065
sewardjefbfcdf2002-06-19 17:35:45 +00001066extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
1067
1068
sewardj2e93c502002-04-12 11:12:52 +00001069/* Modify the current thread's state once we have detected it is
1070 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +00001071extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +00001072
sewardj2e93c502002-04-12 11:12:52 +00001073/* Handy utilities to block/restore all host signals. */
1074extern void VG_(block_all_host_signals)
1075 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +00001076extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +00001077 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +00001078
jsgf855d93d2003-10-13 22:26:55 +00001079extern vki_ksiginfo_t VG_(unresumable_siginfo);
1080
1081extern void VG_(kill_self)(Int sigNo);
1082
fitzhardingef1beb252004-03-16 09:49:08 +00001083/* These function synthesize a fault, as if the running instruction
1084 had had a fault. These functions do not return - they longjmp back
1085 into the scheduler so the signal can be delivered. */
1086extern void VG_(synth_fault) (ThreadId tid);
1087extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
1088extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
1089
1090
sewardjde4a1d02002-03-22 01:27:54 +00001091/* ---------------------------------------------------------------------
1092 Exports of vg_mylibc.c
1093 ------------------------------------------------------------------ */
1094
njne427a662002-10-02 11:08:25 +00001095#define vg_assert(expr) \
1096 ((void) ((expr) ? 0 : \
1097 (VG_(core_assert_fail) (VG__STRING(expr), \
1098 __FILE__, __LINE__, \
1099 __PRETTY_FUNCTION__), 0)))
1100__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001101extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1102 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001103__attribute__ ((__noreturn__))
1104extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +00001105
njn25e49d8e72002-09-23 09:36:25 +00001106/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
1107extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +00001108
njn25e49d8e72002-09-23 09:36:25 +00001109/* Skins use VG_(strdup)() which doesn't expose ArenaId */
1110extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001111
njn25e49d8e72002-09-23 09:36:25 +00001112extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +00001113extern Int VG_(select)( Int n,
1114 vki_fd_set* readfds,
1115 vki_fd_set* writefds,
1116 vki_fd_set* exceptfds,
1117 struct vki_timeval * timeout );
jsgf855d93d2003-10-13 22:26:55 +00001118extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001119extern Int VG_(nanosleep)( const struct vki_timespec *req,
1120 struct vki_timespec *rem );
1121
fitzhardinge98abfc72003-12-16 02:05:15 +00001122/* system/mman.h */
1123extern void* VG_(mmap)( void* start, UInt length,
1124 UInt prot, UInt flags, UInt fd, UInt offset );
1125extern Int VG_(munmap)( void* start, Int length );
1126extern Int VG_(mprotect)( void *start, Int length, UInt prot );
1127
1128
jsgf855d93d2003-10-13 22:26:55 +00001129/* Move an fd into the Valgrind-safe range */
1130Int VG_(safe_fd)(Int oldfd);
1131
sewardj570f8902002-11-03 11:44:36 +00001132extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001133
1134/* --- Connecting over the network --- */
1135extern Int VG_(connect_via_socket)( UChar* str );
1136
fitzhardinge98abfc72003-12-16 02:05:15 +00001137/* Environment manipulations */
nethercoteff9721d2004-01-26 17:10:01 +00001138extern Char **VG_(env_clone) ( Char **oldenv );
fitzhardinge98abfc72003-12-16 02:05:15 +00001139extern Char* VG_(env_getenv) ( Char **env, Char* varname );
1140extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname, const Char *val );
1141extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
sewardj570f8902002-11-03 11:44:36 +00001142
1143/* ---------------------------------------------------------------------
1144 Exports of vg_message.c
1145 ------------------------------------------------------------------ */
1146
1147/* Low-level -- send bytes directly to the message sink. Do not
1148 use. */
1149extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1150
1151
sewardjde4a1d02002-03-22 01:27:54 +00001152/* ---------------------------------------------------------------------
1153 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
1154 vg_from_ucode.c).
1155 ------------------------------------------------------------------ */
1156
sewardjde4a1d02002-03-22 01:27:54 +00001157#define VG_IS_FLAG_SUBSET(set1,set2) \
1158 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
1159
1160#define VG_UNION_FLAG_SETS(set1,set2) \
1161 ( ((FlagSet)set1) | ((FlagSet)set2) )
1162
sewardjde4a1d02002-03-22 01:27:54 +00001163/* ---------------------------------------------------------------------
1164 Exports of vg_demangle.c
1165 ------------------------------------------------------------------ */
1166
1167extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1168
sewardjde4a1d02002-03-22 01:27:54 +00001169/* ---------------------------------------------------------------------
1170 Exports of vg_from_ucode.c
1171 ------------------------------------------------------------------ */
1172
sewardj22854b92002-11-30 14:00:47 +00001173extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001174
njn25e49d8e72002-09-23 09:36:25 +00001175extern void VG_(print_ccall_stats) ( void );
1176extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001177
sewardj22854b92002-11-30 14:00:47 +00001178extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1179extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
1180extern Bool VG_(is_unchained_jumpsite) ( Addr jumpsite );
1181extern Bool VG_(is_chained_jumpsite) ( Addr jumpsite );
1182
sewardjde4a1d02002-03-22 01:27:54 +00001183/* ---------------------------------------------------------------------
1184 Exports of vg_to_ucode.c
1185 ------------------------------------------------------------------ */
1186
fitzhardingec2dbbac2004-01-23 23:09:01 +00001187Bool VG_(cpu_has_feature)(UInt feat);
1188
sewardjde4a1d02002-03-22 01:27:54 +00001189extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001190
1191/* ---------------------------------------------------------------------
1192 Exports of vg_translate.c
1193 ------------------------------------------------------------------ */
1194
njn810086f2002-11-14 12:42:47 +00001195/* Expandable arrays of uinstrs. */
1196struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001197 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001198 Int used;
1199 Int size;
1200 UInstr* instrs;
1201 Int nextTemp;
1202};
1203
1204extern UCodeBlock* VG_(alloc_UCodeBlock) ( void );
1205
njn72718642003-07-24 08:45:32 +00001206extern void VG_(translate) ( ThreadId tid,
sewardj1e8cdc92002-04-18 11:37:52 +00001207 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +00001208 UInt* orig_size,
1209 Addr* trans_addr,
sewardj22854b92002-11-30 14:00:47 +00001210 UInt* trans_size,
1211 UShort jumps[VG_MAX_JUMPS]);
sewardjde4a1d02002-03-22 01:27:54 +00001212
njn25e49d8e72002-09-23 09:36:25 +00001213extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
1214 UInstr* u );
1215extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
1216extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +00001217
sewardjb5ff83e2002-12-01 19:40:49 +00001218
sewardjde4a1d02002-03-22 01:27:54 +00001219/* ---------------------------------------------------------------------
1220 Exports of vg_execontext.c.
1221 ------------------------------------------------------------------ */
1222
1223/* Records the PC and a bit of the call chain. The first 4 %eip
1224 values are used in comparisons do remove duplicate errors, and for
1225 comparing against suppression specifications. The rest are purely
1226 informational (but often important). */
1227
njn25e49d8e72002-09-23 09:36:25 +00001228struct _ExeContext {
1229 struct _ExeContext * next;
1230 /* Variable-length array. The size is VG_(clo_backtrace_size); at
njn6c846552003-09-16 07:41:43 +00001231 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
njn25e49d8e72002-09-23 09:36:25 +00001232 [1] is its caller, [2] is the caller of [1], etc. */
1233 Addr eips[0];
1234};
sewardjde4a1d02002-03-22 01:27:54 +00001235
1236
sewardjde4a1d02002-03-22 01:27:54 +00001237/* Print stats (informational only). */
1238extern void VG_(show_ExeContext_stats) ( void );
1239
njn25e49d8e72002-09-23 09:36:25 +00001240/* Like VG_(get_ExeContext), but with a slightly different type */
1241extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1242 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001243
1244
1245/* ---------------------------------------------------------------------
1246 Exports of vg_errcontext.c.
1247 ------------------------------------------------------------------ */
1248
njn25e49d8e72002-09-23 09:36:25 +00001249/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1250 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +00001251typedef
njn25e49d8e72002-09-23 09:36:25 +00001252 enum {
1253 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +00001254 }
njn25e49d8e72002-09-23 09:36:25 +00001255 CoreSuppKind;
1256
1257/* For each caller specified for a suppression, record the nature of
1258 the caller name. Not of interest to skins. */
1259typedef
1260 enum {
1261 ObjName, /* Name is of an shared object file. */
1262 FunName /* Name is of a function. */
1263 }
1264 SuppLocTy;
1265
njn810086f2002-11-14 12:42:47 +00001266/* Suppressions. Skins can get/set skin-relevant parts with functions
1267 declared in include/vg_skin.h. Extensible via the 'extra' field.
1268 Skins can use a normal enum (with element values in the normal range
1269 (0..)) for `skind'. */
1270struct _Supp {
1271 struct _Supp* next;
1272 /* The number of times this error has been suppressed. */
1273 Int count;
1274 /* The name by which the suppression is referred to. */
1275 Char* sname;
1276 /* First two (name of fn where err occurs, and immediate caller)
1277 * are mandatory; extra two are optional. */
1278 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
1279 Char* caller [VG_N_SUPP_CALLERS];
1280
1281 /* The skin-specific part */
1282 /* What kind of suppression. Must use the range (0..) */
1283 SuppKind skind;
1284 /* String -- use is optional. NULL by default. */
1285 Char* string;
1286 /* Anything else -- use is optional. NULL by default. */
1287 void* extra;
1288};
njn25e49d8e72002-09-23 09:36:25 +00001289
1290/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1291 * effectively extend it by defining their own enums in the (0..) range. */
1292typedef
1293 enum {
1294 PThreadErr = -1, /* Pthreading error */
1295 }
1296 CoreErrorKind;
1297
njn810086f2002-11-14 12:42:47 +00001298/* Errors. Extensible (via the 'extra' field). Skins can use a normal
1299 enum (with element values in the normal range (0..)) for `ekind'.
1300 Functions for getting/setting the skin-relevant fields are in
1301 include/vg_skin.h.
1302
1303 When errors are found and recorded with VG_(maybe_record_error)(), all
1304 the skin must do is pass in the four parameters; core will
1305 allocate/initialise the error record.
1306*/
1307struct _Error {
1308 struct _Error* next;
1309 /* NULL if unsuppressed; or ptr to suppression record. */
1310 Supp* supp;
1311 Int count;
njn810086f2002-11-14 12:42:47 +00001312 ThreadId tid;
njn810086f2002-11-14 12:42:47 +00001313
1314 /* The skin-specific part */
njnae17bec2003-01-28 19:59:38 +00001315 /* Initialised by core */
1316 ExeContext* where;
njn810086f2002-11-14 12:42:47 +00001317 /* Used by ALL. Must be in the range (0..) */
1318 Int ekind;
1319 /* Used frequently */
1320 Addr addr;
1321 /* Used frequently */
1322 Char* string;
1323 /* For any skin-specific extras */
1324 void* extra;
1325};
sewardjde4a1d02002-03-22 01:27:54 +00001326
1327
njn25e49d8e72002-09-23 09:36:25 +00001328extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001329
njn25e49d8e72002-09-23 09:36:25 +00001330extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001331
njn25e49d8e72002-09-23 09:36:25 +00001332extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001333
njn43c799e2003-04-08 00:08:52 +00001334extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
1335
njn47363ab2003-04-21 13:24:40 +00001336extern UInt VG_(n_errs_found);
1337
sewardjde4a1d02002-03-22 01:27:54 +00001338/* ---------------------------------------------------------------------
1339 Exports of vg_procselfmaps.c
1340 ------------------------------------------------------------------ */
1341
njnfa1016e2003-09-25 17:54:11 +00001342/* Reads /proc/self/maps into a static buffer which can be parsed by
1343 VG_(parse_procselfmaps)(). */
1344extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001345
1346/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1347 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1348 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001349extern
njnfa1016e2003-09-25 17:54:11 +00001350void VG_(parse_procselfmaps) (
fitzhardinge98abfc72003-12-16 02:05:15 +00001351 void (*record_mapping)( Addr addr, UInt len, Char rr, Char ww, Char xx,
1352 UInt dev, UInt ino, ULong foff, const UChar *filename )
sewardjde4a1d02002-03-22 01:27:54 +00001353);
1354
1355
1356/* ---------------------------------------------------------------------
1357 Exports of vg_symtab2.c
1358 ------------------------------------------------------------------ */
1359
fitzhardinge98abfc72003-12-16 02:05:15 +00001360typedef struct _Segment Segment;
1361
1362extern Bool VG_(is_object_file) ( const void *hdr );
njnfa1016e2003-09-25 17:54:11 +00001363extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001364extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
njnfa1016e2003-09-25 17:54:11 +00001365extern void VG_(unload_symbols) ( Addr start, UInt length );
fitzhardinge98abfc72003-12-16 02:05:15 +00001366extern void VG_(symtab_incref) ( SegInfo * );
1367extern void VG_(symtab_decref) ( SegInfo *, Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001368
njn25e49d8e72002-09-23 09:36:25 +00001369extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001370
fitzhardinge98abfc72003-12-16 02:05:15 +00001371/* Set up some default redirects */
1372extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001373
fitzhardinge98abfc72003-12-16 02:05:15 +00001374/* Redirection machinery */
1375extern void VG_(add_redirect_sym)(const Char *from_lib, const Char *from_sym,
1376 const Char *to_lib, const Char *to_sym);
1377extern void VG_(add_redirect_addr)(const Char *from_lib, const Char *from_sym,
1378 Addr to_addr);
1379extern Addr VG_(code_redirect) (Addr orig);
sewardjde4a1d02002-03-22 01:27:54 +00001380
1381/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001382 Exports of vg_main.c
1383 ------------------------------------------------------------------ */
1384
sewardjb91ae7f2003-04-29 23:50:00 +00001385/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1386 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001387 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001388 correctly snapshot the startup machine state without it. */
1389extern Bool VG_(have_ssestate);
1390
sewardj73cf3bc2002-11-03 03:20:15 +00001391/* Tell the logging mechanism whether we are logging to a file
1392 descriptor or a socket descriptor. */
1393extern Bool VG_(logging_to_filedes);
1394
njn25e49d8e72002-09-23 09:36:25 +00001395/* Sanity checks which may be done at any time. The scheduler decides when. */
1396extern void VG_(do_sanity_checks) ( Bool force_expensive );
1397
fitzhardinge98abfc72003-12-16 02:05:15 +00001398/* Address space */
1399extern Addr VG_(client_base); /* client address space limits */
1400extern Addr VG_(client_end);
1401extern Addr VG_(client_mapbase); /* base of mappings */
1402extern Addr VG_(clstk_base); /* client stack range */
1403extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001404extern Addr VG_(client_trampoline_code);
1405
fitzhardinge98abfc72003-12-16 02:05:15 +00001406extern Addr VG_(brk_base); /* start of brk */
1407extern Addr VG_(brk_limit); /* current brk */
1408extern Addr VG_(shadow_base); /* skin's shadow memory */
1409extern Addr VG_(shadow_end);
1410extern Addr VG_(valgrind_base); /* valgrind's address range */
1411extern Addr VG_(valgrind_mmap_end);
1412extern Addr VG_(valgrind_end);
1413
fitzhardingeb50068f2004-02-24 23:42:55 +00001414extern vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1415
fitzhardinge98abfc72003-12-16 02:05:15 +00001416/* stage1 executable file descriptor */
fitzhardingea49f9b52003-12-16 22:26:45 +00001417extern Int VG_(vgexecfd);
1418
1419/* client executable file descriptor */
1420extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001421
njn9b007f62003-04-07 14:40:25 +00001422/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001423extern Bool VG_(need_to_handle_esp_assignment) ( void );
1424
sewardjde4a1d02002-03-22 01:27:54 +00001425/* Called when some unhandleable client behaviour is detected.
1426 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001427extern void VG_(unimplemented) ( Char* msg )
1428 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001429
njn25e49d8e72002-09-23 09:36:25 +00001430/* Similarly, we have to ask for signals to be delivered on an alternative
1431 stack, since it is possible, although unlikely, that we'll have to run
1432 client code from inside the Valgrind-installed signal handler. If this
1433 happens it will be done by vg_deliver_signal_immediately(). */
njn6eba4ef2003-05-01 08:06:41 +00001434extern UInt VG_(sigstack)[VG_SIGSTACK_SIZE_W];
sewardjde4a1d02002-03-22 01:27:54 +00001435
fitzhardinge98abfc72003-12-16 02:05:15 +00001436/* Valgrind's argc and argv */
1437extern Int VG_(vg_argc);
1438extern Char **VG_(vg_argv);
1439
sewardjd5815ec2003-04-06 12:23:27 +00001440/* Indicates presence, and holds address of client's sysinfo page, a
1441 feature of some modern kernels used to provide vsyscalls, etc. */
1442extern Bool VG_(sysinfo_page_exists);
1443extern Addr VG_(sysinfo_page_addr);
1444
nethercoteff9721d2004-01-26 17:10:01 +00001445/* Walk through a colon separated list variable, removing entries
1446 which match pattern. */
1447extern void VG_(mash_colon_env)(Char *varp, const Char *pattern);
1448
nethercote04d0fbc2004-01-26 16:48:06 +00001449/* Something of a function looking for a home ... start up debugger. */
1450extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001451
njn41557122002-10-14 09:25:37 +00001452/* VG_(bbs_done) in include/vg_skin.h */
1453
sewardjde4a1d02002-03-22 01:27:54 +00001454/* 64-bit counter for the number of bbs to go before a debug exit. */
1455extern ULong VG_(bbs_to_go);
1456
1457/* Counts downwards in vg_run_innerloop. */
1458extern UInt VG_(dispatch_ctr);
1459
sewardj7e87e382002-05-03 19:09:05 +00001460/* This is the ThreadId of the last thread the scheduler ran. */
1461extern ThreadId VG_(last_run_tid);
1462
njn25e49d8e72002-09-23 09:36:25 +00001463/* This is the argument to __NR_exit() supplied by the first thread to
1464 call that syscall. We eventually pass that to __NR_exit() for
1465 real. */
njn633de322003-05-12 20:40:13 +00001466extern Int VG_(exitcode);
njn25e49d8e72002-09-23 09:36:25 +00001467
jsgf855d93d2003-10-13 22:26:55 +00001468/* If we're doing the default action of a fatal signal */
1469extern jmp_buf VG_(fatal_signal_jmpbuf);
1470extern Bool VG_(fatal_signal_set); /* jmp_buf is valid */
1471extern Int VG_(fatal_sigNo); /* the fatal signal */
sewardjde4a1d02002-03-22 01:27:54 +00001472
1473/* --- Counters, for informational purposes only. --- */
1474
1475/* Number of lookups which miss the fast tt helper. */
1476extern UInt VG_(tt_fast_misses);
1477
sewardjc0d8f682002-11-30 00:49:43 +00001478/* Counts for TT/TC informational messages. */
sewardjde4a1d02002-03-22 01:27:54 +00001479
sewardjde4a1d02002-03-22 01:27:54 +00001480/* Number and total o/t size of translations overall. */
1481extern UInt VG_(overall_in_count);
1482extern UInt VG_(overall_in_osize);
1483extern UInt VG_(overall_in_tsize);
1484/* Number and total o/t size of discards overall. */
1485extern UInt VG_(overall_out_count);
1486extern UInt VG_(overall_out_osize);
1487extern UInt VG_(overall_out_tsize);
sewardjc0d8f682002-11-30 00:49:43 +00001488/* The number of discards of TT/TC. */
1489extern UInt VG_(number_of_tc_discards);
sewardj22854b92002-11-30 14:00:47 +00001490/* Counts of chain and unchain operations done. */
1491extern UInt VG_(bb_enchain_count);
1492extern UInt VG_(bb_dechain_count);
1493/* Number of unchained jumps performed. */
1494extern UInt VG_(unchained_jumps_done);
1495
sewardjde4a1d02002-03-22 01:27:54 +00001496
1497/* Counts pertaining to the register allocator. */
1498
1499/* total number of uinstrs input to reg-alloc */
1500extern UInt VG_(uinstrs_prealloc);
1501
1502/* total number of uinstrs added due to spill code */
1503extern UInt VG_(uinstrs_spill);
1504
1505/* number of bbs requiring spill code */
1506extern UInt VG_(translations_needing_spill);
1507
1508/* total of register ranks over all translations */
1509extern UInt VG_(total_reg_rank);
1510
sewardjde4a1d02002-03-22 01:27:54 +00001511/* Counts pertaining to internal sanity checking. */
1512extern UInt VG_(sanity_fast_count);
1513extern UInt VG_(sanity_slow_count);
1514
sewardj2e93c502002-04-12 11:12:52 +00001515/* Counts pertaining to the scheduler. */
1516extern UInt VG_(num_scheduling_events_MINOR);
1517extern UInt VG_(num_scheduling_events_MAJOR);
1518
sewardjfa492d42002-12-08 18:20:01 +00001519/* Insert and extract the D flag from eflags */
1520UInt VG_(insertDflag)(UInt eflags, Int d);
1521Int VG_(extractDflag)(UInt eflags);
sewardjde4a1d02002-03-22 01:27:54 +00001522
1523/* ---------------------------------------------------------------------
1524 Exports of vg_memory.c
1525 ------------------------------------------------------------------ */
1526
fitzhardinge98abfc72003-12-16 02:05:15 +00001527/* A Segment is mapped piece of client memory. This covers all kinds
1528 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1529
1530 We try to encode everything we know about a particular segment here.
1531*/
1532#define SF_FIXED (1 << 0) /* client asked for MAP_FIXED */
1533#define SF_SHARED (1 << 1) /* shared */
1534#define SF_SHM (1 << 2) /* SYSV SHM (also SF_SHARED) */
1535#define SF_MMAP (1 << 3) /* mmap memory */
1536#define SF_FILE (1 << 4) /* mapping is backed by a file */
1537#define SF_STACK (1 << 5) /* is a stack */
1538#define SF_GROWDOWN (1 << 6) /* segment grows down */
1539#define SF_GROWUP (1 << 7) /* segment grows up */
1540#define SF_EXEC (1 << 8) /* segment created by exec */
1541#define SF_DYNLIB (1 << 9) /* mapped from dynamic library */
1542#define SF_NOSYMS (1 << 10) /* don't load syms, even if present */
1543#define SF_BRK (1 << 11) /* brk segment */
1544#define SF_CORE (1 << 12) /* allocated by core on behalf of the client */
1545#define SF_VALGRIND (1 << 13) /* a valgrind-internal mapping - not in client*/
1546#define SF_CODE (1 << 14) /* segment contains cached code */
1547
1548struct _Segment {
1549 UInt prot; /* VKI_PROT_* */
1550 UInt flags; /* SF_* */
1551
1552 Addr addr; /* mapped addr (page aligned) */
1553 UInt len; /* size of mapping (page aligned) */
1554
1555 /* These are valid if (flags & SF_FILE) */
1556 ULong offset; /* file offset */
1557 const Char *filename; /* filename (NULL if unknown) */
1558 UInt dev; /* device */
1559 UInt ino; /* inode */
1560
1561 SegInfo *symtab; /* symbol table */
1562};
1563
1564/* segment mapped from a file descriptor */
1565extern void VG_(map_fd_segment) (Addr addr, UInt len, UInt prot, UInt flags,
1566 Int fd, ULong off, const Char *filename);
1567
1568/* segment mapped from a file */
1569extern void VG_(map_file_segment)(Addr addr, UInt len, UInt prot, UInt flags,
1570 UInt dev, UInt ino, ULong off, const Char *filename);
1571
1572/* simple segment */
1573extern void VG_(map_segment) (Addr addr, UInt len, UInt prot, UInt flags);
1574
1575extern void VG_(unmap_range) (Addr addr, UInt len);
1576extern void VG_(mprotect_range)(Addr addr, UInt len, UInt prot);
1577extern Addr VG_(find_map_space)(Addr base, UInt len, Bool for_client);
1578
1579extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001580extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001581extern Segment *VG_(next_segment)(Segment *);
1582
1583extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, UInt size);
1584extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, UInt size);
1585
njn9b007f62003-04-07 14:40:25 +00001586extern __attribute__((regparm(1)))
njnfa1016e2003-09-25 17:54:11 +00001587 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001588
jsgf855d93d2003-10-13 22:26:55 +00001589/* ---------------------------------------------------------------------
1590 Exports of vg_proxylwp.c
1591 ------------------------------------------------------------------ */
1592
1593/* Issue a syscall for thread tid */
1594extern Int VG_(sys_issue)(int tid);
1595
1596extern void VG_(proxy_init) ( void );
1597extern void VG_(proxy_create) ( ThreadId tid );
1598extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1599extern void VG_(proxy_results) ( void );
1600extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1601extern void VG_(proxy_setsigmask)(ThreadId tid);
1602extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1603extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1604extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001605extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001606
1607extern void VG_(proxy_shutdown) ( void ); /* shut down the syscall workers */
1608extern Int VG_(proxy_resfd) ( void ); /* FD something can select on to know
1609 a syscall finished */
1610
1611/* Sanity-check the whole proxy-LWP machinery */
1612void VG_(proxy_sanity)(void);
1613
1614/* Send a signal from a thread's proxy to the thread. This longjmps
1615 back into the proxy's main loop, so it doesn't return. */
1616__attribute__ ((__noreturn__))
1617extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
1618 const struct vki_sigcontext *sigcontext );
1619
fitzhardinge47735af2004-01-21 01:27:27 +00001620/* Get the PID/TID of the ProxyLWP. */
1621extern Int VG_(proxy_id)(ThreadId tid);
1622
jsgf855d93d2003-10-13 22:26:55 +00001623
sewardjde4a1d02002-03-22 01:27:54 +00001624/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001625 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001626 ------------------------------------------------------------------ */
1627
fitzhardinge98abfc72003-12-16 02:05:15 +00001628extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001629
jsgf855d93d2003-10-13 22:26:55 +00001630extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001631extern void VG_(post_syscall)( ThreadId tid, Bool restart );
fitzhardingee1c06d82003-10-30 07:21:44 +00001632extern void VG_(restart_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001633
1634extern Bool VG_(is_kerror) ( Int res );
1635
jsgf855d93d2003-10-13 22:26:55 +00001636/* Internal atfork handlers */
1637typedef void (*vg_atfork_t)(ThreadId);
1638extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001639
rjwalshf5f536f2003-11-17 17:45:00 +00001640/* fd leakage calls. */
1641extern void VG_(init_preopened_fds) ( void );
1642extern void VG_(fd_stats) ( void );
1643
sewardjde4a1d02002-03-22 01:27:54 +00001644/* ---------------------------------------------------------------------
1645 Exports of vg_transtab.c
1646 ------------------------------------------------------------------ */
1647
njn25e49d8e72002-09-23 09:36:25 +00001648/* The fast-cache for tt-lookup. */
1649extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1650
sewardjde4a1d02002-03-22 01:27:54 +00001651extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
sewardj6c3769f2002-11-29 01:02:45 +00001652
sewardjc0d8f682002-11-30 00:49:43 +00001653extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001654 Addr trans_addr, Int trans_size,
1655 UShort jumps[VG_MAX_JUMPS]);
sewardj6c3769f2002-11-29 01:02:45 +00001656
sewardj97ad5522003-05-04 12:32:56 +00001657extern void VG_(invalidate_translations) ( Addr start, UInt range, Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001658
sewardj18d75132002-05-16 11:06:21 +00001659extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001660
1661extern void VG_(sanity_check_tc_tt) ( void );
1662extern Addr VG_(search_transtab) ( Addr original_addr );
1663
sewardjde4a1d02002-03-22 01:27:54 +00001664
1665
1666/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001667 Exports of vg_syscall.S
1668 ------------------------------------------------------------------ */
1669
jsgf855d93d2003-10-13 22:26:55 +00001670extern Int VG_(do_syscall) ( UInt, ... );
1671extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1672 Int *child_tid, Int *parent_tid);
sewardjde4a1d02002-03-22 01:27:54 +00001673
1674/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001675 Exports of vg_dispatch.S
1676 ------------------------------------------------------------------ */
1677
sewardj2e93c502002-04-12 11:12:52 +00001678/* Run a thread for a (very short) while, until some event happens
1679 which means we need to defer to the scheduler. */
1680extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001681
sewardj22854b92002-11-30 14:00:47 +00001682/* The patching routing called when a BB wants to chain itself to
1683 another. */
1684extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001685
1686/* ---------------------------------------------------------------------
1687 Exports of vg_helpers.S
1688 ------------------------------------------------------------------ */
1689
sewardjde4a1d02002-03-22 01:27:54 +00001690/* Mul, div, etc, -- we don't codegen these directly. */
1691extern void VG_(helper_idiv_64_32);
1692extern void VG_(helper_div_64_32);
1693extern void VG_(helper_idiv_32_16);
1694extern void VG_(helper_div_32_16);
1695extern void VG_(helper_idiv_16_8);
1696extern void VG_(helper_div_16_8);
1697
1698extern void VG_(helper_imul_32_64);
1699extern void VG_(helper_mul_32_64);
1700extern void VG_(helper_imul_16_32);
1701extern void VG_(helper_mul_16_32);
1702extern void VG_(helper_imul_8_16);
1703extern void VG_(helper_mul_8_16);
1704
1705extern void VG_(helper_CLD);
1706extern void VG_(helper_STD);
1707extern void VG_(helper_get_dirflag);
1708
sewardj7d78e782002-06-02 00:04:00 +00001709extern void VG_(helper_CLC);
1710extern void VG_(helper_STC);
nethercote1018bdd2004-02-11 23:33:29 +00001711extern void VG_(helper_CMC);
sewardj7d78e782002-06-02 00:04:00 +00001712
sewardjde4a1d02002-03-22 01:27:54 +00001713extern void VG_(helper_shldl);
1714extern void VG_(helper_shldw);
1715extern void VG_(helper_shrdl);
1716extern void VG_(helper_shrdw);
1717
daywalkerb18d2532003-09-27 20:15:01 +00001718extern void VG_(helper_IN);
1719extern void VG_(helper_OUT);
1720
sewardjde4a1d02002-03-22 01:27:54 +00001721extern void VG_(helper_RDTSC);
1722extern void VG_(helper_CPUID);
1723
nethercote1018bdd2004-02-11 23:33:29 +00001724extern void VG_(helper_bsfw);
1725extern void VG_(helper_bsfl);
1726extern void VG_(helper_bsrw);
1727extern void VG_(helper_bsrl);
sewardjde4a1d02002-03-22 01:27:54 +00001728
1729extern void VG_(helper_fstsw_AX);
1730extern void VG_(helper_SAHF);
njnd6251f12003-06-03 13:38:51 +00001731extern void VG_(helper_LAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001732extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001733extern void VG_(helper_DAA);
nethercote1018bdd2004-02-11 23:33:29 +00001734extern void VG_(helper_AAS);
1735extern void VG_(helper_AAA);
1736extern void VG_(helper_AAD);
1737extern void VG_(helper_AAM);
sewardjde4a1d02002-03-22 01:27:54 +00001738
muellerf217c732004-01-02 22:42:29 +00001739extern void VG_(helper_cmpxchg8b);
1740
sewardj51096432002-12-14 23:59:09 +00001741extern void VG_(helper_undefined_instruction);
1742
fitzhardinge92360792003-12-24 10:11:11 +00001743/* Information about trampoline code (for signal return and syscalls) */
1744extern const Char VG_(trampoline_code_start);
1745extern const Int VG_(trampoline_code_length);
1746extern const Int VG_(tramp_sigreturn_offset);
1747extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001748
njn4f9c9342002-04-29 16:03:24 +00001749/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001750 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001751 ------------------------------------------------------------------ */
1752
fitzhardinge98abfc72003-12-16 02:05:15 +00001753#define VG_TRACK(fn, args...) \
1754 do { \
1755 if (VG_(defined_##fn)()) \
1756 SK_(fn)(args); \
1757 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001758
fitzhardinge98abfc72003-12-16 02:05:15 +00001759__attribute__ ((noreturn))
1760extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001761
sewardjde4a1d02002-03-22 01:27:54 +00001762/* ---------------------------------------------------------------------
1763 The state of the simulated CPU.
1764 ------------------------------------------------------------------ */
1765
sewardjde4a1d02002-03-22 01:27:54 +00001766/* ---------------------------------------------------------------------
1767 Offsets into baseBlock for everything which needs to referred to
1768 from generated code. The order of these decls does not imply
1769 what the order of the actual offsets is. The latter is important
1770 and is set up in vg_main.c.
1771 ------------------------------------------------------------------ */
1772
1773/* An array of words. In generated code, %ebp always points to the
1774 start of this array. Useful stuff, like the simulated CPU state,
1775 and the addresses of helper functions, can then be found by
1776 indexing off %ebp. The following declares variables which, at
1777 startup time, are given values denoting offsets into baseBlock.
1778 These offsets are in *words* from the start of baseBlock. */
1779
sewardjb91ae7f2003-04-29 23:50:00 +00001780#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001781
1782extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1783
1784
1785/* -----------------------------------------------------
1786 Read-write parts of baseBlock.
1787 -------------------------------------------------- */
1788
1789/* State of the simulated CPU. */
1790extern Int VGOFF_(m_eax);
1791extern Int VGOFF_(m_ecx);
1792extern Int VGOFF_(m_edx);
1793extern Int VGOFF_(m_ebx);
1794extern Int VGOFF_(m_esp);
1795extern Int VGOFF_(m_ebp);
1796extern Int VGOFF_(m_esi);
1797extern Int VGOFF_(m_edi);
1798extern Int VGOFF_(m_eflags);
sewardjb91ae7f2003-04-29 23:50:00 +00001799extern Int VGOFF_(m_ssestate);
sewardjde4a1d02002-03-22 01:27:54 +00001800extern Int VGOFF_(m_eip);
1801
sewardjfa492d42002-12-08 18:20:01 +00001802extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1803
sewardj92a59562002-09-30 00:53:10 +00001804extern Int VGOFF_(m_cs);
1805extern Int VGOFF_(m_ss);
1806extern Int VGOFF_(m_ds);
1807extern Int VGOFF_(m_es);
1808extern Int VGOFF_(m_fs);
1809extern Int VGOFF_(m_gs);
1810
sewardjde4a1d02002-03-22 01:27:54 +00001811/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1812extern Int VGOFF_(spillslots);
1813
1814/* Records the valid bits for the 8 integer regs & flags reg. */
1815extern Int VGOFF_(sh_eax);
1816extern Int VGOFF_(sh_ecx);
1817extern Int VGOFF_(sh_edx);
1818extern Int VGOFF_(sh_ebx);
1819extern Int VGOFF_(sh_esp);
1820extern Int VGOFF_(sh_ebp);
1821extern Int VGOFF_(sh_esi);
1822extern Int VGOFF_(sh_edi);
1823extern Int VGOFF_(sh_eflags);
1824
sewardjde4a1d02002-03-22 01:27:54 +00001825/* -----------------------------------------------------
1826 Read-only parts of baseBlock.
1827 -------------------------------------------------- */
1828
sewardj92a59562002-09-30 00:53:10 +00001829/* This thread's LDT pointer. */
1830extern Int VGOFF_(ldt);
1831
fitzhardinge47735af2004-01-21 01:27:27 +00001832/* This thread's TLS pointer. */
1833extern Int VGOFF_(tls);
1834
njn211b6ad2003-02-03 12:33:31 +00001835/* Nb: Most helper offsets are in include/vg_skin.h, for use by skins */
sewardjde4a1d02002-03-22 01:27:54 +00001836
sewardj51096432002-12-14 23:59:09 +00001837extern Int VGOFF_(helper_undefined_instruction);
1838
njn25e49d8e72002-09-23 09:36:25 +00001839/* For storing extension-specific helpers, determined at runtime. The addr
1840 * and offset arrays together form a (addr, offset) map that allows a
1841 * helper's baseBlock offset to be computed from its address. It's done
1842 * like this so CCALL_M_Ns and other helper calls can use the function
1843 * address rather than having to much around with offsets. */
1844extern UInt VG_(n_compact_helpers);
1845extern UInt VG_(n_noncompact_helpers);
1846
1847extern Addr VG_(compact_helper_addrs) [];
1848extern Int VG_(compact_helper_offsets)[];
1849
1850extern Addr VG_(noncompact_helper_addrs) [];
1851extern Int VG_(noncompact_helper_offsets)[];
1852
sewardjde4a1d02002-03-22 01:27:54 +00001853#endif /* ndef __VG_INCLUDE_H */
1854
sewardj3b2736a2002-03-24 12:18:35 +00001855
1856/* ---------------------------------------------------------------------
1857 Finally - autoconf-generated settings
1858 ------------------------------------------------------------------ */
1859
1860#include "config.h"
1861
sewardjde4a1d02002-03-22 01:27:54 +00001862/*--------------------------------------------------------------------*/
1863/*--- end vg_include.h ---*/
1864/*--------------------------------------------------------------------*/