blob: ba5a36471e435280daa83bee8306f4777f5333e3 [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/* Stop after this many basic blocks. default: Infinity. */
247extern ULong VG_(clo_stop_after);
248/* Display gory details for the k'th most popular error. default:
249 Infinity. */
250extern Int VG_(clo_dump_error);
251/* Number of parents of a backtrace. Default: 8. */
252extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000253/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000254extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000255/* How often we should poll for signals, assuming we need to poll for
256 signals. */
257extern Int VG_(clo_signal_polltime);
258
259/* Low latency syscalls and signals */
260extern Bool VG_(clo_lowlat_syscalls);
261extern Bool VG_(clo_lowlat_signals);
262
rjwalshf5f536f2003-11-17 17:45:00 +0000263/* Track open file descriptors? */
264extern Bool VG_(clo_track_fds);
265
sewardj858964b2002-10-05 14:15:43 +0000266/* Should we run __libc_freeres at exit? Sometimes causes crashes.
267 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
268 if the latter says False, then the setting of VG_(clo_weird_hacks)
269 is ignored. Ie if a skin says no, I don't want this to run, that
270 cannot be overridden from the command line. */
271extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000272/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000273extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000274/* Generate branch-prediction hints? */
275extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000276/* Continue stack traces below main()? Default: NO */
277extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000278/* Test each client pointer dereference to check it's within the
279 client address space bounds */
280extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000281
282/* ---------------------------------------------------------------------
283 Debugging and profiling stuff
284 ------------------------------------------------------------------ */
285
sewardjde4a1d02002-03-22 01:27:54 +0000286/* Create a logfile into which messages can be dumped. */
287extern void VG_(startup_logging) ( void );
njn25e49d8e72002-09-23 09:36:25 +0000288extern void VG_(shutdown_logging)( void );
sewardjde4a1d02002-03-22 01:27:54 +0000289
290extern void VGP_(init_profiling) ( void );
291extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000292
njn25e49d8e72002-09-23 09:36:25 +0000293#undef VGP_PUSHCC
294#undef VGP_POPCC
295#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
296#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000297
sewardjde4a1d02002-03-22 01:27:54 +0000298/* ---------------------------------------------------------------------
njn810086f2002-11-14 12:42:47 +0000299 Skin-related types
300 ------------------------------------------------------------------ */
301/* These structs are not exposed to skins to mitigate possibility of
302 binary-incompatibilities when the core/skin interface changes. Instead,
303 set functions are provided (see include/vg_skin.h). */
304typedef
305 struct {
306 Char* name;
307 Char* version;
308 Char* description;
309 Char* copyright_author;
310 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000311 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000312 }
313 VgDetails;
314
315extern VgDetails VG_(details);
316
317/* If new fields are added to this type, update:
318 * - vg_main.c:initialisation of VG_(needs)
319 * - vg_main.c:sanity_check_needs()
320 *
321 * If the name of this type or any of its fields change, update:
322 * - dependent comments (just search for "VG_(needs)").
323 */
324typedef
325 struct {
326 Bool libc_freeres;
327 Bool core_errors;
328
329 Bool skin_errors;
330 Bool basic_block_discards;
331 Bool shadow_regs;
332 Bool command_line_options;
333 Bool client_requests;
334 Bool extended_UCode;
335 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000336 Bool sanity_checks;
337 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000338 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000339 }
340 VgNeeds;
341
342extern VgNeeds VG_(needs);
343
fitzhardinge98abfc72003-12-16 02:05:15 +0000344extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000345
fitzhardinge98abfc72003-12-16 02:05:15 +0000346#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000347
348/* ---------------------------------------------------------------------
349 Exports of vg_needs.c
350 ------------------------------------------------------------------ */
351
352void VG_(sanity_check_needs)(void);
353
354/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000355 Exports of vg_malloc2.c
356 ------------------------------------------------------------------ */
357
358/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000359
360 CORE for the core's general use.
nethercote60f5b822004-01-26 17:24:42 +0000361 TOOL for the tool to use (and the only one it uses).
njn3e884182003-04-15 13:03:23 +0000362 SYMTAB for Valgrind's symbol table storage.
363 JITTER for small storage during translation.
364 CLIENT for the client's mallocs/frees, if the skin replaces glibc's
365 malloc() et al -- redzone size is chosen by the skin.
366 DEMANGLE for the C++ demangler.
367 EXECTXT for storing ExeContexts.
368 ERRORS for storing CoreErrors.
369 TRANSIENT for very short-term use. It should be empty in between uses.
370
njn25e49d8e72002-09-23 09:36:25 +0000371 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000372*/
373typedef Int ArenaId;
374
njn3e884182003-04-15 13:03:23 +0000375#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000376
njn3e884182003-04-15 13:03:23 +0000377#define VG_AR_CORE 0
nethercote60f5b822004-01-26 17:24:42 +0000378#define VG_AR_TOOL 1
njn3e884182003-04-15 13:03:23 +0000379#define VG_AR_SYMTAB 2
380#define VG_AR_JITTER 3
381#define VG_AR_CLIENT 4
382#define VG_AR_DEMANGLE 5
383#define VG_AR_EXECTXT 6
384#define VG_AR_ERRORS 7
385#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000386
njn25e49d8e72002-09-23 09:36:25 +0000387extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
388extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn3e884182003-04-15 13:03:23 +0000389extern void* VG_(arena_calloc) ( ArenaId arena, Int alignment,
390 Int nmemb, Int nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000391extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
392 Int size );
393extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000394 Int req_pszB );
395
njn8a6b6c02003-04-22 22:45:55 +0000396extern Int VG_(arena_payload_szB) ( ArenaId aid, void* payload );
397
sewardjde4a1d02002-03-22 01:27:54 +0000398extern void VG_(mallocSanityCheckAll) ( void );
399
400extern void VG_(show_all_arena_stats) ( void );
401extern Bool VG_(is_empty_arena) ( ArenaId aid );
402
sewardjecf8e102003-07-12 12:11:39 +0000403/* Returns True if aa is inside any block mmap'd /dev/zero
404 by our low-level memory manager. */
405extern Bool VG_(is_inside_segment_mmapd_by_low_level_MM)( Addr aa );
406
sewardjde4a1d02002-03-22 01:27:54 +0000407
sewardjde4a1d02002-03-22 01:27:54 +0000408/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000409 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000410 ------------------------------------------------------------------ */
411
412/* This doesn't export code or data that valgrind.so needs to link
413 against. However, the scheduler does need to know the following
414 request codes. A few, publically-visible, request codes are also
njn25e49d8e72002-09-23 09:36:25 +0000415 defined in valgrind.h, and similar headers for some skins. */
sewardj2e93c502002-04-12 11:12:52 +0000416
njn4c791212003-05-02 17:53:54 +0000417#define VG_USERREQ__MALLOC 0x2001
418#define VG_USERREQ__FREE 0x2002
419
sewardj20917d82002-05-28 01:36:45 +0000420/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
421 MUST NOT return -- ever. Eventually it will do either __QUIT or
422 __WAIT_JOINER. */
423#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
424
425/* ( no-args ): calling thread disappears from the system forever.
426 Reclaim resources. */
427#define VG_USERREQ__QUIT 0x3002
428
429/* ( void* ): calling thread waits for joiner and returns the void* to
430 it. */
431#define VG_USERREQ__WAIT_JOINER 0x3003
432
433/* ( ThreadId, void** ): wait to join a thread. */
434#define VG_USERREQ__PTHREAD_JOIN 0x3004
435
436/* Set cancellation state and type for this thread. */
437#define VG_USERREQ__SET_CANCELSTATE 0x3005
438#define VG_USERREQ__SET_CANCELTYPE 0x3006
439
440/* ( no-args ): Test if we are at a cancellation point. */
441#define VG_USERREQ__TESTCANCEL 0x3007
442
443/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
444 with this arg to indicate that a cancel is now pending for the
445 specified thread. */
446#define VG_USERREQ__SET_CANCELPEND 0x3008
447
448/* Set/get detach state for this thread. */
449#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
450
451#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
452#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
453#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
454#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
455#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
456#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
457#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
458#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
459#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
460#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000461#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
462#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000463#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
464#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000465#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000466#define VG_USERREQ__PTHREAD_KILL 0x301A
467#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000468#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000469
sewardj8ad94e12002-05-29 00:10:20 +0000470#define VG_USERREQ__CLEANUP_PUSH 0x3020
471#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000472#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000473
sewardjef037c72002-05-30 00:40:03 +0000474#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000475
476/* Ask how many signal handler returns have happened to this
477 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000478#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000479
sewardj2cb00342002-06-28 01:46:26 +0000480/* Get/set entries for a thread's pthread_atfork stack. */
481#define VG_USERREQ__SET_FHSTACK_USED 0x3025
482#define VG_USERREQ__GET_FHSTACK_USED 0x3026
483#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
484#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000485
sewardj1fe7b002002-07-16 01:43:15 +0000486/* Denote the finish of VG_(__libc_freeres_wrapper). */
487#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000488#define VG_USERREQ__REGISTER_LIBC_FREERES 0x302A
489
490/* Allocate RT signals */
491#define VG_USERREQ__GET_SIGRT_MIN 0x302B
492#define VG_USERREQ__GET_SIGRT_MAX 0x302C
493#define VG_USERREQ__ALLOC_RTSIG 0x302D
494
495/* Hook for replace_malloc.o to get malloc functions */
496#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
497
498/* Hook for interface to vg_inject.so */
499#define VG_USERREQ__REGISTER_REDIRECT_SYM 0x3031
500#define VG_USERREQ__REGISTER_REDIRECT_ADDR 0x3032
sewardj1fe7b002002-07-16 01:43:15 +0000501
sewardj45b4b372002-04-16 22:50:32 +0000502/* Cosmetic ... */
503#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000504/* Log a pthread error from client-space. Cosmetic. */
505#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000506/* Internal equivalent of VALGRIND_PRINTF . */
507#define VG_USERREQ__INTERNAL_PRINTF 0x3103
508/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
509#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000510
sewardj54cacf02002-04-12 23:24:59 +0000511/*
512In vg_constants.h:
513#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000514*/
515
njn4c791212003-05-02 17:53:54 +0000516
fitzhardinge98abfc72003-12-16 02:05:15 +0000517struct vg_mallocfunc_info {
518 /* things vg_replace_malloc.o needs to know about */
519 Addr sk_malloc;
520 Addr sk_calloc;
521 Addr sk_realloc;
522 Addr sk_memalign;
523 Addr sk___builtin_new;
524 Addr sk___builtin_vec_new;
525 Addr sk_free;
526 Addr sk___builtin_delete;
527 Addr sk___builtin_vec_delete;
528
529 Addr arena_payload_szB;
530
531 Bool clo_sloppy_malloc;
532 Bool clo_trace_malloc;
533};
sewardj1fe7b002002-07-16 01:43:15 +0000534
fitzhardinge39de4b42003-10-31 07:12:21 +0000535__attribute__((weak))
536int
537VALGRIND_INTERNAL_PRINTF(char *format, ...)
538{
539 unsigned int _qzz_res = 0;
540 va_list vargs;
541 va_start(vargs, format);
542 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
543 (unsigned int)format, (unsigned int)vargs, 0, 0);
544 va_end(vargs);
545 return _qzz_res;
546}
547
548__attribute__((weak))
549int
550VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
551{
552 unsigned int _qzz_res = 0;
553 va_list vargs;
554 va_start(vargs, format);
555 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
556 (unsigned int)format, (unsigned int)vargs, 0, 0);
557 va_end(vargs);
558 return _qzz_res;
559}
560
sewardj54cacf02002-04-12 23:24:59 +0000561
sewardj2e93c502002-04-12 11:12:52 +0000562/* ---------------------------------------------------------------------
563 Constants pertaining to the simulated CPU state, VG_(baseBlock),
564 which need to go here to avoid ugly circularities.
565 ------------------------------------------------------------------ */
566
sewardjb91ae7f2003-04-29 23:50:00 +0000567/* How big is the saved SSE/SSE2 state? Note that this subsumes the
568 FPU state. On machines without SSE, we just save/restore the FPU
569 state into the first part of this area. */
570/* A general comment about SSE save/restore: It appears that the 7th
571 word (which is the MXCSR) has to be &ed with 0x0000FFBF in order
572 that restoring from it later does not cause a GP fault (which is
573 delivered as a segfault). I guess this will have to be done
574 any time we do fxsave :-( 7th word means word offset 6 or byte
575 offset 24 from the start address of the save area.
576 */
577#define VG_SIZE_OF_SSESTATE 512
sewardj2e93c502002-04-12 11:12:52 +0000578/* ... and in words ... */
sewardjb91ae7f2003-04-29 23:50:00 +0000579#define VG_SIZE_OF_SSESTATE_W ((VG_SIZE_OF_SSESTATE+3)/4)
sewardj2e93c502002-04-12 11:12:52 +0000580
581
582/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000583 Exports of vg_defaults.c
584 ------------------------------------------------------------------ */
585
586extern Bool VG_(sk_malloc_called_by_scheduler);
587
588
589/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000590 Exports of vg_ldt.c
591 ------------------------------------------------------------------ */
592
593/* This is the hardware-format for a segment descriptor, ie what the
594 x86 actually deals with. It is 8 bytes long. It's ugly. */
595
596typedef struct _LDT_ENTRY {
597 union {
598 struct {
599 UShort LimitLow;
600 UShort BaseLow;
601 unsigned BaseMid : 8;
602 unsigned Type : 5;
603 unsigned Dpl : 2;
604 unsigned Pres : 1;
605 unsigned LimitHi : 4;
606 unsigned Sys : 1;
607 unsigned Reserved_0 : 1;
608 unsigned Default_Big : 1;
609 unsigned Granularity : 1;
610 unsigned BaseHi : 8;
611 } Bits;
612 struct {
613 UInt word1;
614 UInt word2;
615 } Words;
616 }
617 LdtEnt;
618} VgLdtEntry;
619
620/* Maximum number of LDT entries supported (by the x86). */
621#define VG_M_LDT_ENTRIES 8192
622/* The size of each LDT entry == sizeof(VgLdtEntry) */
623#define VG_LDT_ENTRY_SIZE 8
624
625/* Alloc & copy, and dealloc. */
626extern VgLdtEntry*
627 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
628extern void
629 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
fitzhardinge47735af2004-01-21 01:27:27 +0000630extern void
631 VG_(clear_TLS_for_thread) ( VgLdtEntry* tls );
sewardj92a59562002-09-30 00:53:10 +0000632
633/* Simulate the modify_ldt syscall. */
634extern Int VG_(sys_modify_ldt) ( ThreadId tid,
635 Int func, void* ptr, UInt bytecount );
636
fitzhardinge47735af2004-01-21 01:27:27 +0000637/* Simulate the {get,set}_thread_area syscalls. */
638extern Int VG_(sys_set_thread_area) ( ThreadId tid,
639 struct vki_modify_ldt_ldt_s* info );
640extern Int VG_(sys_get_thread_area) ( ThreadId tid,
641 struct vki_modify_ldt_ldt_s* info );
642
sewardje1042472002-09-30 12:33:11 +0000643/* Called from generated code. Given a segment selector and a virtual
644 address, return a linear address, and do limit checks too. */
645extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
646
sewardj92a59562002-09-30 00:53:10 +0000647
648/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000649 Exports of vg_scheduler.c
650 ------------------------------------------------------------------ */
651
sewardj2e93c502002-04-12 11:12:52 +0000652typedef
jsgf855d93d2003-10-13 22:26:55 +0000653 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000654 VgTs_Empty, /* this slot is not in use */
655 VgTs_Runnable, /* waiting to be scheduled */
656 VgTs_WaitJoiner, /* waiting for someone to do join on me */
657 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000658 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000659 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000660 VgTs_WaitSys, /* waiting for a syscall to complete */
661 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000662 }
663 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000664
665/* An entry in a threads's cleanup stack. */
666typedef
667 struct {
668 void (*fn)(void*);
669 void* arg;
670 }
671 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000672
673/* An entry in a thread's fork-handler stack. */
674typedef
675 struct {
676 void (*prepare)(void);
677 void (*parent)(void);
678 void (*child)(void);
679 }
680 ForkHandlerEntry;
681
jsgf855d93d2003-10-13 22:26:55 +0000682typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000683
njn72718642003-07-24 08:45:32 +0000684typedef
685 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000686 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
687 The thread identity is simply the index in vg_threads[].
688 ThreadId == 1 is the root thread and has the special property
689 that we don't try and allocate or deallocate its stack. For
690 convenience of generating error message, we also put the
691 ThreadId in this tid field, but be aware that it should
692 ALWAYS == the index in vg_threads[]. */
693 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000694
njn25e49d8e72002-09-23 09:36:25 +0000695 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000696
njn25e49d8e72002-09-23 09:36:25 +0000697 Complications: whenever this is set to VgTs_WaitMX, you
698 should also set .m_edx to whatever the required return value
699 is for pthread_mutex_lock / pthread_cond_timedwait for when
700 the mutex finally gets unblocked. */
701 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000702
njn25e49d8e72002-09-23 09:36:25 +0000703 /* When .status == WaitMX, points to the mutex I am waiting for.
704 When .status == WaitCV, points to the mutex associated with
705 the condition variable indicated by the .associated_cv field.
706 In all other cases, should be NULL. */
707 void* /*pthread_mutex_t* */ associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000708
njn25e49d8e72002-09-23 09:36:25 +0000709 /* When .status == WaitCV, points to the condition variable I am
710 waiting for. In all other cases, should be NULL. */
711 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000712
njn25e49d8e72002-09-23 09:36:25 +0000713 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000714 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000715
njn25e49d8e72002-09-23 09:36:25 +0000716 If VgTs_WaitCV, this indicates the time at which
717 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
718 this means infinitely far in the future, viz,
719 pthread_cond_wait. */
720 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000721
njn25e49d8e72002-09-23 09:36:25 +0000722 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
723 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000724
njn25e49d8e72002-09-23 09:36:25 +0000725 /* If VgTs_WaitJoinee, place to copy the return value to, and
726 the identity of the thread we're waiting for. */
727 void** joiner_thread_return;
728 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000729
jsgf855d93d2003-10-13 22:26:55 +0000730 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
731 void *sys_pre_res;
732
733 /* If VgTs_WaitSys, this is the syscall we're currently running */
734 Int syscallno;
735
736 /* Details about this thread's proxy LWP */
737 ProxyLWP *proxy;
738
njn25e49d8e72002-09-23 09:36:25 +0000739 /* Whether or not detached. */
740 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000741
njn25e49d8e72002-09-23 09:36:25 +0000742 /* Cancelability state and type. */
743 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
744 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
745
746 /* Pointer to fn to call to do cancellation. Indicates whether
747 or not cancellation is pending. If NULL, not pending. Else
748 should be &thread_exit_wrapper(), indicating that
749 cancallation is pending. */
750 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000751
njn25e49d8e72002-09-23 09:36:25 +0000752 /* The cleanup stack. */
753 Int custack_used;
754 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000755
sewardj00a66b12002-10-12 16:42:35 +0000756 /* A pointer to the thread's-specific-data. This is handled almost
757 entirely from vg_libpthread.c. We just provide hooks to get and
758 set this ptr. This is either NULL, indicating the thread has
759 read/written none of its specifics so far, OR points to a
760 void*[VG_N_THREAD_KEYS], allocated and deallocated in
761 vg_libpthread.c. */
762 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000763
njn25e49d8e72002-09-23 09:36:25 +0000764 /* This thread's blocked-signals mask. Semantics is that for a
765 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000766 blocked by this signal mask. If more than one thread accepts a
767 signal, then it will be delivered to one at random. If all
768 threads block the signal, it will remain pending until either a
769 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
770
771 sig_mask reflects what the client told us its signal mask should
772 be, but isn't necessarily the current signal mask of the proxy
773 LWP: it may have more signals blocked because of signal
774 handling, or it may be different because of sigsuspend.
775 */
njn25e49d8e72002-09-23 09:36:25 +0000776 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000777
fitzhardingef0dd7e12004-01-16 02:17:30 +0000778 /* Effective signal mask. This is the mask which currently
779 applies; it may be different from sig_mask while a signal
jsgf855d93d2003-10-13 22:26:55 +0000780 handler is running.
781 */
782 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000783
njn25e49d8e72002-09-23 09:36:25 +0000784 /* Stacks. When a thread slot is freed, we don't deallocate its
785 stack; we just leave it lying around for the next use of the
786 slot. If the next use of the slot requires a larger stack,
787 only then is the old one deallocated and a new one
788 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000789
njn25e49d8e72002-09-23 09:36:25 +0000790 For the main thread (threadid == 0), this mechanism doesn't
791 apply. We don't know the size of the stack since we didn't
792 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000793
njn25e49d8e72002-09-23 09:36:25 +0000794 /* The allocated size of this thread's stack (permanently zero
795 if this is ThreadId == 0, since we didn't allocate its stack) */
796 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000797
njn25e49d8e72002-09-23 09:36:25 +0000798 /* Address of the lowest word in this thread's stack. NULL means
799 not allocated yet.
800 */
801 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000802
sewardj92a59562002-09-30 00:53:10 +0000803 /* Address of the highest legitimate word in this stack. This is
804 used for error messages only -- not critical for execution
805 correctness. Is is set for all stacks, specifically including
806 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000807 Addr stack_highest_word;
808
sewardj92a59562002-09-30 00:53:10 +0000809 /* Pointer to this thread's Local (Segment) Descriptor Table.
810 Starts out as NULL, indicating there is no table, and we hope to
811 keep it that way. If the thread does __NR_modify_ldt to create
812 entries, we allocate a 8192-entry table at that point. This is
813 a straight copy of the Linux kernel's scheme. Don't forget to
814 deallocate this at thread exit. */
815 VgLdtEntry* ldt;
816
fitzhardinge47735af2004-01-21 01:27:27 +0000817 /* TLS table. This consists of a small number (currently 3) of
818 entries from the Global Descriptor Table. */
819 VgLdtEntry tls[VKI_GDT_TLS_ENTRIES];
820
sewardj92a59562002-09-30 00:53:10 +0000821 /* Saved machine context. Note the FPU state, %EIP and segment
822 registers are not shadowed.
823
824 Although the segment registers are 16 bits long, storage
825 management here, in VG_(baseBlock) and in VG_(m_state_static) is
826 simplified if we pretend they are 32 bits. */
827 UInt m_cs;
828 UInt m_ss;
829 UInt m_ds;
830 UInt m_es;
831 UInt m_fs;
832 UInt m_gs;
833
njn25e49d8e72002-09-23 09:36:25 +0000834 UInt m_eax;
835 UInt m_ebx;
836 UInt m_ecx;
837 UInt m_edx;
838 UInt m_esi;
839 UInt m_edi;
840 UInt m_ebp;
841 UInt m_esp;
842 UInt m_eflags;
843 UInt m_eip;
sewardjb91ae7f2003-04-29 23:50:00 +0000844
845 /* The SSE/FPU state. This array does not (necessarily) have the
846 required 16-byte alignment required to get stuff in/out by
847 fxsave/fxrestore. So we have to do it "by hand".
848 */
849 UInt m_sse[VG_SIZE_OF_SSESTATE_W];
njn25e49d8e72002-09-23 09:36:25 +0000850
851 UInt sh_eax;
852 UInt sh_ebx;
853 UInt sh_ecx;
854 UInt sh_edx;
855 UInt sh_esi;
856 UInt sh_edi;
857 UInt sh_ebp;
858 UInt sh_esp;
859 UInt sh_eflags;
njn72718642003-07-24 08:45:32 +0000860}
861ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000862
863
sewardj018f7622002-05-15 21:13:39 +0000864/* The thread table. */
865extern ThreadState VG_(threads)[VG_N_THREADS];
866
867/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000868extern Bool VG_(is_valid_tid) ( ThreadId tid );
869
sewardj018f7622002-05-15 21:13:39 +0000870/* Check that tid is in range. */
871extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
872
njn72718642003-07-24 08:45:32 +0000873/* Determine if 'tid' is that of the current running thread (Nb: returns
874 False if no thread is currently running. */
875extern Bool VG_(is_running_thread)(ThreadId tid);
876
jsgf855d93d2003-10-13 22:26:55 +0000877/* Get the ThreadState for a particular thread */
878extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
879
sewardj2e93c502002-04-12 11:12:52 +0000880/* Copy the specified thread's state into VG_(baseBlock) in
881 preparation for running it. */
882extern void VG_(load_thread_state)( ThreadId );
883
884/* Save the specified thread's state back in VG_(baseBlock), and fill
885 VG_(baseBlock) with junk, for sanity-check reasons. */
886extern void VG_(save_thread_state)( ThreadId );
887
sewardj1e8cdc92002-04-18 11:37:52 +0000888/* And for the currently running one, if valid. */
889extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000890
sewardj1e8cdc92002-04-18 11:37:52 +0000891/* Similarly ... */
892extern ThreadId VG_(get_current_tid) ( void );
893
sewardjccef2e62002-05-29 19:26:32 +0000894/* Nuke all threads except tid. */
895extern void VG_(nuke_all_threads_except) ( ThreadId me );
896
jsgf855d93d2003-10-13 22:26:55 +0000897/* Give a hint to the scheduler that it may be a good time to find a
898 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
899 try to schedule that thread.
900*/
901extern void VG_(need_resched) ( ThreadId prefer_sched );
902
903/* Add a new timeout event for a thread*/
904extern void VG_(add_timeout) ( ThreadId tid, UInt time );
sewardj2e93c502002-04-12 11:12:52 +0000905
906/* Return codes from the scheduler. */
907typedef
sewardj7e87e382002-05-03 19:09:05 +0000908 enum {
909 VgSrc_Deadlock, /* no runnable threads and no prospect of any
910 even if we wait for a long time */
911 VgSrc_ExitSyscall, /* client called exit(). This is the normal
912 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000913 VgSrc_BbsDone, /* In a debugging run, the specified number of
sewardj7e87e382002-05-03 19:09:05 +0000914 bbs has been completed. */
jsgf855d93d2003-10-13 22:26:55 +0000915 VgSrc_FatalSig /* Killed by the default action of a fatal
916 signal */
sewardj7e87e382002-05-03 19:09:05 +0000917 }
sewardj2e93c502002-04-12 11:12:52 +0000918 VgSchedReturnCode;
919
sewardj7e87e382002-05-03 19:09:05 +0000920
sewardj2e93c502002-04-12 11:12:52 +0000921/* The scheduler. */
922extern VgSchedReturnCode VG_(scheduler) ( void );
923
924extern void VG_(scheduler_init) ( void );
925
sewardj15a43e12002-04-17 19:35:12 +0000926extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000927
928/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
929extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000930/* This says whether scheduler_jmpbuf is actually valid. Needed so
931 that our signal handler doesn't longjmp when the buffer isn't
932 actually valid. */
933extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000934/* ... and if so, here's the signal which caused it to do so. */
935extern Int VG_(longjmpd_on_signal);
936
937
sewardj2e93c502002-04-12 11:12:52 +0000938/* The red-zone size which we put at the bottom (highest address) of
939 thread stacks, for paranoia reasons. This can be arbitrary, and
940 doesn't really need to be set at compile time. */
941#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
942
943#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
944 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
945
njn25e49d8e72002-09-23 09:36:25 +0000946/* Junk to fill up a thread's shadow regs with when shadow regs aren't
njnd3040452003-05-19 15:04:06 +0000947 being used. */
njn25e49d8e72002-09-23 09:36:25 +0000948#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
njnd3040452003-05-19 15:04:06 +0000949/* For sanity checking: if this ends up in a thread's shadow regs when
950 shadow regs aren't being used, something went wrong. */
951#define VG_USED_SHADOW_REG_VALUE 0x31415927
njn25e49d8e72002-09-23 09:36:25 +0000952
njnd3040452003-05-19 15:04:06 +0000953/* Write a value to a client's thread register, and shadow (if necessary) */
954#define SET_THREAD_REG( zztid, zzval, zzreg, zzREG, zzevent, zzargs... ) \
955 do { VG_(threads)[zztid].m_##zzreg = (zzval); \
956 VG_TRACK( zzevent, zztid, R_##zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000957 } while (0)
958
njnd3040452003-05-19 15:04:06 +0000959#define SET_SYSCALL_RETVAL(zztid, zzval) \
960 SET_THREAD_REG(zztid, zzval, eax, EAX, post_reg_write_syscall_return)
961
962#define SET_SIGNAL_EDX(zztid, zzval) \
963 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_deliver_signal)
964
965#define SET_SIGNAL_ESP(zztid, zzval) \
966 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_deliver_signal)
967
968#define SET_CLREQ_RETVAL(zztid, zzval) \
969 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientreq_return)
970
971#define SET_CLCALL_RETVAL(zztid, zzval, f) \
972 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientcall_return, f)
973
974#define SET_PTHREQ_ESP(zztid, zzval) \
975 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_pthread_return)
976
977#define SET_PTHREQ_RETVAL(zztid, zzval) \
978 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +0000979
sewardj2e93c502002-04-12 11:12:52 +0000980
sewardjd8acdf22002-11-13 21:57:52 +0000981/* This is or'd into a pthread mutex's __m_kind field if it is used
982 before Valgrind is up and running (prehistory). This is used so
983 that if some early code (like the dynamic linker) takes a lock
984 before Valgrind starts and then releases it afterwards, we can work
985 out what's happening. */
986#define VG_PTHREAD_PREHISTORY 0x80000000
987
sewardj2e93c502002-04-12 11:12:52 +0000988/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000989 Exports of vg_signals.c
990 ------------------------------------------------------------------ */
991
jsgf855d93d2003-10-13 22:26:55 +0000992extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
993
994/* RT signal allocation */
995extern Int VG_(sig_rtmin);
996extern Int VG_(sig_rtmax);
997extern Int VG_(sig_alloc_rtsig) ( Int high );
998
sewardjde4a1d02002-03-22 01:27:54 +0000999extern void VG_(sigstartup_actions) ( void );
sewardj839299f2003-06-14 11:57:59 +00001000extern void VG_(sigshutdown_actions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001001
jsgf855d93d2003-10-13 22:26:55 +00001002extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +00001003extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +00001004extern void VG_(handle_SCSS_change) ( Bool force_update );
1005
jsgf855d93d2003-10-13 22:26:55 +00001006extern Bool VG_(is_sig_ign) ( Int sigNo );
1007
1008/* Route pending signals from the scheduler LWP to the appropriate
1009 thread LWP. */
1010extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001011
1012/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +00001013extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +00001014extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +00001015extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
1016 Int how,
1017 vki_ksigset_t* set,
1018 vki_ksigset_t* oldset );
1019extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
1020 Int how,
1021 vki_ksigset_t* set,
1022 vki_ksigset_t* oldset );
1023extern void VG_(send_signal_to_thread) ( ThreadId thread,
1024 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +00001025
sewardjefbfcdf2002-06-19 17:35:45 +00001026extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
1027
1028
sewardj2e93c502002-04-12 11:12:52 +00001029/* Modify the current thread's state once we have detected it is
1030 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +00001031extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +00001032
sewardj2e93c502002-04-12 11:12:52 +00001033/* Handy utilities to block/restore all host signals. */
1034extern void VG_(block_all_host_signals)
1035 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +00001036extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +00001037 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +00001038
jsgf855d93d2003-10-13 22:26:55 +00001039extern vki_ksiginfo_t VG_(unresumable_siginfo);
1040
1041extern void VG_(kill_self)(Int sigNo);
1042
sewardjde4a1d02002-03-22 01:27:54 +00001043/* ---------------------------------------------------------------------
1044 Exports of vg_mylibc.c
1045 ------------------------------------------------------------------ */
1046
njne427a662002-10-02 11:08:25 +00001047#define vg_assert(expr) \
1048 ((void) ((expr) ? 0 : \
1049 (VG_(core_assert_fail) (VG__STRING(expr), \
1050 __FILE__, __LINE__, \
1051 __PRETTY_FUNCTION__), 0)))
1052__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001053extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1054 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001055__attribute__ ((__noreturn__))
1056extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +00001057
njn25e49d8e72002-09-23 09:36:25 +00001058/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
1059extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +00001060
njn25e49d8e72002-09-23 09:36:25 +00001061/* Skins use VG_(strdup)() which doesn't expose ArenaId */
1062extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001063
njn25e49d8e72002-09-23 09:36:25 +00001064extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +00001065extern Int VG_(select)( Int n,
1066 vki_fd_set* readfds,
1067 vki_fd_set* writefds,
1068 vki_fd_set* exceptfds,
1069 struct vki_timeval * timeout );
jsgf855d93d2003-10-13 22:26:55 +00001070extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001071extern Int VG_(nanosleep)( const struct vki_timespec *req,
1072 struct vki_timespec *rem );
1073
fitzhardinge98abfc72003-12-16 02:05:15 +00001074/* system/mman.h */
1075extern void* VG_(mmap)( void* start, UInt length,
1076 UInt prot, UInt flags, UInt fd, UInt offset );
1077extern Int VG_(munmap)( void* start, Int length );
1078extern Int VG_(mprotect)( void *start, Int length, UInt prot );
1079
1080
jsgf855d93d2003-10-13 22:26:55 +00001081/* Move an fd into the Valgrind-safe range */
1082Int VG_(safe_fd)(Int oldfd);
1083
sewardj570f8902002-11-03 11:44:36 +00001084extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001085
1086/* --- Connecting over the network --- */
1087extern Int VG_(connect_via_socket)( UChar* str );
1088
fitzhardinge98abfc72003-12-16 02:05:15 +00001089/* Environment manipulations */
nethercoteff9721d2004-01-26 17:10:01 +00001090extern Char **VG_(env_clone) ( Char **oldenv );
fitzhardinge98abfc72003-12-16 02:05:15 +00001091extern Char* VG_(env_getenv) ( Char **env, Char* varname );
1092extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname, const Char *val );
1093extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
sewardj570f8902002-11-03 11:44:36 +00001094
1095/* ---------------------------------------------------------------------
1096 Exports of vg_message.c
1097 ------------------------------------------------------------------ */
1098
1099/* Low-level -- send bytes directly to the message sink. Do not
1100 use. */
1101extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1102
1103
sewardjde4a1d02002-03-22 01:27:54 +00001104/* ---------------------------------------------------------------------
1105 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
1106 vg_from_ucode.c).
1107 ------------------------------------------------------------------ */
1108
sewardjde4a1d02002-03-22 01:27:54 +00001109#define VG_IS_FLAG_SUBSET(set1,set2) \
1110 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
1111
1112#define VG_UNION_FLAG_SETS(set1,set2) \
1113 ( ((FlagSet)set1) | ((FlagSet)set2) )
1114
sewardjde4a1d02002-03-22 01:27:54 +00001115/* ---------------------------------------------------------------------
1116 Exports of vg_demangle.c
1117 ------------------------------------------------------------------ */
1118
1119extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1120
sewardjde4a1d02002-03-22 01:27:54 +00001121/* ---------------------------------------------------------------------
1122 Exports of vg_from_ucode.c
1123 ------------------------------------------------------------------ */
1124
sewardj22854b92002-11-30 14:00:47 +00001125extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001126
njn25e49d8e72002-09-23 09:36:25 +00001127extern void VG_(print_ccall_stats) ( void );
1128extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001129
sewardj22854b92002-11-30 14:00:47 +00001130extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1131extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
1132extern Bool VG_(is_unchained_jumpsite) ( Addr jumpsite );
1133extern Bool VG_(is_chained_jumpsite) ( Addr jumpsite );
1134
sewardjde4a1d02002-03-22 01:27:54 +00001135/* ---------------------------------------------------------------------
1136 Exports of vg_to_ucode.c
1137 ------------------------------------------------------------------ */
1138
fitzhardingec2dbbac2004-01-23 23:09:01 +00001139Bool VG_(cpu_has_feature)(UInt feat);
1140
sewardjde4a1d02002-03-22 01:27:54 +00001141extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001142
1143/* ---------------------------------------------------------------------
1144 Exports of vg_translate.c
1145 ------------------------------------------------------------------ */
1146
njn810086f2002-11-14 12:42:47 +00001147/* Expandable arrays of uinstrs. */
1148struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001149 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001150 Int used;
1151 Int size;
1152 UInstr* instrs;
1153 Int nextTemp;
1154};
1155
1156extern UCodeBlock* VG_(alloc_UCodeBlock) ( void );
1157
njn72718642003-07-24 08:45:32 +00001158extern void VG_(translate) ( ThreadId tid,
sewardj1e8cdc92002-04-18 11:37:52 +00001159 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +00001160 UInt* orig_size,
1161 Addr* trans_addr,
sewardj22854b92002-11-30 14:00:47 +00001162 UInt* trans_size,
1163 UShort jumps[VG_MAX_JUMPS]);
sewardjde4a1d02002-03-22 01:27:54 +00001164
njn25e49d8e72002-09-23 09:36:25 +00001165extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
1166 UInstr* u );
1167extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
1168extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +00001169
sewardjb5ff83e2002-12-01 19:40:49 +00001170
sewardjde4a1d02002-03-22 01:27:54 +00001171/* ---------------------------------------------------------------------
1172 Exports of vg_execontext.c.
1173 ------------------------------------------------------------------ */
1174
1175/* Records the PC and a bit of the call chain. The first 4 %eip
1176 values are used in comparisons do remove duplicate errors, and for
1177 comparing against suppression specifications. The rest are purely
1178 informational (but often important). */
1179
njn25e49d8e72002-09-23 09:36:25 +00001180struct _ExeContext {
1181 struct _ExeContext * next;
1182 /* Variable-length array. The size is VG_(clo_backtrace_size); at
njn6c846552003-09-16 07:41:43 +00001183 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
njn25e49d8e72002-09-23 09:36:25 +00001184 [1] is its caller, [2] is the caller of [1], etc. */
1185 Addr eips[0];
1186};
sewardjde4a1d02002-03-22 01:27:54 +00001187
1188
sewardjde4a1d02002-03-22 01:27:54 +00001189/* Print stats (informational only). */
1190extern void VG_(show_ExeContext_stats) ( void );
1191
njn25e49d8e72002-09-23 09:36:25 +00001192/* Like VG_(get_ExeContext), but with a slightly different type */
1193extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1194 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001195
1196
1197/* ---------------------------------------------------------------------
1198 Exports of vg_errcontext.c.
1199 ------------------------------------------------------------------ */
1200
njn25e49d8e72002-09-23 09:36:25 +00001201/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1202 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +00001203typedef
njn25e49d8e72002-09-23 09:36:25 +00001204 enum {
1205 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +00001206 }
njn25e49d8e72002-09-23 09:36:25 +00001207 CoreSuppKind;
1208
1209/* For each caller specified for a suppression, record the nature of
1210 the caller name. Not of interest to skins. */
1211typedef
1212 enum {
1213 ObjName, /* Name is of an shared object file. */
1214 FunName /* Name is of a function. */
1215 }
1216 SuppLocTy;
1217
njn810086f2002-11-14 12:42:47 +00001218/* Suppressions. Skins can get/set skin-relevant parts with functions
1219 declared in include/vg_skin.h. Extensible via the 'extra' field.
1220 Skins can use a normal enum (with element values in the normal range
1221 (0..)) for `skind'. */
1222struct _Supp {
1223 struct _Supp* next;
1224 /* The number of times this error has been suppressed. */
1225 Int count;
1226 /* The name by which the suppression is referred to. */
1227 Char* sname;
1228 /* First two (name of fn where err occurs, and immediate caller)
1229 * are mandatory; extra two are optional. */
1230 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
1231 Char* caller [VG_N_SUPP_CALLERS];
1232
1233 /* The skin-specific part */
1234 /* What kind of suppression. Must use the range (0..) */
1235 SuppKind skind;
1236 /* String -- use is optional. NULL by default. */
1237 Char* string;
1238 /* Anything else -- use is optional. NULL by default. */
1239 void* extra;
1240};
njn25e49d8e72002-09-23 09:36:25 +00001241
1242/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1243 * effectively extend it by defining their own enums in the (0..) range. */
1244typedef
1245 enum {
1246 PThreadErr = -1, /* Pthreading error */
1247 }
1248 CoreErrorKind;
1249
njn810086f2002-11-14 12:42:47 +00001250/* Errors. Extensible (via the 'extra' field). Skins can use a normal
1251 enum (with element values in the normal range (0..)) for `ekind'.
1252 Functions for getting/setting the skin-relevant fields are in
1253 include/vg_skin.h.
1254
1255 When errors are found and recorded with VG_(maybe_record_error)(), all
1256 the skin must do is pass in the four parameters; core will
1257 allocate/initialise the error record.
1258*/
1259struct _Error {
1260 struct _Error* next;
1261 /* NULL if unsuppressed; or ptr to suppression record. */
1262 Supp* supp;
1263 Int count;
njn810086f2002-11-14 12:42:47 +00001264 ThreadId tid;
njn810086f2002-11-14 12:42:47 +00001265
1266 /* The skin-specific part */
njnae17bec2003-01-28 19:59:38 +00001267 /* Initialised by core */
1268 ExeContext* where;
njn810086f2002-11-14 12:42:47 +00001269 /* Used by ALL. Must be in the range (0..) */
1270 Int ekind;
1271 /* Used frequently */
1272 Addr addr;
1273 /* Used frequently */
1274 Char* string;
1275 /* For any skin-specific extras */
1276 void* extra;
1277};
sewardjde4a1d02002-03-22 01:27:54 +00001278
1279
njn25e49d8e72002-09-23 09:36:25 +00001280extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001281
njn25e49d8e72002-09-23 09:36:25 +00001282extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001283
njn25e49d8e72002-09-23 09:36:25 +00001284extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001285
njn43c799e2003-04-08 00:08:52 +00001286extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
1287
njn47363ab2003-04-21 13:24:40 +00001288extern UInt VG_(n_errs_found);
1289
sewardjde4a1d02002-03-22 01:27:54 +00001290/* ---------------------------------------------------------------------
1291 Exports of vg_procselfmaps.c
1292 ------------------------------------------------------------------ */
1293
njnfa1016e2003-09-25 17:54:11 +00001294/* Reads /proc/self/maps into a static buffer which can be parsed by
1295 VG_(parse_procselfmaps)(). */
1296extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001297
1298/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1299 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1300 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001301extern
njnfa1016e2003-09-25 17:54:11 +00001302void VG_(parse_procselfmaps) (
fitzhardinge98abfc72003-12-16 02:05:15 +00001303 void (*record_mapping)( Addr addr, UInt len, Char rr, Char ww, Char xx,
1304 UInt dev, UInt ino, ULong foff, const UChar *filename )
sewardjde4a1d02002-03-22 01:27:54 +00001305);
1306
1307
1308/* ---------------------------------------------------------------------
1309 Exports of vg_symtab2.c
1310 ------------------------------------------------------------------ */
1311
fitzhardinge98abfc72003-12-16 02:05:15 +00001312typedef struct _Segment Segment;
1313
1314extern Bool VG_(is_object_file) ( const void *hdr );
njnfa1016e2003-09-25 17:54:11 +00001315extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001316extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
njnfa1016e2003-09-25 17:54:11 +00001317extern void VG_(unload_symbols) ( Addr start, UInt length );
fitzhardinge98abfc72003-12-16 02:05:15 +00001318extern void VG_(symtab_incref) ( SegInfo * );
1319extern void VG_(symtab_decref) ( SegInfo *, Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001320
njn25e49d8e72002-09-23 09:36:25 +00001321extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001322
fitzhardinge98abfc72003-12-16 02:05:15 +00001323/* Set up some default redirects */
1324extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001325
fitzhardinge98abfc72003-12-16 02:05:15 +00001326/* Redirection machinery */
1327extern void VG_(add_redirect_sym)(const Char *from_lib, const Char *from_sym,
1328 const Char *to_lib, const Char *to_sym);
1329extern void VG_(add_redirect_addr)(const Char *from_lib, const Char *from_sym,
1330 Addr to_addr);
1331extern Addr VG_(code_redirect) (Addr orig);
sewardjde4a1d02002-03-22 01:27:54 +00001332
1333/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001334 Exports of vg_main.c
1335 ------------------------------------------------------------------ */
1336
sewardjb91ae7f2003-04-29 23:50:00 +00001337/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1338 the SSE state all over the place. This is set up very early, in
1339 vg_startup.S. We have to determine it early since we can't even
1340 correctly snapshot the startup machine state without it. */
1341extern Bool VG_(have_ssestate);
1342
sewardj73cf3bc2002-11-03 03:20:15 +00001343/* Tell the logging mechanism whether we are logging to a file
1344 descriptor or a socket descriptor. */
1345extern Bool VG_(logging_to_filedes);
1346
njn25e49d8e72002-09-23 09:36:25 +00001347/* Sanity checks which may be done at any time. The scheduler decides when. */
1348extern void VG_(do_sanity_checks) ( Bool force_expensive );
1349
fitzhardinge98abfc72003-12-16 02:05:15 +00001350/* Address space */
1351extern Addr VG_(client_base); /* client address space limits */
1352extern Addr VG_(client_end);
1353extern Addr VG_(client_mapbase); /* base of mappings */
1354extern Addr VG_(clstk_base); /* client stack range */
1355extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001356extern Addr VG_(client_trampoline_code);
1357
fitzhardinge98abfc72003-12-16 02:05:15 +00001358extern Addr VG_(brk_base); /* start of brk */
1359extern Addr VG_(brk_limit); /* current brk */
1360extern Addr VG_(shadow_base); /* skin's shadow memory */
1361extern Addr VG_(shadow_end);
1362extern Addr VG_(valgrind_base); /* valgrind's address range */
1363extern Addr VG_(valgrind_mmap_end);
1364extern Addr VG_(valgrind_end);
1365
1366/* stage1 executable file descriptor */
fitzhardingea49f9b52003-12-16 22:26:45 +00001367extern Int VG_(vgexecfd);
1368
1369/* client executable file descriptor */
1370extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001371
1372/* Path to all our library/aux files */
1373extern const Char *VG_(libdir);
1374
sewardjde4a1d02002-03-22 01:27:54 +00001375/* A structure used as an intermediary when passing the simulated
nethercote71980f02004-01-24 18:18:54 +00001376 CPU's state to VG_(switch_to_real_CPU)(), for --stop-after=yes.
1377 Stuff is copied from baseBlock to here, because it's much easier
1378 to copy the state into the real registers from this structure than
1379 the baseBlock, because it's layout is simpler.
1380 Alignment: the SSE state must be 16-byte aligned. We ask for the whole
1381 struct to be 16-byte aligned, and the SSE state starts at the 6+8+1+1th
1382 == 16th word, so it too must be 16-byte aligned. Consequence: change
1383 this struct only _very carefully_ ! See also above comment re masking
1384 MXCSR.
sewardjb91ae7f2003-04-29 23:50:00 +00001385*/
1386__attribute__ ((aligned (16)))
sewardj92a59562002-09-30 00:53:10 +00001387extern UInt VG_(m_state_static) [6 /* segment regs, Intel order */
1388 + 8 /* int regs, in Intel order */
sewardjde4a1d02002-03-22 01:27:54 +00001389 + 1 /* %eflags */
1390 + 1 /* %eip */
sewardjb91ae7f2003-04-29 23:50:00 +00001391 + VG_SIZE_OF_SSESTATE_W /* SSE state */
sewardjde4a1d02002-03-22 01:27:54 +00001392 ];
1393
njn9b007f62003-04-07 14:40:25 +00001394/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001395extern Bool VG_(need_to_handle_esp_assignment) ( void );
1396
sewardjde4a1d02002-03-22 01:27:54 +00001397/* Called when some unhandleable client behaviour is detected.
1398 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001399extern void VG_(unimplemented) ( Char* msg )
1400 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001401
njn25e49d8e72002-09-23 09:36:25 +00001402/* Similarly, we have to ask for signals to be delivered on an alternative
1403 stack, since it is possible, although unlikely, that we'll have to run
1404 client code from inside the Valgrind-installed signal handler. If this
1405 happens it will be done by vg_deliver_signal_immediately(). */
njn6eba4ef2003-05-01 08:06:41 +00001406extern UInt VG_(sigstack)[VG_SIGSTACK_SIZE_W];
sewardjde4a1d02002-03-22 01:27:54 +00001407
fitzhardinge98abfc72003-12-16 02:05:15 +00001408/* Valgrind's argc and argv */
1409extern Int VG_(vg_argc);
1410extern Char **VG_(vg_argv);
1411
sewardjd5815ec2003-04-06 12:23:27 +00001412/* Indicates presence, and holds address of client's sysinfo page, a
1413 feature of some modern kernels used to provide vsyscalls, etc. */
1414extern Bool VG_(sysinfo_page_exists);
1415extern Addr VG_(sysinfo_page_addr);
1416
nethercoteff9721d2004-01-26 17:10:01 +00001417/* Walk through a colon separated list variable, removing entries
1418 which match pattern. */
1419extern void VG_(mash_colon_env)(Char *varp, const Char *pattern);
1420
nethercote04d0fbc2004-01-26 16:48:06 +00001421/* Something of a function looking for a home ... start up debugger. */
1422extern void VG_(start_debugger) ( Int tid );
sewardjde4a1d02002-03-22 01:27:54 +00001423
njn41557122002-10-14 09:25:37 +00001424/* VG_(bbs_done) in include/vg_skin.h */
1425
sewardjde4a1d02002-03-22 01:27:54 +00001426/* 64-bit counter for the number of bbs to go before a debug exit. */
1427extern ULong VG_(bbs_to_go);
1428
1429/* Counts downwards in vg_run_innerloop. */
1430extern UInt VG_(dispatch_ctr);
1431
sewardj7e87e382002-05-03 19:09:05 +00001432/* This is the ThreadId of the last thread the scheduler ran. */
1433extern ThreadId VG_(last_run_tid);
1434
njn25e49d8e72002-09-23 09:36:25 +00001435/* This is the argument to __NR_exit() supplied by the first thread to
1436 call that syscall. We eventually pass that to __NR_exit() for
1437 real. */
njn633de322003-05-12 20:40:13 +00001438extern Int VG_(exitcode);
njn25e49d8e72002-09-23 09:36:25 +00001439
jsgf855d93d2003-10-13 22:26:55 +00001440/* If we're doing the default action of a fatal signal */
1441extern jmp_buf VG_(fatal_signal_jmpbuf);
1442extern Bool VG_(fatal_signal_set); /* jmp_buf is valid */
1443extern Int VG_(fatal_sigNo); /* the fatal signal */
sewardjde4a1d02002-03-22 01:27:54 +00001444
1445/* --- Counters, for informational purposes only. --- */
1446
1447/* Number of lookups which miss the fast tt helper. */
1448extern UInt VG_(tt_fast_misses);
1449
sewardjc0d8f682002-11-30 00:49:43 +00001450/* Counts for TT/TC informational messages. */
sewardjde4a1d02002-03-22 01:27:54 +00001451
sewardjde4a1d02002-03-22 01:27:54 +00001452/* Number and total o/t size of translations overall. */
1453extern UInt VG_(overall_in_count);
1454extern UInt VG_(overall_in_osize);
1455extern UInt VG_(overall_in_tsize);
1456/* Number and total o/t size of discards overall. */
1457extern UInt VG_(overall_out_count);
1458extern UInt VG_(overall_out_osize);
1459extern UInt VG_(overall_out_tsize);
sewardjc0d8f682002-11-30 00:49:43 +00001460/* The number of discards of TT/TC. */
1461extern UInt VG_(number_of_tc_discards);
sewardj22854b92002-11-30 14:00:47 +00001462/* Counts of chain and unchain operations done. */
1463extern UInt VG_(bb_enchain_count);
1464extern UInt VG_(bb_dechain_count);
1465/* Number of unchained jumps performed. */
1466extern UInt VG_(unchained_jumps_done);
1467
sewardjde4a1d02002-03-22 01:27:54 +00001468
1469/* Counts pertaining to the register allocator. */
1470
1471/* total number of uinstrs input to reg-alloc */
1472extern UInt VG_(uinstrs_prealloc);
1473
1474/* total number of uinstrs added due to spill code */
1475extern UInt VG_(uinstrs_spill);
1476
1477/* number of bbs requiring spill code */
1478extern UInt VG_(translations_needing_spill);
1479
1480/* total of register ranks over all translations */
1481extern UInt VG_(total_reg_rank);
1482
sewardjde4a1d02002-03-22 01:27:54 +00001483/* Counts pertaining to internal sanity checking. */
1484extern UInt VG_(sanity_fast_count);
1485extern UInt VG_(sanity_slow_count);
1486
sewardj2e93c502002-04-12 11:12:52 +00001487/* Counts pertaining to the scheduler. */
1488extern UInt VG_(num_scheduling_events_MINOR);
1489extern UInt VG_(num_scheduling_events_MAJOR);
1490
sewardjfa492d42002-12-08 18:20:01 +00001491/* Insert and extract the D flag from eflags */
1492UInt VG_(insertDflag)(UInt eflags, Int d);
1493Int VG_(extractDflag)(UInt eflags);
sewardjde4a1d02002-03-22 01:27:54 +00001494
1495/* ---------------------------------------------------------------------
1496 Exports of vg_memory.c
1497 ------------------------------------------------------------------ */
1498
fitzhardinge98abfc72003-12-16 02:05:15 +00001499/* A Segment is mapped piece of client memory. This covers all kinds
1500 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1501
1502 We try to encode everything we know about a particular segment here.
1503*/
1504#define SF_FIXED (1 << 0) /* client asked for MAP_FIXED */
1505#define SF_SHARED (1 << 1) /* shared */
1506#define SF_SHM (1 << 2) /* SYSV SHM (also SF_SHARED) */
1507#define SF_MMAP (1 << 3) /* mmap memory */
1508#define SF_FILE (1 << 4) /* mapping is backed by a file */
1509#define SF_STACK (1 << 5) /* is a stack */
1510#define SF_GROWDOWN (1 << 6) /* segment grows down */
1511#define SF_GROWUP (1 << 7) /* segment grows up */
1512#define SF_EXEC (1 << 8) /* segment created by exec */
1513#define SF_DYNLIB (1 << 9) /* mapped from dynamic library */
1514#define SF_NOSYMS (1 << 10) /* don't load syms, even if present */
1515#define SF_BRK (1 << 11) /* brk segment */
1516#define SF_CORE (1 << 12) /* allocated by core on behalf of the client */
1517#define SF_VALGRIND (1 << 13) /* a valgrind-internal mapping - not in client*/
1518#define SF_CODE (1 << 14) /* segment contains cached code */
1519
1520struct _Segment {
1521 UInt prot; /* VKI_PROT_* */
1522 UInt flags; /* SF_* */
1523
1524 Addr addr; /* mapped addr (page aligned) */
1525 UInt len; /* size of mapping (page aligned) */
1526
1527 /* These are valid if (flags & SF_FILE) */
1528 ULong offset; /* file offset */
1529 const Char *filename; /* filename (NULL if unknown) */
1530 UInt dev; /* device */
1531 UInt ino; /* inode */
1532
1533 SegInfo *symtab; /* symbol table */
1534};
1535
1536/* segment mapped from a file descriptor */
1537extern void VG_(map_fd_segment) (Addr addr, UInt len, UInt prot, UInt flags,
1538 Int fd, ULong off, const Char *filename);
1539
1540/* segment mapped from a file */
1541extern void VG_(map_file_segment)(Addr addr, UInt len, UInt prot, UInt flags,
1542 UInt dev, UInt ino, ULong off, const Char *filename);
1543
1544/* simple segment */
1545extern void VG_(map_segment) (Addr addr, UInt len, UInt prot, UInt flags);
1546
1547extern void VG_(unmap_range) (Addr addr, UInt len);
1548extern void VG_(mprotect_range)(Addr addr, UInt len, UInt prot);
1549extern Addr VG_(find_map_space)(Addr base, UInt len, Bool for_client);
1550
1551extern Segment *VG_(find_segment)(Addr a);
1552extern Segment *VG_(next_segment)(Segment *);
1553
1554extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, UInt size);
1555extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, UInt size);
1556
njn9b007f62003-04-07 14:40:25 +00001557extern __attribute__((regparm(1)))
njnfa1016e2003-09-25 17:54:11 +00001558 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001559
jsgf855d93d2003-10-13 22:26:55 +00001560/* ---------------------------------------------------------------------
1561 Exports of vg_proxylwp.c
1562 ------------------------------------------------------------------ */
1563
1564/* Issue a syscall for thread tid */
1565extern Int VG_(sys_issue)(int tid);
1566
1567extern void VG_(proxy_init) ( void );
1568extern void VG_(proxy_create) ( ThreadId tid );
1569extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1570extern void VG_(proxy_results) ( void );
1571extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1572extern void VG_(proxy_setsigmask)(ThreadId tid);
1573extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1574extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1575extern void VG_(proxy_waitsig) ( void );
fitzhardinge31ba9052004-01-16 02:15:23 +00001576extern void VG_(proxy_wait_sys) (ThreadId tid, Bool restart);
jsgf855d93d2003-10-13 22:26:55 +00001577
1578extern void VG_(proxy_shutdown) ( void ); /* shut down the syscall workers */
1579extern Int VG_(proxy_resfd) ( void ); /* FD something can select on to know
1580 a syscall finished */
1581
1582/* Sanity-check the whole proxy-LWP machinery */
1583void VG_(proxy_sanity)(void);
1584
1585/* Send a signal from a thread's proxy to the thread. This longjmps
1586 back into the proxy's main loop, so it doesn't return. */
1587__attribute__ ((__noreturn__))
1588extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
1589 const struct vki_sigcontext *sigcontext );
1590
fitzhardinge47735af2004-01-21 01:27:27 +00001591/* Get the PID/TID of the ProxyLWP. */
1592extern Int VG_(proxy_id)(ThreadId tid);
1593
jsgf855d93d2003-10-13 22:26:55 +00001594
sewardjde4a1d02002-03-22 01:27:54 +00001595/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001596 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001597 ------------------------------------------------------------------ */
1598
fitzhardinge98abfc72003-12-16 02:05:15 +00001599extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001600
jsgf855d93d2003-10-13 22:26:55 +00001601extern Bool VG_(pre_syscall) ( ThreadId tid );
fitzhardinge31ba9052004-01-16 02:15:23 +00001602extern void VG_(post_syscall)( ThreadId tid, Bool restart );
fitzhardingee1c06d82003-10-30 07:21:44 +00001603extern void VG_(restart_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001604
1605extern Bool VG_(is_kerror) ( Int res );
1606
jsgf855d93d2003-10-13 22:26:55 +00001607/* Internal atfork handlers */
1608typedef void (*vg_atfork_t)(ThreadId);
1609extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001610
rjwalshf5f536f2003-11-17 17:45:00 +00001611/* fd leakage calls. */
1612extern void VG_(init_preopened_fds) ( void );
1613extern void VG_(fd_stats) ( void );
1614
sewardjde4a1d02002-03-22 01:27:54 +00001615/* ---------------------------------------------------------------------
1616 Exports of vg_transtab.c
1617 ------------------------------------------------------------------ */
1618
njn25e49d8e72002-09-23 09:36:25 +00001619/* The fast-cache for tt-lookup. */
1620extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1621
sewardjde4a1d02002-03-22 01:27:54 +00001622extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
sewardj6c3769f2002-11-29 01:02:45 +00001623
sewardjc0d8f682002-11-30 00:49:43 +00001624extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001625 Addr trans_addr, Int trans_size,
1626 UShort jumps[VG_MAX_JUMPS]);
sewardj6c3769f2002-11-29 01:02:45 +00001627
sewardj97ad5522003-05-04 12:32:56 +00001628extern void VG_(invalidate_translations) ( Addr start, UInt range, Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001629
sewardj18d75132002-05-16 11:06:21 +00001630extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001631
1632extern void VG_(sanity_check_tc_tt) ( void );
1633extern Addr VG_(search_transtab) ( Addr original_addr );
1634
sewardjde4a1d02002-03-22 01:27:54 +00001635
1636
1637/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001638 Exports of vg_syscall.S
1639 ------------------------------------------------------------------ */
1640
jsgf855d93d2003-10-13 22:26:55 +00001641extern Int VG_(do_syscall) ( UInt, ... );
1642extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1643 Int *child_tid, Int *parent_tid);
sewardjde4a1d02002-03-22 01:27:54 +00001644
1645/* ---------------------------------------------------------------------
1646 Exports of vg_startup.S
1647 ------------------------------------------------------------------ */
1648
sewardjde4a1d02002-03-22 01:27:54 +00001649extern void VG_(switch_to_real_CPU) ( void );
1650
sewardjde4a1d02002-03-22 01:27:54 +00001651/* ---------------------------------------------------------------------
1652 Exports of vg_dispatch.S
1653 ------------------------------------------------------------------ */
1654
sewardj2e93c502002-04-12 11:12:52 +00001655/* Run a thread for a (very short) while, until some event happens
1656 which means we need to defer to the scheduler. */
1657extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001658
sewardj22854b92002-11-30 14:00:47 +00001659/* The patching routing called when a BB wants to chain itself to
1660 another. */
1661extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001662
1663/* ---------------------------------------------------------------------
1664 Exports of vg_helpers.S
1665 ------------------------------------------------------------------ */
1666
sewardjde4a1d02002-03-22 01:27:54 +00001667/* Mul, div, etc, -- we don't codegen these directly. */
1668extern void VG_(helper_idiv_64_32);
1669extern void VG_(helper_div_64_32);
1670extern void VG_(helper_idiv_32_16);
1671extern void VG_(helper_div_32_16);
1672extern void VG_(helper_idiv_16_8);
1673extern void VG_(helper_div_16_8);
1674
1675extern void VG_(helper_imul_32_64);
1676extern void VG_(helper_mul_32_64);
1677extern void VG_(helper_imul_16_32);
1678extern void VG_(helper_mul_16_32);
1679extern void VG_(helper_imul_8_16);
1680extern void VG_(helper_mul_8_16);
1681
1682extern void VG_(helper_CLD);
1683extern void VG_(helper_STD);
1684extern void VG_(helper_get_dirflag);
1685
sewardj7d78e782002-06-02 00:04:00 +00001686extern void VG_(helper_CLC);
1687extern void VG_(helper_STC);
1688
sewardjde4a1d02002-03-22 01:27:54 +00001689extern void VG_(helper_shldl);
1690extern void VG_(helper_shldw);
1691extern void VG_(helper_shrdl);
1692extern void VG_(helper_shrdw);
1693
daywalkerb18d2532003-09-27 20:15:01 +00001694extern void VG_(helper_IN);
1695extern void VG_(helper_OUT);
1696
sewardjde4a1d02002-03-22 01:27:54 +00001697extern void VG_(helper_RDTSC);
1698extern void VG_(helper_CPUID);
1699
sewardjde4a1d02002-03-22 01:27:54 +00001700extern void VG_(helper_bsf);
1701extern void VG_(helper_bsr);
1702
1703extern void VG_(helper_fstsw_AX);
1704extern void VG_(helper_SAHF);
njnd6251f12003-06-03 13:38:51 +00001705extern void VG_(helper_LAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001706extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001707extern void VG_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001708
muellerf217c732004-01-02 22:42:29 +00001709extern void VG_(helper_cmpxchg8b);
1710
sewardj51096432002-12-14 23:59:09 +00001711extern void VG_(helper_undefined_instruction);
1712
fitzhardinge92360792003-12-24 10:11:11 +00001713/* Information about trampoline code (for signal return and syscalls) */
1714extern const Char VG_(trampoline_code_start);
1715extern const Int VG_(trampoline_code_length);
1716extern const Int VG_(tramp_sigreturn_offset);
1717extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001718
njn4f9c9342002-04-29 16:03:24 +00001719/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001720 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001721 ------------------------------------------------------------------ */
1722
fitzhardinge98abfc72003-12-16 02:05:15 +00001723#define VG_TRACK(fn, args...) \
1724 do { \
1725 if (VG_(defined_##fn)()) \
1726 SK_(fn)(args); \
1727 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001728
fitzhardinge98abfc72003-12-16 02:05:15 +00001729__attribute__ ((noreturn))
1730extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001731
sewardjde4a1d02002-03-22 01:27:54 +00001732/* ---------------------------------------------------------------------
1733 The state of the simulated CPU.
1734 ------------------------------------------------------------------ */
1735
sewardjde4a1d02002-03-22 01:27:54 +00001736/* ---------------------------------------------------------------------
1737 Offsets into baseBlock for everything which needs to referred to
1738 from generated code. The order of these decls does not imply
1739 what the order of the actual offsets is. The latter is important
1740 and is set up in vg_main.c.
1741 ------------------------------------------------------------------ */
1742
1743/* An array of words. In generated code, %ebp always points to the
1744 start of this array. Useful stuff, like the simulated CPU state,
1745 and the addresses of helper functions, can then be found by
1746 indexing off %ebp. The following declares variables which, at
1747 startup time, are given values denoting offsets into baseBlock.
1748 These offsets are in *words* from the start of baseBlock. */
1749
sewardjb91ae7f2003-04-29 23:50:00 +00001750#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001751
1752extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1753
1754
1755/* -----------------------------------------------------
1756 Read-write parts of baseBlock.
1757 -------------------------------------------------- */
1758
1759/* State of the simulated CPU. */
1760extern Int VGOFF_(m_eax);
1761extern Int VGOFF_(m_ecx);
1762extern Int VGOFF_(m_edx);
1763extern Int VGOFF_(m_ebx);
1764extern Int VGOFF_(m_esp);
1765extern Int VGOFF_(m_ebp);
1766extern Int VGOFF_(m_esi);
1767extern Int VGOFF_(m_edi);
1768extern Int VGOFF_(m_eflags);
sewardjb91ae7f2003-04-29 23:50:00 +00001769extern Int VGOFF_(m_ssestate);
sewardjde4a1d02002-03-22 01:27:54 +00001770extern Int VGOFF_(m_eip);
1771
sewardjfa492d42002-12-08 18:20:01 +00001772extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1773
sewardj92a59562002-09-30 00:53:10 +00001774extern Int VGOFF_(m_cs);
1775extern Int VGOFF_(m_ss);
1776extern Int VGOFF_(m_ds);
1777extern Int VGOFF_(m_es);
1778extern Int VGOFF_(m_fs);
1779extern Int VGOFF_(m_gs);
1780
sewardjde4a1d02002-03-22 01:27:54 +00001781/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1782extern Int VGOFF_(spillslots);
1783
1784/* Records the valid bits for the 8 integer regs & flags reg. */
1785extern Int VGOFF_(sh_eax);
1786extern Int VGOFF_(sh_ecx);
1787extern Int VGOFF_(sh_edx);
1788extern Int VGOFF_(sh_ebx);
1789extern Int VGOFF_(sh_esp);
1790extern Int VGOFF_(sh_ebp);
1791extern Int VGOFF_(sh_esi);
1792extern Int VGOFF_(sh_edi);
1793extern Int VGOFF_(sh_eflags);
1794
sewardjde4a1d02002-03-22 01:27:54 +00001795/* -----------------------------------------------------
1796 Read-only parts of baseBlock.
1797 -------------------------------------------------- */
1798
sewardj92a59562002-09-30 00:53:10 +00001799/* This thread's LDT pointer. */
1800extern Int VGOFF_(ldt);
1801
fitzhardinge47735af2004-01-21 01:27:27 +00001802/* This thread's TLS pointer. */
1803extern Int VGOFF_(tls);
1804
njn211b6ad2003-02-03 12:33:31 +00001805/* Nb: Most helper offsets are in include/vg_skin.h, for use by skins */
sewardjde4a1d02002-03-22 01:27:54 +00001806
sewardj51096432002-12-14 23:59:09 +00001807extern Int VGOFF_(helper_undefined_instruction);
1808
njn25e49d8e72002-09-23 09:36:25 +00001809/* For storing extension-specific helpers, determined at runtime. The addr
1810 * and offset arrays together form a (addr, offset) map that allows a
1811 * helper's baseBlock offset to be computed from its address. It's done
1812 * like this so CCALL_M_Ns and other helper calls can use the function
1813 * address rather than having to much around with offsets. */
1814extern UInt VG_(n_compact_helpers);
1815extern UInt VG_(n_noncompact_helpers);
1816
1817extern Addr VG_(compact_helper_addrs) [];
1818extern Int VG_(compact_helper_offsets)[];
1819
1820extern Addr VG_(noncompact_helper_addrs) [];
1821extern Int VG_(noncompact_helper_offsets)[];
1822
sewardjde4a1d02002-03-22 01:27:54 +00001823#endif /* ndef __VG_INCLUDE_H */
1824
sewardj3b2736a2002-03-24 12:18:35 +00001825
1826/* ---------------------------------------------------------------------
1827 Finally - autoconf-generated settings
1828 ------------------------------------------------------------------ */
1829
1830#include "config.h"
1831
sewardjde4a1d02002-03-22 01:27:54 +00001832/*--------------------------------------------------------------------*/
1833/*--- end vg_include.h ---*/
1834/*--------------------------------------------------------------------*/