blob: 4f206717b5b68cc3057a31422379f563c77dcc52 [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 rwlock-remapping table. */
sewardj89745a52002-09-27 01:04:29 +0000120#define VG_N_RWLOCKS 500
sewardj20917d82002-05-28 01:36:45 +0000121
sewardj8ad94e12002-05-29 00:10:20 +0000122/* Number of entries in each thread's cleanup stack. */
sewardj61821c02003-05-04 13:02:10 +0000123#define VG_N_CLEANUPSTACK 16
sewardj8ad94e12002-05-29 00:10:20 +0000124
sewardj2cb00342002-06-28 01:46:26 +0000125/* Number of entries in each thread's fork-handler stack. */
sewardj4700f042003-07-26 17:49:58 +0000126#define VG_N_FORKHANDLERSTACK 4
sewardj2cb00342002-06-28 01:46:26 +0000127
njn25e49d8e72002-09-23 09:36:25 +0000128/* Max number of callers for context in a suppression. */
129#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000130
njn6eba4ef2003-05-01 08:06:41 +0000131/* Valgrind's stack sizes, in words */
132#define VG_STACK_SIZE_W 10000
133#define VG_SIGSTACK_SIZE_W 10000
njn12a57142003-04-30 20:49:10 +0000134
fitzhardinge98abfc72003-12-16 02:05:15 +0000135/* Useful macros */
136/* a - alignment - must be a power of 2 */
137#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
138#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
139#define PGROUNDDN(p) ROUNDDN(p, VKI_BYTES_PER_PAGE)
140#define PGROUNDUP(p) ROUNDUP(p, VKI_BYTES_PER_PAGE)
141
142
sewardjde4a1d02002-03-22 01:27:54 +0000143/* ---------------------------------------------------------------------
144 Basic types
145 ------------------------------------------------------------------ */
146
sewardjde4a1d02002-03-22 01:27:54 +0000147/* Just pray that gcc's constant folding works properly ... */
148#define BITS(bit7,bit6,bit5,bit4,bit3,bit2,bit1,bit0) \
149 ( ((bit7) << 7) | ((bit6) << 6) | ((bit5) << 5) | ((bit4) << 4) \
150 | ((bit3) << 3) | ((bit2) << 2) | ((bit1) << 1) | (bit0))
151
sewardjde4a1d02002-03-22 01:27:54 +0000152/* ---------------------------------------------------------------------
153 Command-line-settable options
154 ------------------------------------------------------------------ */
155
sewardj4f094a72002-11-05 23:37:35 +0000156/* Default destination port to be used in logging over a network, if
157 none specified. */
158#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000159
160/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000161#define VG_CLO_MAX_SFILES 10
162
nethercote04d0fbc2004-01-26 16:48:06 +0000163/* Default debugger command. */
164#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
165
sewardj4cf05692002-10-27 20:28:29 +0000166/* Describes where logging output is to be sent. */
167typedef
168 enum {
169 VgLogTo_Fd,
170 VgLogTo_File,
171 VgLogTo_Socket
172 } VgLogTo;
173
jsgf855d93d2003-10-13 22:26:55 +0000174/* pid of main process */
175extern Int VG_(main_pid);
176
177/* pgrp of process (global to all threads) */
178extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000179
fitzhardingef0046f22003-12-18 02:39:22 +0000180/* Maximum allowed application-visible file descriptor */
181extern Int VG_(max_fd);
182
sewardj72f98ff2002-06-13 17:23:38 +0000183/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000184extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000185/* Enquire about whether to attach to a debugger at errors? default: NO */
186extern Bool VG_(clo_db_attach);
187/* The debugger command? default: whatever gdb ./configure found */
188extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000189/* Enquire about generating a suppression for each error? default: NO */
190extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000191/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
192extern Int VG_(sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000193/* Automatically attempt to demangle C++ names? default: YES */
194extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000195/* Simulate child processes? default: NO */
196extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000197
198/* Where logging output is to be sent to.
199
200 When log_to == VgLogTo_Fd, clo_logfile_fd holds the file id, and is
201 taken from the command line. clo_logfile_name is irrelevant.
202
203 When log_to == VgLogTo_File, clo_logfile_name holds the logfile
204 name, and is taken from the command line. clo_logfile_fd is then
205 made to hold the relevant file id, by opening clo_logfile_name
206 (concatenated with the process ID) for writing.
207
208 When log_to == VgLogTo_Socket, clo_logfile_name holds the
209 hostname:portnumber pair, and is taken from the command line.
210 clo_logfile_fd is then made to hold the relevant file handle, by
211 opening a connection to said hostname:portnumber pair.
212
213 Global default is to set log_to == VgLogTo_Fd and logfile_fd == 2
214 (stderr). */
215extern VgLogTo VG_(clo_log_to);
216extern Int VG_(clo_logfile_fd);
217extern Char* VG_(clo_logfile_name);
sewardjde4a1d02002-03-22 01:27:54 +0000218
sewardj6024b212003-07-13 10:54:33 +0000219/* The file descriptor to read for input. default: 0 == stdin */
220extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000221/* The number of suppression files specified. */
222extern Int VG_(clo_n_suppressions);
223/* The names of the suppression files. */
224extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
225
226/* Single stepping? default: NO */
227extern Bool VG_(clo_single_step);
228/* Code improvement? default: YES */
229extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000230/* DEBUG: print generated code? default: 00000 ( == NO ) */
231extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000232/* DEBUG: print system calls? default: NO */
233extern Bool VG_(clo_trace_syscalls);
234/* DEBUG: print signal details? default: NO */
235extern Bool VG_(clo_trace_signals);
236/* DEBUG: print symtab details? default: NO */
237extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000238/* DEBUG: print thread scheduling events? default: NO */
239extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000240/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
241 (some), 2 (all) */
242extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000243/* Display gory details for the k'th most popular error. default:
244 Infinity. */
245extern Int VG_(clo_dump_error);
246/* Number of parents of a backtrace. Default: 8. */
247extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000248/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000249extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000250/* How often we should poll for signals, assuming we need to poll for
251 signals. */
252extern Int VG_(clo_signal_polltime);
253
254/* Low latency syscalls and signals */
255extern Bool VG_(clo_lowlat_syscalls);
256extern Bool VG_(clo_lowlat_signals);
257
rjwalshf5f536f2003-11-17 17:45:00 +0000258/* Track open file descriptors? */
259extern Bool VG_(clo_track_fds);
260
sewardj858964b2002-10-05 14:15:43 +0000261/* Should we run __libc_freeres at exit? Sometimes causes crashes.
262 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
263 if the latter says False, then the setting of VG_(clo_weird_hacks)
264 is ignored. Ie if a skin says no, I don't want this to run, that
265 cannot be overridden from the command line. */
266extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000267/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000268extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000269/* Generate branch-prediction hints? */
270extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000271/* Continue stack traces below main()? Default: NO */
272extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000273/* Test each client pointer dereference to check it's within the
274 client address space bounds */
275extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000276
rjwalshe4e779d2004-04-16 23:02:29 +0000277/* Set up the libc freeres wrapper */
278extern void VG_(intercept_libc_freeres_wrapper)(Addr);
279
sewardjde4a1d02002-03-22 01:27:54 +0000280/* ---------------------------------------------------------------------
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
487/* Allocate RT signals */
488#define VG_USERREQ__GET_SIGRT_MIN 0x302B
489#define VG_USERREQ__GET_SIGRT_MAX 0x302C
490#define VG_USERREQ__ALLOC_RTSIG 0x302D
491
492/* Hook for replace_malloc.o to get malloc functions */
493#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
494
sewardj45b4b372002-04-16 22:50:32 +0000495/* Cosmetic ... */
496#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000497/* Log a pthread error from client-space. Cosmetic. */
498#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000499/* Internal equivalent of VALGRIND_PRINTF . */
500#define VG_USERREQ__INTERNAL_PRINTF 0x3103
501/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
502#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000503
sewardj54cacf02002-04-12 23:24:59 +0000504/*
505In vg_constants.h:
506#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000507*/
508
rjwalshe4e779d2004-04-16 23:02:29 +0000509#define VG_INTERCEPT_PREFIX "_vgi__"
510#define VG_INTERCEPT_PREFIX_LEN 6
511#define VG_INTERCEPT(name) _vgi__##name
512#define VG_INTERCEPT_ALIAS(name) "_vgi__" #name
513
514#define VG_WRAPPER_PREFIX "_vgw__"
515#define VG_WRAPPER_PREFIX_LEN 6
516#define VG_WRAPPER(name) _vgw__##name
517#define VG_WRAPPER_ALIAS(name) "_vgw__" #name
518
njn4c791212003-05-02 17:53:54 +0000519
fitzhardinge98abfc72003-12-16 02:05:15 +0000520struct vg_mallocfunc_info {
521 /* things vg_replace_malloc.o needs to know about */
522 Addr sk_malloc;
523 Addr sk_calloc;
524 Addr sk_realloc;
525 Addr sk_memalign;
526 Addr sk___builtin_new;
527 Addr sk___builtin_vec_new;
528 Addr sk_free;
529 Addr sk___builtin_delete;
530 Addr sk___builtin_vec_delete;
531
532 Addr arena_payload_szB;
533
534 Bool clo_sloppy_malloc;
535 Bool clo_trace_malloc;
536};
sewardj1fe7b002002-07-16 01:43:15 +0000537
fitzhardinge39de4b42003-10-31 07:12:21 +0000538__attribute__((weak))
539int
540VALGRIND_INTERNAL_PRINTF(char *format, ...)
541{
542 unsigned int _qzz_res = 0;
543 va_list vargs;
544 va_start(vargs, format);
545 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
546 (unsigned int)format, (unsigned int)vargs, 0, 0);
547 va_end(vargs);
548 return _qzz_res;
549}
550
551__attribute__((weak))
552int
553VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
554{
555 unsigned int _qzz_res = 0;
556 va_list vargs;
557 va_start(vargs, format);
558 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
559 (unsigned int)format, (unsigned int)vargs, 0, 0);
560 va_end(vargs);
561 return _qzz_res;
562}
563
sewardj54cacf02002-04-12 23:24:59 +0000564
sewardj2e93c502002-04-12 11:12:52 +0000565/* ---------------------------------------------------------------------
566 Constants pertaining to the simulated CPU state, VG_(baseBlock),
567 which need to go here to avoid ugly circularities.
568 ------------------------------------------------------------------ */
569
sewardjb91ae7f2003-04-29 23:50:00 +0000570/* How big is the saved SSE/SSE2 state? Note that this subsumes the
571 FPU state. On machines without SSE, we just save/restore the FPU
572 state into the first part of this area. */
573/* A general comment about SSE save/restore: It appears that the 7th
574 word (which is the MXCSR) has to be &ed with 0x0000FFBF in order
575 that restoring from it later does not cause a GP fault (which is
576 delivered as a segfault). I guess this will have to be done
577 any time we do fxsave :-( 7th word means word offset 6 or byte
578 offset 24 from the start address of the save area.
579 */
580#define VG_SIZE_OF_SSESTATE 512
sewardj2e93c502002-04-12 11:12:52 +0000581/* ... and in words ... */
sewardjb91ae7f2003-04-29 23:50:00 +0000582#define VG_SIZE_OF_SSESTATE_W ((VG_SIZE_OF_SSESTATE+3)/4)
sewardj2e93c502002-04-12 11:12:52 +0000583
584
585/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000586 Exports of vg_defaults.c
587 ------------------------------------------------------------------ */
588
589extern Bool VG_(sk_malloc_called_by_scheduler);
590
591
592/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000593 Exports of vg_ldt.c
594 ------------------------------------------------------------------ */
595
596/* This is the hardware-format for a segment descriptor, ie what the
597 x86 actually deals with. It is 8 bytes long. It's ugly. */
598
599typedef struct _LDT_ENTRY {
600 union {
601 struct {
602 UShort LimitLow;
603 UShort BaseLow;
604 unsigned BaseMid : 8;
605 unsigned Type : 5;
606 unsigned Dpl : 2;
607 unsigned Pres : 1;
608 unsigned LimitHi : 4;
609 unsigned Sys : 1;
610 unsigned Reserved_0 : 1;
611 unsigned Default_Big : 1;
612 unsigned Granularity : 1;
613 unsigned BaseHi : 8;
614 } Bits;
615 struct {
616 UInt word1;
617 UInt word2;
618 } Words;
619 }
620 LdtEnt;
621} VgLdtEntry;
622
623/* Maximum number of LDT entries supported (by the x86). */
624#define VG_M_LDT_ENTRIES 8192
625/* The size of each LDT entry == sizeof(VgLdtEntry) */
626#define VG_LDT_ENTRY_SIZE 8
627
628/* Alloc & copy, and dealloc. */
629extern VgLdtEntry*
630 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
631extern void
632 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
fitzhardinge47735af2004-01-21 01:27:27 +0000633extern void
634 VG_(clear_TLS_for_thread) ( VgLdtEntry* tls );
sewardj92a59562002-09-30 00:53:10 +0000635
636/* Simulate the modify_ldt syscall. */
637extern Int VG_(sys_modify_ldt) ( ThreadId tid,
638 Int func, void* ptr, UInt bytecount );
639
fitzhardinge47735af2004-01-21 01:27:27 +0000640/* Simulate the {get,set}_thread_area syscalls. */
641extern Int VG_(sys_set_thread_area) ( ThreadId tid,
642 struct vki_modify_ldt_ldt_s* info );
643extern Int VG_(sys_get_thread_area) ( ThreadId tid,
644 struct vki_modify_ldt_ldt_s* info );
645
sewardje1042472002-09-30 12:33:11 +0000646/* Called from generated code. Given a segment selector and a virtual
647 address, return a linear address, and do limit checks too. */
648extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
649
sewardj92a59562002-09-30 00:53:10 +0000650
651/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000652 Exports of vg_libpthread.c
653 ------------------------------------------------------------------ */
654
655/* Replacements for pthread types, shared between vg_libpthread.c and
656 vg_scheduler.c. See comment in vg_libpthread.c above the other
657 vg_pthread_*_t types for a description of how these are used. */
658
659struct _vg_pthread_fastlock
660{
661 long int __vg_status; /* "Free" or "taken" or head of waiting list */
662 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
663 adaptive SMP lock stores spin count here. */
664};
665
666typedef struct
667{
668 int __vg_m_reserved; /* Reserved for future use */
669 int __vg_m_count; /* Depth of recursive locking */
670 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
671 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
672 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
673} vg_pthread_mutex_t;
674
675typedef struct
676{
677 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
nethercotedffad082004-02-28 23:32:11 +0000678 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
679
680 // Nb: the following padding removed because it was missing from an
681 // earlier glibc, so the size test in the CONVERT macro was failing.
682 // --njn
683
nethercote1f0173b2004-02-28 15:40:36 +0000684 // Padding ensures the size is 48 bytes
nethercotedffad082004-02-28 23:32:11 +0000685 /*char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
nethercote1f0173b2004-02-28 15:40:36 +0000686 - sizeof(void*) - sizeof(long long)];
nethercotedffad082004-02-28 23:32:11 +0000687 long long __vg_align;*/
nethercote1f0173b2004-02-28 15:40:36 +0000688} vg_pthread_cond_t;
689
690
691/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000692 Exports of vg_scheduler.c
693 ------------------------------------------------------------------ */
694
sewardj2e93c502002-04-12 11:12:52 +0000695typedef
jsgf855d93d2003-10-13 22:26:55 +0000696 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000697 VgTs_Empty, /* this slot is not in use */
698 VgTs_Runnable, /* waiting to be scheduled */
699 VgTs_WaitJoiner, /* waiting for someone to do join on me */
700 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000701 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000702 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000703 VgTs_WaitSys, /* waiting for a syscall to complete */
704 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000705 }
706 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000707
708/* An entry in a threads's cleanup stack. */
709typedef
710 struct {
711 void (*fn)(void*);
712 void* arg;
713 }
714 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000715
716/* An entry in a thread's fork-handler stack. */
717typedef
718 struct {
719 void (*prepare)(void);
720 void (*parent)(void);
721 void (*child)(void);
722 }
723 ForkHandlerEntry;
724
jsgf855d93d2003-10-13 22:26:55 +0000725typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000726
njn72718642003-07-24 08:45:32 +0000727typedef
728 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000729 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
730 The thread identity is simply the index in vg_threads[].
731 ThreadId == 1 is the root thread and has the special property
732 that we don't try and allocate or deallocate its stack. For
733 convenience of generating error message, we also put the
734 ThreadId in this tid field, but be aware that it should
735 ALWAYS == the index in vg_threads[]. */
736 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000737
njn25e49d8e72002-09-23 09:36:25 +0000738 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000739
njn25e49d8e72002-09-23 09:36:25 +0000740 Complications: whenever this is set to VgTs_WaitMX, you
741 should also set .m_edx to whatever the required return value
742 is for pthread_mutex_lock / pthread_cond_timedwait for when
743 the mutex finally gets unblocked. */
744 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000745
njn25e49d8e72002-09-23 09:36:25 +0000746 /* When .status == WaitMX, points to the mutex I am waiting for.
747 When .status == WaitCV, points to the mutex associated with
748 the condition variable indicated by the .associated_cv field.
749 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000750 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000751
njn25e49d8e72002-09-23 09:36:25 +0000752 /* When .status == WaitCV, points to the condition variable I am
753 waiting for. In all other cases, should be NULL. */
754 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000755
njn25e49d8e72002-09-23 09:36:25 +0000756 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000757 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000758
njn25e49d8e72002-09-23 09:36:25 +0000759 If VgTs_WaitCV, this indicates the time at which
760 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
761 this means infinitely far in the future, viz,
762 pthread_cond_wait. */
763 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000764
njn25e49d8e72002-09-23 09:36:25 +0000765 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
766 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000767
njn25e49d8e72002-09-23 09:36:25 +0000768 /* If VgTs_WaitJoinee, place to copy the return value to, and
769 the identity of the thread we're waiting for. */
770 void** joiner_thread_return;
771 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000772
jsgf855d93d2003-10-13 22:26:55 +0000773 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
774 void *sys_pre_res;
775
776 /* If VgTs_WaitSys, this is the syscall we're currently running */
777 Int syscallno;
778
779 /* Details about this thread's proxy LWP */
780 ProxyLWP *proxy;
781
njn25e49d8e72002-09-23 09:36:25 +0000782 /* Whether or not detached. */
783 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000784
njn25e49d8e72002-09-23 09:36:25 +0000785 /* Cancelability state and type. */
786 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
787 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
788
789 /* Pointer to fn to call to do cancellation. Indicates whether
790 or not cancellation is pending. If NULL, not pending. Else
791 should be &thread_exit_wrapper(), indicating that
792 cancallation is pending. */
793 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000794
njn25e49d8e72002-09-23 09:36:25 +0000795 /* The cleanup stack. */
796 Int custack_used;
797 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000798
sewardj00a66b12002-10-12 16:42:35 +0000799 /* A pointer to the thread's-specific-data. This is handled almost
800 entirely from vg_libpthread.c. We just provide hooks to get and
801 set this ptr. This is either NULL, indicating the thread has
802 read/written none of its specifics so far, OR points to a
803 void*[VG_N_THREAD_KEYS], allocated and deallocated in
804 vg_libpthread.c. */
805 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000806
njn25e49d8e72002-09-23 09:36:25 +0000807 /* This thread's blocked-signals mask. Semantics is that for a
808 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000809 blocked by this signal mask. If more than one thread accepts a
810 signal, then it will be delivered to one at random. If all
811 threads block the signal, it will remain pending until either a
812 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
813
814 sig_mask reflects what the client told us its signal mask should
815 be, but isn't necessarily the current signal mask of the proxy
816 LWP: it may have more signals blocked because of signal
817 handling, or it may be different because of sigsuspend.
818 */
njn25e49d8e72002-09-23 09:36:25 +0000819 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000820
fitzhardingef0dd7e12004-01-16 02:17:30 +0000821 /* Effective signal mask. This is the mask which currently
822 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000823 handler is running.
824 */
825 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000826
njn25e49d8e72002-09-23 09:36:25 +0000827 /* Stacks. When a thread slot is freed, we don't deallocate its
828 stack; we just leave it lying around for the next use of the
829 slot. If the next use of the slot requires a larger stack,
830 only then is the old one deallocated and a new one
831 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000832
njn25e49d8e72002-09-23 09:36:25 +0000833 For the main thread (threadid == 0), this mechanism doesn't
834 apply. We don't know the size of the stack since we didn't
835 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000836
njn25e49d8e72002-09-23 09:36:25 +0000837 /* The allocated size of this thread's stack (permanently zero
838 if this is ThreadId == 0, since we didn't allocate its stack) */
839 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000840
njn25e49d8e72002-09-23 09:36:25 +0000841 /* Address of the lowest word in this thread's stack. NULL means
842 not allocated yet.
843 */
844 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000845
sewardj92a59562002-09-30 00:53:10 +0000846 /* Address of the highest legitimate word in this stack. This is
847 used for error messages only -- not critical for execution
848 correctness. Is is set for all stacks, specifically including
849 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000850 Addr stack_highest_word;
851
fitzhardinge98c4dc02004-03-16 08:27:29 +0000852 /* Alternate signal stack */
853 vki_kstack_t altstack;
854
sewardj92a59562002-09-30 00:53:10 +0000855 /* Pointer to this thread's Local (Segment) Descriptor Table.
856 Starts out as NULL, indicating there is no table, and we hope to
857 keep it that way. If the thread does __NR_modify_ldt to create
858 entries, we allocate a 8192-entry table at that point. This is
859 a straight copy of the Linux kernel's scheme. Don't forget to
860 deallocate this at thread exit. */
861 VgLdtEntry* ldt;
862
fitzhardinge47735af2004-01-21 01:27:27 +0000863 /* TLS table. This consists of a small number (currently 3) of
864 entries from the Global Descriptor Table. */
865 VgLdtEntry tls[VKI_GDT_TLS_ENTRIES];
866
sewardj92a59562002-09-30 00:53:10 +0000867 /* Saved machine context. Note the FPU state, %EIP and segment
868 registers are not shadowed.
869
870 Although the segment registers are 16 bits long, storage
nethercote1d447092004-02-01 17:29:59 +0000871 management here and in VG_(baseBlock) is
sewardj92a59562002-09-30 00:53:10 +0000872 simplified if we pretend they are 32 bits. */
873 UInt m_cs;
874 UInt m_ss;
875 UInt m_ds;
876 UInt m_es;
877 UInt m_fs;
878 UInt m_gs;
879
njn25e49d8e72002-09-23 09:36:25 +0000880 UInt m_eax;
881 UInt m_ebx;
882 UInt m_ecx;
883 UInt m_edx;
884 UInt m_esi;
885 UInt m_edi;
886 UInt m_ebp;
887 UInt m_esp;
888 UInt m_eflags;
889 UInt m_eip;
sewardjb91ae7f2003-04-29 23:50:00 +0000890
891 /* The SSE/FPU state. This array does not (necessarily) have the
892 required 16-byte alignment required to get stuff in/out by
893 fxsave/fxrestore. So we have to do it "by hand".
894 */
895 UInt m_sse[VG_SIZE_OF_SSESTATE_W];
njn25e49d8e72002-09-23 09:36:25 +0000896
897 UInt sh_eax;
898 UInt sh_ebx;
899 UInt sh_ecx;
900 UInt sh_edx;
901 UInt sh_esi;
902 UInt sh_edi;
903 UInt sh_ebp;
904 UInt sh_esp;
905 UInt sh_eflags;
njn72718642003-07-24 08:45:32 +0000906}
907ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000908
909
sewardj018f7622002-05-15 21:13:39 +0000910/* The thread table. */
911extern ThreadState VG_(threads)[VG_N_THREADS];
912
913/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000914extern Bool VG_(is_valid_tid) ( ThreadId tid );
915
sewardj018f7622002-05-15 21:13:39 +0000916/* Check that tid is in range. */
917extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
918
njn72718642003-07-24 08:45:32 +0000919/* Determine if 'tid' is that of the current running thread (Nb: returns
920 False if no thread is currently running. */
921extern Bool VG_(is_running_thread)(ThreadId tid);
922
jsgf855d93d2003-10-13 22:26:55 +0000923/* Get the ThreadState for a particular thread */
924extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
925
sewardj2e93c502002-04-12 11:12:52 +0000926/* Copy the specified thread's state into VG_(baseBlock) in
927 preparation for running it. */
928extern void VG_(load_thread_state)( ThreadId );
929
930/* Save the specified thread's state back in VG_(baseBlock), and fill
931 VG_(baseBlock) with junk, for sanity-check reasons. */
932extern void VG_(save_thread_state)( ThreadId );
933
sewardj1e8cdc92002-04-18 11:37:52 +0000934/* And for the currently running one, if valid. */
935extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000936
sewardj1e8cdc92002-04-18 11:37:52 +0000937/* Similarly ... */
938extern ThreadId VG_(get_current_tid) ( void );
939
sewardjccef2e62002-05-29 19:26:32 +0000940/* Nuke all threads except tid. */
941extern void VG_(nuke_all_threads_except) ( ThreadId me );
942
jsgf855d93d2003-10-13 22:26:55 +0000943/* Give a hint to the scheduler that it may be a good time to find a
944 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
945 try to schedule that thread.
946*/
947extern void VG_(need_resched) ( ThreadId prefer_sched );
948
949/* Add a new timeout event for a thread*/
950extern void VG_(add_timeout) ( ThreadId tid, UInt time );
sewardj2e93c502002-04-12 11:12:52 +0000951
952/* Return codes from the scheduler. */
953typedef
sewardj7e87e382002-05-03 19:09:05 +0000954 enum {
955 VgSrc_Deadlock, /* no runnable threads and no prospect of any
956 even if we wait for a long time */
957 VgSrc_ExitSyscall, /* client called exit(). This is the normal
958 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000959 VgSrc_FatalSig /* Killed by the default action of a fatal
960 signal */
sewardj7e87e382002-05-03 19:09:05 +0000961 }
sewardj2e93c502002-04-12 11:12:52 +0000962 VgSchedReturnCode;
963
sewardj7e87e382002-05-03 19:09:05 +0000964
sewardj2e93c502002-04-12 11:12:52 +0000965/* The scheduler. */
966extern VgSchedReturnCode VG_(scheduler) ( void );
967
968extern void VG_(scheduler_init) ( void );
969
sewardj15a43e12002-04-17 19:35:12 +0000970extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000971
972/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
973extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000974/* This says whether scheduler_jmpbuf is actually valid. Needed so
975 that our signal handler doesn't longjmp when the buffer isn't
976 actually valid. */
977extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000978/* ... and if so, here's the signal which caused it to do so. */
979extern Int VG_(longjmpd_on_signal);
980
981
sewardj2e93c502002-04-12 11:12:52 +0000982/* The red-zone size which we put at the bottom (highest address) of
983 thread stacks, for paranoia reasons. This can be arbitrary, and
984 doesn't really need to be set at compile time. */
985#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
986
987#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
988 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
989
njn25e49d8e72002-09-23 09:36:25 +0000990/* Junk to fill up a thread's shadow regs with when shadow regs aren't
njnd3040452003-05-19 15:04:06 +0000991 being used. */
njn25e49d8e72002-09-23 09:36:25 +0000992#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
njnd3040452003-05-19 15:04:06 +0000993/* For sanity checking: if this ends up in a thread's shadow regs when
994 shadow regs aren't being used, something went wrong. */
995#define VG_USED_SHADOW_REG_VALUE 0x31415927
njn25e49d8e72002-09-23 09:36:25 +0000996
njnd3040452003-05-19 15:04:06 +0000997/* Write a value to a client's thread register, and shadow (if necessary) */
998#define SET_THREAD_REG( zztid, zzval, zzreg, zzREG, zzevent, zzargs... ) \
999 do { VG_(threads)[zztid].m_##zzreg = (zzval); \
1000 VG_TRACK( zzevent, zztid, R_##zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +00001001 } while (0)
1002
njnd3040452003-05-19 15:04:06 +00001003#define SET_SYSCALL_RETVAL(zztid, zzval) \
1004 SET_THREAD_REG(zztid, zzval, eax, EAX, post_reg_write_syscall_return)
1005
1006#define SET_SIGNAL_EDX(zztid, zzval) \
1007 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_deliver_signal)
1008
1009#define SET_SIGNAL_ESP(zztid, zzval) \
1010 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_deliver_signal)
1011
1012#define SET_CLREQ_RETVAL(zztid, zzval) \
1013 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientreq_return)
1014
1015#define SET_CLCALL_RETVAL(zztid, zzval, f) \
1016 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientcall_return, f)
1017
1018#define SET_PTHREQ_ESP(zztid, zzval) \
1019 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_pthread_return)
1020
1021#define SET_PTHREQ_RETVAL(zztid, zzval) \
1022 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +00001023
sewardj2e93c502002-04-12 11:12:52 +00001024
1025/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001026 Exports of vg_signals.c
1027 ------------------------------------------------------------------ */
1028
jsgf855d93d2003-10-13 22:26:55 +00001029extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
1030
1031/* RT signal allocation */
1032extern Int VG_(sig_rtmin);
1033extern Int VG_(sig_rtmax);
1034extern Int VG_(sig_alloc_rtsig) ( Int high );
1035
sewardjde4a1d02002-03-22 01:27:54 +00001036extern void VG_(sigstartup_actions) ( void );
sewardj839299f2003-06-14 11:57:59 +00001037extern void VG_(sigshutdown_actions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001038
jsgf855d93d2003-10-13 22:26:55 +00001039extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +00001040extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +00001041extern void VG_(handle_SCSS_change) ( Bool force_update );
1042
jsgf855d93d2003-10-13 22:26:55 +00001043extern Bool VG_(is_sig_ign) ( Int sigNo );
1044
1045/* Route pending signals from the scheduler LWP to the appropriate
1046 thread LWP. */
1047extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001048
1049/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +00001050extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +00001051extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +00001052extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
1053 Int how,
1054 vki_ksigset_t* set,
1055 vki_ksigset_t* oldset );
1056extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
1057 Int how,
1058 vki_ksigset_t* set,
1059 vki_ksigset_t* oldset );
1060extern void VG_(send_signal_to_thread) ( ThreadId thread,
1061 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +00001062
sewardjefbfcdf2002-06-19 17:35:45 +00001063extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
1064
1065
sewardj2e93c502002-04-12 11:12:52 +00001066/* Modify the current thread's state once we have detected it is
1067 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +00001068extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +00001069
sewardj2e93c502002-04-12 11:12:52 +00001070/* Handy utilities to block/restore all host signals. */
1071extern void VG_(block_all_host_signals)
1072 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +00001073extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +00001074 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +00001075
jsgf855d93d2003-10-13 22:26:55 +00001076extern vki_ksiginfo_t VG_(unresumable_siginfo);
1077
1078extern void VG_(kill_self)(Int sigNo);
1079
fitzhardingef1beb252004-03-16 09:49:08 +00001080/* These function synthesize a fault, as if the running instruction
1081 had had a fault. These functions do not return - they longjmp back
1082 into the scheduler so the signal can be delivered. */
1083extern void VG_(synth_fault) (ThreadId tid);
1084extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
1085extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
1086
1087
sewardjde4a1d02002-03-22 01:27:54 +00001088/* ---------------------------------------------------------------------
1089 Exports of vg_mylibc.c
1090 ------------------------------------------------------------------ */
1091
njne427a662002-10-02 11:08:25 +00001092#define vg_assert(expr) \
1093 ((void) ((expr) ? 0 : \
1094 (VG_(core_assert_fail) (VG__STRING(expr), \
1095 __FILE__, __LINE__, \
1096 __PRETTY_FUNCTION__), 0)))
1097__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001098extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1099 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001100__attribute__ ((__noreturn__))
1101extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +00001102
njn25e49d8e72002-09-23 09:36:25 +00001103/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
1104extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +00001105
njn25e49d8e72002-09-23 09:36:25 +00001106/* Skins use VG_(strdup)() which doesn't expose ArenaId */
1107extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001108
njn25e49d8e72002-09-23 09:36:25 +00001109extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +00001110extern Int VG_(select)( Int n,
1111 vki_fd_set* readfds,
1112 vki_fd_set* writefds,
1113 vki_fd_set* exceptfds,
1114 struct vki_timeval * timeout );
jsgf855d93d2003-10-13 22:26:55 +00001115extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001116extern Int VG_(nanosleep)( const struct vki_timespec *req,
1117 struct vki_timespec *rem );
1118
fitzhardinge98abfc72003-12-16 02:05:15 +00001119/* system/mman.h */
1120extern void* VG_(mmap)( void* start, UInt length,
1121 UInt prot, UInt flags, UInt fd, UInt offset );
1122extern Int VG_(munmap)( void* start, Int length );
1123extern Int VG_(mprotect)( void *start, Int length, UInt prot );
1124
1125
jsgf855d93d2003-10-13 22:26:55 +00001126/* Move an fd into the Valgrind-safe range */
1127Int VG_(safe_fd)(Int oldfd);
1128
sewardj570f8902002-11-03 11:44:36 +00001129extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001130
1131/* --- Connecting over the network --- */
1132extern Int VG_(connect_via_socket)( UChar* str );
1133
fitzhardinge98abfc72003-12-16 02:05:15 +00001134/* Environment manipulations */
nethercoteff9721d2004-01-26 17:10:01 +00001135extern Char **VG_(env_clone) ( Char **oldenv );
fitzhardinge98abfc72003-12-16 02:05:15 +00001136extern Char* VG_(env_getenv) ( Char **env, Char* varname );
1137extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname, const Char *val );
1138extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
sewardj570f8902002-11-03 11:44:36 +00001139
1140/* ---------------------------------------------------------------------
1141 Exports of vg_message.c
1142 ------------------------------------------------------------------ */
1143
1144/* Low-level -- send bytes directly to the message sink. Do not
1145 use. */
1146extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1147
1148
sewardjde4a1d02002-03-22 01:27:54 +00001149/* ---------------------------------------------------------------------
1150 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
1151 vg_from_ucode.c).
1152 ------------------------------------------------------------------ */
1153
sewardjde4a1d02002-03-22 01:27:54 +00001154#define VG_IS_FLAG_SUBSET(set1,set2) \
1155 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
1156
1157#define VG_UNION_FLAG_SETS(set1,set2) \
1158 ( ((FlagSet)set1) | ((FlagSet)set2) )
1159
sewardjde4a1d02002-03-22 01:27:54 +00001160/* ---------------------------------------------------------------------
1161 Exports of vg_demangle.c
1162 ------------------------------------------------------------------ */
1163
1164extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1165
sewardjde4a1d02002-03-22 01:27:54 +00001166/* ---------------------------------------------------------------------
1167 Exports of vg_from_ucode.c
1168 ------------------------------------------------------------------ */
1169
sewardj22854b92002-11-30 14:00:47 +00001170extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001171
njn25e49d8e72002-09-23 09:36:25 +00001172extern void VG_(print_ccall_stats) ( void );
1173extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001174
sewardj22854b92002-11-30 14:00:47 +00001175extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1176extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
1177extern Bool VG_(is_unchained_jumpsite) ( Addr jumpsite );
1178extern Bool VG_(is_chained_jumpsite) ( Addr jumpsite );
1179
sewardjde4a1d02002-03-22 01:27:54 +00001180/* ---------------------------------------------------------------------
1181 Exports of vg_to_ucode.c
1182 ------------------------------------------------------------------ */
1183
fitzhardingec2dbbac2004-01-23 23:09:01 +00001184Bool VG_(cpu_has_feature)(UInt feat);
1185
sewardjde4a1d02002-03-22 01:27:54 +00001186extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001187
1188/* ---------------------------------------------------------------------
1189 Exports of vg_translate.c
1190 ------------------------------------------------------------------ */
1191
njn810086f2002-11-14 12:42:47 +00001192/* Expandable arrays of uinstrs. */
1193struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001194 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001195 Int used;
1196 Int size;
1197 UInstr* instrs;
1198 Int nextTemp;
1199};
1200
1201extern UCodeBlock* VG_(alloc_UCodeBlock) ( void );
1202
njn72718642003-07-24 08:45:32 +00001203extern void VG_(translate) ( ThreadId tid,
sewardj1e8cdc92002-04-18 11:37:52 +00001204 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +00001205 UInt* orig_size,
1206 Addr* trans_addr,
sewardj22854b92002-11-30 14:00:47 +00001207 UInt* trans_size,
1208 UShort jumps[VG_MAX_JUMPS]);
sewardjde4a1d02002-03-22 01:27:54 +00001209
njn25e49d8e72002-09-23 09:36:25 +00001210extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
1211 UInstr* u );
1212extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
1213extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +00001214
sewardjb5ff83e2002-12-01 19:40:49 +00001215
sewardjde4a1d02002-03-22 01:27:54 +00001216/* ---------------------------------------------------------------------
1217 Exports of vg_execontext.c.
1218 ------------------------------------------------------------------ */
1219
1220/* Records the PC and a bit of the call chain. The first 4 %eip
1221 values are used in comparisons do remove duplicate errors, and for
1222 comparing against suppression specifications. The rest are purely
1223 informational (but often important). */
1224
njn25e49d8e72002-09-23 09:36:25 +00001225struct _ExeContext {
1226 struct _ExeContext * next;
1227 /* Variable-length array. The size is VG_(clo_backtrace_size); at
njn6c846552003-09-16 07:41:43 +00001228 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
njn25e49d8e72002-09-23 09:36:25 +00001229 [1] is its caller, [2] is the caller of [1], etc. */
1230 Addr eips[0];
1231};
sewardjde4a1d02002-03-22 01:27:54 +00001232
1233
sewardjde4a1d02002-03-22 01:27:54 +00001234/* Print stats (informational only). */
1235extern void VG_(show_ExeContext_stats) ( void );
1236
njn25e49d8e72002-09-23 09:36:25 +00001237/* Like VG_(get_ExeContext), but with a slightly different type */
1238extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1239 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001240
1241
1242/* ---------------------------------------------------------------------
1243 Exports of vg_errcontext.c.
1244 ------------------------------------------------------------------ */
1245
njn25e49d8e72002-09-23 09:36:25 +00001246/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1247 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +00001248typedef
njn25e49d8e72002-09-23 09:36:25 +00001249 enum {
1250 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +00001251 }
njn25e49d8e72002-09-23 09:36:25 +00001252 CoreSuppKind;
1253
1254/* For each caller specified for a suppression, record the nature of
1255 the caller name. Not of interest to skins. */
1256typedef
1257 enum {
1258 ObjName, /* Name is of an shared object file. */
1259 FunName /* Name is of a function. */
1260 }
1261 SuppLocTy;
1262
njn810086f2002-11-14 12:42:47 +00001263/* Suppressions. Skins can get/set skin-relevant parts with functions
1264 declared in include/vg_skin.h. Extensible via the 'extra' field.
1265 Skins can use a normal enum (with element values in the normal range
1266 (0..)) for `skind'. */
1267struct _Supp {
1268 struct _Supp* next;
1269 /* The number of times this error has been suppressed. */
1270 Int count;
1271 /* The name by which the suppression is referred to. */
1272 Char* sname;
1273 /* First two (name of fn where err occurs, and immediate caller)
1274 * are mandatory; extra two are optional. */
1275 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
1276 Char* caller [VG_N_SUPP_CALLERS];
1277
1278 /* The skin-specific part */
1279 /* What kind of suppression. Must use the range (0..) */
1280 SuppKind skind;
1281 /* String -- use is optional. NULL by default. */
1282 Char* string;
1283 /* Anything else -- use is optional. NULL by default. */
1284 void* extra;
1285};
njn25e49d8e72002-09-23 09:36:25 +00001286
1287/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1288 * effectively extend it by defining their own enums in the (0..) range. */
1289typedef
1290 enum {
1291 PThreadErr = -1, /* Pthreading error */
1292 }
1293 CoreErrorKind;
1294
njn810086f2002-11-14 12:42:47 +00001295/* Errors. Extensible (via the 'extra' field). Skins can use a normal
1296 enum (with element values in the normal range (0..)) for `ekind'.
1297 Functions for getting/setting the skin-relevant fields are in
1298 include/vg_skin.h.
1299
1300 When errors are found and recorded with VG_(maybe_record_error)(), all
1301 the skin must do is pass in the four parameters; core will
1302 allocate/initialise the error record.
1303*/
1304struct _Error {
1305 struct _Error* next;
1306 /* NULL if unsuppressed; or ptr to suppression record. */
1307 Supp* supp;
1308 Int count;
njn810086f2002-11-14 12:42:47 +00001309 ThreadId tid;
njn810086f2002-11-14 12:42:47 +00001310
1311 /* The skin-specific part */
njnae17bec2003-01-28 19:59:38 +00001312 /* Initialised by core */
1313 ExeContext* where;
njn810086f2002-11-14 12:42:47 +00001314 /* Used by ALL. Must be in the range (0..) */
1315 Int ekind;
1316 /* Used frequently */
1317 Addr addr;
1318 /* Used frequently */
1319 Char* string;
1320 /* For any skin-specific extras */
1321 void* extra;
1322};
sewardjde4a1d02002-03-22 01:27:54 +00001323
1324
njn25e49d8e72002-09-23 09:36:25 +00001325extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001326
njn25e49d8e72002-09-23 09:36:25 +00001327extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001328
njn25e49d8e72002-09-23 09:36:25 +00001329extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001330
njn43c799e2003-04-08 00:08:52 +00001331extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
1332
njn47363ab2003-04-21 13:24:40 +00001333extern UInt VG_(n_errs_found);
1334
sewardjde4a1d02002-03-22 01:27:54 +00001335/* ---------------------------------------------------------------------
1336 Exports of vg_procselfmaps.c
1337 ------------------------------------------------------------------ */
1338
njnfa1016e2003-09-25 17:54:11 +00001339/* Reads /proc/self/maps into a static buffer which can be parsed by
1340 VG_(parse_procselfmaps)(). */
1341extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001342
1343/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1344 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1345 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001346extern
njnfa1016e2003-09-25 17:54:11 +00001347void VG_(parse_procselfmaps) (
fitzhardinge98abfc72003-12-16 02:05:15 +00001348 void (*record_mapping)( Addr addr, UInt len, Char rr, Char ww, Char xx,
1349 UInt dev, UInt ino, ULong foff, const UChar *filename )
sewardjde4a1d02002-03-22 01:27:54 +00001350);
1351
1352
1353/* ---------------------------------------------------------------------
1354 Exports of vg_symtab2.c
1355 ------------------------------------------------------------------ */
1356
fitzhardinge98abfc72003-12-16 02:05:15 +00001357typedef struct _Segment Segment;
1358
1359extern Bool VG_(is_object_file) ( const void *hdr );
njnfa1016e2003-09-25 17:54:11 +00001360extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001361extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
njnfa1016e2003-09-25 17:54:11 +00001362extern void VG_(unload_symbols) ( Addr start, UInt length );
fitzhardinge98abfc72003-12-16 02:05:15 +00001363extern void VG_(symtab_incref) ( SegInfo * );
1364extern void VG_(symtab_decref) ( SegInfo *, Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001365
njn25e49d8e72002-09-23 09:36:25 +00001366extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001367
fitzhardinge98abfc72003-12-16 02:05:15 +00001368/* Set up some default redirects */
1369extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001370
fitzhardinge98abfc72003-12-16 02:05:15 +00001371/* Redirection machinery */
1372extern void VG_(add_redirect_sym)(const Char *from_lib, const Char *from_sym,
1373 const Char *to_lib, const Char *to_sym);
1374extern void VG_(add_redirect_addr)(const Char *from_lib, const Char *from_sym,
1375 Addr to_addr);
1376extern Addr VG_(code_redirect) (Addr orig);
sewardjde4a1d02002-03-22 01:27:54 +00001377
1378/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001379 Exports of vg_main.c
1380 ------------------------------------------------------------------ */
1381
sewardjb91ae7f2003-04-29 23:50:00 +00001382/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1383 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001384 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001385 correctly snapshot the startup machine state without it. */
1386extern Bool VG_(have_ssestate);
1387
sewardj73cf3bc2002-11-03 03:20:15 +00001388/* Tell the logging mechanism whether we are logging to a file
1389 descriptor or a socket descriptor. */
1390extern Bool VG_(logging_to_filedes);
1391
njn25e49d8e72002-09-23 09:36:25 +00001392/* Sanity checks which may be done at any time. The scheduler decides when. */
1393extern void VG_(do_sanity_checks) ( Bool force_expensive );
1394
fitzhardinge98abfc72003-12-16 02:05:15 +00001395/* Address space */
1396extern Addr VG_(client_base); /* client address space limits */
1397extern Addr VG_(client_end);
1398extern Addr VG_(client_mapbase); /* base of mappings */
1399extern Addr VG_(clstk_base); /* client stack range */
1400extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001401extern Addr VG_(client_trampoline_code);
1402
fitzhardinge98abfc72003-12-16 02:05:15 +00001403extern Addr VG_(brk_base); /* start of brk */
1404extern Addr VG_(brk_limit); /* current brk */
1405extern Addr VG_(shadow_base); /* skin's shadow memory */
1406extern Addr VG_(shadow_end);
1407extern Addr VG_(valgrind_base); /* valgrind's address range */
1408extern Addr VG_(valgrind_mmap_end);
1409extern Addr VG_(valgrind_end);
1410
fitzhardingeb50068f2004-02-24 23:42:55 +00001411extern vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1412
fitzhardinge98abfc72003-12-16 02:05:15 +00001413/* stage1 executable file descriptor */
fitzhardingea49f9b52003-12-16 22:26:45 +00001414extern Int VG_(vgexecfd);
1415
1416/* client executable file descriptor */
1417extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001418
njn9b007f62003-04-07 14:40:25 +00001419/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001420extern Bool VG_(need_to_handle_esp_assignment) ( void );
1421
sewardjde4a1d02002-03-22 01:27:54 +00001422/* Called when some unhandleable client behaviour is detected.
1423 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001424extern void VG_(unimplemented) ( Char* msg )
1425 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001426
njn25e49d8e72002-09-23 09:36:25 +00001427/* Similarly, we have to ask for signals to be delivered on an alternative
1428 stack, since it is possible, although unlikely, that we'll have to run
1429 client code from inside the Valgrind-installed signal handler. If this
1430 happens it will be done by vg_deliver_signal_immediately(). */
njn6eba4ef2003-05-01 08:06:41 +00001431extern UInt VG_(sigstack)[VG_SIGSTACK_SIZE_W];
sewardjde4a1d02002-03-22 01:27:54 +00001432
fitzhardinge98abfc72003-12-16 02:05:15 +00001433/* Valgrind's argc and argv */
1434extern Int VG_(vg_argc);
1435extern Char **VG_(vg_argv);
1436
sewardjd5815ec2003-04-06 12:23:27 +00001437/* Indicates presence, and holds address of client's sysinfo page, a
1438 feature of some modern kernels used to provide vsyscalls, etc. */
1439extern Bool VG_(sysinfo_page_exists);
1440extern Addr VG_(sysinfo_page_addr);
1441
nethercoteff9721d2004-01-26 17:10:01 +00001442/* Walk through a colon separated list variable, removing entries
1443 which match pattern. */
1444extern void VG_(mash_colon_env)(Char *varp, const Char *pattern);
1445
nethercote04d0fbc2004-01-26 16:48:06 +00001446/* Something of a function looking for a home ... start up debugger. */
1447extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001448
njn41557122002-10-14 09:25:37 +00001449/* VG_(bbs_done) in include/vg_skin.h */
1450
sewardjde4a1d02002-03-22 01:27:54 +00001451/* 64-bit counter for the number of bbs to go before a debug exit. */
1452extern ULong VG_(bbs_to_go);
1453
1454/* Counts downwards in vg_run_innerloop. */
1455extern UInt VG_(dispatch_ctr);
1456
sewardj7e87e382002-05-03 19:09:05 +00001457/* This is the ThreadId of the last thread the scheduler ran. */
1458extern ThreadId VG_(last_run_tid);
1459
njn25e49d8e72002-09-23 09:36:25 +00001460/* This is the argument to __NR_exit() supplied by the first thread to
1461 call that syscall. We eventually pass that to __NR_exit() for
1462 real. */
njn633de322003-05-12 20:40:13 +00001463extern Int VG_(exitcode);
njn25e49d8e72002-09-23 09:36:25 +00001464
jsgf855d93d2003-10-13 22:26:55 +00001465/* If we're doing the default action of a fatal signal */
1466extern jmp_buf VG_(fatal_signal_jmpbuf);
1467extern Bool VG_(fatal_signal_set); /* jmp_buf is valid */
1468extern Int VG_(fatal_sigNo); /* the fatal signal */
sewardjde4a1d02002-03-22 01:27:54 +00001469
1470/* --- Counters, for informational purposes only. --- */
1471
1472/* Number of lookups which miss the fast tt helper. */
1473extern UInt VG_(tt_fast_misses);
1474
sewardjc0d8f682002-11-30 00:49:43 +00001475/* Counts for TT/TC informational messages. */
sewardjde4a1d02002-03-22 01:27:54 +00001476
sewardjde4a1d02002-03-22 01:27:54 +00001477/* Number and total o/t size of translations overall. */
1478extern UInt VG_(overall_in_count);
1479extern UInt VG_(overall_in_osize);
1480extern UInt VG_(overall_in_tsize);
1481/* Number and total o/t size of discards overall. */
1482extern UInt VG_(overall_out_count);
1483extern UInt VG_(overall_out_osize);
1484extern UInt VG_(overall_out_tsize);
sewardjc0d8f682002-11-30 00:49:43 +00001485/* The number of discards of TT/TC. */
1486extern UInt VG_(number_of_tc_discards);
sewardj22854b92002-11-30 14:00:47 +00001487/* Counts of chain and unchain operations done. */
1488extern UInt VG_(bb_enchain_count);
1489extern UInt VG_(bb_dechain_count);
1490/* Number of unchained jumps performed. */
1491extern UInt VG_(unchained_jumps_done);
1492
sewardjde4a1d02002-03-22 01:27:54 +00001493
1494/* Counts pertaining to the register allocator. */
1495
1496/* total number of uinstrs input to reg-alloc */
1497extern UInt VG_(uinstrs_prealloc);
1498
1499/* total number of uinstrs added due to spill code */
1500extern UInt VG_(uinstrs_spill);
1501
1502/* number of bbs requiring spill code */
1503extern UInt VG_(translations_needing_spill);
1504
1505/* total of register ranks over all translations */
1506extern UInt VG_(total_reg_rank);
1507
sewardjde4a1d02002-03-22 01:27:54 +00001508/* Counts pertaining to internal sanity checking. */
1509extern UInt VG_(sanity_fast_count);
1510extern UInt VG_(sanity_slow_count);
1511
sewardj2e93c502002-04-12 11:12:52 +00001512/* Counts pertaining to the scheduler. */
1513extern UInt VG_(num_scheduling_events_MINOR);
1514extern UInt VG_(num_scheduling_events_MAJOR);
1515
sewardjfa492d42002-12-08 18:20:01 +00001516/* Insert and extract the D flag from eflags */
1517UInt VG_(insertDflag)(UInt eflags, Int d);
1518Int VG_(extractDflag)(UInt eflags);
sewardjde4a1d02002-03-22 01:27:54 +00001519
1520/* ---------------------------------------------------------------------
1521 Exports of vg_memory.c
1522 ------------------------------------------------------------------ */
1523
fitzhardinge98abfc72003-12-16 02:05:15 +00001524/* A Segment is mapped piece of client memory. This covers all kinds
1525 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1526
1527 We try to encode everything we know about a particular segment here.
1528*/
1529#define SF_FIXED (1 << 0) /* client asked for MAP_FIXED */
1530#define SF_SHARED (1 << 1) /* shared */
1531#define SF_SHM (1 << 2) /* SYSV SHM (also SF_SHARED) */
1532#define SF_MMAP (1 << 3) /* mmap memory */
1533#define SF_FILE (1 << 4) /* mapping is backed by a file */
1534#define SF_STACK (1 << 5) /* is a stack */
1535#define SF_GROWDOWN (1 << 6) /* segment grows down */
1536#define SF_GROWUP (1 << 7) /* segment grows up */
1537#define SF_EXEC (1 << 8) /* segment created by exec */
1538#define SF_DYNLIB (1 << 9) /* mapped from dynamic library */
1539#define SF_NOSYMS (1 << 10) /* don't load syms, even if present */
1540#define SF_BRK (1 << 11) /* brk segment */
1541#define SF_CORE (1 << 12) /* allocated by core on behalf of the client */
1542#define SF_VALGRIND (1 << 13) /* a valgrind-internal mapping - not in client*/
1543#define SF_CODE (1 << 14) /* segment contains cached code */
1544
1545struct _Segment {
1546 UInt prot; /* VKI_PROT_* */
1547 UInt flags; /* SF_* */
1548
1549 Addr addr; /* mapped addr (page aligned) */
1550 UInt len; /* size of mapping (page aligned) */
1551
1552 /* These are valid if (flags & SF_FILE) */
1553 ULong offset; /* file offset */
1554 const Char *filename; /* filename (NULL if unknown) */
1555 UInt dev; /* device */
1556 UInt ino; /* inode */
1557
1558 SegInfo *symtab; /* symbol table */
1559};
1560
1561/* segment mapped from a file descriptor */
1562extern void VG_(map_fd_segment) (Addr addr, UInt len, UInt prot, UInt flags,
1563 Int fd, ULong off, const Char *filename);
1564
1565/* segment mapped from a file */
1566extern void VG_(map_file_segment)(Addr addr, UInt len, UInt prot, UInt flags,
1567 UInt dev, UInt ino, ULong off, const Char *filename);
1568
1569/* simple segment */
1570extern void VG_(map_segment) (Addr addr, UInt len, UInt prot, UInt flags);
1571
1572extern void VG_(unmap_range) (Addr addr, UInt len);
1573extern void VG_(mprotect_range)(Addr addr, UInt len, UInt prot);
1574extern Addr VG_(find_map_space)(Addr base, UInt len, Bool for_client);
1575
1576extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001577extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001578extern Segment *VG_(next_segment)(Segment *);
1579
1580extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, UInt size);
1581extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, UInt size);
1582
njn9b007f62003-04-07 14:40:25 +00001583extern __attribute__((regparm(1)))
njnfa1016e2003-09-25 17:54:11 +00001584 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001585
jsgf855d93d2003-10-13 22:26:55 +00001586/* ---------------------------------------------------------------------
1587 Exports of vg_proxylwp.c
1588 ------------------------------------------------------------------ */
1589
1590/* Issue a syscall for thread tid */
1591extern Int VG_(sys_issue)(int tid);
1592
1593extern void VG_(proxy_init) ( void );
1594extern void VG_(proxy_create) ( ThreadId tid );
1595extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1596extern void VG_(proxy_results) ( void );
1597extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1598extern void VG_(proxy_setsigmask)(ThreadId tid);
1599extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1600extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1601extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001602extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001603
1604extern void VG_(proxy_shutdown) ( void ); /* shut down the syscall workers */
1605extern Int VG_(proxy_resfd) ( void ); /* FD something can select on to know
1606 a syscall finished */
1607
1608/* Sanity-check the whole proxy-LWP machinery */
1609void VG_(proxy_sanity)(void);
1610
1611/* Send a signal from a thread's proxy to the thread. This longjmps
1612 back into the proxy's main loop, so it doesn't return. */
1613__attribute__ ((__noreturn__))
1614extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
1615 const struct vki_sigcontext *sigcontext );
1616
fitzhardinge47735af2004-01-21 01:27:27 +00001617/* Get the PID/TID of the ProxyLWP. */
1618extern Int VG_(proxy_id)(ThreadId tid);
1619
jsgf855d93d2003-10-13 22:26:55 +00001620
sewardjde4a1d02002-03-22 01:27:54 +00001621/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001622 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001623 ------------------------------------------------------------------ */
1624
fitzhardinge98abfc72003-12-16 02:05:15 +00001625extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001626
jsgf855d93d2003-10-13 22:26:55 +00001627extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001628extern void VG_(post_syscall)( ThreadId tid, Bool restart );
fitzhardingee1c06d82003-10-30 07:21:44 +00001629extern void VG_(restart_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001630
1631extern Bool VG_(is_kerror) ( Int res );
1632
jsgf855d93d2003-10-13 22:26:55 +00001633/* Internal atfork handlers */
1634typedef void (*vg_atfork_t)(ThreadId);
1635extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001636
rjwalshf5f536f2003-11-17 17:45:00 +00001637/* fd leakage calls. */
1638extern void VG_(init_preopened_fds) ( void );
1639extern void VG_(fd_stats) ( void );
1640
sewardjde4a1d02002-03-22 01:27:54 +00001641/* ---------------------------------------------------------------------
1642 Exports of vg_transtab.c
1643 ------------------------------------------------------------------ */
1644
njn25e49d8e72002-09-23 09:36:25 +00001645/* The fast-cache for tt-lookup. */
1646extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1647
sewardjde4a1d02002-03-22 01:27:54 +00001648extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
sewardj6c3769f2002-11-29 01:02:45 +00001649
sewardjc0d8f682002-11-30 00:49:43 +00001650extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001651 Addr trans_addr, Int trans_size,
1652 UShort jumps[VG_MAX_JUMPS]);
sewardj6c3769f2002-11-29 01:02:45 +00001653
sewardj97ad5522003-05-04 12:32:56 +00001654extern void VG_(invalidate_translations) ( Addr start, UInt range, Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001655
sewardj18d75132002-05-16 11:06:21 +00001656extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001657
1658extern void VG_(sanity_check_tc_tt) ( void );
1659extern Addr VG_(search_transtab) ( Addr original_addr );
1660
sewardjde4a1d02002-03-22 01:27:54 +00001661
1662
1663/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001664 Exports of vg_syscall.S
1665 ------------------------------------------------------------------ */
1666
jsgf855d93d2003-10-13 22:26:55 +00001667extern Int VG_(do_syscall) ( UInt, ... );
1668extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1669 Int *child_tid, Int *parent_tid);
sewardjde4a1d02002-03-22 01:27:54 +00001670
1671/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001672 Exports of vg_dispatch.S
1673 ------------------------------------------------------------------ */
1674
sewardj2e93c502002-04-12 11:12:52 +00001675/* Run a thread for a (very short) while, until some event happens
1676 which means we need to defer to the scheduler. */
1677extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001678
sewardj22854b92002-11-30 14:00:47 +00001679/* The patching routing called when a BB wants to chain itself to
1680 another. */
1681extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001682
1683/* ---------------------------------------------------------------------
1684 Exports of vg_helpers.S
1685 ------------------------------------------------------------------ */
1686
sewardjde4a1d02002-03-22 01:27:54 +00001687/* Mul, div, etc, -- we don't codegen these directly. */
1688extern void VG_(helper_idiv_64_32);
1689extern void VG_(helper_div_64_32);
1690extern void VG_(helper_idiv_32_16);
1691extern void VG_(helper_div_32_16);
1692extern void VG_(helper_idiv_16_8);
1693extern void VG_(helper_div_16_8);
1694
1695extern void VG_(helper_imul_32_64);
1696extern void VG_(helper_mul_32_64);
1697extern void VG_(helper_imul_16_32);
1698extern void VG_(helper_mul_16_32);
1699extern void VG_(helper_imul_8_16);
1700extern void VG_(helper_mul_8_16);
1701
1702extern void VG_(helper_CLD);
1703extern void VG_(helper_STD);
1704extern void VG_(helper_get_dirflag);
1705
sewardj7d78e782002-06-02 00:04:00 +00001706extern void VG_(helper_CLC);
1707extern void VG_(helper_STC);
nethercote1018bdd2004-02-11 23:33:29 +00001708extern void VG_(helper_CMC);
sewardj7d78e782002-06-02 00:04:00 +00001709
sewardjde4a1d02002-03-22 01:27:54 +00001710extern void VG_(helper_shldl);
1711extern void VG_(helper_shldw);
1712extern void VG_(helper_shrdl);
1713extern void VG_(helper_shrdw);
1714
daywalkerb18d2532003-09-27 20:15:01 +00001715extern void VG_(helper_IN);
1716extern void VG_(helper_OUT);
1717
sewardjde4a1d02002-03-22 01:27:54 +00001718extern void VG_(helper_RDTSC);
1719extern void VG_(helper_CPUID);
1720
nethercote1018bdd2004-02-11 23:33:29 +00001721extern void VG_(helper_bsfw);
1722extern void VG_(helper_bsfl);
1723extern void VG_(helper_bsrw);
1724extern void VG_(helper_bsrl);
sewardjde4a1d02002-03-22 01:27:54 +00001725
1726extern void VG_(helper_fstsw_AX);
1727extern void VG_(helper_SAHF);
njnd6251f12003-06-03 13:38:51 +00001728extern void VG_(helper_LAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001729extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001730extern void VG_(helper_DAA);
nethercote1018bdd2004-02-11 23:33:29 +00001731extern void VG_(helper_AAS);
1732extern void VG_(helper_AAA);
1733extern void VG_(helper_AAD);
1734extern void VG_(helper_AAM);
sewardjde4a1d02002-03-22 01:27:54 +00001735
muellerf217c732004-01-02 22:42:29 +00001736extern void VG_(helper_cmpxchg8b);
1737
sewardj51096432002-12-14 23:59:09 +00001738extern void VG_(helper_undefined_instruction);
1739
fitzhardinge92360792003-12-24 10:11:11 +00001740/* Information about trampoline code (for signal return and syscalls) */
1741extern const Char VG_(trampoline_code_start);
1742extern const Int VG_(trampoline_code_length);
1743extern const Int VG_(tramp_sigreturn_offset);
1744extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001745
njn4f9c9342002-04-29 16:03:24 +00001746/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001747 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001748 ------------------------------------------------------------------ */
1749
fitzhardinge98abfc72003-12-16 02:05:15 +00001750#define VG_TRACK(fn, args...) \
1751 do { \
1752 if (VG_(defined_##fn)()) \
1753 SK_(fn)(args); \
1754 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001755
fitzhardinge98abfc72003-12-16 02:05:15 +00001756__attribute__ ((noreturn))
1757extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001758
sewardjde4a1d02002-03-22 01:27:54 +00001759/* ---------------------------------------------------------------------
1760 The state of the simulated CPU.
1761 ------------------------------------------------------------------ */
1762
sewardjde4a1d02002-03-22 01:27:54 +00001763/* ---------------------------------------------------------------------
1764 Offsets into baseBlock for everything which needs to referred to
1765 from generated code. The order of these decls does not imply
1766 what the order of the actual offsets is. The latter is important
1767 and is set up in vg_main.c.
1768 ------------------------------------------------------------------ */
1769
1770/* An array of words. In generated code, %ebp always points to the
1771 start of this array. Useful stuff, like the simulated CPU state,
1772 and the addresses of helper functions, can then be found by
1773 indexing off %ebp. The following declares variables which, at
1774 startup time, are given values denoting offsets into baseBlock.
1775 These offsets are in *words* from the start of baseBlock. */
1776
sewardjb91ae7f2003-04-29 23:50:00 +00001777#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001778
1779extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1780
1781
1782/* -----------------------------------------------------
1783 Read-write parts of baseBlock.
1784 -------------------------------------------------- */
1785
1786/* State of the simulated CPU. */
1787extern Int VGOFF_(m_eax);
1788extern Int VGOFF_(m_ecx);
1789extern Int VGOFF_(m_edx);
1790extern Int VGOFF_(m_ebx);
1791extern Int VGOFF_(m_esp);
1792extern Int VGOFF_(m_ebp);
1793extern Int VGOFF_(m_esi);
1794extern Int VGOFF_(m_edi);
1795extern Int VGOFF_(m_eflags);
sewardjb91ae7f2003-04-29 23:50:00 +00001796extern Int VGOFF_(m_ssestate);
sewardjde4a1d02002-03-22 01:27:54 +00001797extern Int VGOFF_(m_eip);
1798
sewardjfa492d42002-12-08 18:20:01 +00001799extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1800
sewardj92a59562002-09-30 00:53:10 +00001801extern Int VGOFF_(m_cs);
1802extern Int VGOFF_(m_ss);
1803extern Int VGOFF_(m_ds);
1804extern Int VGOFF_(m_es);
1805extern Int VGOFF_(m_fs);
1806extern Int VGOFF_(m_gs);
1807
sewardjde4a1d02002-03-22 01:27:54 +00001808/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1809extern Int VGOFF_(spillslots);
1810
1811/* Records the valid bits for the 8 integer regs & flags reg. */
1812extern Int VGOFF_(sh_eax);
1813extern Int VGOFF_(sh_ecx);
1814extern Int VGOFF_(sh_edx);
1815extern Int VGOFF_(sh_ebx);
1816extern Int VGOFF_(sh_esp);
1817extern Int VGOFF_(sh_ebp);
1818extern Int VGOFF_(sh_esi);
1819extern Int VGOFF_(sh_edi);
1820extern Int VGOFF_(sh_eflags);
1821
sewardjde4a1d02002-03-22 01:27:54 +00001822/* -----------------------------------------------------
1823 Read-only parts of baseBlock.
1824 -------------------------------------------------- */
1825
sewardj92a59562002-09-30 00:53:10 +00001826/* This thread's LDT pointer. */
1827extern Int VGOFF_(ldt);
1828
fitzhardinge47735af2004-01-21 01:27:27 +00001829/* This thread's TLS pointer. */
1830extern Int VGOFF_(tls);
1831
njn211b6ad2003-02-03 12:33:31 +00001832/* Nb: Most helper offsets are in include/vg_skin.h, for use by skins */
sewardjde4a1d02002-03-22 01:27:54 +00001833
sewardj51096432002-12-14 23:59:09 +00001834extern Int VGOFF_(helper_undefined_instruction);
1835
njn25e49d8e72002-09-23 09:36:25 +00001836/* For storing extension-specific helpers, determined at runtime. The addr
1837 * and offset arrays together form a (addr, offset) map that allows a
1838 * helper's baseBlock offset to be computed from its address. It's done
1839 * like this so CCALL_M_Ns and other helper calls can use the function
1840 * address rather than having to much around with offsets. */
1841extern UInt VG_(n_compact_helpers);
1842extern UInt VG_(n_noncompact_helpers);
1843
1844extern Addr VG_(compact_helper_addrs) [];
1845extern Int VG_(compact_helper_offsets)[];
1846
1847extern Addr VG_(noncompact_helper_addrs) [];
1848extern Int VG_(noncompact_helper_offsets)[];
1849
sewardjde4a1d02002-03-22 01:27:54 +00001850#endif /* ndef __VG_INCLUDE_H */
1851
sewardj3b2736a2002-03-24 12:18:35 +00001852
1853/* ---------------------------------------------------------------------
1854 Finally - autoconf-generated settings
1855 ------------------------------------------------------------------ */
1856
1857#include "config.h"
1858
sewardjde4a1d02002-03-22 01:27:54 +00001859/*--------------------------------------------------------------------*/
1860/*--- end vg_include.h ---*/
1861/*--------------------------------------------------------------------*/