blob: 652506d99b6503b585ce35212b315a988b1592b2 [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. */
nethercote27fec902004-06-16 21:26:32 +0000192extern Int VG_(clo_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
nethercotef8548672004-06-21 12:42:35 +0000200 When log_to == VgLogTo_Fd, clo_log_fd holds the file id, and is
201 taken from the command line. clo_log_name is irrelevant.
sewardj4cf05692002-10-27 20:28:29 +0000202
nethercotef8548672004-06-21 12:42:35 +0000203 When log_to == VgLogTo_File, clo_log_name holds the log-file
204 name, and is taken from the command line. clo_log_fd is then
205 made to hold the relevant file id, by opening clo_log_name
sewardj4cf05692002-10-27 20:28:29 +0000206 (concatenated with the process ID) for writing.
207
nethercotef8548672004-06-21 12:42:35 +0000208 When log_to == VgLogTo_Socket, clo_log_name holds the
sewardj4cf05692002-10-27 20:28:29 +0000209 hostname:portnumber pair, and is taken from the command line.
nethercotef8548672004-06-21 12:42:35 +0000210 clo_log_fd is then made to hold the relevant file handle, by
sewardj4cf05692002-10-27 20:28:29 +0000211 opening a connection to said hostname:portnumber pair.
212
nethercotef8548672004-06-21 12:42:35 +0000213 Global default is to set log_to == VgLogTo_Fd and log_fd == 2
sewardj4cf05692002-10-27 20:28:29 +0000214 (stderr). */
215extern VgLogTo VG_(clo_log_to);
nethercotef8548672004-06-21 12:42:35 +0000216extern Int VG_(clo_log_fd);
217extern Char* VG_(clo_log_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
nethercotef8548672004-06-21 12:42:35 +0000284/* Create a log file into which messages can be dumped. */
sewardjde4a1d02002-03-22 01:27:54 +0000285extern 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
thughes11975ff2004-06-12 12:58:22 +0000708typedef
709 enum CleanupType {
710 VgCt_None, /* this cleanup entry is not initialised */
711 VgCt_Function, /* an old-style function pointer cleanup */
712 VgCt_Longjmp /* a new-style longjmp based cleanup */
713 }
714 CleanupType;
715
sewardj8ad94e12002-05-29 00:10:20 +0000716/* An entry in a threads's cleanup stack. */
717typedef
718 struct {
thughes11975ff2004-06-12 12:58:22 +0000719 CleanupType type;
720 union {
721 struct {
722 void (*fn)(void*);
723 void* arg;
724 } function;
725 struct {
thughesebed9982004-06-12 17:25:25 +0000726 void *ub;
thughes11975ff2004-06-12 12:58:22 +0000727 int ctype;
728 } longjmp;
729 } data;
sewardj8ad94e12002-05-29 00:10:20 +0000730 }
731 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000732
733/* An entry in a thread's fork-handler stack. */
734typedef
735 struct {
736 void (*prepare)(void);
737 void (*parent)(void);
738 void (*child)(void);
739 }
740 ForkHandlerEntry;
741
jsgf855d93d2003-10-13 22:26:55 +0000742typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000743
njn72718642003-07-24 08:45:32 +0000744typedef
745 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000746 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
747 The thread identity is simply the index in vg_threads[].
748 ThreadId == 1 is the root thread and has the special property
749 that we don't try and allocate or deallocate its stack. For
750 convenience of generating error message, we also put the
751 ThreadId in this tid field, but be aware that it should
752 ALWAYS == the index in vg_threads[]. */
753 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000754
njn25e49d8e72002-09-23 09:36:25 +0000755 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000756
njn25e49d8e72002-09-23 09:36:25 +0000757 Complications: whenever this is set to VgTs_WaitMX, you
758 should also set .m_edx to whatever the required return value
759 is for pthread_mutex_lock / pthread_cond_timedwait for when
760 the mutex finally gets unblocked. */
761 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000762
njn25e49d8e72002-09-23 09:36:25 +0000763 /* When .status == WaitMX, points to the mutex I am waiting for.
764 When .status == WaitCV, points to the mutex associated with
765 the condition variable indicated by the .associated_cv field.
766 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000767 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000768
njn25e49d8e72002-09-23 09:36:25 +0000769 /* When .status == WaitCV, points to the condition variable I am
770 waiting for. In all other cases, should be NULL. */
771 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000772
njn25e49d8e72002-09-23 09:36:25 +0000773 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000774 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000775
njn25e49d8e72002-09-23 09:36:25 +0000776 If VgTs_WaitCV, this indicates the time at which
777 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
778 this means infinitely far in the future, viz,
779 pthread_cond_wait. */
780 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000781
njn25e49d8e72002-09-23 09:36:25 +0000782 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
783 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000784
njn25e49d8e72002-09-23 09:36:25 +0000785 /* If VgTs_WaitJoinee, place to copy the return value to, and
786 the identity of the thread we're waiting for. */
787 void** joiner_thread_return;
788 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000789
jsgf855d93d2003-10-13 22:26:55 +0000790 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
791 void *sys_pre_res;
792
793 /* If VgTs_WaitSys, this is the syscall we're currently running */
794 Int syscallno;
795
796 /* Details about this thread's proxy LWP */
797 ProxyLWP *proxy;
798
njn25e49d8e72002-09-23 09:36:25 +0000799 /* Whether or not detached. */
800 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000801
njn25e49d8e72002-09-23 09:36:25 +0000802 /* Cancelability state and type. */
803 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
804 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
805
806 /* Pointer to fn to call to do cancellation. Indicates whether
807 or not cancellation is pending. If NULL, not pending. Else
808 should be &thread_exit_wrapper(), indicating that
809 cancallation is pending. */
810 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000811
njn25e49d8e72002-09-23 09:36:25 +0000812 /* The cleanup stack. */
813 Int custack_used;
814 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000815
sewardj00a66b12002-10-12 16:42:35 +0000816 /* A pointer to the thread's-specific-data. This is handled almost
817 entirely from vg_libpthread.c. We just provide hooks to get and
818 set this ptr. This is either NULL, indicating the thread has
819 read/written none of its specifics so far, OR points to a
820 void*[VG_N_THREAD_KEYS], allocated and deallocated in
821 vg_libpthread.c. */
822 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000823
njn25e49d8e72002-09-23 09:36:25 +0000824 /* This thread's blocked-signals mask. Semantics is that for a
825 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000826 blocked by this signal mask. If more than one thread accepts a
827 signal, then it will be delivered to one at random. If all
828 threads block the signal, it will remain pending until either a
829 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
830
831 sig_mask reflects what the client told us its signal mask should
832 be, but isn't necessarily the current signal mask of the proxy
833 LWP: it may have more signals blocked because of signal
834 handling, or it may be different because of sigsuspend.
835 */
njn25e49d8e72002-09-23 09:36:25 +0000836 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000837
fitzhardingef0dd7e12004-01-16 02:17:30 +0000838 /* Effective signal mask. This is the mask which currently
839 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000840 handler is running.
841 */
842 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000843
njn25e49d8e72002-09-23 09:36:25 +0000844 /* Stacks. When a thread slot is freed, we don't deallocate its
845 stack; we just leave it lying around for the next use of the
846 slot. If the next use of the slot requires a larger stack,
847 only then is the old one deallocated and a new one
848 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000849
njn25e49d8e72002-09-23 09:36:25 +0000850 For the main thread (threadid == 0), this mechanism doesn't
851 apply. We don't know the size of the stack since we didn't
852 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000853
njn25e49d8e72002-09-23 09:36:25 +0000854 /* The allocated size of this thread's stack (permanently zero
855 if this is ThreadId == 0, since we didn't allocate its stack) */
856 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000857
njn25e49d8e72002-09-23 09:36:25 +0000858 /* Address of the lowest word in this thread's stack. NULL means
859 not allocated yet.
860 */
861 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000862
sewardj92a59562002-09-30 00:53:10 +0000863 /* Address of the highest legitimate word in this stack. This is
864 used for error messages only -- not critical for execution
865 correctness. Is is set for all stacks, specifically including
866 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000867 Addr stack_highest_word;
868
fitzhardinge98c4dc02004-03-16 08:27:29 +0000869 /* Alternate signal stack */
870 vki_kstack_t altstack;
871
sewardj92a59562002-09-30 00:53:10 +0000872 /* Pointer to this thread's Local (Segment) Descriptor Table.
873 Starts out as NULL, indicating there is no table, and we hope to
874 keep it that way. If the thread does __NR_modify_ldt to create
875 entries, we allocate a 8192-entry table at that point. This is
876 a straight copy of the Linux kernel's scheme. Don't forget to
877 deallocate this at thread exit. */
878 VgLdtEntry* ldt;
879
fitzhardinge47735af2004-01-21 01:27:27 +0000880 /* TLS table. This consists of a small number (currently 3) of
881 entries from the Global Descriptor Table. */
882 VgLdtEntry tls[VKI_GDT_TLS_ENTRIES];
883
sewardj92a59562002-09-30 00:53:10 +0000884 /* Saved machine context. Note the FPU state, %EIP and segment
885 registers are not shadowed.
886
887 Although the segment registers are 16 bits long, storage
nethercote1d447092004-02-01 17:29:59 +0000888 management here and in VG_(baseBlock) is
sewardj92a59562002-09-30 00:53:10 +0000889 simplified if we pretend they are 32 bits. */
890 UInt m_cs;
891 UInt m_ss;
892 UInt m_ds;
893 UInt m_es;
894 UInt m_fs;
895 UInt m_gs;
896
njn25e49d8e72002-09-23 09:36:25 +0000897 UInt m_eax;
898 UInt m_ebx;
899 UInt m_ecx;
900 UInt m_edx;
901 UInt m_esi;
902 UInt m_edi;
903 UInt m_ebp;
904 UInt m_esp;
905 UInt m_eflags;
906 UInt m_eip;
sewardjb91ae7f2003-04-29 23:50:00 +0000907
908 /* The SSE/FPU state. This array does not (necessarily) have the
909 required 16-byte alignment required to get stuff in/out by
910 fxsave/fxrestore. So we have to do it "by hand".
911 */
912 UInt m_sse[VG_SIZE_OF_SSESTATE_W];
njn25e49d8e72002-09-23 09:36:25 +0000913
914 UInt sh_eax;
915 UInt sh_ebx;
916 UInt sh_ecx;
917 UInt sh_edx;
918 UInt sh_esi;
919 UInt sh_edi;
920 UInt sh_ebp;
921 UInt sh_esp;
922 UInt sh_eflags;
njn72718642003-07-24 08:45:32 +0000923}
924ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000925
926
sewardj018f7622002-05-15 21:13:39 +0000927/* The thread table. */
928extern ThreadState VG_(threads)[VG_N_THREADS];
929
930/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000931extern Bool VG_(is_valid_tid) ( ThreadId tid );
932
sewardj018f7622002-05-15 21:13:39 +0000933/* Check that tid is in range. */
934extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
935
njn72718642003-07-24 08:45:32 +0000936/* Determine if 'tid' is that of the current running thread (Nb: returns
937 False if no thread is currently running. */
938extern Bool VG_(is_running_thread)(ThreadId tid);
939
jsgf855d93d2003-10-13 22:26:55 +0000940/* Get the ThreadState for a particular thread */
941extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
942
sewardj2e93c502002-04-12 11:12:52 +0000943/* Copy the specified thread's state into VG_(baseBlock) in
944 preparation for running it. */
945extern void VG_(load_thread_state)( ThreadId );
946
947/* Save the specified thread's state back in VG_(baseBlock), and fill
948 VG_(baseBlock) with junk, for sanity-check reasons. */
949extern void VG_(save_thread_state)( ThreadId );
950
sewardj1e8cdc92002-04-18 11:37:52 +0000951/* And for the currently running one, if valid. */
952extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000953
sewardj1e8cdc92002-04-18 11:37:52 +0000954/* Similarly ... */
955extern ThreadId VG_(get_current_tid) ( void );
956
sewardjccef2e62002-05-29 19:26:32 +0000957/* Nuke all threads except tid. */
958extern void VG_(nuke_all_threads_except) ( ThreadId me );
959
jsgf855d93d2003-10-13 22:26:55 +0000960/* Give a hint to the scheduler that it may be a good time to find a
961 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
962 try to schedule that thread.
963*/
964extern void VG_(need_resched) ( ThreadId prefer_sched );
965
966/* Add a new timeout event for a thread*/
967extern void VG_(add_timeout) ( ThreadId tid, UInt time );
sewardj2e93c502002-04-12 11:12:52 +0000968
969/* Return codes from the scheduler. */
970typedef
sewardj7e87e382002-05-03 19:09:05 +0000971 enum {
972 VgSrc_Deadlock, /* no runnable threads and no prospect of any
973 even if we wait for a long time */
974 VgSrc_ExitSyscall, /* client called exit(). This is the normal
975 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000976 VgSrc_FatalSig /* Killed by the default action of a fatal
977 signal */
sewardj7e87e382002-05-03 19:09:05 +0000978 }
sewardj2e93c502002-04-12 11:12:52 +0000979 VgSchedReturnCode;
980
sewardj7e87e382002-05-03 19:09:05 +0000981
sewardj2e93c502002-04-12 11:12:52 +0000982/* The scheduler. */
983extern VgSchedReturnCode VG_(scheduler) ( void );
984
985extern void VG_(scheduler_init) ( void );
986
sewardj15a43e12002-04-17 19:35:12 +0000987extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000988
989/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
990extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000991/* This says whether scheduler_jmpbuf is actually valid. Needed so
992 that our signal handler doesn't longjmp when the buffer isn't
993 actually valid. */
994extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000995/* ... and if so, here's the signal which caused it to do so. */
996extern Int VG_(longjmpd_on_signal);
997
998
sewardj2e93c502002-04-12 11:12:52 +0000999/* The red-zone size which we put at the bottom (highest address) of
1000 thread stacks, for paranoia reasons. This can be arbitrary, and
1001 doesn't really need to be set at compile time. */
1002#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
1003
1004#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
1005 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
1006
njn25e49d8e72002-09-23 09:36:25 +00001007/* Junk to fill up a thread's shadow regs with when shadow regs aren't
njnd3040452003-05-19 15:04:06 +00001008 being used. */
njn25e49d8e72002-09-23 09:36:25 +00001009#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
njnd3040452003-05-19 15:04:06 +00001010/* For sanity checking: if this ends up in a thread's shadow regs when
1011 shadow regs aren't being used, something went wrong. */
1012#define VG_USED_SHADOW_REG_VALUE 0x31415927
njn25e49d8e72002-09-23 09:36:25 +00001013
njnd3040452003-05-19 15:04:06 +00001014/* Write a value to a client's thread register, and shadow (if necessary) */
1015#define SET_THREAD_REG( zztid, zzval, zzreg, zzREG, zzevent, zzargs... ) \
1016 do { VG_(threads)[zztid].m_##zzreg = (zzval); \
1017 VG_TRACK( zzevent, zztid, R_##zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +00001018 } while (0)
1019
njnd3040452003-05-19 15:04:06 +00001020#define SET_SYSCALL_RETVAL(zztid, zzval) \
1021 SET_THREAD_REG(zztid, zzval, eax, EAX, post_reg_write_syscall_return)
1022
1023#define SET_SIGNAL_EDX(zztid, zzval) \
1024 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_deliver_signal)
1025
1026#define SET_SIGNAL_ESP(zztid, zzval) \
1027 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_deliver_signal)
1028
1029#define SET_CLREQ_RETVAL(zztid, zzval) \
1030 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientreq_return)
1031
1032#define SET_CLCALL_RETVAL(zztid, zzval, f) \
1033 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientcall_return, f)
1034
1035#define SET_PTHREQ_ESP(zztid, zzval) \
1036 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_pthread_return)
1037
1038#define SET_PTHREQ_RETVAL(zztid, zzval) \
1039 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +00001040
sewardj2e93c502002-04-12 11:12:52 +00001041
1042/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001043 Exports of vg_signals.c
1044 ------------------------------------------------------------------ */
1045
jsgf855d93d2003-10-13 22:26:55 +00001046extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
1047
1048/* RT signal allocation */
1049extern Int VG_(sig_rtmin);
1050extern Int VG_(sig_rtmax);
1051extern Int VG_(sig_alloc_rtsig) ( Int high );
1052
sewardjde4a1d02002-03-22 01:27:54 +00001053extern void VG_(sigstartup_actions) ( void );
sewardj839299f2003-06-14 11:57:59 +00001054extern void VG_(sigshutdown_actions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001055
jsgf855d93d2003-10-13 22:26:55 +00001056extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +00001057extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +00001058extern void VG_(handle_SCSS_change) ( Bool force_update );
1059
jsgf855d93d2003-10-13 22:26:55 +00001060extern Bool VG_(is_sig_ign) ( Int sigNo );
1061
1062/* Route pending signals from the scheduler LWP to the appropriate
1063 thread LWP. */
1064extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001065
1066/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +00001067extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +00001068extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +00001069extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
1070 Int how,
1071 vki_ksigset_t* set,
1072 vki_ksigset_t* oldset );
1073extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
1074 Int how,
1075 vki_ksigset_t* set,
1076 vki_ksigset_t* oldset );
1077extern void VG_(send_signal_to_thread) ( ThreadId thread,
1078 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +00001079
sewardjefbfcdf2002-06-19 17:35:45 +00001080extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
1081
1082
sewardj2e93c502002-04-12 11:12:52 +00001083/* Modify the current thread's state once we have detected it is
1084 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +00001085extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +00001086
sewardj2e93c502002-04-12 11:12:52 +00001087/* Handy utilities to block/restore all host signals. */
1088extern void VG_(block_all_host_signals)
1089 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +00001090extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +00001091 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +00001092
jsgf855d93d2003-10-13 22:26:55 +00001093extern vki_ksiginfo_t VG_(unresumable_siginfo);
1094
1095extern void VG_(kill_self)(Int sigNo);
1096
fitzhardingef1beb252004-03-16 09:49:08 +00001097/* These function synthesize a fault, as if the running instruction
1098 had had a fault. These functions do not return - they longjmp back
1099 into the scheduler so the signal can be delivered. */
1100extern void VG_(synth_fault) (ThreadId tid);
1101extern void VG_(synth_fault_mapping)(ThreadId tid, Addr addr);
1102extern void VG_(synth_fault_perms) (ThreadId tid, Addr addr);
1103
1104
sewardjde4a1d02002-03-22 01:27:54 +00001105/* ---------------------------------------------------------------------
1106 Exports of vg_mylibc.c
1107 ------------------------------------------------------------------ */
1108
njne427a662002-10-02 11:08:25 +00001109#define vg_assert(expr) \
1110 ((void) ((expr) ? 0 : \
1111 (VG_(core_assert_fail) (VG__STRING(expr), \
1112 __FILE__, __LINE__, \
1113 __PRETTY_FUNCTION__), 0)))
1114__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001115extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1116 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001117__attribute__ ((__noreturn__))
1118extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +00001119
njn25e49d8e72002-09-23 09:36:25 +00001120/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
1121extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +00001122
njn25e49d8e72002-09-23 09:36:25 +00001123/* Skins use VG_(strdup)() which doesn't expose ArenaId */
1124extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001125
njn25e49d8e72002-09-23 09:36:25 +00001126extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +00001127extern Int VG_(select)( Int n,
1128 vki_fd_set* readfds,
1129 vki_fd_set* writefds,
1130 vki_fd_set* exceptfds,
1131 struct vki_timeval * timeout );
jsgf855d93d2003-10-13 22:26:55 +00001132extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001133extern Int VG_(nanosleep)( const struct vki_timespec *req,
1134 struct vki_timespec *rem );
1135
fitzhardinge98abfc72003-12-16 02:05:15 +00001136/* system/mman.h */
1137extern void* VG_(mmap)( void* start, UInt length,
1138 UInt prot, UInt flags, UInt fd, UInt offset );
1139extern Int VG_(munmap)( void* start, Int length );
1140extern Int VG_(mprotect)( void *start, Int length, UInt prot );
1141
1142
jsgf855d93d2003-10-13 22:26:55 +00001143/* Move an fd into the Valgrind-safe range */
1144Int VG_(safe_fd)(Int oldfd);
1145
sewardj570f8902002-11-03 11:44:36 +00001146extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001147
1148/* --- Connecting over the network --- */
1149extern Int VG_(connect_via_socket)( UChar* str );
1150
fitzhardinge98abfc72003-12-16 02:05:15 +00001151/* Environment manipulations */
nethercoteff9721d2004-01-26 17:10:01 +00001152extern Char **VG_(env_clone) ( Char **oldenv );
fitzhardinge98abfc72003-12-16 02:05:15 +00001153extern Char* VG_(env_getenv) ( Char **env, Char* varname );
1154extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname, const Char *val );
1155extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
sewardj570f8902002-11-03 11:44:36 +00001156
1157/* ---------------------------------------------------------------------
1158 Exports of vg_message.c
1159 ------------------------------------------------------------------ */
1160
1161/* Low-level -- send bytes directly to the message sink. Do not
1162 use. */
1163extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1164
1165
sewardjde4a1d02002-03-22 01:27:54 +00001166/* ---------------------------------------------------------------------
1167 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
1168 vg_from_ucode.c).
1169 ------------------------------------------------------------------ */
1170
sewardjde4a1d02002-03-22 01:27:54 +00001171#define VG_IS_FLAG_SUBSET(set1,set2) \
1172 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
1173
1174#define VG_UNION_FLAG_SETS(set1,set2) \
1175 ( ((FlagSet)set1) | ((FlagSet)set2) )
1176
sewardjde4a1d02002-03-22 01:27:54 +00001177/* ---------------------------------------------------------------------
1178 Exports of vg_demangle.c
1179 ------------------------------------------------------------------ */
1180
1181extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1182
sewardjde4a1d02002-03-22 01:27:54 +00001183/* ---------------------------------------------------------------------
1184 Exports of vg_from_ucode.c
1185 ------------------------------------------------------------------ */
1186
sewardj22854b92002-11-30 14:00:47 +00001187extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001188
njn25e49d8e72002-09-23 09:36:25 +00001189extern void VG_(print_ccall_stats) ( void );
1190extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001191
sewardj22854b92002-11-30 14:00:47 +00001192extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1193extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
1194extern Bool VG_(is_unchained_jumpsite) ( Addr jumpsite );
1195extern Bool VG_(is_chained_jumpsite) ( Addr jumpsite );
1196
sewardjde4a1d02002-03-22 01:27:54 +00001197/* ---------------------------------------------------------------------
1198 Exports of vg_to_ucode.c
1199 ------------------------------------------------------------------ */
1200
fitzhardingec2dbbac2004-01-23 23:09:01 +00001201Bool VG_(cpu_has_feature)(UInt feat);
1202
sewardjde4a1d02002-03-22 01:27:54 +00001203extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001204
1205/* ---------------------------------------------------------------------
1206 Exports of vg_translate.c
1207 ------------------------------------------------------------------ */
1208
njn810086f2002-11-14 12:42:47 +00001209/* Expandable arrays of uinstrs. */
1210struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001211 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001212 Int used;
1213 Int size;
1214 UInstr* instrs;
1215 Int nextTemp;
1216};
1217
1218extern UCodeBlock* VG_(alloc_UCodeBlock) ( void );
1219
njn72718642003-07-24 08:45:32 +00001220extern void VG_(translate) ( ThreadId tid,
sewardj1e8cdc92002-04-18 11:37:52 +00001221 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +00001222 UInt* orig_size,
1223 Addr* trans_addr,
sewardj22854b92002-11-30 14:00:47 +00001224 UInt* trans_size,
1225 UShort jumps[VG_MAX_JUMPS]);
sewardjde4a1d02002-03-22 01:27:54 +00001226
njn25e49d8e72002-09-23 09:36:25 +00001227extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
1228 UInstr* u );
1229extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
1230extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +00001231
sewardjb5ff83e2002-12-01 19:40:49 +00001232
sewardjde4a1d02002-03-22 01:27:54 +00001233/* ---------------------------------------------------------------------
1234 Exports of vg_execontext.c.
1235 ------------------------------------------------------------------ */
1236
1237/* Records the PC and a bit of the call chain. The first 4 %eip
1238 values are used in comparisons do remove duplicate errors, and for
1239 comparing against suppression specifications. The rest are purely
1240 informational (but often important). */
1241
njn25e49d8e72002-09-23 09:36:25 +00001242struct _ExeContext {
1243 struct _ExeContext * next;
1244 /* Variable-length array. The size is VG_(clo_backtrace_size); at
njn6c846552003-09-16 07:41:43 +00001245 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
njn25e49d8e72002-09-23 09:36:25 +00001246 [1] is its caller, [2] is the caller of [1], etc. */
1247 Addr eips[0];
1248};
sewardjde4a1d02002-03-22 01:27:54 +00001249
1250
sewardjde4a1d02002-03-22 01:27:54 +00001251/* Print stats (informational only). */
1252extern void VG_(show_ExeContext_stats) ( void );
1253
njn25e49d8e72002-09-23 09:36:25 +00001254/* Like VG_(get_ExeContext), but with a slightly different type */
1255extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1256 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001257
1258
1259/* ---------------------------------------------------------------------
1260 Exports of vg_errcontext.c.
1261 ------------------------------------------------------------------ */
1262
njn25e49d8e72002-09-23 09:36:25 +00001263/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1264 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +00001265typedef
njn25e49d8e72002-09-23 09:36:25 +00001266 enum {
1267 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +00001268 }
njn25e49d8e72002-09-23 09:36:25 +00001269 CoreSuppKind;
1270
1271/* For each caller specified for a suppression, record the nature of
1272 the caller name. Not of interest to skins. */
1273typedef
1274 enum {
1275 ObjName, /* Name is of an shared object file. */
1276 FunName /* Name is of a function. */
1277 }
1278 SuppLocTy;
1279
njn810086f2002-11-14 12:42:47 +00001280/* Suppressions. Skins can get/set skin-relevant parts with functions
1281 declared in include/vg_skin.h. Extensible via the 'extra' field.
1282 Skins can use a normal enum (with element values in the normal range
1283 (0..)) for `skind'. */
1284struct _Supp {
1285 struct _Supp* next;
1286 /* The number of times this error has been suppressed. */
1287 Int count;
1288 /* The name by which the suppression is referred to. */
1289 Char* sname;
1290 /* First two (name of fn where err occurs, and immediate caller)
1291 * are mandatory; extra two are optional. */
1292 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
1293 Char* caller [VG_N_SUPP_CALLERS];
1294
1295 /* The skin-specific part */
1296 /* What kind of suppression. Must use the range (0..) */
1297 SuppKind skind;
1298 /* String -- use is optional. NULL by default. */
1299 Char* string;
1300 /* Anything else -- use is optional. NULL by default. */
1301 void* extra;
1302};
njn25e49d8e72002-09-23 09:36:25 +00001303
1304/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1305 * effectively extend it by defining their own enums in the (0..) range. */
1306typedef
1307 enum {
1308 PThreadErr = -1, /* Pthreading error */
1309 }
1310 CoreErrorKind;
1311
njn810086f2002-11-14 12:42:47 +00001312/* Errors. Extensible (via the 'extra' field). Skins can use a normal
1313 enum (with element values in the normal range (0..)) for `ekind'.
1314 Functions for getting/setting the skin-relevant fields are in
1315 include/vg_skin.h.
1316
1317 When errors are found and recorded with VG_(maybe_record_error)(), all
1318 the skin must do is pass in the four parameters; core will
1319 allocate/initialise the error record.
1320*/
1321struct _Error {
1322 struct _Error* next;
1323 /* NULL if unsuppressed; or ptr to suppression record. */
1324 Supp* supp;
1325 Int count;
njn810086f2002-11-14 12:42:47 +00001326 ThreadId tid;
njn810086f2002-11-14 12:42:47 +00001327
1328 /* The skin-specific part */
njnae17bec2003-01-28 19:59:38 +00001329 /* Initialised by core */
1330 ExeContext* where;
njn810086f2002-11-14 12:42:47 +00001331 /* Used by ALL. Must be in the range (0..) */
1332 Int ekind;
1333 /* Used frequently */
1334 Addr addr;
1335 /* Used frequently */
1336 Char* string;
1337 /* For any skin-specific extras */
1338 void* extra;
1339};
sewardjde4a1d02002-03-22 01:27:54 +00001340
1341
njn25e49d8e72002-09-23 09:36:25 +00001342extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001343
njn25e49d8e72002-09-23 09:36:25 +00001344extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001345
njn25e49d8e72002-09-23 09:36:25 +00001346extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001347
njn43c799e2003-04-08 00:08:52 +00001348extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
1349
njn47363ab2003-04-21 13:24:40 +00001350extern UInt VG_(n_errs_found);
1351
sewardjde4a1d02002-03-22 01:27:54 +00001352/* ---------------------------------------------------------------------
1353 Exports of vg_procselfmaps.c
1354 ------------------------------------------------------------------ */
1355
njnfa1016e2003-09-25 17:54:11 +00001356/* Reads /proc/self/maps into a static buffer which can be parsed by
1357 VG_(parse_procselfmaps)(). */
1358extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001359
1360/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1361 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1362 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001363extern
njnfa1016e2003-09-25 17:54:11 +00001364void VG_(parse_procselfmaps) (
fitzhardinge98abfc72003-12-16 02:05:15 +00001365 void (*record_mapping)( Addr addr, UInt len, Char rr, Char ww, Char xx,
1366 UInt dev, UInt ino, ULong foff, const UChar *filename )
sewardjde4a1d02002-03-22 01:27:54 +00001367);
1368
1369
1370/* ---------------------------------------------------------------------
1371 Exports of vg_symtab2.c
1372 ------------------------------------------------------------------ */
1373
fitzhardinge98abfc72003-12-16 02:05:15 +00001374typedef struct _Segment Segment;
1375
1376extern Bool VG_(is_object_file) ( const void *hdr );
njnfa1016e2003-09-25 17:54:11 +00001377extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001378extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
njnfa1016e2003-09-25 17:54:11 +00001379extern void VG_(unload_symbols) ( Addr start, UInt length );
fitzhardinge98abfc72003-12-16 02:05:15 +00001380extern void VG_(symtab_incref) ( SegInfo * );
1381extern void VG_(symtab_decref) ( SegInfo *, Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001382
njn25e49d8e72002-09-23 09:36:25 +00001383extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001384
fitzhardinge98abfc72003-12-16 02:05:15 +00001385/* Set up some default redirects */
1386extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001387
fitzhardinge98abfc72003-12-16 02:05:15 +00001388/* Redirection machinery */
1389extern void VG_(add_redirect_sym)(const Char *from_lib, const Char *from_sym,
1390 const Char *to_lib, const Char *to_sym);
1391extern void VG_(add_redirect_addr)(const Char *from_lib, const Char *from_sym,
1392 Addr to_addr);
1393extern Addr VG_(code_redirect) (Addr orig);
sewardjde4a1d02002-03-22 01:27:54 +00001394
1395/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001396 Exports of vg_main.c
1397 ------------------------------------------------------------------ */
1398
sewardjb91ae7f2003-04-29 23:50:00 +00001399/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1400 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001401 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001402 correctly snapshot the startup machine state without it. */
1403extern Bool VG_(have_ssestate);
1404
sewardj73cf3bc2002-11-03 03:20:15 +00001405/* Tell the logging mechanism whether we are logging to a file
1406 descriptor or a socket descriptor. */
1407extern Bool VG_(logging_to_filedes);
1408
njn25e49d8e72002-09-23 09:36:25 +00001409/* Sanity checks which may be done at any time. The scheduler decides when. */
1410extern void VG_(do_sanity_checks) ( Bool force_expensive );
1411
fitzhardinge98abfc72003-12-16 02:05:15 +00001412/* Address space */
1413extern Addr VG_(client_base); /* client address space limits */
1414extern Addr VG_(client_end);
1415extern Addr VG_(client_mapbase); /* base of mappings */
1416extern Addr VG_(clstk_base); /* client stack range */
1417extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001418extern Addr VG_(client_trampoline_code);
1419
fitzhardinge98abfc72003-12-16 02:05:15 +00001420extern Addr VG_(brk_base); /* start of brk */
1421extern Addr VG_(brk_limit); /* current brk */
1422extern Addr VG_(shadow_base); /* skin's shadow memory */
1423extern Addr VG_(shadow_end);
1424extern Addr VG_(valgrind_base); /* valgrind's address range */
1425extern Addr VG_(valgrind_mmap_end);
1426extern Addr VG_(valgrind_end);
1427
fitzhardingeb50068f2004-02-24 23:42:55 +00001428extern vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1429
fitzhardinge98abfc72003-12-16 02:05:15 +00001430/* stage1 executable file descriptor */
fitzhardingea49f9b52003-12-16 22:26:45 +00001431extern Int VG_(vgexecfd);
1432
1433/* client executable file descriptor */
1434extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001435
njn9b007f62003-04-07 14:40:25 +00001436/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001437extern Bool VG_(need_to_handle_esp_assignment) ( void );
1438
sewardjde4a1d02002-03-22 01:27:54 +00001439/* Called when some unhandleable client behaviour is detected.
1440 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001441extern void VG_(unimplemented) ( Char* msg )
1442 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001443
njn25e49d8e72002-09-23 09:36:25 +00001444/* Similarly, we have to ask for signals to be delivered on an alternative
1445 stack, since it is possible, although unlikely, that we'll have to run
1446 client code from inside the Valgrind-installed signal handler. If this
1447 happens it will be done by vg_deliver_signal_immediately(). */
njn6eba4ef2003-05-01 08:06:41 +00001448extern UInt VG_(sigstack)[VG_SIGSTACK_SIZE_W];
sewardjde4a1d02002-03-22 01:27:54 +00001449
fitzhardinge98abfc72003-12-16 02:05:15 +00001450/* Valgrind's argc and argv */
1451extern Int VG_(vg_argc);
1452extern Char **VG_(vg_argv);
1453
sewardjd5815ec2003-04-06 12:23:27 +00001454/* Indicates presence, and holds address of client's sysinfo page, a
1455 feature of some modern kernels used to provide vsyscalls, etc. */
1456extern Bool VG_(sysinfo_page_exists);
1457extern Addr VG_(sysinfo_page_addr);
1458
nethercoteff9721d2004-01-26 17:10:01 +00001459/* Walk through a colon separated list variable, removing entries
1460 which match pattern. */
1461extern void VG_(mash_colon_env)(Char *varp, const Char *pattern);
1462
nethercote04d0fbc2004-01-26 16:48:06 +00001463/* Something of a function looking for a home ... start up debugger. */
1464extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001465
njn41557122002-10-14 09:25:37 +00001466/* VG_(bbs_done) in include/vg_skin.h */
1467
sewardjde4a1d02002-03-22 01:27:54 +00001468/* 64-bit counter for the number of bbs to go before a debug exit. */
1469extern ULong VG_(bbs_to_go);
1470
1471/* Counts downwards in vg_run_innerloop. */
1472extern UInt VG_(dispatch_ctr);
1473
sewardj7e87e382002-05-03 19:09:05 +00001474/* This is the ThreadId of the last thread the scheduler ran. */
1475extern ThreadId VG_(last_run_tid);
1476
njn25e49d8e72002-09-23 09:36:25 +00001477/* This is the argument to __NR_exit() supplied by the first thread to
1478 call that syscall. We eventually pass that to __NR_exit() for
1479 real. */
njn633de322003-05-12 20:40:13 +00001480extern Int VG_(exitcode);
njn25e49d8e72002-09-23 09:36:25 +00001481
jsgf855d93d2003-10-13 22:26:55 +00001482/* If we're doing the default action of a fatal signal */
1483extern jmp_buf VG_(fatal_signal_jmpbuf);
1484extern Bool VG_(fatal_signal_set); /* jmp_buf is valid */
1485extern Int VG_(fatal_sigNo); /* the fatal signal */
sewardjde4a1d02002-03-22 01:27:54 +00001486
1487/* --- Counters, for informational purposes only. --- */
1488
1489/* Number of lookups which miss the fast tt helper. */
1490extern UInt VG_(tt_fast_misses);
1491
sewardjc0d8f682002-11-30 00:49:43 +00001492/* Counts for TT/TC informational messages. */
sewardjde4a1d02002-03-22 01:27:54 +00001493
sewardjde4a1d02002-03-22 01:27:54 +00001494/* Number and total o/t size of translations overall. */
1495extern UInt VG_(overall_in_count);
1496extern UInt VG_(overall_in_osize);
1497extern UInt VG_(overall_in_tsize);
1498/* Number and total o/t size of discards overall. */
1499extern UInt VG_(overall_out_count);
1500extern UInt VG_(overall_out_osize);
1501extern UInt VG_(overall_out_tsize);
sewardjc0d8f682002-11-30 00:49:43 +00001502/* The number of discards of TT/TC. */
1503extern UInt VG_(number_of_tc_discards);
sewardj22854b92002-11-30 14:00:47 +00001504/* Counts of chain and unchain operations done. */
1505extern UInt VG_(bb_enchain_count);
1506extern UInt VG_(bb_dechain_count);
1507/* Number of unchained jumps performed. */
1508extern UInt VG_(unchained_jumps_done);
1509
sewardjde4a1d02002-03-22 01:27:54 +00001510
1511/* Counts pertaining to the register allocator. */
1512
1513/* total number of uinstrs input to reg-alloc */
1514extern UInt VG_(uinstrs_prealloc);
1515
1516/* total number of uinstrs added due to spill code */
1517extern UInt VG_(uinstrs_spill);
1518
1519/* number of bbs requiring spill code */
1520extern UInt VG_(translations_needing_spill);
1521
1522/* total of register ranks over all translations */
1523extern UInt VG_(total_reg_rank);
1524
sewardjde4a1d02002-03-22 01:27:54 +00001525/* Counts pertaining to internal sanity checking. */
1526extern UInt VG_(sanity_fast_count);
1527extern UInt VG_(sanity_slow_count);
1528
sewardj2e93c502002-04-12 11:12:52 +00001529/* Counts pertaining to the scheduler. */
1530extern UInt VG_(num_scheduling_events_MINOR);
1531extern UInt VG_(num_scheduling_events_MAJOR);
1532
sewardjfa492d42002-12-08 18:20:01 +00001533/* Insert and extract the D flag from eflags */
1534UInt VG_(insertDflag)(UInt eflags, Int d);
1535Int VG_(extractDflag)(UInt eflags);
sewardjde4a1d02002-03-22 01:27:54 +00001536
1537/* ---------------------------------------------------------------------
1538 Exports of vg_memory.c
1539 ------------------------------------------------------------------ */
1540
fitzhardinge98abfc72003-12-16 02:05:15 +00001541/* A Segment is mapped piece of client memory. This covers all kinds
1542 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1543
1544 We try to encode everything we know about a particular segment here.
1545*/
1546#define SF_FIXED (1 << 0) /* client asked for MAP_FIXED */
1547#define SF_SHARED (1 << 1) /* shared */
1548#define SF_SHM (1 << 2) /* SYSV SHM (also SF_SHARED) */
1549#define SF_MMAP (1 << 3) /* mmap memory */
1550#define SF_FILE (1 << 4) /* mapping is backed by a file */
1551#define SF_STACK (1 << 5) /* is a stack */
1552#define SF_GROWDOWN (1 << 6) /* segment grows down */
1553#define SF_GROWUP (1 << 7) /* segment grows up */
1554#define SF_EXEC (1 << 8) /* segment created by exec */
1555#define SF_DYNLIB (1 << 9) /* mapped from dynamic library */
1556#define SF_NOSYMS (1 << 10) /* don't load syms, even if present */
1557#define SF_BRK (1 << 11) /* brk segment */
1558#define SF_CORE (1 << 12) /* allocated by core on behalf of the client */
1559#define SF_VALGRIND (1 << 13) /* a valgrind-internal mapping - not in client*/
1560#define SF_CODE (1 << 14) /* segment contains cached code */
1561
1562struct _Segment {
1563 UInt prot; /* VKI_PROT_* */
1564 UInt flags; /* SF_* */
1565
1566 Addr addr; /* mapped addr (page aligned) */
1567 UInt len; /* size of mapping (page aligned) */
1568
1569 /* These are valid if (flags & SF_FILE) */
1570 ULong offset; /* file offset */
1571 const Char *filename; /* filename (NULL if unknown) */
1572 UInt dev; /* device */
1573 UInt ino; /* inode */
1574
1575 SegInfo *symtab; /* symbol table */
1576};
1577
1578/* segment mapped from a file descriptor */
1579extern void VG_(map_fd_segment) (Addr addr, UInt len, UInt prot, UInt flags,
1580 Int fd, ULong off, const Char *filename);
1581
1582/* segment mapped from a file */
1583extern void VG_(map_file_segment)(Addr addr, UInt len, UInt prot, UInt flags,
1584 UInt dev, UInt ino, ULong off, const Char *filename);
1585
1586/* simple segment */
1587extern void VG_(map_segment) (Addr addr, UInt len, UInt prot, UInt flags);
1588
1589extern void VG_(unmap_range) (Addr addr, UInt len);
1590extern void VG_(mprotect_range)(Addr addr, UInt len, UInt prot);
1591extern Addr VG_(find_map_space)(Addr base, UInt len, Bool for_client);
1592
1593extern Segment *VG_(find_segment)(Addr a);
fitzhardinged65dcad2004-03-13 02:06:58 +00001594extern Segment *VG_(first_segment)(void);
fitzhardinge98abfc72003-12-16 02:05:15 +00001595extern Segment *VG_(next_segment)(Segment *);
1596
1597extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, UInt size);
1598extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, UInt size);
1599
njn9b007f62003-04-07 14:40:25 +00001600extern __attribute__((regparm(1)))
njnfa1016e2003-09-25 17:54:11 +00001601 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001602
jsgf855d93d2003-10-13 22:26:55 +00001603/* ---------------------------------------------------------------------
1604 Exports of vg_proxylwp.c
1605 ------------------------------------------------------------------ */
1606
1607/* Issue a syscall for thread tid */
1608extern Int VG_(sys_issue)(int tid);
1609
1610extern void VG_(proxy_init) ( void );
1611extern void VG_(proxy_create) ( ThreadId tid );
1612extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1613extern void VG_(proxy_results) ( void );
1614extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1615extern void VG_(proxy_setsigmask)(ThreadId tid);
1616extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1617extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1618extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001619extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001620
1621extern void VG_(proxy_shutdown) ( void ); /* shut down the syscall workers */
1622extern Int VG_(proxy_resfd) ( void ); /* FD something can select on to know
1623 a syscall finished */
1624
1625/* Sanity-check the whole proxy-LWP machinery */
1626void VG_(proxy_sanity)(void);
1627
1628/* Send a signal from a thread's proxy to the thread. This longjmps
1629 back into the proxy's main loop, so it doesn't return. */
1630__attribute__ ((__noreturn__))
1631extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
1632 const struct vki_sigcontext *sigcontext );
1633
fitzhardinge47735af2004-01-21 01:27:27 +00001634/* Get the PID/TID of the ProxyLWP. */
1635extern Int VG_(proxy_id)(ThreadId tid);
1636
jsgf855d93d2003-10-13 22:26:55 +00001637
sewardjde4a1d02002-03-22 01:27:54 +00001638/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001639 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001640 ------------------------------------------------------------------ */
1641
fitzhardinge98abfc72003-12-16 02:05:15 +00001642extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001643
jsgf855d93d2003-10-13 22:26:55 +00001644extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001645extern void VG_(post_syscall)( ThreadId tid, Bool restart );
fitzhardingee1c06d82003-10-30 07:21:44 +00001646extern void VG_(restart_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001647
1648extern Bool VG_(is_kerror) ( Int res );
1649
jsgf855d93d2003-10-13 22:26:55 +00001650/* Internal atfork handlers */
1651typedef void (*vg_atfork_t)(ThreadId);
1652extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001653
rjwalshf5f536f2003-11-17 17:45:00 +00001654/* fd leakage calls. */
1655extern void VG_(init_preopened_fds) ( void );
1656extern void VG_(fd_stats) ( void );
1657
sewardjde4a1d02002-03-22 01:27:54 +00001658/* ---------------------------------------------------------------------
1659 Exports of vg_transtab.c
1660 ------------------------------------------------------------------ */
1661
njn25e49d8e72002-09-23 09:36:25 +00001662/* The fast-cache for tt-lookup. */
1663extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1664
sewardjde4a1d02002-03-22 01:27:54 +00001665extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
sewardj6c3769f2002-11-29 01:02:45 +00001666
sewardjc0d8f682002-11-30 00:49:43 +00001667extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001668 Addr trans_addr, Int trans_size,
1669 UShort jumps[VG_MAX_JUMPS]);
sewardj6c3769f2002-11-29 01:02:45 +00001670
sewardj97ad5522003-05-04 12:32:56 +00001671extern void VG_(invalidate_translations) ( Addr start, UInt range, Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001672
sewardj18d75132002-05-16 11:06:21 +00001673extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001674
1675extern void VG_(sanity_check_tc_tt) ( void );
1676extern Addr VG_(search_transtab) ( Addr original_addr );
1677
sewardjde4a1d02002-03-22 01:27:54 +00001678
1679
1680/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001681 Exports of vg_syscall.S
1682 ------------------------------------------------------------------ */
1683
jsgf855d93d2003-10-13 22:26:55 +00001684extern Int VG_(do_syscall) ( UInt, ... );
1685extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1686 Int *child_tid, Int *parent_tid);
fitzhardinge4f10ada2004-06-03 10:00:42 +00001687extern void VG_(sigreturn)(void);
sewardjde4a1d02002-03-22 01:27:54 +00001688
1689/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001690 Exports of vg_dispatch.S
1691 ------------------------------------------------------------------ */
1692
sewardj2e93c502002-04-12 11:12:52 +00001693/* Run a thread for a (very short) while, until some event happens
1694 which means we need to defer to the scheduler. */
1695extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001696
sewardj22854b92002-11-30 14:00:47 +00001697/* The patching routing called when a BB wants to chain itself to
1698 another. */
1699extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001700
1701/* ---------------------------------------------------------------------
1702 Exports of vg_helpers.S
1703 ------------------------------------------------------------------ */
1704
sewardjde4a1d02002-03-22 01:27:54 +00001705/* Mul, div, etc, -- we don't codegen these directly. */
1706extern void VG_(helper_idiv_64_32);
1707extern void VG_(helper_div_64_32);
1708extern void VG_(helper_idiv_32_16);
1709extern void VG_(helper_div_32_16);
1710extern void VG_(helper_idiv_16_8);
1711extern void VG_(helper_div_16_8);
1712
1713extern void VG_(helper_imul_32_64);
1714extern void VG_(helper_mul_32_64);
1715extern void VG_(helper_imul_16_32);
1716extern void VG_(helper_mul_16_32);
1717extern void VG_(helper_imul_8_16);
1718extern void VG_(helper_mul_8_16);
1719
1720extern void VG_(helper_CLD);
1721extern void VG_(helper_STD);
1722extern void VG_(helper_get_dirflag);
1723
sewardj7d78e782002-06-02 00:04:00 +00001724extern void VG_(helper_CLC);
1725extern void VG_(helper_STC);
nethercote1018bdd2004-02-11 23:33:29 +00001726extern void VG_(helper_CMC);
sewardj7d78e782002-06-02 00:04:00 +00001727
sewardjde4a1d02002-03-22 01:27:54 +00001728extern void VG_(helper_shldl);
1729extern void VG_(helper_shldw);
1730extern void VG_(helper_shrdl);
1731extern void VG_(helper_shrdw);
1732
daywalkerb18d2532003-09-27 20:15:01 +00001733extern void VG_(helper_IN);
1734extern void VG_(helper_OUT);
1735
sewardjde4a1d02002-03-22 01:27:54 +00001736extern void VG_(helper_RDTSC);
1737extern void VG_(helper_CPUID);
1738
nethercote1018bdd2004-02-11 23:33:29 +00001739extern void VG_(helper_bsfw);
1740extern void VG_(helper_bsfl);
1741extern void VG_(helper_bsrw);
1742extern void VG_(helper_bsrl);
sewardjde4a1d02002-03-22 01:27:54 +00001743
1744extern void VG_(helper_fstsw_AX);
1745extern void VG_(helper_SAHF);
njnd6251f12003-06-03 13:38:51 +00001746extern void VG_(helper_LAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001747extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001748extern void VG_(helper_DAA);
nethercote1018bdd2004-02-11 23:33:29 +00001749extern void VG_(helper_AAS);
1750extern void VG_(helper_AAA);
1751extern void VG_(helper_AAD);
1752extern void VG_(helper_AAM);
sewardjde4a1d02002-03-22 01:27:54 +00001753
muellerf217c732004-01-02 22:42:29 +00001754extern void VG_(helper_cmpxchg8b);
1755
sewardj51096432002-12-14 23:59:09 +00001756extern void VG_(helper_undefined_instruction);
1757
fitzhardinge92360792003-12-24 10:11:11 +00001758/* Information about trampoline code (for signal return and syscalls) */
1759extern const Char VG_(trampoline_code_start);
1760extern const Int VG_(trampoline_code_length);
1761extern const Int VG_(tramp_sigreturn_offset);
1762extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001763
njn4f9c9342002-04-29 16:03:24 +00001764/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001765 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001766 ------------------------------------------------------------------ */
1767
fitzhardinge98abfc72003-12-16 02:05:15 +00001768#define VG_TRACK(fn, args...) \
1769 do { \
1770 if (VG_(defined_##fn)()) \
1771 SK_(fn)(args); \
1772 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001773
fitzhardinge98abfc72003-12-16 02:05:15 +00001774__attribute__ ((noreturn))
1775extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001776
sewardjde4a1d02002-03-22 01:27:54 +00001777/* ---------------------------------------------------------------------
1778 The state of the simulated CPU.
1779 ------------------------------------------------------------------ */
1780
sewardjde4a1d02002-03-22 01:27:54 +00001781/* ---------------------------------------------------------------------
1782 Offsets into baseBlock for everything which needs to referred to
1783 from generated code. The order of these decls does not imply
1784 what the order of the actual offsets is. The latter is important
1785 and is set up in vg_main.c.
1786 ------------------------------------------------------------------ */
1787
1788/* An array of words. In generated code, %ebp always points to the
1789 start of this array. Useful stuff, like the simulated CPU state,
1790 and the addresses of helper functions, can then be found by
1791 indexing off %ebp. The following declares variables which, at
1792 startup time, are given values denoting offsets into baseBlock.
1793 These offsets are in *words* from the start of baseBlock. */
1794
sewardjb91ae7f2003-04-29 23:50:00 +00001795#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001796
1797extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1798
1799
1800/* -----------------------------------------------------
1801 Read-write parts of baseBlock.
1802 -------------------------------------------------- */
1803
1804/* State of the simulated CPU. */
1805extern Int VGOFF_(m_eax);
1806extern Int VGOFF_(m_ecx);
1807extern Int VGOFF_(m_edx);
1808extern Int VGOFF_(m_ebx);
1809extern Int VGOFF_(m_esp);
1810extern Int VGOFF_(m_ebp);
1811extern Int VGOFF_(m_esi);
1812extern Int VGOFF_(m_edi);
1813extern Int VGOFF_(m_eflags);
sewardjb91ae7f2003-04-29 23:50:00 +00001814extern Int VGOFF_(m_ssestate);
sewardjde4a1d02002-03-22 01:27:54 +00001815extern Int VGOFF_(m_eip);
1816
sewardjfa492d42002-12-08 18:20:01 +00001817extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1818
sewardj92a59562002-09-30 00:53:10 +00001819extern Int VGOFF_(m_cs);
1820extern Int VGOFF_(m_ss);
1821extern Int VGOFF_(m_ds);
1822extern Int VGOFF_(m_es);
1823extern Int VGOFF_(m_fs);
1824extern Int VGOFF_(m_gs);
1825
sewardjde4a1d02002-03-22 01:27:54 +00001826/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1827extern Int VGOFF_(spillslots);
1828
1829/* Records the valid bits for the 8 integer regs & flags reg. */
1830extern Int VGOFF_(sh_eax);
1831extern Int VGOFF_(sh_ecx);
1832extern Int VGOFF_(sh_edx);
1833extern Int VGOFF_(sh_ebx);
1834extern Int VGOFF_(sh_esp);
1835extern Int VGOFF_(sh_ebp);
1836extern Int VGOFF_(sh_esi);
1837extern Int VGOFF_(sh_edi);
1838extern Int VGOFF_(sh_eflags);
1839
sewardjde4a1d02002-03-22 01:27:54 +00001840/* -----------------------------------------------------
1841 Read-only parts of baseBlock.
1842 -------------------------------------------------- */
1843
sewardj92a59562002-09-30 00:53:10 +00001844/* This thread's LDT pointer. */
1845extern Int VGOFF_(ldt);
1846
fitzhardinge47735af2004-01-21 01:27:27 +00001847/* This thread's TLS pointer. */
1848extern Int VGOFF_(tls);
1849
njn211b6ad2003-02-03 12:33:31 +00001850/* Nb: Most helper offsets are in include/vg_skin.h, for use by skins */
sewardjde4a1d02002-03-22 01:27:54 +00001851
sewardj51096432002-12-14 23:59:09 +00001852extern Int VGOFF_(helper_undefined_instruction);
1853
njn25e49d8e72002-09-23 09:36:25 +00001854/* For storing extension-specific helpers, determined at runtime. The addr
1855 * and offset arrays together form a (addr, offset) map that allows a
1856 * helper's baseBlock offset to be computed from its address. It's done
1857 * like this so CCALL_M_Ns and other helper calls can use the function
1858 * address rather than having to much around with offsets. */
1859extern UInt VG_(n_compact_helpers);
1860extern UInt VG_(n_noncompact_helpers);
1861
1862extern Addr VG_(compact_helper_addrs) [];
1863extern Int VG_(compact_helper_offsets)[];
1864
1865extern Addr VG_(noncompact_helper_addrs) [];
1866extern Int VG_(noncompact_helper_offsets)[];
1867
sewardjde4a1d02002-03-22 01:27:54 +00001868#endif /* ndef __VG_INCLUDE_H */
1869
sewardj3b2736a2002-03-24 12:18:35 +00001870
1871/* ---------------------------------------------------------------------
1872 Finally - autoconf-generated settings
1873 ------------------------------------------------------------------ */
1874
1875#include "config.h"
1876
sewardjde4a1d02002-03-22 01:27:54 +00001877/*--------------------------------------------------------------------*/
1878/*--- end vg_include.h ---*/
1879/*--------------------------------------------------------------------*/