blob: 49b47ec2c12989dceba0863f910d42847fbe4592 [file] [log] [blame]
sewardjde4a1d02002-03-22 01:27:54 +00001
2/*--------------------------------------------------------------------*/
njn25e49d8e72002-09-23 09:36:25 +00003/*--- A header file for all private parts of Valgrind's core. ---*/
sewardjde4a1d02002-03-22 01:27:54 +00004/*--- Include no other! ---*/
5/*--- vg_include.h ---*/
6/*--------------------------------------------------------------------*/
7
8/*
njnc9539842002-10-02 13:26:35 +00009 This file is part of Valgrind, an extensible x86 protected-mode
10 emulator for monitoring program execution on x86-Unixes.
sewardjde4a1d02002-03-22 01:27:54 +000011
nethercotebb1c9912004-01-04 16:43:23 +000012 Copyright (C) 2000-2004 Julian Seward
sewardjde4a1d02002-03-22 01:27:54 +000013 jseward@acm.org
sewardjde4a1d02002-03-22 01:27:54 +000014
15 This program is free software; you can redistribute it and/or
16 modify it under the terms of the GNU General Public License as
17 published by the Free Software Foundation; either version 2 of the
18 License, or (at your option) any later version.
19
20 This program is distributed in the hope that it will be useful, but
21 WITHOUT ANY WARRANTY; without even the implied warranty of
22 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
23 General Public License for more details.
24
25 You should have received a copy of the GNU General Public License
26 along with this program; if not, write to the Free Software
27 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
28 02111-1307, USA.
29
njn25e49d8e72002-09-23 09:36:25 +000030 The GNU General Public License is contained in the file COPYING.
sewardjde4a1d02002-03-22 01:27:54 +000031*/
32
33#ifndef __VG_INCLUDE_H
34#define __VG_INCLUDE_H
35
sewardjde4a1d02002-03-22 01:27:54 +000036/* ---------------------------------------------------------------------
37 Build options and table sizes. You should be able to change these
38 options or sizes, recompile, and still have a working system.
39 ------------------------------------------------------------------ */
40
jsgf855d93d2003-10-13 22:26:55 +000041/* For system call numbers __NR_... */
42#include "vg_unistd.h"
43
sewardjde4a1d02002-03-22 01:27:54 +000044#include "vg_constants.h"
45
sewardj4cf05692002-10-27 20:28:29 +000046/* All stuff visible to core and skins goes in vg_skin.h. Things
47 * visible to core but not visible to any skins should go in this
48 * file, vg_include.h. */
njn25e49d8e72002-09-23 09:36:25 +000049#include "vg_skin.h"
fitzhardinge39de4b42003-10-31 07:12:21 +000050#include "valgrind.h"
sewardjde4a1d02002-03-22 01:27:54 +000051
fitzhardinge98abfc72003-12-16 02:05:15 +000052#undef SK_
53#define SK_(x) vgSkinInternal_##x
54
sewardjde4a1d02002-03-22 01:27:54 +000055/* Total number of spill slots available for allocation, if a TempReg
56 doesn't make it into a RealReg. Just bomb the entire system if
57 this value is too small; we don't expect it will ever get
58 particularly high. */
59#define VG_MAX_SPILLSLOTS 24
60
61
62/* Constants for the slow translation lookup cache. */
63#define VG_TRANSTAB_SLOW_BITS 11
64#define VG_TRANSTAB_SLOW_SIZE (1 << VG_TRANSTAB_SLOW_BITS)
65#define VG_TRANSTAB_SLOW_MASK ((VG_TRANSTAB_SLOW_SIZE) - 1)
66
67/* Size of a buffer used for creating messages. */
68#define M_VG_MSGBUF 10000
69
70/* Size of a smallish table used to read /proc/self/map entries. */
sewardjebc82332002-04-24 14:44:23 +000071#define M_PROCMAP_BUF 50000
sewardjde4a1d02002-03-22 01:27:54 +000072
73/* Max length of pathname to a .so/executable file. */
74#define M_VG_LIBNAMESTR 100
75
76/* Max length of a text fragment used to construct error messages. */
77#define M_VG_ERRTXT 512
78
79/* Max length of the string copied from env var VG_ARGS at startup. */
80#define M_VG_CMDLINE_STRLEN 1000
81
82/* Max number of options for Valgrind which we can handle. */
83#define M_VG_CMDLINE_OPTS 100
84
85/* After this many different unsuppressed errors have been observed,
86 be more conservative about collecting new ones. */
87#define M_VG_COLLECT_ERRORS_SLOWLY_AFTER 50
88
89/* After this many different unsuppressed errors have been observed,
90 stop collecting errors at all, and tell the user their program is
91 evidently a steaming pile of camel dung. */
sewardj1bebcbf2002-04-24 21:24:18 +000092#define M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN 300
sewardjf2537be2002-04-24 21:03:47 +000093
94/* After this many total errors have been observed, stop collecting
95 errors at all. Counterpart to M_VG_COLLECT_NO_ERRORS_AFTER_SHOWN. */
sewardj1bebcbf2002-04-24 21:24:18 +000096#define M_VG_COLLECT_NO_ERRORS_AFTER_FOUND 30000
sewardjde4a1d02002-03-22 01:27:54 +000097
sewardjde4a1d02002-03-22 01:27:54 +000098/* The maximum number of calls we're prepared to save in a
99 backtrace. */
100#define VG_DEEPEST_BACKTRACE 50
101
sewardjde4a1d02002-03-22 01:27:54 +0000102/* Number of lists in which we keep track of ExeContexts. Should be
103 prime. */
sewardj59fb25c2003-09-28 16:32:58 +0000104#define VG_N_EC_LISTS 4999 /* a prime number */
sewardjde4a1d02002-03-22 01:27:54 +0000105
sewardj2e93c502002-04-12 11:12:52 +0000106/* Defines the thread-scheduling timeslice, in terms of the number of
107 basic blocks we attempt to run each thread for. Smaller values
108 give finer interleaving but much increased scheduling overheads. */
sewardj4505b9e2002-05-28 11:27:31 +0000109#define VG_SCHEDULING_QUANTUM 50000
sewardj2e93c502002-04-12 11:12:52 +0000110
fitzhardingef0046f22003-12-18 02:39:22 +0000111/* Number of file descriptors that Valgrind tries to reserve for
112 it's own use - two per thread plues a small number of extras. */
113#define VG_N_RESERVED_FDS (VG_N_THREADS*2 + 4)
sewardj2e93c502002-04-12 11:12:52 +0000114
sewardjbf290b92002-05-01 02:28:01 +0000115/* Stack size for a thread. We try and check that they do not go
116 beyond it. */
sewardjf0b06452002-06-04 08:38:04 +0000117#define VG_PTHREAD_STACK_SIZE (1 << 20)
sewardjbf290b92002-05-01 02:28:01 +0000118
sewardj20917d82002-05-28 01:36:45 +0000119/* Number of entries in the semaphore-remapping table. */
120#define VG_N_SEMAPHORES 50
121
122/* Number of entries in the rwlock-remapping table. */
sewardj89745a52002-09-27 01:04:29 +0000123#define VG_N_RWLOCKS 500
sewardj20917d82002-05-28 01:36:45 +0000124
sewardj8ad94e12002-05-29 00:10:20 +0000125/* Number of entries in each thread's cleanup stack. */
sewardj61821c02003-05-04 13:02:10 +0000126#define VG_N_CLEANUPSTACK 16
sewardj8ad94e12002-05-29 00:10:20 +0000127
sewardj2cb00342002-06-28 01:46:26 +0000128/* Number of entries in each thread's fork-handler stack. */
sewardj4700f042003-07-26 17:49:58 +0000129#define VG_N_FORKHANDLERSTACK 4
sewardj2cb00342002-06-28 01:46:26 +0000130
njn25e49d8e72002-09-23 09:36:25 +0000131/* Max number of callers for context in a suppression. */
132#define VG_N_SUPP_CALLERS 4
sewardj73cf3bc2002-11-03 03:20:15 +0000133
njn6eba4ef2003-05-01 08:06:41 +0000134/* Valgrind's stack sizes, in words */
135#define VG_STACK_SIZE_W 10000
136#define VG_SIGSTACK_SIZE_W 10000
njn12a57142003-04-30 20:49:10 +0000137
fitzhardinge98abfc72003-12-16 02:05:15 +0000138/* Useful macros */
139/* a - alignment - must be a power of 2 */
140#define ROUNDDN(p, a) ((Addr)(p) & ~((a)-1))
141#define ROUNDUP(p, a) ROUNDDN((p)+(a)-1, (a))
142#define PGROUNDDN(p) ROUNDDN(p, VKI_BYTES_PER_PAGE)
143#define PGROUNDUP(p) ROUNDUP(p, VKI_BYTES_PER_PAGE)
144
145
sewardjde4a1d02002-03-22 01:27:54 +0000146/* ---------------------------------------------------------------------
147 Basic types
148 ------------------------------------------------------------------ */
149
sewardjde4a1d02002-03-22 01:27:54 +0000150/* Just pray that gcc's constant folding works properly ... */
151#define BITS(bit7,bit6,bit5,bit4,bit3,bit2,bit1,bit0) \
152 ( ((bit7) << 7) | ((bit6) << 6) | ((bit5) << 5) | ((bit4) << 4) \
153 | ((bit3) << 3) | ((bit2) << 2) | ((bit1) << 1) | (bit0))
154
sewardjde4a1d02002-03-22 01:27:54 +0000155/* ---------------------------------------------------------------------
156 Command-line-settable options
157 ------------------------------------------------------------------ */
158
sewardj4f094a72002-11-05 23:37:35 +0000159/* Default destination port to be used in logging over a network, if
160 none specified. */
161#define VG_CLO_DEFAULT_LOGPORT 1500
sewardj73cf3bc2002-11-03 03:20:15 +0000162
163/* The max number of suppression files. */
sewardjde4a1d02002-03-22 01:27:54 +0000164#define VG_CLO_MAX_SFILES 10
165
nethercote04d0fbc2004-01-26 16:48:06 +0000166/* Default debugger command. */
167#define VG_CLO_DEFAULT_DBCOMMAND GDB_PATH " -nw %f %p"
168
sewardj4cf05692002-10-27 20:28:29 +0000169/* Describes where logging output is to be sent. */
170typedef
171 enum {
172 VgLogTo_Fd,
173 VgLogTo_File,
174 VgLogTo_Socket
175 } VgLogTo;
176
jsgf855d93d2003-10-13 22:26:55 +0000177/* pid of main process */
178extern Int VG_(main_pid);
179
180/* pgrp of process (global to all threads) */
181extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000182
fitzhardingef0046f22003-12-18 02:39:22 +0000183/* Maximum allowed application-visible file descriptor */
184extern Int VG_(max_fd);
185
sewardj72f98ff2002-06-13 17:23:38 +0000186/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000187extern Bool VG_(clo_error_limit);
nethercote04d0fbc2004-01-26 16:48:06 +0000188/* Enquire about whether to attach to a debugger at errors? default: NO */
189extern Bool VG_(clo_db_attach);
190/* The debugger command? default: whatever gdb ./configure found */
191extern Char* VG_(clo_db_command);
njn43c799e2003-04-08 00:08:52 +0000192/* Enquire about generating a suppression for each error? default: NO */
193extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000194/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
195extern Int VG_(sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000196/* Automatically attempt to demangle C++ names? default: YES */
197extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000198/* Simulate child processes? default: NO */
199extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000200
201/* Where logging output is to be sent to.
202
203 When log_to == VgLogTo_Fd, clo_logfile_fd holds the file id, and is
204 taken from the command line. clo_logfile_name is irrelevant.
205
206 When log_to == VgLogTo_File, clo_logfile_name holds the logfile
207 name, and is taken from the command line. clo_logfile_fd is then
208 made to hold the relevant file id, by opening clo_logfile_name
209 (concatenated with the process ID) for writing.
210
211 When log_to == VgLogTo_Socket, clo_logfile_name holds the
212 hostname:portnumber pair, and is taken from the command line.
213 clo_logfile_fd is then made to hold the relevant file handle, by
214 opening a connection to said hostname:portnumber pair.
215
216 Global default is to set log_to == VgLogTo_Fd and logfile_fd == 2
217 (stderr). */
218extern VgLogTo VG_(clo_log_to);
219extern Int VG_(clo_logfile_fd);
220extern Char* VG_(clo_logfile_name);
sewardjde4a1d02002-03-22 01:27:54 +0000221
sewardj6024b212003-07-13 10:54:33 +0000222/* The file descriptor to read for input. default: 0 == stdin */
223extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000224/* The number of suppression files specified. */
225extern Int VG_(clo_n_suppressions);
226/* The names of the suppression files. */
227extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
228
229/* Single stepping? default: NO */
230extern Bool VG_(clo_single_step);
231/* Code improvement? default: YES */
232extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000233/* DEBUG: print generated code? default: 00000 ( == NO ) */
234extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000235/* DEBUG: print system calls? default: NO */
236extern Bool VG_(clo_trace_syscalls);
237/* DEBUG: print signal details? default: NO */
238extern Bool VG_(clo_trace_signals);
239/* DEBUG: print symtab details? default: NO */
240extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000241/* DEBUG: print thread scheduling events? default: NO */
242extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000243/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
244 (some), 2 (all) */
245extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000246/* Display gory details for the k'th most popular error. default:
247 Infinity. */
248extern Int VG_(clo_dump_error);
249/* Number of parents of a backtrace. Default: 8. */
250extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000251/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000252extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000253/* How often we should poll for signals, assuming we need to poll for
254 signals. */
255extern Int VG_(clo_signal_polltime);
256
257/* Low latency syscalls and signals */
258extern Bool VG_(clo_lowlat_syscalls);
259extern Bool VG_(clo_lowlat_signals);
260
rjwalshf5f536f2003-11-17 17:45:00 +0000261/* Track open file descriptors? */
262extern Bool VG_(clo_track_fds);
263
sewardj858964b2002-10-05 14:15:43 +0000264/* Should we run __libc_freeres at exit? Sometimes causes crashes.
265 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
266 if the latter says False, then the setting of VG_(clo_weird_hacks)
267 is ignored. Ie if a skin says no, I don't want this to run, that
268 cannot be overridden from the command line. */
269extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000270/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000271extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000272/* Generate branch-prediction hints? */
273extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000274/* Continue stack traces below main()? Default: NO */
275extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000276/* Test each client pointer dereference to check it's within the
277 client address space bounds */
278extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000279
280/* ---------------------------------------------------------------------
281 Debugging and profiling stuff
282 ------------------------------------------------------------------ */
283
sewardjde4a1d02002-03-22 01:27:54 +0000284/* Create a logfile into which messages can be dumped. */
285extern void VG_(startup_logging) ( void );
njn25e49d8e72002-09-23 09:36:25 +0000286extern void VG_(shutdown_logging)( void );
sewardjde4a1d02002-03-22 01:27:54 +0000287
288extern void VGP_(init_profiling) ( void );
289extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000290
njn25e49d8e72002-09-23 09:36:25 +0000291#undef VGP_PUSHCC
292#undef VGP_POPCC
293#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
294#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000295
sewardjde4a1d02002-03-22 01:27:54 +0000296/* ---------------------------------------------------------------------
njn810086f2002-11-14 12:42:47 +0000297 Skin-related types
298 ------------------------------------------------------------------ */
299/* These structs are not exposed to skins to mitigate possibility of
300 binary-incompatibilities when the core/skin interface changes. Instead,
301 set functions are provided (see include/vg_skin.h). */
302typedef
303 struct {
304 Char* name;
305 Char* version;
306 Char* description;
307 Char* copyright_author;
308 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000309 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000310 }
311 VgDetails;
312
313extern VgDetails VG_(details);
314
315/* If new fields are added to this type, update:
316 * - vg_main.c:initialisation of VG_(needs)
317 * - vg_main.c:sanity_check_needs()
318 *
319 * If the name of this type or any of its fields change, update:
320 * - dependent comments (just search for "VG_(needs)").
321 */
322typedef
323 struct {
324 Bool libc_freeres;
325 Bool core_errors;
326
327 Bool skin_errors;
328 Bool basic_block_discards;
329 Bool shadow_regs;
330 Bool command_line_options;
331 Bool client_requests;
332 Bool extended_UCode;
333 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000334 Bool sanity_checks;
335 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000336 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000337 }
338 VgNeeds;
339
340extern VgNeeds VG_(needs);
341
fitzhardinge98abfc72003-12-16 02:05:15 +0000342extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000343
fitzhardinge98abfc72003-12-16 02:05:15 +0000344#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000345
346/* ---------------------------------------------------------------------
347 Exports of vg_needs.c
348 ------------------------------------------------------------------ */
349
350void VG_(sanity_check_needs)(void);
351
352/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000353 Exports of vg_malloc2.c
354 ------------------------------------------------------------------ */
355
356/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000357
358 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000359 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000360 SYMTAB for Valgrind's symbol table storage.
361 JITTER for small storage during translation.
362 CLIENT for the client's mallocs/frees, if the skin replaces glibc's
363 malloc() et al -- redzone size is chosen by the skin.
364 DEMANGLE for the C++ demangler.
365 EXECTXT for storing ExeContexts.
366 ERRORS for storing CoreErrors.
367 TRANSIENT for very short-term use. It should be empty in between uses.
368
njn25e49d8e72002-09-23 09:36:25 +0000369 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000370*/
371typedef Int ArenaId;
372
njn3e884182003-04-15 13:03:23 +0000373#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000374
njn3e884182003-04-15 13:03:23 +0000375#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000376#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000377#define VG_AR_SYMTAB 2
378#define VG_AR_JITTER 3
379#define VG_AR_CLIENT 4
380#define VG_AR_DEMANGLE 5
381#define VG_AR_EXECTXT 6
382#define VG_AR_ERRORS 7
383#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000384
njn25e49d8e72002-09-23 09:36:25 +0000385extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
386extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn3e884182003-04-15 13:03:23 +0000387extern void* VG_(arena_calloc) ( ArenaId arena, Int alignment,
388 Int nmemb, Int nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000389extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
390 Int size );
391extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000392 Int req_pszB );
393
njn8a6b6c02003-04-22 22:45:55 +0000394extern Int VG_(arena_payload_szB) ( ArenaId aid, void* payload );
395
sewardjde4a1d02002-03-22 01:27:54 +0000396extern void VG_(mallocSanityCheckAll) ( void );
397
398extern void VG_(show_all_arena_stats) ( void );
399extern Bool VG_(is_empty_arena) ( ArenaId aid );
400
sewardjecf8e102003-07-12 12:11:39 +0000401/* Returns True if aa is inside any block mmap'd /dev/zero
402 by our low-level memory manager. */
403extern Bool VG_(is_inside_segment_mmapd_by_low_level_MM)( Addr aa );
404
sewardjde4a1d02002-03-22 01:27:54 +0000405
sewardjde4a1d02002-03-22 01:27:54 +0000406/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000407 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000408 ------------------------------------------------------------------ */
409
410/* This doesn't export code or data that valgrind.so needs to link
411 against. However, the scheduler does need to know the following
412 request codes. A few, publically-visible, request codes are also
njn25e49d8e72002-09-23 09:36:25 +0000413 defined in valgrind.h, and similar headers for some skins. */
sewardj2e93c502002-04-12 11:12:52 +0000414
njn4c791212003-05-02 17:53:54 +0000415#define VG_USERREQ__MALLOC 0x2001
416#define VG_USERREQ__FREE 0x2002
417
sewardj20917d82002-05-28 01:36:45 +0000418/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
419 MUST NOT return -- ever. Eventually it will do either __QUIT or
420 __WAIT_JOINER. */
421#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
422
423/* ( no-args ): calling thread disappears from the system forever.
424 Reclaim resources. */
425#define VG_USERREQ__QUIT 0x3002
426
427/* ( void* ): calling thread waits for joiner and returns the void* to
428 it. */
429#define VG_USERREQ__WAIT_JOINER 0x3003
430
431/* ( ThreadId, void** ): wait to join a thread. */
432#define VG_USERREQ__PTHREAD_JOIN 0x3004
433
434/* Set cancellation state and type for this thread. */
435#define VG_USERREQ__SET_CANCELSTATE 0x3005
436#define VG_USERREQ__SET_CANCELTYPE 0x3006
437
438/* ( no-args ): Test if we are at a cancellation point. */
439#define VG_USERREQ__TESTCANCEL 0x3007
440
441/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
442 with this arg to indicate that a cancel is now pending for the
443 specified thread. */
444#define VG_USERREQ__SET_CANCELPEND 0x3008
445
446/* Set/get detach state for this thread. */
447#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
448
449#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
450#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
451#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
452#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
453#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
454#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
455#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
456#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
457#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
458#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000459#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
460#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000461#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
462#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000463#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000464#define VG_USERREQ__PTHREAD_KILL 0x301A
465#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000466#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000467
sewardj8ad94e12002-05-29 00:10:20 +0000468#define VG_USERREQ__CLEANUP_PUSH 0x3020
469#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000470#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000471
sewardjef037c72002-05-30 00:40:03 +0000472#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000473
474/* Ask how many signal handler returns have happened to this
475 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000476#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000477
sewardj2cb00342002-06-28 01:46:26 +0000478/* Get/set entries for a thread's pthread_atfork stack. */
479#define VG_USERREQ__SET_FHSTACK_USED 0x3025
480#define VG_USERREQ__GET_FHSTACK_USED 0x3026
481#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
482#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000483
sewardj1fe7b002002-07-16 01:43:15 +0000484/* Denote the finish of VG_(__libc_freeres_wrapper). */
485#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000486#define VG_USERREQ__REGISTER_LIBC_FREERES 0x302A
487
488/* Allocate RT signals */
489#define VG_USERREQ__GET_SIGRT_MIN 0x302B
490#define VG_USERREQ__GET_SIGRT_MAX 0x302C
491#define VG_USERREQ__ALLOC_RTSIG 0x302D
492
493/* Hook for replace_malloc.o to get malloc functions */
494#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
495
496/* Hook for interface to vg_inject.so */
497#define VG_USERREQ__REGISTER_REDIRECT_SYM 0x3031
498#define VG_USERREQ__REGISTER_REDIRECT_ADDR 0x3032
sewardj1fe7b002002-07-16 01:43:15 +0000499
sewardj45b4b372002-04-16 22:50:32 +0000500/* Cosmetic ... */
501#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000502/* Log a pthread error from client-space. Cosmetic. */
503#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000504/* Internal equivalent of VALGRIND_PRINTF . */
505#define VG_USERREQ__INTERNAL_PRINTF 0x3103
506/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
507#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000508
sewardj54cacf02002-04-12 23:24:59 +0000509/*
510In vg_constants.h:
511#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000512*/
513
njn4c791212003-05-02 17:53:54 +0000514
fitzhardinge98abfc72003-12-16 02:05:15 +0000515struct vg_mallocfunc_info {
516 /* things vg_replace_malloc.o needs to know about */
517 Addr sk_malloc;
518 Addr sk_calloc;
519 Addr sk_realloc;
520 Addr sk_memalign;
521 Addr sk___builtin_new;
522 Addr sk___builtin_vec_new;
523 Addr sk_free;
524 Addr sk___builtin_delete;
525 Addr sk___builtin_vec_delete;
526
527 Addr arena_payload_szB;
528
529 Bool clo_sloppy_malloc;
530 Bool clo_trace_malloc;
531};
sewardj1fe7b002002-07-16 01:43:15 +0000532
fitzhardinge39de4b42003-10-31 07:12:21 +0000533__attribute__((weak))
534int
535VALGRIND_INTERNAL_PRINTF(char *format, ...)
536{
537 unsigned int _qzz_res = 0;
538 va_list vargs;
539 va_start(vargs, format);
540 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
541 (unsigned int)format, (unsigned int)vargs, 0, 0);
542 va_end(vargs);
543 return _qzz_res;
544}
545
546__attribute__((weak))
547int
548VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
549{
550 unsigned int _qzz_res = 0;
551 va_list vargs;
552 va_start(vargs, format);
553 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
554 (unsigned int)format, (unsigned int)vargs, 0, 0);
555 va_end(vargs);
556 return _qzz_res;
557}
558
sewardj54cacf02002-04-12 23:24:59 +0000559
sewardj2e93c502002-04-12 11:12:52 +0000560/* ---------------------------------------------------------------------
561 Constants pertaining to the simulated CPU state, VG_(baseBlock),
562 which need to go here to avoid ugly circularities.
563 ------------------------------------------------------------------ */
564
sewardjb91ae7f2003-04-29 23:50:00 +0000565/* How big is the saved SSE/SSE2 state? Note that this subsumes the
566 FPU state. On machines without SSE, we just save/restore the FPU
567 state into the first part of this area. */
568/* A general comment about SSE save/restore: It appears that the 7th
569 word (which is the MXCSR) has to be &ed with 0x0000FFBF in order
570 that restoring from it later does not cause a GP fault (which is
571 delivered as a segfault). I guess this will have to be done
572 any time we do fxsave :-( 7th word means word offset 6 or byte
573 offset 24 from the start address of the save area.
574 */
575#define VG_SIZE_OF_SSESTATE 512
sewardj2e93c502002-04-12 11:12:52 +0000576/* ... and in words ... */
sewardjb91ae7f2003-04-29 23:50:00 +0000577#define VG_SIZE_OF_SSESTATE_W ((VG_SIZE_OF_SSESTATE+3)/4)
sewardj2e93c502002-04-12 11:12:52 +0000578
579
580/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000581 Exports of vg_defaults.c
582 ------------------------------------------------------------------ */
583
584extern Bool VG_(sk_malloc_called_by_scheduler);
585
586
587/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000588 Exports of vg_ldt.c
589 ------------------------------------------------------------------ */
590
591/* This is the hardware-format for a segment descriptor, ie what the
592 x86 actually deals with. It is 8 bytes long. It's ugly. */
593
594typedef struct _LDT_ENTRY {
595 union {
596 struct {
597 UShort LimitLow;
598 UShort BaseLow;
599 unsigned BaseMid : 8;
600 unsigned Type : 5;
601 unsigned Dpl : 2;
602 unsigned Pres : 1;
603 unsigned LimitHi : 4;
604 unsigned Sys : 1;
605 unsigned Reserved_0 : 1;
606 unsigned Default_Big : 1;
607 unsigned Granularity : 1;
608 unsigned BaseHi : 8;
609 } Bits;
610 struct {
611 UInt word1;
612 UInt word2;
613 } Words;
614 }
615 LdtEnt;
616} VgLdtEntry;
617
618/* Maximum number of LDT entries supported (by the x86). */
619#define VG_M_LDT_ENTRIES 8192
620/* The size of each LDT entry == sizeof(VgLdtEntry) */
621#define VG_LDT_ENTRY_SIZE 8
622
623/* Alloc & copy, and dealloc. */
624extern VgLdtEntry*
625 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
626extern void
627 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
fitzhardinge47735af2004-01-21 01:27:27 +0000628extern void
629 VG_(clear_TLS_for_thread) ( VgLdtEntry* tls );
sewardj92a59562002-09-30 00:53:10 +0000630
631/* Simulate the modify_ldt syscall. */
632extern Int VG_(sys_modify_ldt) ( ThreadId tid,
633 Int func, void* ptr, UInt bytecount );
634
fitzhardinge47735af2004-01-21 01:27:27 +0000635/* Simulate the {get,set}_thread_area syscalls. */
636extern Int VG_(sys_set_thread_area) ( ThreadId tid,
637 struct vki_modify_ldt_ldt_s* info );
638extern Int VG_(sys_get_thread_area) ( ThreadId tid,
639 struct vki_modify_ldt_ldt_s* info );
640
sewardje1042472002-09-30 12:33:11 +0000641/* Called from generated code. Given a segment selector and a virtual
642 address, return a linear address, and do limit checks too. */
643extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
644
sewardj92a59562002-09-30 00:53:10 +0000645
646/* ---------------------------------------------------------------------
nethercote1f0173b2004-02-28 15:40:36 +0000647 Exports of vg_libpthread.c
648 ------------------------------------------------------------------ */
649
650/* Replacements for pthread types, shared between vg_libpthread.c and
651 vg_scheduler.c. See comment in vg_libpthread.c above the other
652 vg_pthread_*_t types for a description of how these are used. */
653
654struct _vg_pthread_fastlock
655{
656 long int __vg_status; /* "Free" or "taken" or head of waiting list */
657 int __vg_spinlock; /* Used by compare_and_swap emulation. Also,
658 adaptive SMP lock stores spin count here. */
659};
660
661typedef struct
662{
663 int __vg_m_reserved; /* Reserved for future use */
664 int __vg_m_count; /* Depth of recursive locking */
665 /*_pthread_descr*/ void* __vg_m_owner; /* Owner thread (if recursive or errcheck) */
666 int __vg_m_kind; /* Mutex kind: fast, recursive or errcheck */
667 struct _vg_pthread_fastlock __vg_m_lock; /* Underlying fast lock */
668} vg_pthread_mutex_t;
669
670typedef struct
671{
672 struct _vg_pthread_fastlock __vg_c_lock; /* Protect against concurrent access */
673 /*_pthread_descr*/ void* __vg_c_waiting; /* Threads waiting on this condition */
674 // Padding ensures the size is 48 bytes
675 char __vg_padding[48 - sizeof(struct _vg_pthread_fastlock)
676 - sizeof(void*) - sizeof(long long)];
677 long long __vg_align;
678} vg_pthread_cond_t;
679
680
681/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000682 Exports of vg_scheduler.c
683 ------------------------------------------------------------------ */
684
sewardj2e93c502002-04-12 11:12:52 +0000685typedef
jsgf855d93d2003-10-13 22:26:55 +0000686 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000687 VgTs_Empty, /* this slot is not in use */
688 VgTs_Runnable, /* waiting to be scheduled */
689 VgTs_WaitJoiner, /* waiting for someone to do join on me */
690 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000691 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000692 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000693 VgTs_WaitSys, /* waiting for a syscall to complete */
694 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000695 }
696 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000697
698/* An entry in a threads's cleanup stack. */
699typedef
700 struct {
701 void (*fn)(void*);
702 void* arg;
703 }
704 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000705
706/* An entry in a thread's fork-handler stack. */
707typedef
708 struct {
709 void (*prepare)(void);
710 void (*parent)(void);
711 void (*child)(void);
712 }
713 ForkHandlerEntry;
714
jsgf855d93d2003-10-13 22:26:55 +0000715typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000716
njn72718642003-07-24 08:45:32 +0000717typedef
718 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000719 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
720 The thread identity is simply the index in vg_threads[].
721 ThreadId == 1 is the root thread and has the special property
722 that we don't try and allocate or deallocate its stack. For
723 convenience of generating error message, we also put the
724 ThreadId in this tid field, but be aware that it should
725 ALWAYS == the index in vg_threads[]. */
726 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000727
njn25e49d8e72002-09-23 09:36:25 +0000728 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000729
njn25e49d8e72002-09-23 09:36:25 +0000730 Complications: whenever this is set to VgTs_WaitMX, you
731 should also set .m_edx to whatever the required return value
732 is for pthread_mutex_lock / pthread_cond_timedwait for when
733 the mutex finally gets unblocked. */
734 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000735
njn25e49d8e72002-09-23 09:36:25 +0000736 /* When .status == WaitMX, points to the mutex I am waiting for.
737 When .status == WaitCV, points to the mutex associated with
738 the condition variable indicated by the .associated_cv field.
739 In all other cases, should be NULL. */
nethercote1f0173b2004-02-28 15:40:36 +0000740 vg_pthread_mutex_t* associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000741
njn25e49d8e72002-09-23 09:36:25 +0000742 /* When .status == WaitCV, points to the condition variable I am
743 waiting for. In all other cases, should be NULL. */
744 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000745
njn25e49d8e72002-09-23 09:36:25 +0000746 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000747 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000748
njn25e49d8e72002-09-23 09:36:25 +0000749 If VgTs_WaitCV, this indicates the time at which
750 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
751 this means infinitely far in the future, viz,
752 pthread_cond_wait. */
753 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000754
njn25e49d8e72002-09-23 09:36:25 +0000755 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
756 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000757
njn25e49d8e72002-09-23 09:36:25 +0000758 /* If VgTs_WaitJoinee, place to copy the return value to, and
759 the identity of the thread we're waiting for. */
760 void** joiner_thread_return;
761 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000762
jsgf855d93d2003-10-13 22:26:55 +0000763 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
764 void *sys_pre_res;
765
766 /* If VgTs_WaitSys, this is the syscall we're currently running */
767 Int syscallno;
768
769 /* Details about this thread's proxy LWP */
770 ProxyLWP *proxy;
771
njn25e49d8e72002-09-23 09:36:25 +0000772 /* Whether or not detached. */
773 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000774
njn25e49d8e72002-09-23 09:36:25 +0000775 /* Cancelability state and type. */
776 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
777 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
778
779 /* Pointer to fn to call to do cancellation. Indicates whether
780 or not cancellation is pending. If NULL, not pending. Else
781 should be &thread_exit_wrapper(), indicating that
782 cancallation is pending. */
783 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000784
njn25e49d8e72002-09-23 09:36:25 +0000785 /* The cleanup stack. */
786 Int custack_used;
787 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000788
sewardj00a66b12002-10-12 16:42:35 +0000789 /* A pointer to the thread's-specific-data. This is handled almost
790 entirely from vg_libpthread.c. We just provide hooks to get and
791 set this ptr. This is either NULL, indicating the thread has
792 read/written none of its specifics so far, OR points to a
793 void*[VG_N_THREAD_KEYS], allocated and deallocated in
794 vg_libpthread.c. */
795 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000796
njn25e49d8e72002-09-23 09:36:25 +0000797 /* This thread's blocked-signals mask. Semantics is that for a
798 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000799 blocked by this signal mask. If more than one thread accepts a
800 signal, then it will be delivered to one at random. If all
801 threads block the signal, it will remain pending until either a
802 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
803
804 sig_mask reflects what the client told us its signal mask should
805 be, but isn't necessarily the current signal mask of the proxy
806 LWP: it may have more signals blocked because of signal
807 handling, or it may be different because of sigsuspend.
808 */
njn25e49d8e72002-09-23 09:36:25 +0000809 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000810
fitzhardingef0dd7e12004-01-16 02:17:30 +0000811 /* Effective signal mask. This is the mask which currently
812 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000813 handler is running.
814 */
815 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000816
njn25e49d8e72002-09-23 09:36:25 +0000817 /* Stacks. When a thread slot is freed, we don't deallocate its
818 stack; we just leave it lying around for the next use of the
819 slot. If the next use of the slot requires a larger stack,
820 only then is the old one deallocated and a new one
821 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000822
njn25e49d8e72002-09-23 09:36:25 +0000823 For the main thread (threadid == 0), this mechanism doesn't
824 apply. We don't know the size of the stack since we didn't
825 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000826
njn25e49d8e72002-09-23 09:36:25 +0000827 /* The allocated size of this thread's stack (permanently zero
828 if this is ThreadId == 0, since we didn't allocate its stack) */
829 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000830
njn25e49d8e72002-09-23 09:36:25 +0000831 /* Address of the lowest word in this thread's stack. NULL means
832 not allocated yet.
833 */
834 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000835
sewardj92a59562002-09-30 00:53:10 +0000836 /* Address of the highest legitimate word in this stack. This is
837 used for error messages only -- not critical for execution
838 correctness. Is is set for all stacks, specifically including
839 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000840 Addr stack_highest_word;
841
sewardj92a59562002-09-30 00:53:10 +0000842 /* Pointer to this thread's Local (Segment) Descriptor Table.
843 Starts out as NULL, indicating there is no table, and we hope to
844 keep it that way. If the thread does __NR_modify_ldt to create
845 entries, we allocate a 8192-entry table at that point. This is
846 a straight copy of the Linux kernel's scheme. Don't forget to
847 deallocate this at thread exit. */
848 VgLdtEntry* ldt;
849
fitzhardinge47735af2004-01-21 01:27:27 +0000850 /* TLS table. This consists of a small number (currently 3) of
851 entries from the Global Descriptor Table. */
852 VgLdtEntry tls[VKI_GDT_TLS_ENTRIES];
853
sewardj92a59562002-09-30 00:53:10 +0000854 /* Saved machine context. Note the FPU state, %EIP and segment
855 registers are not shadowed.
856
857 Although the segment registers are 16 bits long, storage
nethercote1d447092004-02-01 17:29:59 +0000858 management here and in VG_(baseBlock) is
sewardj92a59562002-09-30 00:53:10 +0000859 simplified if we pretend they are 32 bits. */
860 UInt m_cs;
861 UInt m_ss;
862 UInt m_ds;
863 UInt m_es;
864 UInt m_fs;
865 UInt m_gs;
866
njn25e49d8e72002-09-23 09:36:25 +0000867 UInt m_eax;
868 UInt m_ebx;
869 UInt m_ecx;
870 UInt m_edx;
871 UInt m_esi;
872 UInt m_edi;
873 UInt m_ebp;
874 UInt m_esp;
875 UInt m_eflags;
876 UInt m_eip;
sewardjb91ae7f2003-04-29 23:50:00 +0000877
878 /* The SSE/FPU state. This array does not (necessarily) have the
879 required 16-byte alignment required to get stuff in/out by
880 fxsave/fxrestore. So we have to do it "by hand".
881 */
882 UInt m_sse[VG_SIZE_OF_SSESTATE_W];
njn25e49d8e72002-09-23 09:36:25 +0000883
884 UInt sh_eax;
885 UInt sh_ebx;
886 UInt sh_ecx;
887 UInt sh_edx;
888 UInt sh_esi;
889 UInt sh_edi;
890 UInt sh_ebp;
891 UInt sh_esp;
892 UInt sh_eflags;
njn72718642003-07-24 08:45:32 +0000893}
894ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000895
896
sewardj018f7622002-05-15 21:13:39 +0000897/* The thread table. */
898extern ThreadState VG_(threads)[VG_N_THREADS];
899
900/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000901extern Bool VG_(is_valid_tid) ( ThreadId tid );
902
sewardj018f7622002-05-15 21:13:39 +0000903/* Check that tid is in range. */
904extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
905
njn72718642003-07-24 08:45:32 +0000906/* Determine if 'tid' is that of the current running thread (Nb: returns
907 False if no thread is currently running. */
908extern Bool VG_(is_running_thread)(ThreadId tid);
909
jsgf855d93d2003-10-13 22:26:55 +0000910/* Get the ThreadState for a particular thread */
911extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
912
sewardj2e93c502002-04-12 11:12:52 +0000913/* Copy the specified thread's state into VG_(baseBlock) in
914 preparation for running it. */
915extern void VG_(load_thread_state)( ThreadId );
916
917/* Save the specified thread's state back in VG_(baseBlock), and fill
918 VG_(baseBlock) with junk, for sanity-check reasons. */
919extern void VG_(save_thread_state)( ThreadId );
920
sewardj1e8cdc92002-04-18 11:37:52 +0000921/* And for the currently running one, if valid. */
922extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000923
sewardj1e8cdc92002-04-18 11:37:52 +0000924/* Similarly ... */
925extern ThreadId VG_(get_current_tid) ( void );
926
sewardjccef2e62002-05-29 19:26:32 +0000927/* Nuke all threads except tid. */
928extern void VG_(nuke_all_threads_except) ( ThreadId me );
929
jsgf855d93d2003-10-13 22:26:55 +0000930/* Give a hint to the scheduler that it may be a good time to find a
931 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
932 try to schedule that thread.
933*/
934extern void VG_(need_resched) ( ThreadId prefer_sched );
935
936/* Add a new timeout event for a thread*/
937extern void VG_(add_timeout) ( ThreadId tid, UInt time );
sewardj2e93c502002-04-12 11:12:52 +0000938
939/* Return codes from the scheduler. */
940typedef
sewardj7e87e382002-05-03 19:09:05 +0000941 enum {
942 VgSrc_Deadlock, /* no runnable threads and no prospect of any
943 even if we wait for a long time */
944 VgSrc_ExitSyscall, /* client called exit(). This is the normal
945 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000946 VgSrc_FatalSig /* Killed by the default action of a fatal
947 signal */
sewardj7e87e382002-05-03 19:09:05 +0000948 }
sewardj2e93c502002-04-12 11:12:52 +0000949 VgSchedReturnCode;
950
sewardj7e87e382002-05-03 19:09:05 +0000951
sewardj2e93c502002-04-12 11:12:52 +0000952/* The scheduler. */
953extern VgSchedReturnCode VG_(scheduler) ( void );
954
955extern void VG_(scheduler_init) ( void );
956
sewardj15a43e12002-04-17 19:35:12 +0000957extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000958
959/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
960extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000961/* This says whether scheduler_jmpbuf is actually valid. Needed so
962 that our signal handler doesn't longjmp when the buffer isn't
963 actually valid. */
964extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000965/* ... and if so, here's the signal which caused it to do so. */
966extern Int VG_(longjmpd_on_signal);
967
968
sewardj2e93c502002-04-12 11:12:52 +0000969/* The red-zone size which we put at the bottom (highest address) of
970 thread stacks, for paranoia reasons. This can be arbitrary, and
971 doesn't really need to be set at compile time. */
972#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
973
974#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
975 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
976
njn25e49d8e72002-09-23 09:36:25 +0000977/* Junk to fill up a thread's shadow regs with when shadow regs aren't
njnd3040452003-05-19 15:04:06 +0000978 being used. */
njn25e49d8e72002-09-23 09:36:25 +0000979#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
njnd3040452003-05-19 15:04:06 +0000980/* For sanity checking: if this ends up in a thread's shadow regs when
981 shadow regs aren't being used, something went wrong. */
982#define VG_USED_SHADOW_REG_VALUE 0x31415927
njn25e49d8e72002-09-23 09:36:25 +0000983
njnd3040452003-05-19 15:04:06 +0000984/* Write a value to a client's thread register, and shadow (if necessary) */
985#define SET_THREAD_REG( zztid, zzval, zzreg, zzREG, zzevent, zzargs... ) \
986 do { VG_(threads)[zztid].m_##zzreg = (zzval); \
987 VG_TRACK( zzevent, zztid, R_##zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000988 } while (0)
989
njnd3040452003-05-19 15:04:06 +0000990#define SET_SYSCALL_RETVAL(zztid, zzval) \
991 SET_THREAD_REG(zztid, zzval, eax, EAX, post_reg_write_syscall_return)
992
993#define SET_SIGNAL_EDX(zztid, zzval) \
994 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_deliver_signal)
995
996#define SET_SIGNAL_ESP(zztid, zzval) \
997 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_deliver_signal)
998
999#define SET_CLREQ_RETVAL(zztid, zzval) \
1000 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientreq_return)
1001
1002#define SET_CLCALL_RETVAL(zztid, zzval, f) \
1003 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientcall_return, f)
1004
1005#define SET_PTHREQ_ESP(zztid, zzval) \
1006 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_pthread_return)
1007
1008#define SET_PTHREQ_RETVAL(zztid, zzval) \
1009 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +00001010
sewardj2e93c502002-04-12 11:12:52 +00001011
sewardjd8acdf22002-11-13 21:57:52 +00001012/* This is or'd into a pthread mutex's __m_kind field if it is used
1013 before Valgrind is up and running (prehistory). This is used so
1014 that if some early code (like the dynamic linker) takes a lock
1015 before Valgrind starts and then releases it afterwards, we can work
1016 out what's happening. */
1017#define VG_PTHREAD_PREHISTORY 0x80000000
1018
nethercote1f0173b2004-02-28 15:40:36 +00001019
sewardj2e93c502002-04-12 11:12:52 +00001020/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001021 Exports of vg_signals.c
1022 ------------------------------------------------------------------ */
1023
jsgf855d93d2003-10-13 22:26:55 +00001024extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
1025
1026/* RT signal allocation */
1027extern Int VG_(sig_rtmin);
1028extern Int VG_(sig_rtmax);
1029extern Int VG_(sig_alloc_rtsig) ( Int high );
1030
sewardjde4a1d02002-03-22 01:27:54 +00001031extern void VG_(sigstartup_actions) ( void );
sewardj839299f2003-06-14 11:57:59 +00001032extern void VG_(sigshutdown_actions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001033
jsgf855d93d2003-10-13 22:26:55 +00001034extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +00001035extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +00001036extern void VG_(handle_SCSS_change) ( Bool force_update );
1037
jsgf855d93d2003-10-13 22:26:55 +00001038extern Bool VG_(is_sig_ign) ( Int sigNo );
1039
1040/* Route pending signals from the scheduler LWP to the appropriate
1041 thread LWP. */
1042extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001043
1044/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +00001045extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +00001046extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +00001047extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
1048 Int how,
1049 vki_ksigset_t* set,
1050 vki_ksigset_t* oldset );
1051extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
1052 Int how,
1053 vki_ksigset_t* set,
1054 vki_ksigset_t* oldset );
1055extern void VG_(send_signal_to_thread) ( ThreadId thread,
1056 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +00001057
sewardjefbfcdf2002-06-19 17:35:45 +00001058extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
1059
1060
sewardj2e93c502002-04-12 11:12:52 +00001061/* Modify the current thread's state once we have detected it is
1062 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +00001063extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +00001064
sewardj2e93c502002-04-12 11:12:52 +00001065/* Handy utilities to block/restore all host signals. */
1066extern void VG_(block_all_host_signals)
1067 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +00001068extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +00001069 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +00001070
jsgf855d93d2003-10-13 22:26:55 +00001071extern vki_ksiginfo_t VG_(unresumable_siginfo);
1072
1073extern void VG_(kill_self)(Int sigNo);
1074
sewardjde4a1d02002-03-22 01:27:54 +00001075/* ---------------------------------------------------------------------
1076 Exports of vg_mylibc.c
1077 ------------------------------------------------------------------ */
1078
njne427a662002-10-02 11:08:25 +00001079#define vg_assert(expr) \
1080 ((void) ((expr) ? 0 : \
1081 (VG_(core_assert_fail) (VG__STRING(expr), \
1082 __FILE__, __LINE__, \
1083 __PRETTY_FUNCTION__), 0)))
1084__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001085extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1086 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001087__attribute__ ((__noreturn__))
1088extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +00001089
njn25e49d8e72002-09-23 09:36:25 +00001090/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
1091extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +00001092
njn25e49d8e72002-09-23 09:36:25 +00001093/* Skins use VG_(strdup)() which doesn't expose ArenaId */
1094extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001095
njn25e49d8e72002-09-23 09:36:25 +00001096extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +00001097extern Int VG_(select)( Int n,
1098 vki_fd_set* readfds,
1099 vki_fd_set* writefds,
1100 vki_fd_set* exceptfds,
1101 struct vki_timeval * timeout );
jsgf855d93d2003-10-13 22:26:55 +00001102extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001103extern Int VG_(nanosleep)( const struct vki_timespec *req,
1104 struct vki_timespec *rem );
1105
fitzhardinge98abfc72003-12-16 02:05:15 +00001106/* system/mman.h */
1107extern void* VG_(mmap)( void* start, UInt length,
1108 UInt prot, UInt flags, UInt fd, UInt offset );
1109extern Int VG_(munmap)( void* start, Int length );
1110extern Int VG_(mprotect)( void *start, Int length, UInt prot );
1111
1112
jsgf855d93d2003-10-13 22:26:55 +00001113/* Move an fd into the Valgrind-safe range */
1114Int VG_(safe_fd)(Int oldfd);
1115
sewardj570f8902002-11-03 11:44:36 +00001116extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001117
1118/* --- Connecting over the network --- */
1119extern Int VG_(connect_via_socket)( UChar* str );
1120
fitzhardinge98abfc72003-12-16 02:05:15 +00001121/* Environment manipulations */
nethercoteff9721d2004-01-26 17:10:01 +00001122extern Char **VG_(env_clone) ( Char **oldenv );
fitzhardinge98abfc72003-12-16 02:05:15 +00001123extern Char* VG_(env_getenv) ( Char **env, Char* varname );
1124extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname, const Char *val );
1125extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
sewardj570f8902002-11-03 11:44:36 +00001126
1127/* ---------------------------------------------------------------------
1128 Exports of vg_message.c
1129 ------------------------------------------------------------------ */
1130
1131/* Low-level -- send bytes directly to the message sink. Do not
1132 use. */
1133extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1134
1135
sewardjde4a1d02002-03-22 01:27:54 +00001136/* ---------------------------------------------------------------------
1137 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
1138 vg_from_ucode.c).
1139 ------------------------------------------------------------------ */
1140
sewardjde4a1d02002-03-22 01:27:54 +00001141#define VG_IS_FLAG_SUBSET(set1,set2) \
1142 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
1143
1144#define VG_UNION_FLAG_SETS(set1,set2) \
1145 ( ((FlagSet)set1) | ((FlagSet)set2) )
1146
sewardjde4a1d02002-03-22 01:27:54 +00001147/* ---------------------------------------------------------------------
1148 Exports of vg_demangle.c
1149 ------------------------------------------------------------------ */
1150
1151extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1152
sewardjde4a1d02002-03-22 01:27:54 +00001153/* ---------------------------------------------------------------------
1154 Exports of vg_from_ucode.c
1155 ------------------------------------------------------------------ */
1156
sewardj22854b92002-11-30 14:00:47 +00001157extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001158
njn25e49d8e72002-09-23 09:36:25 +00001159extern void VG_(print_ccall_stats) ( void );
1160extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001161
sewardj22854b92002-11-30 14:00:47 +00001162extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1163extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
1164extern Bool VG_(is_unchained_jumpsite) ( Addr jumpsite );
1165extern Bool VG_(is_chained_jumpsite) ( Addr jumpsite );
1166
sewardjde4a1d02002-03-22 01:27:54 +00001167/* ---------------------------------------------------------------------
1168 Exports of vg_to_ucode.c
1169 ------------------------------------------------------------------ */
1170
fitzhardingec2dbbac2004-01-23 23:09:01 +00001171Bool VG_(cpu_has_feature)(UInt feat);
1172
sewardjde4a1d02002-03-22 01:27:54 +00001173extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001174
1175/* ---------------------------------------------------------------------
1176 Exports of vg_translate.c
1177 ------------------------------------------------------------------ */
1178
njn810086f2002-11-14 12:42:47 +00001179/* Expandable arrays of uinstrs. */
1180struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001181 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001182 Int used;
1183 Int size;
1184 UInstr* instrs;
1185 Int nextTemp;
1186};
1187
1188extern UCodeBlock* VG_(alloc_UCodeBlock) ( void );
1189
njn72718642003-07-24 08:45:32 +00001190extern void VG_(translate) ( ThreadId tid,
sewardj1e8cdc92002-04-18 11:37:52 +00001191 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +00001192 UInt* orig_size,
1193 Addr* trans_addr,
sewardj22854b92002-11-30 14:00:47 +00001194 UInt* trans_size,
1195 UShort jumps[VG_MAX_JUMPS]);
sewardjde4a1d02002-03-22 01:27:54 +00001196
njn25e49d8e72002-09-23 09:36:25 +00001197extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
1198 UInstr* u );
1199extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
1200extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +00001201
sewardjb5ff83e2002-12-01 19:40:49 +00001202
sewardjde4a1d02002-03-22 01:27:54 +00001203/* ---------------------------------------------------------------------
1204 Exports of vg_execontext.c.
1205 ------------------------------------------------------------------ */
1206
1207/* Records the PC and a bit of the call chain. The first 4 %eip
1208 values are used in comparisons do remove duplicate errors, and for
1209 comparing against suppression specifications. The rest are purely
1210 informational (but often important). */
1211
njn25e49d8e72002-09-23 09:36:25 +00001212struct _ExeContext {
1213 struct _ExeContext * next;
1214 /* Variable-length array. The size is VG_(clo_backtrace_size); at
njn6c846552003-09-16 07:41:43 +00001215 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
njn25e49d8e72002-09-23 09:36:25 +00001216 [1] is its caller, [2] is the caller of [1], etc. */
1217 Addr eips[0];
1218};
sewardjde4a1d02002-03-22 01:27:54 +00001219
1220
sewardjde4a1d02002-03-22 01:27:54 +00001221/* Print stats (informational only). */
1222extern void VG_(show_ExeContext_stats) ( void );
1223
njn25e49d8e72002-09-23 09:36:25 +00001224/* Like VG_(get_ExeContext), but with a slightly different type */
1225extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1226 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001227
1228
1229/* ---------------------------------------------------------------------
1230 Exports of vg_errcontext.c.
1231 ------------------------------------------------------------------ */
1232
njn25e49d8e72002-09-23 09:36:25 +00001233/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1234 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +00001235typedef
njn25e49d8e72002-09-23 09:36:25 +00001236 enum {
1237 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +00001238 }
njn25e49d8e72002-09-23 09:36:25 +00001239 CoreSuppKind;
1240
1241/* For each caller specified for a suppression, record the nature of
1242 the caller name. Not of interest to skins. */
1243typedef
1244 enum {
1245 ObjName, /* Name is of an shared object file. */
1246 FunName /* Name is of a function. */
1247 }
1248 SuppLocTy;
1249
njn810086f2002-11-14 12:42:47 +00001250/* Suppressions. Skins can get/set skin-relevant parts with functions
1251 declared in include/vg_skin.h. Extensible via the 'extra' field.
1252 Skins can use a normal enum (with element values in the normal range
1253 (0..)) for `skind'. */
1254struct _Supp {
1255 struct _Supp* next;
1256 /* The number of times this error has been suppressed. */
1257 Int count;
1258 /* The name by which the suppression is referred to. */
1259 Char* sname;
1260 /* First two (name of fn where err occurs, and immediate caller)
1261 * are mandatory; extra two are optional. */
1262 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
1263 Char* caller [VG_N_SUPP_CALLERS];
1264
1265 /* The skin-specific part */
1266 /* What kind of suppression. Must use the range (0..) */
1267 SuppKind skind;
1268 /* String -- use is optional. NULL by default. */
1269 Char* string;
1270 /* Anything else -- use is optional. NULL by default. */
1271 void* extra;
1272};
njn25e49d8e72002-09-23 09:36:25 +00001273
1274/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1275 * effectively extend it by defining their own enums in the (0..) range. */
1276typedef
1277 enum {
1278 PThreadErr = -1, /* Pthreading error */
1279 }
1280 CoreErrorKind;
1281
njn810086f2002-11-14 12:42:47 +00001282/* Errors. Extensible (via the 'extra' field). Skins can use a normal
1283 enum (with element values in the normal range (0..)) for `ekind'.
1284 Functions for getting/setting the skin-relevant fields are in
1285 include/vg_skin.h.
1286
1287 When errors are found and recorded with VG_(maybe_record_error)(), all
1288 the skin must do is pass in the four parameters; core will
1289 allocate/initialise the error record.
1290*/
1291struct _Error {
1292 struct _Error* next;
1293 /* NULL if unsuppressed; or ptr to suppression record. */
1294 Supp* supp;
1295 Int count;
njn810086f2002-11-14 12:42:47 +00001296 ThreadId tid;
njn810086f2002-11-14 12:42:47 +00001297
1298 /* The skin-specific part */
njnae17bec2003-01-28 19:59:38 +00001299 /* Initialised by core */
1300 ExeContext* where;
njn810086f2002-11-14 12:42:47 +00001301 /* Used by ALL. Must be in the range (0..) */
1302 Int ekind;
1303 /* Used frequently */
1304 Addr addr;
1305 /* Used frequently */
1306 Char* string;
1307 /* For any skin-specific extras */
1308 void* extra;
1309};
sewardjde4a1d02002-03-22 01:27:54 +00001310
1311
njn25e49d8e72002-09-23 09:36:25 +00001312extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001313
njn25e49d8e72002-09-23 09:36:25 +00001314extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001315
njn25e49d8e72002-09-23 09:36:25 +00001316extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001317
njn43c799e2003-04-08 00:08:52 +00001318extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
1319
njn47363ab2003-04-21 13:24:40 +00001320extern UInt VG_(n_errs_found);
1321
sewardjde4a1d02002-03-22 01:27:54 +00001322/* ---------------------------------------------------------------------
1323 Exports of vg_procselfmaps.c
1324 ------------------------------------------------------------------ */
1325
njnfa1016e2003-09-25 17:54:11 +00001326/* Reads /proc/self/maps into a static buffer which can be parsed by
1327 VG_(parse_procselfmaps)(). */
1328extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001329
1330/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1331 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1332 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001333extern
njnfa1016e2003-09-25 17:54:11 +00001334void VG_(parse_procselfmaps) (
fitzhardinge98abfc72003-12-16 02:05:15 +00001335 void (*record_mapping)( Addr addr, UInt len, Char rr, Char ww, Char xx,
1336 UInt dev, UInt ino, ULong foff, const UChar *filename )
sewardjde4a1d02002-03-22 01:27:54 +00001337);
1338
1339
1340/* ---------------------------------------------------------------------
1341 Exports of vg_symtab2.c
1342 ------------------------------------------------------------------ */
1343
fitzhardinge98abfc72003-12-16 02:05:15 +00001344typedef struct _Segment Segment;
1345
1346extern Bool VG_(is_object_file) ( const void *hdr );
njnfa1016e2003-09-25 17:54:11 +00001347extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001348extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
njnfa1016e2003-09-25 17:54:11 +00001349extern void VG_(unload_symbols) ( Addr start, UInt length );
fitzhardinge98abfc72003-12-16 02:05:15 +00001350extern void VG_(symtab_incref) ( SegInfo * );
1351extern void VG_(symtab_decref) ( SegInfo *, Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001352
njn25e49d8e72002-09-23 09:36:25 +00001353extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001354
fitzhardinge98abfc72003-12-16 02:05:15 +00001355/* Set up some default redirects */
1356extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001357
fitzhardinge98abfc72003-12-16 02:05:15 +00001358/* Redirection machinery */
1359extern void VG_(add_redirect_sym)(const Char *from_lib, const Char *from_sym,
1360 const Char *to_lib, const Char *to_sym);
1361extern void VG_(add_redirect_addr)(const Char *from_lib, const Char *from_sym,
1362 Addr to_addr);
1363extern Addr VG_(code_redirect) (Addr orig);
sewardjde4a1d02002-03-22 01:27:54 +00001364
1365/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001366 Exports of vg_main.c
1367 ------------------------------------------------------------------ */
1368
sewardjb91ae7f2003-04-29 23:50:00 +00001369/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1370 the SSE state all over the place. This is set up very early, in
nethercote1d447092004-02-01 17:29:59 +00001371 main(). We have to determine it early since we can't even
sewardjb91ae7f2003-04-29 23:50:00 +00001372 correctly snapshot the startup machine state without it. */
1373extern Bool VG_(have_ssestate);
1374
sewardj73cf3bc2002-11-03 03:20:15 +00001375/* Tell the logging mechanism whether we are logging to a file
1376 descriptor or a socket descriptor. */
1377extern Bool VG_(logging_to_filedes);
1378
njn25e49d8e72002-09-23 09:36:25 +00001379/* Sanity checks which may be done at any time. The scheduler decides when. */
1380extern void VG_(do_sanity_checks) ( Bool force_expensive );
1381
fitzhardinge98abfc72003-12-16 02:05:15 +00001382/* Address space */
1383extern Addr VG_(client_base); /* client address space limits */
1384extern Addr VG_(client_end);
1385extern Addr VG_(client_mapbase); /* base of mappings */
1386extern Addr VG_(clstk_base); /* client stack range */
1387extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001388extern Addr VG_(client_trampoline_code);
1389
fitzhardinge98abfc72003-12-16 02:05:15 +00001390extern Addr VG_(brk_base); /* start of brk */
1391extern Addr VG_(brk_limit); /* current brk */
1392extern Addr VG_(shadow_base); /* skin's shadow memory */
1393extern Addr VG_(shadow_end);
1394extern Addr VG_(valgrind_base); /* valgrind's address range */
1395extern Addr VG_(valgrind_mmap_end);
1396extern Addr VG_(valgrind_end);
1397
fitzhardingeb50068f2004-02-24 23:42:55 +00001398extern vki_rlimit VG_(client_rlimit_data); /* client's original rlimit data */
1399
fitzhardinge98abfc72003-12-16 02:05:15 +00001400/* stage1 executable file descriptor */
fitzhardingea49f9b52003-12-16 22:26:45 +00001401extern Int VG_(vgexecfd);
1402
1403/* client executable file descriptor */
1404extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001405
njn9b007f62003-04-07 14:40:25 +00001406/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001407extern Bool VG_(need_to_handle_esp_assignment) ( void );
1408
sewardjde4a1d02002-03-22 01:27:54 +00001409/* Called when some unhandleable client behaviour is detected.
1410 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001411extern void VG_(unimplemented) ( Char* msg )
1412 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001413
njn25e49d8e72002-09-23 09:36:25 +00001414/* Similarly, we have to ask for signals to be delivered on an alternative
1415 stack, since it is possible, although unlikely, that we'll have to run
1416 client code from inside the Valgrind-installed signal handler. If this
1417 happens it will be done by vg_deliver_signal_immediately(). */
njn6eba4ef2003-05-01 08:06:41 +00001418extern UInt VG_(sigstack)[VG_SIGSTACK_SIZE_W];
sewardjde4a1d02002-03-22 01:27:54 +00001419
fitzhardinge98abfc72003-12-16 02:05:15 +00001420/* Valgrind's argc and argv */
1421extern Int VG_(vg_argc);
1422extern Char **VG_(vg_argv);
1423
sewardjd5815ec2003-04-06 12:23:27 +00001424/* Indicates presence, and holds address of client's sysinfo page, a
1425 feature of some modern kernels used to provide vsyscalls, etc. */
1426extern Bool VG_(sysinfo_page_exists);
1427extern Addr VG_(sysinfo_page_addr);
1428
nethercoteff9721d2004-01-26 17:10:01 +00001429/* Walk through a colon separated list variable, removing entries
1430 which match pattern. */
1431extern void VG_(mash_colon_env)(Char *varp, const Char *pattern);
1432
nethercote04d0fbc2004-01-26 16:48:06 +00001433/* Something of a function looking for a home ... start up debugger. */
1434extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001435
njn41557122002-10-14 09:25:37 +00001436/* VG_(bbs_done) in include/vg_skin.h */
1437
sewardjde4a1d02002-03-22 01:27:54 +00001438/* 64-bit counter for the number of bbs to go before a debug exit. */
1439extern ULong VG_(bbs_to_go);
1440
1441/* Counts downwards in vg_run_innerloop. */
1442extern UInt VG_(dispatch_ctr);
1443
sewardj7e87e382002-05-03 19:09:05 +00001444/* This is the ThreadId of the last thread the scheduler ran. */
1445extern ThreadId VG_(last_run_tid);
1446
njn25e49d8e72002-09-23 09:36:25 +00001447/* This is the argument to __NR_exit() supplied by the first thread to
1448 call that syscall. We eventually pass that to __NR_exit() for
1449 real. */
njn633de322003-05-12 20:40:13 +00001450extern Int VG_(exitcode);
njn25e49d8e72002-09-23 09:36:25 +00001451
jsgf855d93d2003-10-13 22:26:55 +00001452/* If we're doing the default action of a fatal signal */
1453extern jmp_buf VG_(fatal_signal_jmpbuf);
1454extern Bool VG_(fatal_signal_set); /* jmp_buf is valid */
1455extern Int VG_(fatal_sigNo); /* the fatal signal */
sewardjde4a1d02002-03-22 01:27:54 +00001456
1457/* --- Counters, for informational purposes only. --- */
1458
1459/* Number of lookups which miss the fast tt helper. */
1460extern UInt VG_(tt_fast_misses);
1461
sewardjc0d8f682002-11-30 00:49:43 +00001462/* Counts for TT/TC informational messages. */
sewardjde4a1d02002-03-22 01:27:54 +00001463
sewardjde4a1d02002-03-22 01:27:54 +00001464/* Number and total o/t size of translations overall. */
1465extern UInt VG_(overall_in_count);
1466extern UInt VG_(overall_in_osize);
1467extern UInt VG_(overall_in_tsize);
1468/* Number and total o/t size of discards overall. */
1469extern UInt VG_(overall_out_count);
1470extern UInt VG_(overall_out_osize);
1471extern UInt VG_(overall_out_tsize);
sewardjc0d8f682002-11-30 00:49:43 +00001472/* The number of discards of TT/TC. */
1473extern UInt VG_(number_of_tc_discards);
sewardj22854b92002-11-30 14:00:47 +00001474/* Counts of chain and unchain operations done. */
1475extern UInt VG_(bb_enchain_count);
1476extern UInt VG_(bb_dechain_count);
1477/* Number of unchained jumps performed. */
1478extern UInt VG_(unchained_jumps_done);
1479
sewardjde4a1d02002-03-22 01:27:54 +00001480
1481/* Counts pertaining to the register allocator. */
1482
1483/* total number of uinstrs input to reg-alloc */
1484extern UInt VG_(uinstrs_prealloc);
1485
1486/* total number of uinstrs added due to spill code */
1487extern UInt VG_(uinstrs_spill);
1488
1489/* number of bbs requiring spill code */
1490extern UInt VG_(translations_needing_spill);
1491
1492/* total of register ranks over all translations */
1493extern UInt VG_(total_reg_rank);
1494
sewardjde4a1d02002-03-22 01:27:54 +00001495/* Counts pertaining to internal sanity checking. */
1496extern UInt VG_(sanity_fast_count);
1497extern UInt VG_(sanity_slow_count);
1498
sewardj2e93c502002-04-12 11:12:52 +00001499/* Counts pertaining to the scheduler. */
1500extern UInt VG_(num_scheduling_events_MINOR);
1501extern UInt VG_(num_scheduling_events_MAJOR);
1502
sewardjfa492d42002-12-08 18:20:01 +00001503/* Insert and extract the D flag from eflags */
1504UInt VG_(insertDflag)(UInt eflags, Int d);
1505Int VG_(extractDflag)(UInt eflags);
sewardjde4a1d02002-03-22 01:27:54 +00001506
1507/* ---------------------------------------------------------------------
1508 Exports of vg_memory.c
1509 ------------------------------------------------------------------ */
1510
fitzhardinge98abfc72003-12-16 02:05:15 +00001511/* A Segment is mapped piece of client memory. This covers all kinds
1512 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1513
1514 We try to encode everything we know about a particular segment here.
1515*/
1516#define SF_FIXED (1 << 0) /* client asked for MAP_FIXED */
1517#define SF_SHARED (1 << 1) /* shared */
1518#define SF_SHM (1 << 2) /* SYSV SHM (also SF_SHARED) */
1519#define SF_MMAP (1 << 3) /* mmap memory */
1520#define SF_FILE (1 << 4) /* mapping is backed by a file */
1521#define SF_STACK (1 << 5) /* is a stack */
1522#define SF_GROWDOWN (1 << 6) /* segment grows down */
1523#define SF_GROWUP (1 << 7) /* segment grows up */
1524#define SF_EXEC (1 << 8) /* segment created by exec */
1525#define SF_DYNLIB (1 << 9) /* mapped from dynamic library */
1526#define SF_NOSYMS (1 << 10) /* don't load syms, even if present */
1527#define SF_BRK (1 << 11) /* brk segment */
1528#define SF_CORE (1 << 12) /* allocated by core on behalf of the client */
1529#define SF_VALGRIND (1 << 13) /* a valgrind-internal mapping - not in client*/
1530#define SF_CODE (1 << 14) /* segment contains cached code */
1531
1532struct _Segment {
1533 UInt prot; /* VKI_PROT_* */
1534 UInt flags; /* SF_* */
1535
1536 Addr addr; /* mapped addr (page aligned) */
1537 UInt len; /* size of mapping (page aligned) */
1538
1539 /* These are valid if (flags & SF_FILE) */
1540 ULong offset; /* file offset */
1541 const Char *filename; /* filename (NULL if unknown) */
1542 UInt dev; /* device */
1543 UInt ino; /* inode */
1544
1545 SegInfo *symtab; /* symbol table */
1546};
1547
1548/* segment mapped from a file descriptor */
1549extern void VG_(map_fd_segment) (Addr addr, UInt len, UInt prot, UInt flags,
1550 Int fd, ULong off, const Char *filename);
1551
1552/* segment mapped from a file */
1553extern void VG_(map_file_segment)(Addr addr, UInt len, UInt prot, UInt flags,
1554 UInt dev, UInt ino, ULong off, const Char *filename);
1555
1556/* simple segment */
1557extern void VG_(map_segment) (Addr addr, UInt len, UInt prot, UInt flags);
1558
1559extern void VG_(unmap_range) (Addr addr, UInt len);
1560extern void VG_(mprotect_range)(Addr addr, UInt len, UInt prot);
1561extern Addr VG_(find_map_space)(Addr base, UInt len, Bool for_client);
1562
1563extern Segment *VG_(find_segment)(Addr a);
1564extern Segment *VG_(next_segment)(Segment *);
1565
1566extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, UInt size);
1567extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, UInt size);
1568
njn9b007f62003-04-07 14:40:25 +00001569extern __attribute__((regparm(1)))
njnfa1016e2003-09-25 17:54:11 +00001570 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001571
jsgf855d93d2003-10-13 22:26:55 +00001572/* ---------------------------------------------------------------------
1573 Exports of vg_proxylwp.c
1574 ------------------------------------------------------------------ */
1575
1576/* Issue a syscall for thread tid */
1577extern Int VG_(sys_issue)(int tid);
1578
1579extern void VG_(proxy_init) ( void );
1580extern void VG_(proxy_create) ( ThreadId tid );
1581extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1582extern void VG_(proxy_results) ( void );
1583extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1584extern void VG_(proxy_setsigmask)(ThreadId tid);
1585extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1586extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1587extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001588extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001589
1590extern void VG_(proxy_shutdown) ( void ); /* shut down the syscall workers */
1591extern Int VG_(proxy_resfd) ( void ); /* FD something can select on to know
1592 a syscall finished */
1593
1594/* Sanity-check the whole proxy-LWP machinery */
1595void VG_(proxy_sanity)(void);
1596
1597/* Send a signal from a thread's proxy to the thread. This longjmps
1598 back into the proxy's main loop, so it doesn't return. */
1599__attribute__ ((__noreturn__))
1600extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
1601 const struct vki_sigcontext *sigcontext );
1602
fitzhardinge47735af2004-01-21 01:27:27 +00001603/* Get the PID/TID of the ProxyLWP. */
1604extern Int VG_(proxy_id)(ThreadId tid);
1605
jsgf855d93d2003-10-13 22:26:55 +00001606
sewardjde4a1d02002-03-22 01:27:54 +00001607/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001608 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001609 ------------------------------------------------------------------ */
1610
fitzhardinge98abfc72003-12-16 02:05:15 +00001611extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001612
jsgf855d93d2003-10-13 22:26:55 +00001613extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001614extern void VG_(post_syscall)( ThreadId tid, Bool restart );
fitzhardingee1c06d82003-10-30 07:21:44 +00001615extern void VG_(restart_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001616
1617extern Bool VG_(is_kerror) ( Int res );
1618
jsgf855d93d2003-10-13 22:26:55 +00001619/* Internal atfork handlers */
1620typedef void (*vg_atfork_t)(ThreadId);
1621extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001622
rjwalshf5f536f2003-11-17 17:45:00 +00001623/* fd leakage calls. */
1624extern void VG_(init_preopened_fds) ( void );
1625extern void VG_(fd_stats) ( void );
1626
sewardjde4a1d02002-03-22 01:27:54 +00001627/* ---------------------------------------------------------------------
1628 Exports of vg_transtab.c
1629 ------------------------------------------------------------------ */
1630
njn25e49d8e72002-09-23 09:36:25 +00001631/* The fast-cache for tt-lookup. */
1632extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1633
sewardjde4a1d02002-03-22 01:27:54 +00001634extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
sewardj6c3769f2002-11-29 01:02:45 +00001635
sewardjc0d8f682002-11-30 00:49:43 +00001636extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001637 Addr trans_addr, Int trans_size,
1638 UShort jumps[VG_MAX_JUMPS]);
sewardj6c3769f2002-11-29 01:02:45 +00001639
sewardj97ad5522003-05-04 12:32:56 +00001640extern void VG_(invalidate_translations) ( Addr start, UInt range, Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001641
sewardj18d75132002-05-16 11:06:21 +00001642extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001643
1644extern void VG_(sanity_check_tc_tt) ( void );
1645extern Addr VG_(search_transtab) ( Addr original_addr );
1646
sewardjde4a1d02002-03-22 01:27:54 +00001647
1648
1649/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001650 Exports of vg_syscall.S
1651 ------------------------------------------------------------------ */
1652
jsgf855d93d2003-10-13 22:26:55 +00001653extern Int VG_(do_syscall) ( UInt, ... );
1654extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1655 Int *child_tid, Int *parent_tid);
sewardjde4a1d02002-03-22 01:27:54 +00001656
1657/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001658 Exports of vg_dispatch.S
1659 ------------------------------------------------------------------ */
1660
sewardj2e93c502002-04-12 11:12:52 +00001661/* Run a thread for a (very short) while, until some event happens
1662 which means we need to defer to the scheduler. */
1663extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001664
sewardj22854b92002-11-30 14:00:47 +00001665/* The patching routing called when a BB wants to chain itself to
1666 another. */
1667extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001668
1669/* ---------------------------------------------------------------------
1670 Exports of vg_helpers.S
1671 ------------------------------------------------------------------ */
1672
sewardjde4a1d02002-03-22 01:27:54 +00001673/* Mul, div, etc, -- we don't codegen these directly. */
1674extern void VG_(helper_idiv_64_32);
1675extern void VG_(helper_div_64_32);
1676extern void VG_(helper_idiv_32_16);
1677extern void VG_(helper_div_32_16);
1678extern void VG_(helper_idiv_16_8);
1679extern void VG_(helper_div_16_8);
1680
1681extern void VG_(helper_imul_32_64);
1682extern void VG_(helper_mul_32_64);
1683extern void VG_(helper_imul_16_32);
1684extern void VG_(helper_mul_16_32);
1685extern void VG_(helper_imul_8_16);
1686extern void VG_(helper_mul_8_16);
1687
1688extern void VG_(helper_CLD);
1689extern void VG_(helper_STD);
1690extern void VG_(helper_get_dirflag);
1691
sewardj7d78e782002-06-02 00:04:00 +00001692extern void VG_(helper_CLC);
1693extern void VG_(helper_STC);
nethercote1018bdd2004-02-11 23:33:29 +00001694extern void VG_(helper_CMC);
sewardj7d78e782002-06-02 00:04:00 +00001695
sewardjde4a1d02002-03-22 01:27:54 +00001696extern void VG_(helper_shldl);
1697extern void VG_(helper_shldw);
1698extern void VG_(helper_shrdl);
1699extern void VG_(helper_shrdw);
1700
daywalkerb18d2532003-09-27 20:15:01 +00001701extern void VG_(helper_IN);
1702extern void VG_(helper_OUT);
1703
sewardjde4a1d02002-03-22 01:27:54 +00001704extern void VG_(helper_RDTSC);
1705extern void VG_(helper_CPUID);
1706
nethercote1018bdd2004-02-11 23:33:29 +00001707extern void VG_(helper_bsfw);
1708extern void VG_(helper_bsfl);
1709extern void VG_(helper_bsrw);
1710extern void VG_(helper_bsrl);
sewardjde4a1d02002-03-22 01:27:54 +00001711
1712extern void VG_(helper_fstsw_AX);
1713extern void VG_(helper_SAHF);
njnd6251f12003-06-03 13:38:51 +00001714extern void VG_(helper_LAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001715extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001716extern void VG_(helper_DAA);
nethercote1018bdd2004-02-11 23:33:29 +00001717extern void VG_(helper_AAS);
1718extern void VG_(helper_AAA);
1719extern void VG_(helper_AAD);
1720extern void VG_(helper_AAM);
sewardjde4a1d02002-03-22 01:27:54 +00001721
muellerf217c732004-01-02 22:42:29 +00001722extern void VG_(helper_cmpxchg8b);
1723
sewardj51096432002-12-14 23:59:09 +00001724extern void VG_(helper_undefined_instruction);
1725
fitzhardinge92360792003-12-24 10:11:11 +00001726/* Information about trampoline code (for signal return and syscalls) */
1727extern const Char VG_(trampoline_code_start);
1728extern const Int VG_(trampoline_code_length);
1729extern const Int VG_(tramp_sigreturn_offset);
1730extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001731
njn4f9c9342002-04-29 16:03:24 +00001732/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001733 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001734 ------------------------------------------------------------------ */
1735
fitzhardinge98abfc72003-12-16 02:05:15 +00001736#define VG_TRACK(fn, args...) \
1737 do { \
1738 if (VG_(defined_##fn)()) \
1739 SK_(fn)(args); \
1740 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001741
fitzhardinge98abfc72003-12-16 02:05:15 +00001742__attribute__ ((noreturn))
1743extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001744
sewardjde4a1d02002-03-22 01:27:54 +00001745/* ---------------------------------------------------------------------
1746 The state of the simulated CPU.
1747 ------------------------------------------------------------------ */
1748
sewardjde4a1d02002-03-22 01:27:54 +00001749/* ---------------------------------------------------------------------
1750 Offsets into baseBlock for everything which needs to referred to
1751 from generated code. The order of these decls does not imply
1752 what the order of the actual offsets is. The latter is important
1753 and is set up in vg_main.c.
1754 ------------------------------------------------------------------ */
1755
1756/* An array of words. In generated code, %ebp always points to the
1757 start of this array. Useful stuff, like the simulated CPU state,
1758 and the addresses of helper functions, can then be found by
1759 indexing off %ebp. The following declares variables which, at
1760 startup time, are given values denoting offsets into baseBlock.
1761 These offsets are in *words* from the start of baseBlock. */
1762
sewardjb91ae7f2003-04-29 23:50:00 +00001763#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001764
1765extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1766
1767
1768/* -----------------------------------------------------
1769 Read-write parts of baseBlock.
1770 -------------------------------------------------- */
1771
1772/* State of the simulated CPU. */
1773extern Int VGOFF_(m_eax);
1774extern Int VGOFF_(m_ecx);
1775extern Int VGOFF_(m_edx);
1776extern Int VGOFF_(m_ebx);
1777extern Int VGOFF_(m_esp);
1778extern Int VGOFF_(m_ebp);
1779extern Int VGOFF_(m_esi);
1780extern Int VGOFF_(m_edi);
1781extern Int VGOFF_(m_eflags);
sewardjb91ae7f2003-04-29 23:50:00 +00001782extern Int VGOFF_(m_ssestate);
sewardjde4a1d02002-03-22 01:27:54 +00001783extern Int VGOFF_(m_eip);
1784
sewardjfa492d42002-12-08 18:20:01 +00001785extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1786
sewardj92a59562002-09-30 00:53:10 +00001787extern Int VGOFF_(m_cs);
1788extern Int VGOFF_(m_ss);
1789extern Int VGOFF_(m_ds);
1790extern Int VGOFF_(m_es);
1791extern Int VGOFF_(m_fs);
1792extern Int VGOFF_(m_gs);
1793
sewardjde4a1d02002-03-22 01:27:54 +00001794/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1795extern Int VGOFF_(spillslots);
1796
1797/* Records the valid bits for the 8 integer regs & flags reg. */
1798extern Int VGOFF_(sh_eax);
1799extern Int VGOFF_(sh_ecx);
1800extern Int VGOFF_(sh_edx);
1801extern Int VGOFF_(sh_ebx);
1802extern Int VGOFF_(sh_esp);
1803extern Int VGOFF_(sh_ebp);
1804extern Int VGOFF_(sh_esi);
1805extern Int VGOFF_(sh_edi);
1806extern Int VGOFF_(sh_eflags);
1807
sewardjde4a1d02002-03-22 01:27:54 +00001808/* -----------------------------------------------------
1809 Read-only parts of baseBlock.
1810 -------------------------------------------------- */
1811
sewardj92a59562002-09-30 00:53:10 +00001812/* This thread's LDT pointer. */
1813extern Int VGOFF_(ldt);
1814
fitzhardinge47735af2004-01-21 01:27:27 +00001815/* This thread's TLS pointer. */
1816extern Int VGOFF_(tls);
1817
njn211b6ad2003-02-03 12:33:31 +00001818/* Nb: Most helper offsets are in include/vg_skin.h, for use by skins */
sewardjde4a1d02002-03-22 01:27:54 +00001819
sewardj51096432002-12-14 23:59:09 +00001820extern Int VGOFF_(helper_undefined_instruction);
1821
njn25e49d8e72002-09-23 09:36:25 +00001822/* For storing extension-specific helpers, determined at runtime. The addr
1823 * and offset arrays together form a (addr, offset) map that allows a
1824 * helper's baseBlock offset to be computed from its address. It's done
1825 * like this so CCALL_M_Ns and other helper calls can use the function
1826 * address rather than having to much around with offsets. */
1827extern UInt VG_(n_compact_helpers);
1828extern UInt VG_(n_noncompact_helpers);
1829
1830extern Addr VG_(compact_helper_addrs) [];
1831extern Int VG_(compact_helper_offsets)[];
1832
1833extern Addr VG_(noncompact_helper_addrs) [];
1834extern Int VG_(noncompact_helper_offsets)[];
1835
sewardjde4a1d02002-03-22 01:27:54 +00001836#endif /* ndef __VG_INCLUDE_H */
1837
sewardj3b2736a2002-03-24 12:18:35 +00001838
1839/* ---------------------------------------------------------------------
1840 Finally - autoconf-generated settings
1841 ------------------------------------------------------------------ */
1842
1843#include "config.h"
1844
sewardjde4a1d02002-03-22 01:27:54 +00001845/*--------------------------------------------------------------------*/
1846/*--- end vg_include.h ---*/
1847/*--------------------------------------------------------------------*/