aboutsummaryrefslogtreecommitdiff
path: root/drd/drd_load_store.h
diff options
context:
space:
mode:
authorbart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9>2009-02-14 15:13:31 +0000
committerbart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9>2009-02-14 15:13:31 +0000
commit09dc13f324a19f1bebf58c7f197a581dc8fb528b (patch)
treeef273f926500d28e29e35c5fe5c26116c27a6419 /drd/drd_load_store.h
parent82a0c5d27639d3a8a1cdea4fecc8a846171ed7bb (diff)
downloadvalgrind-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.h52
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