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-2010 Julian Seward 11 jseward (at) 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 */ 63 extern 64 UWord 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. */ 71 extern Addr VG_(run_innerloop__dispatch_unprofiled); 72 extern Addr VG_(run_innerloop__dispatch_profiled); 73 #endif 74 75 76 /* Run a no-redir translation. argblock points to 4 UWords, 2 to carry args 77 and 2 to carry results: 78 0: input: ptr to translation 79 1: input: ptr to guest state 80 2: output: next guest PC 81 3: output: guest state pointer afterwards (== thread return code) 82 MUST NOT BE USED for non-noredir (normal) translations. 83 */ 84 extern void VG_(run_a_noredir_translation) ( volatile UWord* argblock ); 85 #if defined(VGA_x86) || defined(VGA_amd64) 86 /* We need to a label inside VG_(run_a_noredir_translation), so that 87 Vex can add branches to them from generated code. Hence the 88 following somewhat bogus decl. */ 89 extern Addr VG_(run_a_noredir_translation__return_point); 90 #endif 91 92 93 #endif // __PUB_CORE_DISPATCH_H 94 95 /*--------------------------------------------------------------------*/ 96 /*--- end ---*/ 97 /*--------------------------------------------------------------------*/ 98
