1b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov/* -*- mode: C; c-basic-offset: 3; indent-tabs-mode: nil; -*- */ 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This file is part of drd, a thread error detector. 4ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 5b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov Copyright (C) 2006-2011 Bart Van Assche <bvanassche@acm.org>. 6ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 7ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is free software; you can redistribute it and/or 8ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown modify it under the terms of the GNU General Public License as 9ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown published by the Free Software Foundation; either version 2 of the 10ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown License, or (at your option) any later version. 11ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 12ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is distributed in the hope that it will be useful, but 13ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown WITHOUT ANY WARRANTY; without even the implied warranty of 14ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 15ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown General Public License for more details. 16ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 17ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown You should have received a copy of the GNU General Public License 18ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown along with this program; if not, write to the Free Software 19ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 20ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 02111-1307, USA. 21ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 22ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The GNU General Public License is contained in the file COPYING. 23ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 24ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 25ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 26ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* 27ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Functions related to instrumentation of loads and stores. 28ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 29ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 30ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 31ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#ifndef __DRD_LOAD_STORE_H 32ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define __DRD_LOAD_STORE_H 33ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 34ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 35ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include <libvex.h> /* IRSB */ 36ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include <pub_tool_tooliface.h> /* VgCallbackClosure */ 37ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 38ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 39ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool DRD_(get_check_stack_accesses)(void); 40ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid DRD_(set_check_stack_accesses)(const Bool c); 41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool DRD_(get_first_race_only)(void); 42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid DRD_(set_first_race_only)(const Bool fro); 43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownIRSB* DRD_(instrument)(VgCallbackClosure* const closure, 44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown IRSB* const bb_in, 45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VexGuestLayout* const layout, 46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VexGuestExtents* const vge, 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown IRType const gWordTy, 48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown IRType const hWordTy); 49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid DRD_(trace_mem_access)(const Addr addr, const SizeT size, 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown const BmAccessTypeT access_type); 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownVG_REGPARM(2) void DRD_(trace_load)(Addr addr, SizeT size); 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownVG_REGPARM(2) void DRD_(trace_store)(Addr addr, SizeT size); 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid DRD_(clean_memory)(const Addr a1, const SizeT len); 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif // __DRD_LOAD_STORE_H 57