diff options
author | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2009-02-14 15:13:31 +0000 |
---|---|---|
committer | bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2009-02-14 15:13:31 +0000 |
commit | 09dc13f324a19f1bebf58c7f197a581dc8fb528b (patch) | |
tree | ef273f926500d28e29e35c5fe5c26116c27a6419 /drd/drd_load_store.h | |
parent | 82a0c5d27639d3a8a1cdea4fecc8a846171ed7bb (diff) | |
download | valgrind-09dc13f324a19f1bebf58c7f197a581dc8fb528b.tar.gz |
- Moved several functions and variables from one source file to another.
- Created two new source files: drd_load_store.h and .c.
- Removed the header file drd_track.h.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@9153 a5019735-40e9-0310-863c-91ae7b9d1cf9
Diffstat (limited to 'drd/drd_load_store.h')
-rw-r--r-- | drd/drd_load_store.h | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/drd/drd_load_store.h b/drd/drd_load_store.h new file mode 100644 index 000000000..f82055583 --- /dev/null +++ b/drd/drd_load_store.h @@ -0,0 +1,52 @@ +/* + This file is part of drd, a data race detector. + + Copyright (C) 2006-2009 Bart Van Assche <bart.vanassche@gmail.com>. + + This program is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License as + published by the Free Software Foundation; either version 2 of the + License, or (at your option) any later version. + + This program is distributed in the hope that it will be useful, but + WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA + 02111-1307, USA. + + The GNU General Public License is contained in the file COPYING. +*/ + + +/* + * Functions related to instrumentation of loads and stores. + */ + + +#ifndef __DRD_LOAD_STORE_H +#define __DRD_LOAD_STORE_H + + +#include <libvex.h> /* IRSB */ +#include <pub_tool_tooliface.h> /* VgCallbackClosure */ + + +Bool DRD_(get_check_stack_accesses)(void); +void DRD_(set_check_stack_accesses)(const Bool c); +IRSB* drd_instrument(VgCallbackClosure* const closure, + IRSB* const bb_in, + VexGuestLayout* const layout, + VexGuestExtents* const vge, + IRType const gWordTy, + IRType const hWordTy); +void drd_trace_mem_access(const Addr addr, const SizeT size, + const BmAccessTypeT access_type); +VG_REGPARM(2) void drd_trace_load(Addr addr, SizeT size); +VG_REGPARM(2) void drd_trace_store(Addr addr, SizeT size); + + +#endif // __DRD_LOAD_STORE_H |