1
2/*--------------------------------------------------------------------*/
3/*--- The dispatcher.                          pub_core_dispatch.h ---*/
4/*--------------------------------------------------------------------*/
5
6/*
7   This file is part of Valgrind, a dynamic binary instrumentation
8   framework.
9
10   Copyright (C) 2000-2011 Julian Seward
11      jseward@acm.org
12
13   This program is free software; you can redistribute it and/or
14   modify it under the terms of the GNU General Public License as
15   published by the Free Software Foundation; either version 2 of the
16   License, or (at your option) any later version.
17
18   This program is distributed in the hope that it will be useful, but
19   WITHOUT ANY WARRANTY; without even the implied warranty of
20   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
21   General Public License for more details.
22
23   You should have received a copy of the GNU General Public License
24   along with this program; if not, write to the Free Software
25   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
26   02111-1307, USA.
27
28   The GNU General Public License is contained in the file COPYING.
29*/
30
31#ifndef __PUB_CORE_DISPATCH_H
32#define __PUB_CORE_DISPATCH_H
33
34//--------------------------------------------------------------------
35// PURPOSE: This module contains the inner loop of the execution
36// mechanism, which is: find next basic block, execute it, repeat until
37// the next bb isn't found in the fast-cache; or if the current bb
38// exited with a request for some special action before continuing; or
39// if the current thread has used up its scheduling quantum.
40//--------------------------------------------------------------------
41
42#include "pub_core_dispatch_asm.h"
43
44/* This subroutine is called from the C world.  It is passed
45   a pointer to the VEX guest state (arch.vex).  It must run code
46   from the instruction pointer in the guest state, and exit when
47   VG_(dispatch_ctr) reaches zero, or we need to defer to the scheduler.
48   The return value must indicate why it returned back to the scheduler.
49   It can also be exited if the executing code throws a non-resumable
50   signal, for example SIGSEGV, in which case control longjmp()s back past
51   here.
52
53   If do_profiling is nonzero, the profile counters arrays should be
54   updated for each translation run.
55
56   This code simply handles the common case fast -- when the translation
57   address is found in the translation cache.  For anything else, the
58   scheduler does the work.
59
60   NOTE, VG_(run_innerloop) MUST NOT BE USED for noredir translations.
61   Instead use VG_(run_a_noredir_translation).
62*/
63extern
64UWord VG_(run_innerloop) ( void* guest_state, UWord do_profiling );
65#if defined(VGA_x86) || defined(VGA_amd64)
66/* We need to locate a couple of labels inside VG_(run_innerloop), so
67   that Vex can add branches to them from generated code.  Hence the
68   following somewhat bogus decls.  At least on x86 and amd64.  ppc32
69   and ppc64 use straightforward bl-blr to get from dispatcher to
70   translation and back and so do not need these labels. */
71extern Addr VG_(run_innerloop__dispatch_unassisted_unprofiled);
72extern Addr VG_(run_innerloop__dispatch_assisted_unprofiled);
73extern Addr VG_(run_innerloop__dispatch_unassisted_profiled);
74extern Addr VG_(run_innerloop__dispatch_assisted_profiled);
75#endif
76
77
78/* Run a no-redir translation.  argblock points to 4 UWords, 2 to carry args
79   and 2 to carry results:
80      0: input:  ptr to translation
81      1: input:  ptr to guest state
82      2: output: next guest PC
83      3: output: guest state pointer afterwards (== thread return code)
84   MUST NOT BE USED for non-noredir (normal) translations.
85*/
86extern void VG_(run_a_noredir_translation) ( volatile UWord* argblock );
87#if defined(VGA_x86) || defined(VGA_amd64)
88/* We need to a label inside VG_(run_a_noredir_translation), so that
89   Vex can add branches to them from generated code.  Hence the
90   following somewhat bogus decl. */
91extern Addr VG_(run_a_noredir_translation__return_point);
92#endif
93
94
95#endif   // __PUB_CORE_DISPATCH_H
96
97/*--------------------------------------------------------------------*/
98/*--- end                                                          ---*/
99/*--------------------------------------------------------------------*/
100