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