blob: a7f5f60f1e3a7dd573abb7ce93b9d88863fdc039 [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
njn0e1b5142003-04-15 14:58:06 +000012 Copyright (C) 2000-2003 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
sewardj4cf05692002-10-27 20:28:29 +0000166/* Describes where logging output is to be sent. */
167typedef
168 enum {
169 VgLogTo_Fd,
170 VgLogTo_File,
171 VgLogTo_Socket
172 } VgLogTo;
173
jsgf855d93d2003-10-13 22:26:55 +0000174/* pid of main process */
175extern Int VG_(main_pid);
176
177/* pgrp of process (global to all threads) */
178extern Int VG_(main_pgrp);
sewardj4cf05692002-10-27 20:28:29 +0000179
fitzhardingef0046f22003-12-18 02:39:22 +0000180/* Maximum allowed application-visible file descriptor */
181extern Int VG_(max_fd);
182
sewardj72f98ff2002-06-13 17:23:38 +0000183/* Should we stop collecting errors if too many appear? default: YES */
sewardj2e432902002-06-13 20:44:00 +0000184extern Bool VG_(clo_error_limit);
sewardjde4a1d02002-03-22 01:27:54 +0000185/* Enquire about whether to attach to GDB at errors? default: NO */
186extern Bool VG_(clo_GDB_attach);
sewardj6024b212003-07-13 10:54:33 +0000187/* The path to GDB? default: whatever ./configure found */
188extern Char* VG_(clo_GDB_path);
njn43c799e2003-04-08 00:08:52 +0000189/* Enquire about generating a suppression for each error? default: NO */
190extern Bool VG_(clo_gen_suppressions);
sewardjde4a1d02002-03-22 01:27:54 +0000191/* Sanity-check level: 0 = none, 1 (default), > 1 = expensive. */
192extern Int VG_(sanity_level);
sewardjde4a1d02002-03-22 01:27:54 +0000193/* Automatically attempt to demangle C++ names? default: YES */
194extern Bool VG_(clo_demangle);
sewardjde4a1d02002-03-22 01:27:54 +0000195/* Simulate child processes? default: NO */
196extern Bool VG_(clo_trace_children);
sewardj4cf05692002-10-27 20:28:29 +0000197
198/* Where logging output is to be sent to.
199
200 When log_to == VgLogTo_Fd, clo_logfile_fd holds the file id, and is
201 taken from the command line. clo_logfile_name is irrelevant.
202
203 When log_to == VgLogTo_File, clo_logfile_name holds the logfile
204 name, and is taken from the command line. clo_logfile_fd is then
205 made to hold the relevant file id, by opening clo_logfile_name
206 (concatenated with the process ID) for writing.
207
208 When log_to == VgLogTo_Socket, clo_logfile_name holds the
209 hostname:portnumber pair, and is taken from the command line.
210 clo_logfile_fd is then made to hold the relevant file handle, by
211 opening a connection to said hostname:portnumber pair.
212
213 Global default is to set log_to == VgLogTo_Fd and logfile_fd == 2
214 (stderr). */
215extern VgLogTo VG_(clo_log_to);
216extern Int VG_(clo_logfile_fd);
217extern Char* VG_(clo_logfile_name);
sewardjde4a1d02002-03-22 01:27:54 +0000218
sewardj6024b212003-07-13 10:54:33 +0000219/* The file descriptor to read for input. default: 0 == stdin */
220extern Int VG_(clo_input_fd);
sewardjde4a1d02002-03-22 01:27:54 +0000221/* The number of suppression files specified. */
222extern Int VG_(clo_n_suppressions);
223/* The names of the suppression files. */
224extern Char* VG_(clo_suppressions)[VG_CLO_MAX_SFILES];
225
226/* Single stepping? default: NO */
227extern Bool VG_(clo_single_step);
228/* Code improvement? default: YES */
229extern Bool VG_(clo_optimise);
njn25e49d8e72002-09-23 09:36:25 +0000230/* DEBUG: print generated code? default: 00000 ( == NO ) */
231extern Bool VG_(clo_trace_codegen);
sewardjde4a1d02002-03-22 01:27:54 +0000232/* DEBUG: print system calls? default: NO */
233extern Bool VG_(clo_trace_syscalls);
234/* DEBUG: print signal details? default: NO */
235extern Bool VG_(clo_trace_signals);
236/* DEBUG: print symtab details? default: NO */
237extern Bool VG_(clo_trace_symtab);
sewardj8937c812002-04-12 20:12:20 +0000238/* DEBUG: print thread scheduling events? default: NO */
239extern Bool VG_(clo_trace_sched);
sewardj45b4b372002-04-16 22:50:32 +0000240/* DEBUG: print pthread (mutex etc) events? default: 0 (none), 1
241 (some), 2 (all) */
242extern Int VG_(clo_trace_pthread_level);
sewardjde4a1d02002-03-22 01:27:54 +0000243/* Stop after this many basic blocks. default: Infinity. */
244extern ULong VG_(clo_stop_after);
245/* Display gory details for the k'th most popular error. default:
246 Infinity. */
247extern Int VG_(clo_dump_error);
248/* Number of parents of a backtrace. Default: 8. */
249extern Int VG_(clo_backtrace_size);
daywalker7e73e5f2003-07-04 16:18:15 +0000250/* Engage miscellaneous weird hacks needed for some progs. */
sewardj8d365b52002-05-12 10:52:16 +0000251extern Char* VG_(clo_weird_hacks);
jsgf855d93d2003-10-13 22:26:55 +0000252/* How often we should poll for signals, assuming we need to poll for
253 signals. */
254extern Int VG_(clo_signal_polltime);
255
256/* Low latency syscalls and signals */
257extern Bool VG_(clo_lowlat_syscalls);
258extern Bool VG_(clo_lowlat_signals);
259
rjwalshf5f536f2003-11-17 17:45:00 +0000260/* Track open file descriptors? */
261extern Bool VG_(clo_track_fds);
262
sewardj858964b2002-10-05 14:15:43 +0000263/* Should we run __libc_freeres at exit? Sometimes causes crashes.
264 Default: YES. Note this is subservient to VG_(needs).libc_freeres;
265 if the latter says False, then the setting of VG_(clo_weird_hacks)
266 is ignored. Ie if a skin says no, I don't want this to run, that
267 cannot be overridden from the command line. */
268extern Bool VG_(clo_run_libc_freeres);
sewardjb5ff83e2002-12-01 19:40:49 +0000269/* Use the basic-block chaining optimisation? Default: YES */
sewardj22854b92002-11-30 14:00:47 +0000270extern Bool VG_(clo_chain_bb);
fitzhardinge462f4f92003-12-18 02:10:54 +0000271/* Generate branch-prediction hints? */
272extern Bool VG_(clo_branchpred);
nethercote77eba602003-11-13 17:35:04 +0000273/* Continue stack traces below main()? Default: NO */
274extern Bool VG_(clo_show_below_main);
fitzhardinge98abfc72003-12-16 02:05:15 +0000275/* Test each client pointer dereference to check it's within the
276 client address space bounds */
277extern Bool VG_(clo_pointercheck);
sewardjde4a1d02002-03-22 01:27:54 +0000278
279/* ---------------------------------------------------------------------
280 Debugging and profiling stuff
281 ------------------------------------------------------------------ */
282
sewardjde4a1d02002-03-22 01:27:54 +0000283/* Create a logfile into which messages can be dumped. */
284extern void VG_(startup_logging) ( void );
njn25e49d8e72002-09-23 09:36:25 +0000285extern void VG_(shutdown_logging)( void );
sewardjde4a1d02002-03-22 01:27:54 +0000286
287extern void VGP_(init_profiling) ( void );
288extern void VGP_(done_profiling) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000289
njn25e49d8e72002-09-23 09:36:25 +0000290#undef VGP_PUSHCC
291#undef VGP_POPCC
292#define VGP_PUSHCC(x) if (VG_(clo_profile)) VGP_(pushcc)(x)
293#define VGP_POPCC(x) if (VG_(clo_profile)) VGP_(popcc)(x)
sewardjde4a1d02002-03-22 01:27:54 +0000294
sewardjde4a1d02002-03-22 01:27:54 +0000295/* ---------------------------------------------------------------------
njn810086f2002-11-14 12:42:47 +0000296 Skin-related types
297 ------------------------------------------------------------------ */
298/* These structs are not exposed to skins to mitigate possibility of
299 binary-incompatibilities when the core/skin interface changes. Instead,
300 set functions are provided (see include/vg_skin.h). */
301typedef
302 struct {
303 Char* name;
304 Char* version;
305 Char* description;
306 Char* copyright_author;
307 Char* bug_reports_to;
njn120281f2003-02-03 12:20:07 +0000308 UInt avg_translation_sizeB;
njn810086f2002-11-14 12:42:47 +0000309 }
310 VgDetails;
311
312extern VgDetails VG_(details);
313
314/* If new fields are added to this type, update:
315 * - vg_main.c:initialisation of VG_(needs)
316 * - vg_main.c:sanity_check_needs()
317 *
318 * If the name of this type or any of its fields change, update:
319 * - dependent comments (just search for "VG_(needs)").
320 */
321typedef
322 struct {
323 Bool libc_freeres;
324 Bool core_errors;
325
326 Bool skin_errors;
327 Bool basic_block_discards;
328 Bool shadow_regs;
329 Bool command_line_options;
330 Bool client_requests;
331 Bool extended_UCode;
332 Bool syscall_wrapper;
njn810086f2002-11-14 12:42:47 +0000333 Bool sanity_checks;
334 Bool data_syms;
fitzhardinge98abfc72003-12-16 02:05:15 +0000335 Bool shadow_memory;
njn810086f2002-11-14 12:42:47 +0000336 }
337 VgNeeds;
338
339extern VgNeeds VG_(needs);
340
fitzhardinge98abfc72003-12-16 02:05:15 +0000341extern void VG_(tool_init_dlsym)(void *dlhandle);
njn810086f2002-11-14 12:42:47 +0000342
fitzhardinge98abfc72003-12-16 02:05:15 +0000343#include "vg_toolint.h"
njn810086f2002-11-14 12:42:47 +0000344
345/* ---------------------------------------------------------------------
346 Exports of vg_needs.c
347 ------------------------------------------------------------------ */
348
349void VG_(sanity_check_needs)(void);
350
351/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000352 Exports of vg_malloc2.c
353 ------------------------------------------------------------------ */
354
355/* Allocation arenas.
njn3e884182003-04-15 13:03:23 +0000356
357 CORE for the core's general use.
358 SKIN for the skin to use (and the only one it uses).
359 SYMTAB for Valgrind's symbol table storage.
360 JITTER for small storage during translation.
361 CLIENT for the client's mallocs/frees, if the skin replaces glibc's
362 malloc() et al -- redzone size is chosen by the skin.
363 DEMANGLE for the C++ demangler.
364 EXECTXT for storing ExeContexts.
365 ERRORS for storing CoreErrors.
366 TRANSIENT for very short-term use. It should be empty in between uses.
367
njn25e49d8e72002-09-23 09:36:25 +0000368 When adding a new arena, remember also to add it to ensure_mm_init().
sewardjde4a1d02002-03-22 01:27:54 +0000369*/
370typedef Int ArenaId;
371
njn3e884182003-04-15 13:03:23 +0000372#define VG_N_ARENAS 9
sewardjde4a1d02002-03-22 01:27:54 +0000373
njn3e884182003-04-15 13:03:23 +0000374#define VG_AR_CORE 0
375#define VG_AR_SKIN 1
376#define VG_AR_SYMTAB 2
377#define VG_AR_JITTER 3
378#define VG_AR_CLIENT 4
379#define VG_AR_DEMANGLE 5
380#define VG_AR_EXECTXT 6
381#define VG_AR_ERRORS 7
382#define VG_AR_TRANSIENT 8
sewardjde4a1d02002-03-22 01:27:54 +0000383
njn25e49d8e72002-09-23 09:36:25 +0000384extern void* VG_(arena_malloc) ( ArenaId arena, Int nbytes );
385extern void VG_(arena_free) ( ArenaId arena, void* ptr );
njn3e884182003-04-15 13:03:23 +0000386extern void* VG_(arena_calloc) ( ArenaId arena, Int alignment,
387 Int nmemb, Int nbytes );
njn25e49d8e72002-09-23 09:36:25 +0000388extern void* VG_(arena_realloc) ( ArenaId arena, void* ptr, Int alignment,
389 Int size );
390extern void* VG_(arena_malloc_aligned) ( ArenaId aid, Int req_alignB,
sewardjde4a1d02002-03-22 01:27:54 +0000391 Int req_pszB );
392
njn8a6b6c02003-04-22 22:45:55 +0000393extern Int VG_(arena_payload_szB) ( ArenaId aid, void* payload );
394
sewardjde4a1d02002-03-22 01:27:54 +0000395extern void VG_(mallocSanityCheckAll) ( void );
396
397extern void VG_(show_all_arena_stats) ( void );
398extern Bool VG_(is_empty_arena) ( ArenaId aid );
399
sewardjecf8e102003-07-12 12:11:39 +0000400/* Returns True if aa is inside any block mmap'd /dev/zero
401 by our low-level memory manager. */
402extern Bool VG_(is_inside_segment_mmapd_by_low_level_MM)( Addr aa );
403
sewardjde4a1d02002-03-22 01:27:54 +0000404
sewardjde4a1d02002-03-22 01:27:54 +0000405/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000406 Exports of vg_intercept.c
sewardj2e93c502002-04-12 11:12:52 +0000407 ------------------------------------------------------------------ */
408
409/* This doesn't export code or data that valgrind.so needs to link
410 against. However, the scheduler does need to know the following
411 request codes. A few, publically-visible, request codes are also
njn25e49d8e72002-09-23 09:36:25 +0000412 defined in valgrind.h, and similar headers for some skins. */
sewardj2e93c502002-04-12 11:12:52 +0000413
njn4c791212003-05-02 17:53:54 +0000414#define VG_USERREQ__MALLOC 0x2001
415#define VG_USERREQ__FREE 0x2002
416
sewardj20917d82002-05-28 01:36:45 +0000417/* (Fn, Arg): Create a new thread and run Fn applied to Arg in it. Fn
418 MUST NOT return -- ever. Eventually it will do either __QUIT or
419 __WAIT_JOINER. */
420#define VG_USERREQ__APPLY_IN_NEW_THREAD 0x3001
421
422/* ( no-args ): calling thread disappears from the system forever.
423 Reclaim resources. */
424#define VG_USERREQ__QUIT 0x3002
425
426/* ( void* ): calling thread waits for joiner and returns the void* to
427 it. */
428#define VG_USERREQ__WAIT_JOINER 0x3003
429
430/* ( ThreadId, void** ): wait to join a thread. */
431#define VG_USERREQ__PTHREAD_JOIN 0x3004
432
433/* Set cancellation state and type for this thread. */
434#define VG_USERREQ__SET_CANCELSTATE 0x3005
435#define VG_USERREQ__SET_CANCELTYPE 0x3006
436
437/* ( no-args ): Test if we are at a cancellation point. */
438#define VG_USERREQ__TESTCANCEL 0x3007
439
440/* ( ThreadId, &thread_exit_wrapper is the only allowable arg ): call
441 with this arg to indicate that a cancel is now pending for the
442 specified thread. */
443#define VG_USERREQ__SET_CANCELPEND 0x3008
444
445/* Set/get detach state for this thread. */
446#define VG_USERREQ__SET_OR_GET_DETACH 0x3009
447
448#define VG_USERREQ__PTHREAD_GET_THREADID 0x300B
449#define VG_USERREQ__PTHREAD_MUTEX_LOCK 0x300C
450#define VG_USERREQ__PTHREAD_MUTEX_TRYLOCK 0x300D
451#define VG_USERREQ__PTHREAD_MUTEX_UNLOCK 0x300E
452#define VG_USERREQ__PTHREAD_COND_WAIT 0x300F
453#define VG_USERREQ__PTHREAD_COND_TIMEDWAIT 0x3010
454#define VG_USERREQ__PTHREAD_COND_SIGNAL 0x3011
455#define VG_USERREQ__PTHREAD_COND_BROADCAST 0x3012
456#define VG_USERREQ__PTHREAD_KEY_CREATE 0x3013
457#define VG_USERREQ__PTHREAD_KEY_DELETE 0x3014
sewardj00a66b12002-10-12 16:42:35 +0000458#define VG_USERREQ__PTHREAD_SETSPECIFIC_PTR 0x3015
459#define VG_USERREQ__PTHREAD_GETSPECIFIC_PTR 0x3016
sewardj20917d82002-05-28 01:36:45 +0000460#define VG_USERREQ__READ_MILLISECOND_TIMER 0x3017
461#define VG_USERREQ__PTHREAD_SIGMASK 0x3018
jsgf855d93d2003-10-13 22:26:55 +0000462#define VG_USERREQ__SIGWAIT 0x3019 /* unused */
sewardj20917d82002-05-28 01:36:45 +0000463#define VG_USERREQ__PTHREAD_KILL 0x301A
464#define VG_USERREQ__PTHREAD_YIELD 0x301B
sewardj00a66b12002-10-12 16:42:35 +0000465#define VG_USERREQ__PTHREAD_KEY_VALIDATE 0x301C
sewardj2e93c502002-04-12 11:12:52 +0000466
sewardj8ad94e12002-05-29 00:10:20 +0000467#define VG_USERREQ__CLEANUP_PUSH 0x3020
468#define VG_USERREQ__CLEANUP_POP 0x3021
sewardj870497a2002-05-29 01:06:47 +0000469#define VG_USERREQ__GET_KEY_D_AND_S 0x3022
sewardj8ad94e12002-05-29 00:10:20 +0000470
sewardjef037c72002-05-30 00:40:03 +0000471#define VG_USERREQ__NUKE_OTHER_THREADS 0x3023
sewardjefbfcdf2002-06-19 17:35:45 +0000472
473/* Ask how many signal handler returns have happened to this
474 thread. */
jsgf855d93d2003-10-13 22:26:55 +0000475#define VG_USERREQ__GET_N_SIGS_RETURNED 0x3024 /* unused */
sewardjef037c72002-05-30 00:40:03 +0000476
sewardj2cb00342002-06-28 01:46:26 +0000477/* Get/set entries for a thread's pthread_atfork stack. */
478#define VG_USERREQ__SET_FHSTACK_USED 0x3025
479#define VG_USERREQ__GET_FHSTACK_USED 0x3026
480#define VG_USERREQ__SET_FHSTACK_ENTRY 0x3027
481#define VG_USERREQ__GET_FHSTACK_ENTRY 0x3028
sewardjefbfcdf2002-06-19 17:35:45 +0000482
sewardj1fe7b002002-07-16 01:43:15 +0000483/* Denote the finish of VG_(__libc_freeres_wrapper). */
484#define VG_USERREQ__LIBC_FREERES_DONE 0x3029
fitzhardinge98abfc72003-12-16 02:05:15 +0000485#define VG_USERREQ__REGISTER_LIBC_FREERES 0x302A
486
487/* Allocate RT signals */
488#define VG_USERREQ__GET_SIGRT_MIN 0x302B
489#define VG_USERREQ__GET_SIGRT_MAX 0x302C
490#define VG_USERREQ__ALLOC_RTSIG 0x302D
491
492/* Hook for replace_malloc.o to get malloc functions */
493#define VG_USERREQ__GET_MALLOCFUNCS 0x3030
494
495/* Hook for interface to vg_inject.so */
496#define VG_USERREQ__REGISTER_REDIRECT_SYM 0x3031
497#define VG_USERREQ__REGISTER_REDIRECT_ADDR 0x3032
sewardj1fe7b002002-07-16 01:43:15 +0000498
sewardj45b4b372002-04-16 22:50:32 +0000499/* Cosmetic ... */
500#define VG_USERREQ__GET_PTHREAD_TRACE_LEVEL 0x3101
sewardj4dced352002-06-04 22:54:20 +0000501/* Log a pthread error from client-space. Cosmetic. */
502#define VG_USERREQ__PTHREAD_ERROR 0x3102
fitzhardinge39de4b42003-10-31 07:12:21 +0000503/* Internal equivalent of VALGRIND_PRINTF . */
504#define VG_USERREQ__INTERNAL_PRINTF 0x3103
505/* Internal equivalent of VALGRIND_PRINTF_BACKTRACE . */
506#define VG_USERREQ__INTERNAL_PRINTF_BACKTRACE 0x3104
sewardj45b4b372002-04-16 22:50:32 +0000507
sewardj54cacf02002-04-12 23:24:59 +0000508/*
509In vg_constants.h:
510#define VG_USERREQ__SIGNAL_RETURNS 0x4001
sewardj54cacf02002-04-12 23:24:59 +0000511*/
512
njn4c791212003-05-02 17:53:54 +0000513
fitzhardinge98abfc72003-12-16 02:05:15 +0000514struct vg_mallocfunc_info {
515 /* things vg_replace_malloc.o needs to know about */
516 Addr sk_malloc;
517 Addr sk_calloc;
518 Addr sk_realloc;
519 Addr sk_memalign;
520 Addr sk___builtin_new;
521 Addr sk___builtin_vec_new;
522 Addr sk_free;
523 Addr sk___builtin_delete;
524 Addr sk___builtin_vec_delete;
525
526 Addr arena_payload_szB;
527
528 Bool clo_sloppy_malloc;
529 Bool clo_trace_malloc;
530};
sewardj1fe7b002002-07-16 01:43:15 +0000531
fitzhardinge39de4b42003-10-31 07:12:21 +0000532__attribute__((weak))
533int
534VALGRIND_INTERNAL_PRINTF(char *format, ...)
535{
536 unsigned int _qzz_res = 0;
537 va_list vargs;
538 va_start(vargs, format);
539 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF,
540 (unsigned int)format, (unsigned int)vargs, 0, 0);
541 va_end(vargs);
542 return _qzz_res;
543}
544
545__attribute__((weak))
546int
547VALGRIND_INTERNAL_PRINTF_BACKTRACE(char *format, ...)
548{
549 unsigned int _qzz_res = 0;
550 va_list vargs;
551 va_start(vargs, format);
552 VALGRIND_MAGIC_SEQUENCE(_qzz_res, 0, VG_USERREQ__INTERNAL_PRINTF_BACKTRACE,
553 (unsigned int)format, (unsigned int)vargs, 0, 0);
554 va_end(vargs);
555 return _qzz_res;
556}
557
sewardj54cacf02002-04-12 23:24:59 +0000558
sewardj2e93c502002-04-12 11:12:52 +0000559/* ---------------------------------------------------------------------
560 Constants pertaining to the simulated CPU state, VG_(baseBlock),
561 which need to go here to avoid ugly circularities.
562 ------------------------------------------------------------------ */
563
sewardjb91ae7f2003-04-29 23:50:00 +0000564/* How big is the saved SSE/SSE2 state? Note that this subsumes the
565 FPU state. On machines without SSE, we just save/restore the FPU
566 state into the first part of this area. */
567/* A general comment about SSE save/restore: It appears that the 7th
568 word (which is the MXCSR) has to be &ed with 0x0000FFBF in order
569 that restoring from it later does not cause a GP fault (which is
570 delivered as a segfault). I guess this will have to be done
571 any time we do fxsave :-( 7th word means word offset 6 or byte
572 offset 24 from the start address of the save area.
573 */
574#define VG_SIZE_OF_SSESTATE 512
sewardj2e93c502002-04-12 11:12:52 +0000575/* ... and in words ... */
sewardjb91ae7f2003-04-29 23:50:00 +0000576#define VG_SIZE_OF_SSESTATE_W ((VG_SIZE_OF_SSESTATE+3)/4)
sewardj2e93c502002-04-12 11:12:52 +0000577
578
579/* ---------------------------------------------------------------------
njn3e884182003-04-15 13:03:23 +0000580 Exports of vg_defaults.c
581 ------------------------------------------------------------------ */
582
583extern Bool VG_(sk_malloc_called_by_scheduler);
584
585
586/* ---------------------------------------------------------------------
sewardj92a59562002-09-30 00:53:10 +0000587 Exports of vg_ldt.c
588 ------------------------------------------------------------------ */
589
590/* This is the hardware-format for a segment descriptor, ie what the
591 x86 actually deals with. It is 8 bytes long. It's ugly. */
592
593typedef struct _LDT_ENTRY {
594 union {
595 struct {
596 UShort LimitLow;
597 UShort BaseLow;
598 unsigned BaseMid : 8;
599 unsigned Type : 5;
600 unsigned Dpl : 2;
601 unsigned Pres : 1;
602 unsigned LimitHi : 4;
603 unsigned Sys : 1;
604 unsigned Reserved_0 : 1;
605 unsigned Default_Big : 1;
606 unsigned Granularity : 1;
607 unsigned BaseHi : 8;
608 } Bits;
609 struct {
610 UInt word1;
611 UInt word2;
612 } Words;
613 }
614 LdtEnt;
615} VgLdtEntry;
616
617/* Maximum number of LDT entries supported (by the x86). */
618#define VG_M_LDT_ENTRIES 8192
619/* The size of each LDT entry == sizeof(VgLdtEntry) */
620#define VG_LDT_ENTRY_SIZE 8
621
622/* Alloc & copy, and dealloc. */
623extern VgLdtEntry*
624 VG_(allocate_LDT_for_thread) ( VgLdtEntry* parent_ldt );
625extern void
626 VG_(deallocate_LDT_for_thread) ( VgLdtEntry* ldt );
627
628/* Simulate the modify_ldt syscall. */
629extern Int VG_(sys_modify_ldt) ( ThreadId tid,
630 Int func, void* ptr, UInt bytecount );
631
sewardje1042472002-09-30 12:33:11 +0000632/* Called from generated code. Given a segment selector and a virtual
633 address, return a linear address, and do limit checks too. */
634extern Addr VG_(do_useseg) ( UInt seg_selector, Addr virtual_addr );
635
sewardj92a59562002-09-30 00:53:10 +0000636
637/* ---------------------------------------------------------------------
sewardj2e93c502002-04-12 11:12:52 +0000638 Exports of vg_scheduler.c
639 ------------------------------------------------------------------ */
640
sewardj2e93c502002-04-12 11:12:52 +0000641typedef
jsgf855d93d2003-10-13 22:26:55 +0000642 enum ThreadStatus {
sewardj2e93c502002-04-12 11:12:52 +0000643 VgTs_Empty, /* this slot is not in use */
644 VgTs_Runnable, /* waiting to be scheduled */
645 VgTs_WaitJoiner, /* waiting for someone to do join on me */
646 VgTs_WaitJoinee, /* waiting for the thread I did join on */
sewardj2e93c502002-04-12 11:12:52 +0000647 VgTs_WaitMX, /* waiting on a mutex */
sewardj3b5d8862002-04-20 13:53:23 +0000648 VgTs_WaitCV, /* waiting on a condition variable */
jsgf855d93d2003-10-13 22:26:55 +0000649 VgTs_WaitSys, /* waiting for a syscall to complete */
650 VgTs_Sleeping, /* sleeping for a while */
sewardj2e93c502002-04-12 11:12:52 +0000651 }
652 ThreadStatus;
sewardj8ad94e12002-05-29 00:10:20 +0000653
654/* An entry in a threads's cleanup stack. */
655typedef
656 struct {
657 void (*fn)(void*);
658 void* arg;
659 }
660 CleanupEntry;
sewardj2cb00342002-06-28 01:46:26 +0000661
662/* An entry in a thread's fork-handler stack. */
663typedef
664 struct {
665 void (*prepare)(void);
666 void (*parent)(void);
667 void (*child)(void);
668 }
669 ForkHandlerEntry;
670
jsgf855d93d2003-10-13 22:26:55 +0000671typedef struct ProxyLWP ProxyLWP;
sewardj2cb00342002-06-28 01:46:26 +0000672
njn72718642003-07-24 08:45:32 +0000673typedef
674 struct _ThreadState {
njn25e49d8e72002-09-23 09:36:25 +0000675 /* ThreadId == 0 (and hence vg_threads[0]) is NEVER USED.
676 The thread identity is simply the index in vg_threads[].
677 ThreadId == 1 is the root thread and has the special property
678 that we don't try and allocate or deallocate its stack. For
679 convenience of generating error message, we also put the
680 ThreadId in this tid field, but be aware that it should
681 ALWAYS == the index in vg_threads[]. */
682 ThreadId tid;
sewardj2e93c502002-04-12 11:12:52 +0000683
njn25e49d8e72002-09-23 09:36:25 +0000684 /* Current scheduling status.
sewardj5f07b662002-04-23 16:52:51 +0000685
njn25e49d8e72002-09-23 09:36:25 +0000686 Complications: whenever this is set to VgTs_WaitMX, you
687 should also set .m_edx to whatever the required return value
688 is for pthread_mutex_lock / pthread_cond_timedwait for when
689 the mutex finally gets unblocked. */
690 ThreadStatus status;
sewardj2e93c502002-04-12 11:12:52 +0000691
njn25e49d8e72002-09-23 09:36:25 +0000692 /* When .status == WaitMX, points to the mutex I am waiting for.
693 When .status == WaitCV, points to the mutex associated with
694 the condition variable indicated by the .associated_cv field.
695 In all other cases, should be NULL. */
696 void* /*pthread_mutex_t* */ associated_mx;
sewardj3b5d8862002-04-20 13:53:23 +0000697
njn25e49d8e72002-09-23 09:36:25 +0000698 /* When .status == WaitCV, points to the condition variable I am
699 waiting for. In all other cases, should be NULL. */
700 void* /*pthread_cond_t* */ associated_cv;
sewardj2e93c502002-04-12 11:12:52 +0000701
njn25e49d8e72002-09-23 09:36:25 +0000702 /* If VgTs_Sleeping, this is when we should wake up, measured in
njn6c846552003-09-16 07:41:43 +0000703 milliseconds as supplied by VG_(read_millisecond_timer).
sewardj2e93c502002-04-12 11:12:52 +0000704
njn25e49d8e72002-09-23 09:36:25 +0000705 If VgTs_WaitCV, this indicates the time at which
706 pthread_cond_timedwait should wake up. If == 0xFFFFFFFF,
707 this means infinitely far in the future, viz,
708 pthread_cond_wait. */
709 UInt awaken_at;
sewardj20917d82002-05-28 01:36:45 +0000710
njn25e49d8e72002-09-23 09:36:25 +0000711 /* If VgTs_WaitJoiner, return value, as generated by joinees. */
712 void* joinee_retval;
sewardj20917d82002-05-28 01:36:45 +0000713
njn25e49d8e72002-09-23 09:36:25 +0000714 /* If VgTs_WaitJoinee, place to copy the return value to, and
715 the identity of the thread we're waiting for. */
716 void** joiner_thread_return;
717 ThreadId joiner_jee_tid;
sewardj8ad94e12002-05-29 00:10:20 +0000718
jsgf855d93d2003-10-13 22:26:55 +0000719 /* If VgTs_WaitSys, this is the result of the pre-syscall check */
720 void *sys_pre_res;
721
722 /* If VgTs_WaitSys, this is the syscall we're currently running */
723 Int syscallno;
724
725 /* Details about this thread's proxy LWP */
726 ProxyLWP *proxy;
727
njn25e49d8e72002-09-23 09:36:25 +0000728 /* Whether or not detached. */
729 Bool detached;
sewardj20917d82002-05-28 01:36:45 +0000730
njn25e49d8e72002-09-23 09:36:25 +0000731 /* Cancelability state and type. */
732 Bool cancel_st; /* False==PTH_CANCEL_DISABLE; True==.._ENABLE */
733 Bool cancel_ty; /* False==PTH_CANC_ASYNCH; True==..._DEFERRED */
734
735 /* Pointer to fn to call to do cancellation. Indicates whether
736 or not cancellation is pending. If NULL, not pending. Else
737 should be &thread_exit_wrapper(), indicating that
738 cancallation is pending. */
739 void (*cancel_pend)(void*);
sewardj2e93c502002-04-12 11:12:52 +0000740
njn25e49d8e72002-09-23 09:36:25 +0000741 /* The cleanup stack. */
742 Int custack_used;
743 CleanupEntry custack[VG_N_CLEANUPSTACK];
sewardj5f07b662002-04-23 16:52:51 +0000744
sewardj00a66b12002-10-12 16:42:35 +0000745 /* A pointer to the thread's-specific-data. This is handled almost
746 entirely from vg_libpthread.c. We just provide hooks to get and
747 set this ptr. This is either NULL, indicating the thread has
748 read/written none of its specifics so far, OR points to a
749 void*[VG_N_THREAD_KEYS], allocated and deallocated in
750 vg_libpthread.c. */
751 void** specifics_ptr;
sewardjb48e5002002-05-13 00:16:03 +0000752
njn25e49d8e72002-09-23 09:36:25 +0000753 /* This thread's blocked-signals mask. Semantics is that for a
754 signal to be delivered to this thread, the signal must not be
jsgf855d93d2003-10-13 22:26:55 +0000755 blocked by this signal mask. If more than one thread accepts a
756 signal, then it will be delivered to one at random. If all
757 threads block the signal, it will remain pending until either a
758 thread unblocks it or someone uses sigwaitsig/sigtimedwait.
759
760 sig_mask reflects what the client told us its signal mask should
761 be, but isn't necessarily the current signal mask of the proxy
762 LWP: it may have more signals blocked because of signal
763 handling, or it may be different because of sigsuspend.
764 */
njn25e49d8e72002-09-23 09:36:25 +0000765 vki_ksigset_t sig_mask;
sewardjb48e5002002-05-13 00:16:03 +0000766
jsgf855d93d2003-10-13 22:26:55 +0000767 /* Effective signal mask. This is the mask which is currently
768 applying; it may be different from sig_mask while a signal
769 handler is running.
770 */
771 vki_ksigset_t eff_sig_mask;
sewardj2e93c502002-04-12 11:12:52 +0000772
njn25e49d8e72002-09-23 09:36:25 +0000773 /* Stacks. When a thread slot is freed, we don't deallocate its
774 stack; we just leave it lying around for the next use of the
775 slot. If the next use of the slot requires a larger stack,
776 only then is the old one deallocated and a new one
777 allocated.
sewardj2e93c502002-04-12 11:12:52 +0000778
njn25e49d8e72002-09-23 09:36:25 +0000779 For the main thread (threadid == 0), this mechanism doesn't
780 apply. We don't know the size of the stack since we didn't
781 allocate it, and furthermore we never reallocate it. */
sewardj2e93c502002-04-12 11:12:52 +0000782
njn25e49d8e72002-09-23 09:36:25 +0000783 /* The allocated size of this thread's stack (permanently zero
784 if this is ThreadId == 0, since we didn't allocate its stack) */
785 UInt stack_size;
sewardj1e8cdc92002-04-18 11:37:52 +0000786
njn25e49d8e72002-09-23 09:36:25 +0000787 /* Address of the lowest word in this thread's stack. NULL means
788 not allocated yet.
789 */
790 Addr stack_base;
sewardj2e93c502002-04-12 11:12:52 +0000791
sewardj92a59562002-09-30 00:53:10 +0000792 /* Address of the highest legitimate word in this stack. This is
793 used for error messages only -- not critical for execution
794 correctness. Is is set for all stacks, specifically including
795 ThreadId == 0 (the main thread). */
njn25e49d8e72002-09-23 09:36:25 +0000796 Addr stack_highest_word;
797
sewardj92a59562002-09-30 00:53:10 +0000798 /* Pointer to this thread's Local (Segment) Descriptor Table.
799 Starts out as NULL, indicating there is no table, and we hope to
800 keep it that way. If the thread does __NR_modify_ldt to create
801 entries, we allocate a 8192-entry table at that point. This is
802 a straight copy of the Linux kernel's scheme. Don't forget to
803 deallocate this at thread exit. */
804 VgLdtEntry* ldt;
805
806 /* Saved machine context. Note the FPU state, %EIP and segment
807 registers are not shadowed.
808
809 Although the segment registers are 16 bits long, storage
810 management here, in VG_(baseBlock) and in VG_(m_state_static) is
811 simplified if we pretend they are 32 bits. */
812 UInt m_cs;
813 UInt m_ss;
814 UInt m_ds;
815 UInt m_es;
816 UInt m_fs;
817 UInt m_gs;
818
njn25e49d8e72002-09-23 09:36:25 +0000819 UInt m_eax;
820 UInt m_ebx;
821 UInt m_ecx;
822 UInt m_edx;
823 UInt m_esi;
824 UInt m_edi;
825 UInt m_ebp;
826 UInt m_esp;
827 UInt m_eflags;
828 UInt m_eip;
sewardjb91ae7f2003-04-29 23:50:00 +0000829
830 /* The SSE/FPU state. This array does not (necessarily) have the
831 required 16-byte alignment required to get stuff in/out by
832 fxsave/fxrestore. So we have to do it "by hand".
833 */
834 UInt m_sse[VG_SIZE_OF_SSESTATE_W];
njn25e49d8e72002-09-23 09:36:25 +0000835
836 UInt sh_eax;
837 UInt sh_ebx;
838 UInt sh_ecx;
839 UInt sh_edx;
840 UInt sh_esi;
841 UInt sh_edi;
842 UInt sh_ebp;
843 UInt sh_esp;
844 UInt sh_eflags;
njn72718642003-07-24 08:45:32 +0000845}
846ThreadState;
sewardj2e93c502002-04-12 11:12:52 +0000847
848
sewardj018f7622002-05-15 21:13:39 +0000849/* The thread table. */
850extern ThreadState VG_(threads)[VG_N_THREADS];
851
852/* Check that tid is in range and denotes a non-Empty thread. */
sewardjb48e5002002-05-13 00:16:03 +0000853extern Bool VG_(is_valid_tid) ( ThreadId tid );
854
sewardj018f7622002-05-15 21:13:39 +0000855/* Check that tid is in range. */
856extern Bool VG_(is_valid_or_empty_tid) ( ThreadId tid );
857
njn72718642003-07-24 08:45:32 +0000858/* Determine if 'tid' is that of the current running thread (Nb: returns
859 False if no thread is currently running. */
860extern Bool VG_(is_running_thread)(ThreadId tid);
861
jsgf855d93d2003-10-13 22:26:55 +0000862/* Get the ThreadState for a particular thread */
863extern ThreadState *VG_(get_ThreadState)(ThreadId tid);
864
sewardj2e93c502002-04-12 11:12:52 +0000865/* Copy the specified thread's state into VG_(baseBlock) in
866 preparation for running it. */
867extern void VG_(load_thread_state)( ThreadId );
868
869/* Save the specified thread's state back in VG_(baseBlock), and fill
870 VG_(baseBlock) with junk, for sanity-check reasons. */
871extern void VG_(save_thread_state)( ThreadId );
872
sewardj1e8cdc92002-04-18 11:37:52 +0000873/* And for the currently running one, if valid. */
874extern ThreadState* VG_(get_current_thread_state) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000875
sewardj1e8cdc92002-04-18 11:37:52 +0000876/* Similarly ... */
877extern ThreadId VG_(get_current_tid) ( void );
878
sewardjccef2e62002-05-29 19:26:32 +0000879/* Nuke all threads except tid. */
880extern void VG_(nuke_all_threads_except) ( ThreadId me );
881
jsgf855d93d2003-10-13 22:26:55 +0000882/* Give a hint to the scheduler that it may be a good time to find a
883 new runnable thread. If prefer_sched != VG_INVALID_THREADID, then
884 try to schedule that thread.
885*/
886extern void VG_(need_resched) ( ThreadId prefer_sched );
887
888/* Add a new timeout event for a thread*/
889extern void VG_(add_timeout) ( ThreadId tid, UInt time );
sewardj2e93c502002-04-12 11:12:52 +0000890
891/* Return codes from the scheduler. */
892typedef
sewardj7e87e382002-05-03 19:09:05 +0000893 enum {
894 VgSrc_Deadlock, /* no runnable threads and no prospect of any
895 even if we wait for a long time */
896 VgSrc_ExitSyscall, /* client called exit(). This is the normal
897 route out. */
jsgf855d93d2003-10-13 22:26:55 +0000898 VgSrc_BbsDone, /* In a debugging run, the specified number of
sewardj7e87e382002-05-03 19:09:05 +0000899 bbs has been completed. */
jsgf855d93d2003-10-13 22:26:55 +0000900 VgSrc_FatalSig /* Killed by the default action of a fatal
901 signal */
sewardj7e87e382002-05-03 19:09:05 +0000902 }
sewardj2e93c502002-04-12 11:12:52 +0000903 VgSchedReturnCode;
904
sewardj7e87e382002-05-03 19:09:05 +0000905
sewardj2e93c502002-04-12 11:12:52 +0000906/* The scheduler. */
907extern VgSchedReturnCode VG_(scheduler) ( void );
908
909extern void VG_(scheduler_init) ( void );
910
sewardj15a43e12002-04-17 19:35:12 +0000911extern void VG_(pp_sched_status) ( void );
sewardj2e93c502002-04-12 11:12:52 +0000912
913/* vg_oursignalhandler() might longjmp(). Here's the jmp_buf. */
914extern jmp_buf VG_(scheduler_jmpbuf);
sewardj872051c2002-07-13 12:12:56 +0000915/* This says whether scheduler_jmpbuf is actually valid. Needed so
916 that our signal handler doesn't longjmp when the buffer isn't
917 actually valid. */
918extern Bool VG_(scheduler_jmpbuf_valid);
sewardj2e93c502002-04-12 11:12:52 +0000919/* ... and if so, here's the signal which caused it to do so. */
920extern Int VG_(longjmpd_on_signal);
921
922
sewardj2e93c502002-04-12 11:12:52 +0000923/* The red-zone size which we put at the bottom (highest address) of
924 thread stacks, for paranoia reasons. This can be arbitrary, and
925 doesn't really need to be set at compile time. */
926#define VG_AR_CLIENT_STACKBASE_REDZONE_SZW 4
927
928#define VG_AR_CLIENT_STACKBASE_REDZONE_SZB \
929 (VG_AR_CLIENT_STACKBASE_REDZONE_SZW * VKI_BYTES_PER_WORD)
930
njn25e49d8e72002-09-23 09:36:25 +0000931/* Junk to fill up a thread's shadow regs with when shadow regs aren't
njnd3040452003-05-19 15:04:06 +0000932 being used. */
njn25e49d8e72002-09-23 09:36:25 +0000933#define VG_UNUSED_SHADOW_REG_VALUE 0x27182818
njnd3040452003-05-19 15:04:06 +0000934/* For sanity checking: if this ends up in a thread's shadow regs when
935 shadow regs aren't being used, something went wrong. */
936#define VG_USED_SHADOW_REG_VALUE 0x31415927
njn25e49d8e72002-09-23 09:36:25 +0000937
njnd3040452003-05-19 15:04:06 +0000938/* Write a value to a client's thread register, and shadow (if necessary) */
939#define SET_THREAD_REG( zztid, zzval, zzreg, zzREG, zzevent, zzargs... ) \
940 do { VG_(threads)[zztid].m_##zzreg = (zzval); \
941 VG_TRACK( zzevent, zztid, R_##zzREG, ##zzargs ); \
sewardj018f7622002-05-15 21:13:39 +0000942 } while (0)
943
njnd3040452003-05-19 15:04:06 +0000944#define SET_SYSCALL_RETVAL(zztid, zzval) \
945 SET_THREAD_REG(zztid, zzval, eax, EAX, post_reg_write_syscall_return)
946
947#define SET_SIGNAL_EDX(zztid, zzval) \
948 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_deliver_signal)
949
950#define SET_SIGNAL_ESP(zztid, zzval) \
951 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_deliver_signal)
952
953#define SET_CLREQ_RETVAL(zztid, zzval) \
954 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientreq_return)
955
956#define SET_CLCALL_RETVAL(zztid, zzval, f) \
957 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_clientcall_return, f)
958
959#define SET_PTHREQ_ESP(zztid, zzval) \
960 SET_THREAD_REG(zztid, zzval, esp, ESP, post_reg_write_pthread_return)
961
962#define SET_PTHREQ_RETVAL(zztid, zzval) \
963 SET_THREAD_REG(zztid, zzval, edx, EDX, post_reg_write_pthread_return)
sewardj018f7622002-05-15 21:13:39 +0000964
sewardj2e93c502002-04-12 11:12:52 +0000965
sewardjd8acdf22002-11-13 21:57:52 +0000966/* This is or'd into a pthread mutex's __m_kind field if it is used
967 before Valgrind is up and running (prehistory). This is used so
968 that if some early code (like the dynamic linker) takes a lock
969 before Valgrind starts and then releases it afterwards, we can work
970 out what's happening. */
971#define VG_PTHREAD_PREHISTORY 0x80000000
972
sewardj2e93c502002-04-12 11:12:52 +0000973/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +0000974 Exports of vg_signals.c
975 ------------------------------------------------------------------ */
976
jsgf855d93d2003-10-13 22:26:55 +0000977extern Bool VG_(do_signal_routing); /* whether scheduler LWP has to route signals */
978
979/* RT signal allocation */
980extern Int VG_(sig_rtmin);
981extern Int VG_(sig_rtmax);
982extern Int VG_(sig_alloc_rtsig) ( Int high );
983
sewardjde4a1d02002-03-22 01:27:54 +0000984extern void VG_(sigstartup_actions) ( void );
sewardj839299f2003-06-14 11:57:59 +0000985extern void VG_(sigshutdown_actions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000986
jsgf855d93d2003-10-13 22:26:55 +0000987extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
sewardjde4a1d02002-03-22 01:27:54 +0000988extern void VG_(unblock_host_signal) ( Int sigNo );
sewardj018f7622002-05-15 21:13:39 +0000989extern void VG_(handle_SCSS_change) ( Bool force_update );
990
jsgf855d93d2003-10-13 22:26:55 +0000991extern Bool VG_(is_sig_ign) ( Int sigNo );
992
993/* Route pending signals from the scheduler LWP to the appropriate
994 thread LWP. */
995extern void VG_(route_signals) ( void );
sewardjde4a1d02002-03-22 01:27:54 +0000996
997/* Fake system calls for signal handling. */
sewardj2342c972002-05-22 23:34:20 +0000998extern void VG_(do__NR_sigaltstack) ( ThreadId tid );
sewardj2e93c502002-04-12 11:12:52 +0000999extern void VG_(do__NR_sigaction) ( ThreadId tid );
sewardj018f7622002-05-15 21:13:39 +00001000extern void VG_(do__NR_sigprocmask) ( ThreadId tid,
1001 Int how,
1002 vki_ksigset_t* set,
1003 vki_ksigset_t* oldset );
1004extern void VG_(do_pthread_sigmask_SCSS_upd) ( ThreadId tid,
1005 Int how,
1006 vki_ksigset_t* set,
1007 vki_ksigset_t* oldset );
1008extern void VG_(send_signal_to_thread) ( ThreadId thread,
1009 Int signo );
sewardjde4a1d02002-03-22 01:27:54 +00001010
sewardjefbfcdf2002-06-19 17:35:45 +00001011extern void VG_(do_sigpending) ( ThreadId tid, vki_ksigset_t* set );
1012
1013
sewardj2e93c502002-04-12 11:12:52 +00001014/* Modify the current thread's state once we have detected it is
1015 returning from a signal handler. */
sewardj77e466c2002-04-14 02:29:29 +00001016extern Bool VG_(signal_returns) ( ThreadId );
sewardjde4a1d02002-03-22 01:27:54 +00001017
sewardj2e93c502002-04-12 11:12:52 +00001018/* Handy utilities to block/restore all host signals. */
1019extern void VG_(block_all_host_signals)
1020 ( /* OUT */ vki_ksigset_t* saved_mask );
sewardj018f7622002-05-15 21:13:39 +00001021extern void VG_(restore_all_host_signals)
sewardj2e93c502002-04-12 11:12:52 +00001022 ( /* IN */ vki_ksigset_t* saved_mask );
sewardjde4a1d02002-03-22 01:27:54 +00001023
jsgf855d93d2003-10-13 22:26:55 +00001024extern vki_ksiginfo_t VG_(unresumable_siginfo);
1025
1026extern void VG_(kill_self)(Int sigNo);
1027
sewardjde4a1d02002-03-22 01:27:54 +00001028/* ---------------------------------------------------------------------
1029 Exports of vg_mylibc.c
1030 ------------------------------------------------------------------ */
1031
njne427a662002-10-02 11:08:25 +00001032#define vg_assert(expr) \
1033 ((void) ((expr) ? 0 : \
1034 (VG_(core_assert_fail) (VG__STRING(expr), \
1035 __FILE__, __LINE__, \
1036 __PRETTY_FUNCTION__), 0)))
1037__attribute__ ((__noreturn__))
daywalker3222e0a2003-09-18 01:39:50 +00001038extern void VG_(core_assert_fail) ( const Char* expr, const Char* file,
1039 Int line, const Char* fn );
njne427a662002-10-02 11:08:25 +00001040__attribute__ ((__noreturn__))
1041extern void VG_(core_panic) ( Char* str );
sewardjde4a1d02002-03-22 01:27:54 +00001042
njn25e49d8e72002-09-23 09:36:25 +00001043/* VG_(brk) not public so skins cannot screw with curr_dataseg_end */
1044extern void* VG_(brk) ( void* end_data_segment );
sewardjde4a1d02002-03-22 01:27:54 +00001045
njn25e49d8e72002-09-23 09:36:25 +00001046/* Skins use VG_(strdup)() which doesn't expose ArenaId */
1047extern Char* VG_(arena_strdup) ( ArenaId aid, const Char* s);
sewardjde4a1d02002-03-22 01:27:54 +00001048
njn25e49d8e72002-09-23 09:36:25 +00001049/* Skins shouldn't need these...(?) */
sewardj5f07b662002-04-23 16:52:51 +00001050extern void VG_(start_rdtsc_calibration) ( void );
1051extern void VG_(end_rdtsc_calibration) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001052
njn25e49d8e72002-09-23 09:36:25 +00001053extern Int VG_(fcntl) ( Int fd, Int cmd, Int arg );
sewardj2e93c502002-04-12 11:12:52 +00001054extern Int VG_(select)( Int n,
1055 vki_fd_set* readfds,
1056 vki_fd_set* writefds,
1057 vki_fd_set* exceptfds,
1058 struct vki_timeval * timeout );
jsgf855d93d2003-10-13 22:26:55 +00001059extern Int VG_(poll)( struct vki_pollfd *, UInt nfds, Int timeout);
sewardj2e93c502002-04-12 11:12:52 +00001060extern Int VG_(nanosleep)( const struct vki_timespec *req,
1061 struct vki_timespec *rem );
1062
fitzhardinge98abfc72003-12-16 02:05:15 +00001063/* system/mman.h */
1064extern void* VG_(mmap)( void* start, UInt length,
1065 UInt prot, UInt flags, UInt fd, UInt offset );
1066extern Int VG_(munmap)( void* start, Int length );
1067extern Int VG_(mprotect)( void *start, Int length, UInt prot );
1068
1069
jsgf855d93d2003-10-13 22:26:55 +00001070/* Move an fd into the Valgrind-safe range */
1071Int VG_(safe_fd)(Int oldfd);
1072
sewardj570f8902002-11-03 11:44:36 +00001073extern Int VG_(write_socket)( Int sd, void *msg, Int count );
sewardj73cf3bc2002-11-03 03:20:15 +00001074
1075/* --- Connecting over the network --- */
1076extern Int VG_(connect_via_socket)( UChar* str );
1077
fitzhardinge98abfc72003-12-16 02:05:15 +00001078/* Environment manipulations */
1079extern Char* VG_(env_getenv) ( Char **env, Char* varname );
1080extern Char **VG_(env_setenv) ( Char ***envp, const Char* varname, const Char *val );
1081extern void VG_(env_unsetenv) ( Char **env, const Char *varname );
sewardj570f8902002-11-03 11:44:36 +00001082
1083/* ---------------------------------------------------------------------
1084 Exports of vg_message.c
1085 ------------------------------------------------------------------ */
1086
1087/* Low-level -- send bytes directly to the message sink. Do not
1088 use. */
1089extern void VG_(send_bytes_to_logging_sink) ( Char* msg, Int nbytes );
1090
1091
sewardjde4a1d02002-03-22 01:27:54 +00001092/* ---------------------------------------------------------------------
1093 Definitions for the JITter (vg_translate.c, vg_to_ucode.c,
1094 vg_from_ucode.c).
1095 ------------------------------------------------------------------ */
1096
sewardjde4a1d02002-03-22 01:27:54 +00001097#define VG_IS_FLAG_SUBSET(set1,set2) \
1098 (( ((FlagSet)set1) & ((FlagSet)set2) ) == ((FlagSet)set1) )
1099
1100#define VG_UNION_FLAG_SETS(set1,set2) \
1101 ( ((FlagSet)set1) | ((FlagSet)set2) )
1102
sewardjde4a1d02002-03-22 01:27:54 +00001103/* ---------------------------------------------------------------------
1104 Exports of vg_demangle.c
1105 ------------------------------------------------------------------ */
1106
1107extern void VG_(demangle) ( Char* orig, Char* result, Int result_size );
1108
sewardjde4a1d02002-03-22 01:27:54 +00001109/* ---------------------------------------------------------------------
1110 Exports of vg_from_ucode.c
1111 ------------------------------------------------------------------ */
1112
sewardj22854b92002-11-30 14:00:47 +00001113extern UChar* VG_(emit_code) ( UCodeBlock* cb, Int* nbytes, UShort jumps[VG_MAX_JUMPS] );
sewardjde4a1d02002-03-22 01:27:54 +00001114
njn25e49d8e72002-09-23 09:36:25 +00001115extern void VG_(print_ccall_stats) ( void );
1116extern void VG_(print_UInstr_histogram) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001117
sewardj22854b92002-11-30 14:00:47 +00001118extern void VG_(unchain_jumpsite) ( Addr jumpsite );
1119extern Addr VG_(get_jmp_dest) ( Addr jumpsite );
1120extern Bool VG_(is_unchained_jumpsite) ( Addr jumpsite );
1121extern Bool VG_(is_chained_jumpsite) ( Addr jumpsite );
1122
sewardjde4a1d02002-03-22 01:27:54 +00001123/* ---------------------------------------------------------------------
1124 Exports of vg_to_ucode.c
1125 ------------------------------------------------------------------ */
1126
1127extern Int VG_(disBB) ( UCodeBlock* cb, Addr eip0 );
sewardjde4a1d02002-03-22 01:27:54 +00001128
1129/* ---------------------------------------------------------------------
1130 Exports of vg_translate.c
1131 ------------------------------------------------------------------ */
1132
njn810086f2002-11-14 12:42:47 +00001133/* Expandable arrays of uinstrs. */
1134struct _UCodeBlock {
sewardj22854b92002-11-30 14:00:47 +00001135 Addr orig_eip;
njn810086f2002-11-14 12:42:47 +00001136 Int used;
1137 Int size;
1138 UInstr* instrs;
1139 Int nextTemp;
1140};
1141
1142extern UCodeBlock* VG_(alloc_UCodeBlock) ( void );
1143
njn72718642003-07-24 08:45:32 +00001144extern void VG_(translate) ( ThreadId tid,
sewardj1e8cdc92002-04-18 11:37:52 +00001145 Addr orig_addr,
sewardjde4a1d02002-03-22 01:27:54 +00001146 UInt* orig_size,
1147 Addr* trans_addr,
sewardj22854b92002-11-30 14:00:47 +00001148 UInt* trans_size,
1149 UShort jumps[VG_MAX_JUMPS]);
sewardjde4a1d02002-03-22 01:27:54 +00001150
njn25e49d8e72002-09-23 09:36:25 +00001151extern Bool VG_(saneUInstr) ( Bool beforeRA, Bool beforeLiveness,
1152 UInstr* u );
1153extern void VG_(saneUCodeBlock) ( UCodeBlock* cb );
1154extern Bool VG_(saneUCodeBlockCalls) ( UCodeBlock* cb );
sewardjde4a1d02002-03-22 01:27:54 +00001155
sewardjb5ff83e2002-12-01 19:40:49 +00001156
sewardjde4a1d02002-03-22 01:27:54 +00001157/* ---------------------------------------------------------------------
1158 Exports of vg_execontext.c.
1159 ------------------------------------------------------------------ */
1160
1161/* Records the PC and a bit of the call chain. The first 4 %eip
1162 values are used in comparisons do remove duplicate errors, and for
1163 comparing against suppression specifications. The rest are purely
1164 informational (but often important). */
1165
njn25e49d8e72002-09-23 09:36:25 +00001166struct _ExeContext {
1167 struct _ExeContext * next;
1168 /* Variable-length array. The size is VG_(clo_backtrace_size); at
njn6c846552003-09-16 07:41:43 +00001169 least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current %eip,
njn25e49d8e72002-09-23 09:36:25 +00001170 [1] is its caller, [2] is the caller of [1], etc. */
1171 Addr eips[0];
1172};
sewardjde4a1d02002-03-22 01:27:54 +00001173
1174
sewardjde4a1d02002-03-22 01:27:54 +00001175/* Print stats (informational only). */
1176extern void VG_(show_ExeContext_stats) ( void );
1177
njn25e49d8e72002-09-23 09:36:25 +00001178/* Like VG_(get_ExeContext), but with a slightly different type */
1179extern ExeContext* VG_(get_ExeContext2) ( Addr eip, Addr ebp,
1180 Addr ebp_min, Addr ebp_max );
sewardjde4a1d02002-03-22 01:27:54 +00001181
1182
1183/* ---------------------------------------------------------------------
1184 Exports of vg_errcontext.c.
1185 ------------------------------------------------------------------ */
1186
njn25e49d8e72002-09-23 09:36:25 +00001187/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1188 * effectively extend it by defining their own enums in the (0..) range. */
sewardjde4a1d02002-03-22 01:27:54 +00001189typedef
njn25e49d8e72002-09-23 09:36:25 +00001190 enum {
1191 PThreadSupp = -1, /* Matches PThreadErr */
sewardjde4a1d02002-03-22 01:27:54 +00001192 }
njn25e49d8e72002-09-23 09:36:25 +00001193 CoreSuppKind;
1194
1195/* For each caller specified for a suppression, record the nature of
1196 the caller name. Not of interest to skins. */
1197typedef
1198 enum {
1199 ObjName, /* Name is of an shared object file. */
1200 FunName /* Name is of a function. */
1201 }
1202 SuppLocTy;
1203
njn810086f2002-11-14 12:42:47 +00001204/* Suppressions. Skins can get/set skin-relevant parts with functions
1205 declared in include/vg_skin.h. Extensible via the 'extra' field.
1206 Skins can use a normal enum (with element values in the normal range
1207 (0..)) for `skind'. */
1208struct _Supp {
1209 struct _Supp* next;
1210 /* The number of times this error has been suppressed. */
1211 Int count;
1212 /* The name by which the suppression is referred to. */
1213 Char* sname;
1214 /* First two (name of fn where err occurs, and immediate caller)
1215 * are mandatory; extra two are optional. */
1216 SuppLocTy caller_ty[VG_N_SUPP_CALLERS];
1217 Char* caller [VG_N_SUPP_CALLERS];
1218
1219 /* The skin-specific part */
1220 /* What kind of suppression. Must use the range (0..) */
1221 SuppKind skind;
1222 /* String -- use is optional. NULL by default. */
1223 Char* string;
1224 /* Anything else -- use is optional. NULL by default. */
1225 void* extra;
1226};
njn25e49d8e72002-09-23 09:36:25 +00001227
1228/* Note: it is imperative this doesn't overlap with (0..) at all, as skins
1229 * effectively extend it by defining their own enums in the (0..) range. */
1230typedef
1231 enum {
1232 PThreadErr = -1, /* Pthreading error */
1233 }
1234 CoreErrorKind;
1235
njn810086f2002-11-14 12:42:47 +00001236/* Errors. Extensible (via the 'extra' field). Skins can use a normal
1237 enum (with element values in the normal range (0..)) for `ekind'.
1238 Functions for getting/setting the skin-relevant fields are in
1239 include/vg_skin.h.
1240
1241 When errors are found and recorded with VG_(maybe_record_error)(), all
1242 the skin must do is pass in the four parameters; core will
1243 allocate/initialise the error record.
1244*/
1245struct _Error {
1246 struct _Error* next;
1247 /* NULL if unsuppressed; or ptr to suppression record. */
1248 Supp* supp;
1249 Int count;
njn810086f2002-11-14 12:42:47 +00001250 ThreadId tid;
njn810086f2002-11-14 12:42:47 +00001251
1252 /* The skin-specific part */
njnae17bec2003-01-28 19:59:38 +00001253 /* Initialised by core */
1254 ExeContext* where;
njn810086f2002-11-14 12:42:47 +00001255 /* Used by ALL. Must be in the range (0..) */
1256 Int ekind;
1257 /* Used frequently */
1258 Addr addr;
1259 /* Used frequently */
1260 Char* string;
1261 /* For any skin-specific extras */
1262 void* extra;
1263};
sewardjde4a1d02002-03-22 01:27:54 +00001264
1265
njn25e49d8e72002-09-23 09:36:25 +00001266extern void VG_(load_suppressions) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001267
njn25e49d8e72002-09-23 09:36:25 +00001268extern void VG_(record_pthread_error) ( ThreadId tid, Char* msg );
sewardjde4a1d02002-03-22 01:27:54 +00001269
njn25e49d8e72002-09-23 09:36:25 +00001270extern void VG_(show_all_errors) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001271
njn43c799e2003-04-08 00:08:52 +00001272extern Bool VG_(is_action_requested) ( Char* action, Bool* clo );
1273
1274extern void VG_(gen_suppression) ( Error* err );
sewardj99aac972002-12-26 01:53:45 +00001275
njn47363ab2003-04-21 13:24:40 +00001276extern UInt VG_(n_errs_found);
1277
sewardjde4a1d02002-03-22 01:27:54 +00001278/* ---------------------------------------------------------------------
1279 Exports of vg_procselfmaps.c
1280 ------------------------------------------------------------------ */
1281
njnfa1016e2003-09-25 17:54:11 +00001282/* Reads /proc/self/maps into a static buffer which can be parsed by
1283 VG_(parse_procselfmaps)(). */
1284extern void VG_(read_procselfmaps) ( void );
njn3e884182003-04-15 13:03:23 +00001285
1286/* Parses /proc/self/maps, calling `record_mapping' for each entry. If
1287 `read_from_file' is True, /proc/self/maps is read directly, otherwise
1288 it's read from the buffer filled by VG_(read_procselfmaps_contents)(). */
sewardjde4a1d02002-03-22 01:27:54 +00001289extern
njnfa1016e2003-09-25 17:54:11 +00001290void VG_(parse_procselfmaps) (
fitzhardinge98abfc72003-12-16 02:05:15 +00001291 void (*record_mapping)( Addr addr, UInt len, Char rr, Char ww, Char xx,
1292 UInt dev, UInt ino, ULong foff, const UChar *filename )
sewardjde4a1d02002-03-22 01:27:54 +00001293);
1294
1295
1296/* ---------------------------------------------------------------------
1297 Exports of vg_symtab2.c
1298 ------------------------------------------------------------------ */
1299
fitzhardinge98abfc72003-12-16 02:05:15 +00001300typedef struct _Segment Segment;
1301
1302extern Bool VG_(is_object_file) ( const void *hdr );
njnfa1016e2003-09-25 17:54:11 +00001303extern void VG_(mini_stack_dump) ( Addr eips[], UInt n_eips );
fitzhardinge98abfc72003-12-16 02:05:15 +00001304extern SegInfo * VG_(read_seg_symbols) ( Segment *seg );
njnfa1016e2003-09-25 17:54:11 +00001305extern void VG_(unload_symbols) ( Addr start, UInt length );
fitzhardinge98abfc72003-12-16 02:05:15 +00001306extern void VG_(symtab_incref) ( SegInfo * );
1307extern void VG_(symtab_decref) ( SegInfo *, Addr a, UInt len );
sewardjde4a1d02002-03-22 01:27:54 +00001308
njn25e49d8e72002-09-23 09:36:25 +00001309extern Bool VG_(get_fnname_nodemangle)( Addr a, Char* fnname, Int n_fnname );
sewardj25c7c3a2003-07-10 00:17:58 +00001310
fitzhardinge98abfc72003-12-16 02:05:15 +00001311/* Set up some default redirects */
1312extern void VG_(setup_code_redirect_table) ( void );
sewardj25c7c3a2003-07-10 00:17:58 +00001313
fitzhardinge98abfc72003-12-16 02:05:15 +00001314/* Redirection machinery */
1315extern void VG_(add_redirect_sym)(const Char *from_lib, const Char *from_sym,
1316 const Char *to_lib, const Char *to_sym);
1317extern void VG_(add_redirect_addr)(const Char *from_lib, const Char *from_sym,
1318 Addr to_addr);
1319extern Addr VG_(code_redirect) (Addr orig);
sewardjde4a1d02002-03-22 01:27:54 +00001320
1321/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001322 Exports of vg_main.c
1323 ------------------------------------------------------------------ */
1324
fitzhardinge98abfc72003-12-16 02:05:15 +00001325/* structure used for transporting values from stage2 into Valgrind
1326 proper */
1327typedef struct {
1328 Addr client_esp; /* initial client ESP */
1329 Addr client_eip; /* initial client EIP */
1330 Char **client_envp; /* client envp */
1331 UInt *client_auxv; /* client auxv */
1332 Addr client_brkbase; /* initial value of brk */
1333
1334 Int argc; /* Valgrind's argc/argv */
1335 Char **argv;
1336 const Char *libdir; /* library directory */
1337
fitzhardingea49f9b52003-12-16 22:26:45 +00001338 Int vgexecfd; /* fd of our own (stage1) executable */
1339 Int clexecfd; /* fd of the client executable */
fitzhardinge98abfc72003-12-16 02:05:15 +00001340
1341 Addr client_base; /* start of client address space */
1342 Addr client_end; /* end of client address space */
1343 Addr client_mapbase; /* base address of !MAP_FIXED mappings */
fitzhardinge92360792003-12-24 10:11:11 +00001344 Addr clstk_base; /* lowest address of client stack */
1345 Addr clstk_end; /* highest address of client stack */
1346 Addr cl_tramp_code; /* syscall+signal trampoline code */
1347
fitzhardinge98abfc72003-12-16 02:05:15 +00001348 Addr shadow_base; /* start of skin's shadow memory */
1349 Addr shadow_end; /* end of skin's shadow memory */
fitzhardinge92360792003-12-24 10:11:11 +00001350
fitzhardinge98abfc72003-12-16 02:05:15 +00001351 Addr vg_base; /* start of Valgrind's memory */
1352 Addr vg_mmap_end; /* end of Valgrind's mmap area */
1353 Addr vg_end; /* end of Valgrind's memory */
fitzhardinge98abfc72003-12-16 02:05:15 +00001354} KickstartParams;
1355
1356/* Entrypoint for kickstart */
1357typedef void (kickstart_main_t)(const KickstartParams *kp,
1358 void (*tool_init)(void), void *tool_dlhandle);
1359extern kickstart_main_t VG_(main);
1360
1361extern void VG_(usage)(void);
1362
sewardjb91ae7f2003-04-29 23:50:00 +00001363/* Is this a SSE/SSE2-capable CPU? If so, we had better save/restore
1364 the SSE state all over the place. This is set up very early, in
1365 vg_startup.S. We have to determine it early since we can't even
1366 correctly snapshot the startup machine state without it. */
1367extern Bool VG_(have_ssestate);
1368
sewardj73cf3bc2002-11-03 03:20:15 +00001369/* Tell the logging mechanism whether we are logging to a file
1370 descriptor or a socket descriptor. */
1371extern Bool VG_(logging_to_filedes);
1372
njn25e49d8e72002-09-23 09:36:25 +00001373/* Sanity checks which may be done at any time. The scheduler decides when. */
1374extern void VG_(do_sanity_checks) ( Bool force_expensive );
1375
fitzhardinge98abfc72003-12-16 02:05:15 +00001376/* Address space */
1377extern Addr VG_(client_base); /* client address space limits */
1378extern Addr VG_(client_end);
1379extern Addr VG_(client_mapbase); /* base of mappings */
1380extern Addr VG_(clstk_base); /* client stack range */
1381extern Addr VG_(clstk_end);
fitzhardinge92360792003-12-24 10:11:11 +00001382extern Addr VG_(client_trampoline_code);
1383
fitzhardinge98abfc72003-12-16 02:05:15 +00001384extern Addr VG_(brk_base); /* start of brk */
1385extern Addr VG_(brk_limit); /* current brk */
1386extern Addr VG_(shadow_base); /* skin's shadow memory */
1387extern Addr VG_(shadow_end);
1388extern Addr VG_(valgrind_base); /* valgrind's address range */
1389extern Addr VG_(valgrind_mmap_end);
1390extern Addr VG_(valgrind_end);
1391
1392/* stage1 executable file descriptor */
fitzhardingea49f9b52003-12-16 22:26:45 +00001393extern Int VG_(vgexecfd);
1394
1395/* client executable file descriptor */
1396extern Int VG_(clexecfd);
fitzhardinge98abfc72003-12-16 02:05:15 +00001397
1398/* Path to all our library/aux files */
1399extern const Char *VG_(libdir);
1400
sewardjde4a1d02002-03-22 01:27:54 +00001401/* A structure used as an intermediary when passing the simulated
1402 CPU's state to some assembly fragments, particularly system calls.
1403 Stuff is copied from baseBlock to here, the assembly magic runs,
sewardjb91ae7f2003-04-29 23:50:00 +00001404 and then the inverse copy is done. Alignment: the SSE state must
1405 be 16-byte aligned. We ask for the whole struct to be 16-byte
1406 aligned, and the SSE state starts at the 6+8+1+1th == 16th word,
1407 so it too must be 16-byte aligned. Consequence: change this struct
1408 only _very carefully_ ! See also above comment re masking MXCSR.
1409*/
1410__attribute__ ((aligned (16)))
sewardj92a59562002-09-30 00:53:10 +00001411extern UInt VG_(m_state_static) [6 /* segment regs, Intel order */
1412 + 8 /* int regs, in Intel order */
sewardjde4a1d02002-03-22 01:27:54 +00001413 + 1 /* %eflags */
1414 + 1 /* %eip */
sewardjb91ae7f2003-04-29 23:50:00 +00001415 + VG_SIZE_OF_SSESTATE_W /* SSE state */
sewardjde4a1d02002-03-22 01:27:54 +00001416 ];
1417
1418/* Handy fns for doing the copy back and forth. */
1419extern void VG_(copy_baseBlock_to_m_state_static) ( void );
1420extern void VG_(copy_m_state_static_to_baseBlock) ( void );
1421
njn9b007f62003-04-07 14:40:25 +00001422/* Determine if %esp adjustment must be noted */
njnf4ce3d32003-02-10 10:17:26 +00001423extern Bool VG_(need_to_handle_esp_assignment) ( void );
1424
sewardjde4a1d02002-03-22 01:27:54 +00001425/* Called when some unhandleable client behaviour is detected.
1426 Prints a msg and aborts. */
njn25e49d8e72002-09-23 09:36:25 +00001427extern void VG_(unimplemented) ( Char* msg )
1428 __attribute__((__noreturn__));
sewardjde4a1d02002-03-22 01:27:54 +00001429
njn25e49d8e72002-09-23 09:36:25 +00001430/* Similarly, we have to ask for signals to be delivered on an alternative
1431 stack, since it is possible, although unlikely, that we'll have to run
1432 client code from inside the Valgrind-installed signal handler. If this
1433 happens it will be done by vg_deliver_signal_immediately(). */
njn6eba4ef2003-05-01 08:06:41 +00001434extern UInt VG_(sigstack)[VG_SIGSTACK_SIZE_W];
sewardjde4a1d02002-03-22 01:27:54 +00001435
fitzhardinge98abfc72003-12-16 02:05:15 +00001436/* Valgrind's argc and argv */
1437extern Int VG_(vg_argc);
1438extern Char **VG_(vg_argv);
1439
sewardjde4a1d02002-03-22 01:27:54 +00001440/* Holds client's %esp at the point we gained control. From this the
1441 client's argc, argv and envp are deduced. */
1442extern Addr VG_(esp_at_startup);
sewardjde4a1d02002-03-22 01:27:54 +00001443
sewardjd5815ec2003-04-06 12:23:27 +00001444/* Indicates presence, and holds address of client's sysinfo page, a
1445 feature of some modern kernels used to provide vsyscalls, etc. */
1446extern Bool VG_(sysinfo_page_exists);
1447extern Addr VG_(sysinfo_page_addr);
1448
fitzhardinge98abfc72003-12-16 02:05:15 +00001449/* Walk through a colon separated list variable, removing entries
1450 which match pattern. */
1451extern void VG_(mash_colon_env)(Char *varp, const Char *pattern);
sewardjde4a1d02002-03-22 01:27:54 +00001452
1453/* Something of a function looking for a home ... start up GDB. This
1454 is called from VG_(swizzle_esp_then_start_GDB) and so runs on the
1455 *client's* stack. This is necessary to give GDB the illusion that
1456 the client program really was running on the real cpu. */
1457extern void VG_(start_GDB_whilst_on_client_stack) ( void );
1458
njn41557122002-10-14 09:25:37 +00001459/* VG_(bbs_done) in include/vg_skin.h */
1460
sewardjde4a1d02002-03-22 01:27:54 +00001461/* 64-bit counter for the number of bbs to go before a debug exit. */
1462extern ULong VG_(bbs_to_go);
1463
1464/* Counts downwards in vg_run_innerloop. */
1465extern UInt VG_(dispatch_ctr);
1466
sewardj7e87e382002-05-03 19:09:05 +00001467/* This is the ThreadId of the last thread the scheduler ran. */
1468extern ThreadId VG_(last_run_tid);
1469
njn25e49d8e72002-09-23 09:36:25 +00001470/* This is the argument to __NR_exit() supplied by the first thread to
1471 call that syscall. We eventually pass that to __NR_exit() for
1472 real. */
njn633de322003-05-12 20:40:13 +00001473extern Int VG_(exitcode);
njn25e49d8e72002-09-23 09:36:25 +00001474
jsgf855d93d2003-10-13 22:26:55 +00001475/* If we're doing the default action of a fatal signal */
1476extern jmp_buf VG_(fatal_signal_jmpbuf);
1477extern Bool VG_(fatal_signal_set); /* jmp_buf is valid */
1478extern Int VG_(fatal_sigNo); /* the fatal signal */
sewardjde4a1d02002-03-22 01:27:54 +00001479
1480/* --- Counters, for informational purposes only. --- */
1481
1482/* Number of lookups which miss the fast tt helper. */
1483extern UInt VG_(tt_fast_misses);
1484
sewardjc0d8f682002-11-30 00:49:43 +00001485/* Counts for TT/TC informational messages. */
sewardjde4a1d02002-03-22 01:27:54 +00001486
sewardjde4a1d02002-03-22 01:27:54 +00001487/* Number and total o/t size of translations overall. */
1488extern UInt VG_(overall_in_count);
1489extern UInt VG_(overall_in_osize);
1490extern UInt VG_(overall_in_tsize);
1491/* Number and total o/t size of discards overall. */
1492extern UInt VG_(overall_out_count);
1493extern UInt VG_(overall_out_osize);
1494extern UInt VG_(overall_out_tsize);
sewardjc0d8f682002-11-30 00:49:43 +00001495/* The number of discards of TT/TC. */
1496extern UInt VG_(number_of_tc_discards);
sewardj22854b92002-11-30 14:00:47 +00001497/* Counts of chain and unchain operations done. */
1498extern UInt VG_(bb_enchain_count);
1499extern UInt VG_(bb_dechain_count);
1500/* Number of unchained jumps performed. */
1501extern UInt VG_(unchained_jumps_done);
1502
sewardjde4a1d02002-03-22 01:27:54 +00001503
1504/* Counts pertaining to the register allocator. */
1505
1506/* total number of uinstrs input to reg-alloc */
1507extern UInt VG_(uinstrs_prealloc);
1508
1509/* total number of uinstrs added due to spill code */
1510extern UInt VG_(uinstrs_spill);
1511
1512/* number of bbs requiring spill code */
1513extern UInt VG_(translations_needing_spill);
1514
1515/* total of register ranks over all translations */
1516extern UInt VG_(total_reg_rank);
1517
sewardjde4a1d02002-03-22 01:27:54 +00001518/* Counts pertaining to internal sanity checking. */
1519extern UInt VG_(sanity_fast_count);
1520extern UInt VG_(sanity_slow_count);
1521
sewardj2e93c502002-04-12 11:12:52 +00001522/* Counts pertaining to the scheduler. */
1523extern UInt VG_(num_scheduling_events_MINOR);
1524extern UInt VG_(num_scheduling_events_MAJOR);
1525
sewardjfa492d42002-12-08 18:20:01 +00001526/* Insert and extract the D flag from eflags */
1527UInt VG_(insertDflag)(UInt eflags, Int d);
1528Int VG_(extractDflag)(UInt eflags);
sewardjde4a1d02002-03-22 01:27:54 +00001529
1530/* ---------------------------------------------------------------------
1531 Exports of vg_memory.c
1532 ------------------------------------------------------------------ */
1533
fitzhardinge98abfc72003-12-16 02:05:15 +00001534/* A Segment is mapped piece of client memory. This covers all kinds
1535 of mapped memory (exe, brk, mmap, .so, shm, stack, etc)
1536
1537 We try to encode everything we know about a particular segment here.
1538*/
1539#define SF_FIXED (1 << 0) /* client asked for MAP_FIXED */
1540#define SF_SHARED (1 << 1) /* shared */
1541#define SF_SHM (1 << 2) /* SYSV SHM (also SF_SHARED) */
1542#define SF_MMAP (1 << 3) /* mmap memory */
1543#define SF_FILE (1 << 4) /* mapping is backed by a file */
1544#define SF_STACK (1 << 5) /* is a stack */
1545#define SF_GROWDOWN (1 << 6) /* segment grows down */
1546#define SF_GROWUP (1 << 7) /* segment grows up */
1547#define SF_EXEC (1 << 8) /* segment created by exec */
1548#define SF_DYNLIB (1 << 9) /* mapped from dynamic library */
1549#define SF_NOSYMS (1 << 10) /* don't load syms, even if present */
1550#define SF_BRK (1 << 11) /* brk segment */
1551#define SF_CORE (1 << 12) /* allocated by core on behalf of the client */
1552#define SF_VALGRIND (1 << 13) /* a valgrind-internal mapping - not in client*/
1553#define SF_CODE (1 << 14) /* segment contains cached code */
1554
1555struct _Segment {
1556 UInt prot; /* VKI_PROT_* */
1557 UInt flags; /* SF_* */
1558
1559 Addr addr; /* mapped addr (page aligned) */
1560 UInt len; /* size of mapping (page aligned) */
1561
1562 /* These are valid if (flags & SF_FILE) */
1563 ULong offset; /* file offset */
1564 const Char *filename; /* filename (NULL if unknown) */
1565 UInt dev; /* device */
1566 UInt ino; /* inode */
1567
1568 SegInfo *symtab; /* symbol table */
1569};
1570
1571/* segment mapped from a file descriptor */
1572extern void VG_(map_fd_segment) (Addr addr, UInt len, UInt prot, UInt flags,
1573 Int fd, ULong off, const Char *filename);
1574
1575/* segment mapped from a file */
1576extern void VG_(map_file_segment)(Addr addr, UInt len, UInt prot, UInt flags,
1577 UInt dev, UInt ino, ULong off, const Char *filename);
1578
1579/* simple segment */
1580extern void VG_(map_segment) (Addr addr, UInt len, UInt prot, UInt flags);
1581
1582extern void VG_(unmap_range) (Addr addr, UInt len);
1583extern void VG_(mprotect_range)(Addr addr, UInt len, UInt prot);
1584extern Addr VG_(find_map_space)(Addr base, UInt len, Bool for_client);
1585
1586extern Segment *VG_(find_segment)(Addr a);
1587extern Segment *VG_(next_segment)(Segment *);
1588
1589extern Bool VG_(seg_contains)(const Segment *s, Addr ptr, UInt size);
1590extern Bool VG_(seg_overlaps)(const Segment *s, Addr ptr, UInt size);
1591
njnfa1016e2003-09-25 17:54:11 +00001592extern void VG_(init_memory) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001593
njn9b007f62003-04-07 14:40:25 +00001594extern __attribute__((regparm(1)))
njnfa1016e2003-09-25 17:54:11 +00001595 void VG_(unknown_esp_update) ( Addr new_ESP );
sewardjde4a1d02002-03-22 01:27:54 +00001596
jsgf855d93d2003-10-13 22:26:55 +00001597/* ---------------------------------------------------------------------
1598 Exports of vg_proxylwp.c
1599 ------------------------------------------------------------------ */
1600
1601/* Issue a syscall for thread tid */
1602extern Int VG_(sys_issue)(int tid);
1603
1604extern void VG_(proxy_init) ( void );
1605extern void VG_(proxy_create) ( ThreadId tid );
1606extern void VG_(proxy_delete) ( ThreadId tid, Bool force );
1607extern void VG_(proxy_results) ( void );
1608extern void VG_(proxy_sendsig) ( ThreadId tid, Int signo );
1609extern void VG_(proxy_setsigmask)(ThreadId tid);
1610extern void VG_(proxy_sigack) ( ThreadId tid, const vki_ksigset_t *);
1611extern void VG_(proxy_abort_syscall) ( ThreadId tid );
1612extern void VG_(proxy_waitsig) ( void );
fitzhardingea09a1b52003-11-07 23:09:48 +00001613extern void VG_(proxy_wait_sys) (ThreadId tid);
jsgf855d93d2003-10-13 22:26:55 +00001614
1615extern void VG_(proxy_shutdown) ( void ); /* shut down the syscall workers */
1616extern Int VG_(proxy_resfd) ( void ); /* FD something can select on to know
1617 a syscall finished */
1618
1619/* Sanity-check the whole proxy-LWP machinery */
1620void VG_(proxy_sanity)(void);
1621
1622/* Send a signal from a thread's proxy to the thread. This longjmps
1623 back into the proxy's main loop, so it doesn't return. */
1624__attribute__ ((__noreturn__))
1625extern void VG_(proxy_handlesig)( const vki_ksiginfo_t *siginfo,
1626 const struct vki_sigcontext *sigcontext );
1627
1628
sewardjde4a1d02002-03-22 01:27:54 +00001629/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001630 Exports of vg_syscalls.c
sewardjde4a1d02002-03-22 01:27:54 +00001631 ------------------------------------------------------------------ */
1632
fitzhardinge98abfc72003-12-16 02:05:15 +00001633extern Char *VG_(resolve_filename)(Int fd);
njn25e49d8e72002-09-23 09:36:25 +00001634
jsgf855d93d2003-10-13 22:26:55 +00001635extern Bool VG_(pre_syscall) ( ThreadId tid );
1636extern void VG_(post_syscall)( ThreadId tid );
fitzhardingee1c06d82003-10-30 07:21:44 +00001637extern void VG_(restart_syscall) ( ThreadId tid );
sewardjde4a1d02002-03-22 01:27:54 +00001638
1639extern Bool VG_(is_kerror) ( Int res );
1640
jsgf855d93d2003-10-13 22:26:55 +00001641/* Internal atfork handlers */
1642typedef void (*vg_atfork_t)(ThreadId);
1643extern void VG_(atfork)(vg_atfork_t pre, vg_atfork_t parent, vg_atfork_t child);
sewardjde4a1d02002-03-22 01:27:54 +00001644
rjwalshf5f536f2003-11-17 17:45:00 +00001645/* fd leakage calls. */
1646extern void VG_(init_preopened_fds) ( void );
1647extern void VG_(fd_stats) ( void );
1648
sewardjde4a1d02002-03-22 01:27:54 +00001649/* ---------------------------------------------------------------------
1650 Exports of vg_transtab.c
1651 ------------------------------------------------------------------ */
1652
njn25e49d8e72002-09-23 09:36:25 +00001653/* The fast-cache for tt-lookup. */
1654extern Addr VG_(tt_fast)[VG_TT_FAST_SIZE];
1655
sewardjde4a1d02002-03-22 01:27:54 +00001656extern void VG_(get_tt_tc_used) ( UInt* tt_used, UInt* tc_used );
sewardj6c3769f2002-11-29 01:02:45 +00001657
sewardjc0d8f682002-11-30 00:49:43 +00001658extern void VG_(add_to_trans_tab) ( Addr orig_addr, Int orig_size,
sewardj22854b92002-11-30 14:00:47 +00001659 Addr trans_addr, Int trans_size,
1660 UShort jumps[VG_MAX_JUMPS]);
sewardj6c3769f2002-11-29 01:02:45 +00001661
sewardj97ad5522003-05-04 12:32:56 +00001662extern void VG_(invalidate_translations) ( Addr start, UInt range, Bool unchain_blocks );
sewardjde4a1d02002-03-22 01:27:54 +00001663
sewardj18d75132002-05-16 11:06:21 +00001664extern void VG_(init_tt_tc) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001665
1666extern void VG_(sanity_check_tc_tt) ( void );
1667extern Addr VG_(search_transtab) ( Addr original_addr );
1668
sewardjde4a1d02002-03-22 01:27:54 +00001669
1670
1671/* ---------------------------------------------------------------------
sewardjde4a1d02002-03-22 01:27:54 +00001672 Exports of vg_syscall.S
1673 ------------------------------------------------------------------ */
1674
jsgf855d93d2003-10-13 22:26:55 +00001675extern Int VG_(do_syscall) ( UInt, ... );
1676extern Int VG_(clone) ( Int (*fn)(void *), void *stack, Int flags, void *arg,
1677 Int *child_tid, Int *parent_tid);
sewardjde4a1d02002-03-22 01:27:54 +00001678
1679/* ---------------------------------------------------------------------
1680 Exports of vg_startup.S
1681 ------------------------------------------------------------------ */
1682
sewardjde4a1d02002-03-22 01:27:54 +00001683extern void VG_(switch_to_real_CPU) ( void );
1684
sewardj35805422002-04-21 13:05:34 +00001685extern void VG_(swizzle_esp_then_start_GDB) ( Addr m_eip_at_error,
1686 Addr m_esp_at_error,
1687 Addr m_ebp_at_error );
sewardjde4a1d02002-03-22 01:27:54 +00001688
1689
1690/* ---------------------------------------------------------------------
1691 Exports of vg_dispatch.S
1692 ------------------------------------------------------------------ */
1693
sewardj2e93c502002-04-12 11:12:52 +00001694/* Run a thread for a (very short) while, until some event happens
1695 which means we need to defer to the scheduler. */
1696extern UInt VG_(run_innerloop) ( void );
sewardjde4a1d02002-03-22 01:27:54 +00001697
sewardj22854b92002-11-30 14:00:47 +00001698/* The patching routing called when a BB wants to chain itself to
1699 another. */
1700extern UInt VG_(patch_me);
sewardjde4a1d02002-03-22 01:27:54 +00001701
1702/* ---------------------------------------------------------------------
1703 Exports of vg_helpers.S
1704 ------------------------------------------------------------------ */
1705
sewardjde4a1d02002-03-22 01:27:54 +00001706/* Mul, div, etc, -- we don't codegen these directly. */
1707extern void VG_(helper_idiv_64_32);
1708extern void VG_(helper_div_64_32);
1709extern void VG_(helper_idiv_32_16);
1710extern void VG_(helper_div_32_16);
1711extern void VG_(helper_idiv_16_8);
1712extern void VG_(helper_div_16_8);
1713
1714extern void VG_(helper_imul_32_64);
1715extern void VG_(helper_mul_32_64);
1716extern void VG_(helper_imul_16_32);
1717extern void VG_(helper_mul_16_32);
1718extern void VG_(helper_imul_8_16);
1719extern void VG_(helper_mul_8_16);
1720
1721extern void VG_(helper_CLD);
1722extern void VG_(helper_STD);
1723extern void VG_(helper_get_dirflag);
1724
sewardj7d78e782002-06-02 00:04:00 +00001725extern void VG_(helper_CLC);
1726extern void VG_(helper_STC);
1727
sewardjde4a1d02002-03-22 01:27:54 +00001728extern void VG_(helper_shldl);
1729extern void VG_(helper_shldw);
1730extern void VG_(helper_shrdl);
1731extern void VG_(helper_shrdw);
1732
daywalkerb18d2532003-09-27 20:15:01 +00001733extern void VG_(helper_IN);
1734extern void VG_(helper_OUT);
1735
sewardjde4a1d02002-03-22 01:27:54 +00001736extern void VG_(helper_RDTSC);
1737extern void VG_(helper_CPUID);
1738
sewardjde4a1d02002-03-22 01:27:54 +00001739extern void VG_(helper_bsf);
1740extern void VG_(helper_bsr);
1741
1742extern void VG_(helper_fstsw_AX);
1743extern void VG_(helper_SAHF);
njnd6251f12003-06-03 13:38:51 +00001744extern void VG_(helper_LAHF);
sewardj4d0ab1f2002-03-24 10:00:09 +00001745extern void VG_(helper_DAS);
sewardjfe8a1662002-03-24 11:54:07 +00001746extern void VG_(helper_DAA);
sewardjde4a1d02002-03-22 01:27:54 +00001747
sewardj51096432002-12-14 23:59:09 +00001748extern void VG_(helper_undefined_instruction);
1749
fitzhardinge92360792003-12-24 10:11:11 +00001750/* Information about trampoline code (for signal return and syscalls) */
1751extern const Char VG_(trampoline_code_start);
1752extern const Int VG_(trampoline_code_length);
1753extern const Int VG_(tramp_sigreturn_offset);
1754extern const Int VG_(tramp_syscall_offset);
sewardj20917d82002-05-28 01:36:45 +00001755
njn4f9c9342002-04-29 16:03:24 +00001756/* ---------------------------------------------------------------------
njn25e49d8e72002-09-23 09:36:25 +00001757 Things relating to the used skin
njn4f9c9342002-04-29 16:03:24 +00001758 ------------------------------------------------------------------ */
1759
fitzhardinge98abfc72003-12-16 02:05:15 +00001760#define VG_TRACK(fn, args...) \
1761 do { \
1762 if (VG_(defined_##fn)()) \
1763 SK_(fn)(args); \
1764 } while(0)
sewardj18d75132002-05-16 11:06:21 +00001765
fitzhardinge98abfc72003-12-16 02:05:15 +00001766__attribute__ ((noreturn))
1767extern void VG_(missing_tool_func) ( const Char* fn );
sewardj18d75132002-05-16 11:06:21 +00001768
sewardjde4a1d02002-03-22 01:27:54 +00001769/* ---------------------------------------------------------------------
1770 The state of the simulated CPU.
1771 ------------------------------------------------------------------ */
1772
sewardjde4a1d02002-03-22 01:27:54 +00001773/* ---------------------------------------------------------------------
1774 Offsets into baseBlock for everything which needs to referred to
1775 from generated code. The order of these decls does not imply
1776 what the order of the actual offsets is. The latter is important
1777 and is set up in vg_main.c.
1778 ------------------------------------------------------------------ */
1779
1780/* An array of words. In generated code, %ebp always points to the
1781 start of this array. Useful stuff, like the simulated CPU state,
1782 and the addresses of helper functions, can then be found by
1783 indexing off %ebp. The following declares variables which, at
1784 startup time, are given values denoting offsets into baseBlock.
1785 These offsets are in *words* from the start of baseBlock. */
1786
sewardjb91ae7f2003-04-29 23:50:00 +00001787#define VG_BASEBLOCK_WORDS 400
sewardjde4a1d02002-03-22 01:27:54 +00001788
1789extern UInt VG_(baseBlock)[VG_BASEBLOCK_WORDS];
1790
1791
1792/* -----------------------------------------------------
1793 Read-write parts of baseBlock.
1794 -------------------------------------------------- */
1795
1796/* State of the simulated CPU. */
1797extern Int VGOFF_(m_eax);
1798extern Int VGOFF_(m_ecx);
1799extern Int VGOFF_(m_edx);
1800extern Int VGOFF_(m_ebx);
1801extern Int VGOFF_(m_esp);
1802extern Int VGOFF_(m_ebp);
1803extern Int VGOFF_(m_esi);
1804extern Int VGOFF_(m_edi);
1805extern Int VGOFF_(m_eflags);
sewardjb91ae7f2003-04-29 23:50:00 +00001806extern Int VGOFF_(m_ssestate);
sewardjde4a1d02002-03-22 01:27:54 +00001807extern Int VGOFF_(m_eip);
1808
sewardjfa492d42002-12-08 18:20:01 +00001809extern Int VGOFF_(m_dflag); /* D flag is handled specially */
1810
sewardj92a59562002-09-30 00:53:10 +00001811extern Int VGOFF_(m_cs);
1812extern Int VGOFF_(m_ss);
1813extern Int VGOFF_(m_ds);
1814extern Int VGOFF_(m_es);
1815extern Int VGOFF_(m_fs);
1816extern Int VGOFF_(m_gs);
1817
sewardjde4a1d02002-03-22 01:27:54 +00001818/* Reg-alloc spill area (VG_MAX_SPILLSLOTS words long). */
1819extern Int VGOFF_(spillslots);
1820
1821/* Records the valid bits for the 8 integer regs & flags reg. */
1822extern Int VGOFF_(sh_eax);
1823extern Int VGOFF_(sh_ecx);
1824extern Int VGOFF_(sh_edx);
1825extern Int VGOFF_(sh_ebx);
1826extern Int VGOFF_(sh_esp);
1827extern Int VGOFF_(sh_ebp);
1828extern Int VGOFF_(sh_esi);
1829extern Int VGOFF_(sh_edi);
1830extern Int VGOFF_(sh_eflags);
1831
sewardjde4a1d02002-03-22 01:27:54 +00001832/* -----------------------------------------------------
1833 Read-only parts of baseBlock.
1834 -------------------------------------------------- */
1835
sewardj92a59562002-09-30 00:53:10 +00001836/* This thread's LDT pointer. */
1837extern Int VGOFF_(ldt);
1838
njn211b6ad2003-02-03 12:33:31 +00001839/* Nb: Most helper offsets are in include/vg_skin.h, for use by skins */
sewardjde4a1d02002-03-22 01:27:54 +00001840
sewardj51096432002-12-14 23:59:09 +00001841extern Int VGOFF_(helper_undefined_instruction);
1842
njn25e49d8e72002-09-23 09:36:25 +00001843/* For storing extension-specific helpers, determined at runtime. The addr
1844 * and offset arrays together form a (addr, offset) map that allows a
1845 * helper's baseBlock offset to be computed from its address. It's done
1846 * like this so CCALL_M_Ns and other helper calls can use the function
1847 * address rather than having to much around with offsets. */
1848extern UInt VG_(n_compact_helpers);
1849extern UInt VG_(n_noncompact_helpers);
1850
1851extern Addr VG_(compact_helper_addrs) [];
1852extern Int VG_(compact_helper_offsets)[];
1853
1854extern Addr VG_(noncompact_helper_addrs) [];
1855extern Int VG_(noncompact_helper_offsets)[];
1856
sewardjde4a1d02002-03-22 01:27:54 +00001857#endif /* ndef __VG_INCLUDE_H */
1858
sewardj3b2736a2002-03-24 12:18:35 +00001859
1860/* ---------------------------------------------------------------------
1861 Finally - autoconf-generated settings
1862 ------------------------------------------------------------------ */
1863
1864#include "config.h"
1865
sewardjde4a1d02002-03-22 01:27:54 +00001866/*--------------------------------------------------------------------*/
1867/*--- end vg_include.h ---*/
1868/*--------------------------------------------------------------------*/