blob: 8df8c78914d21ac5b452b0c5414b4c97f9a86847 [file] [log] [blame]
/*--------------------------------------------------------------------*/
/*--- Higher-level UCode sequence builders ---*/
/*--- vg_instrument.c ---*/
/*--------------------------------------------------------------------*/
/*
This file is part of Valgrind, an extensible x86 protected-mode
emulator for monitoring program execution on x86-Unixes.
Copyright (C) 2000-2004 Nicholas Nethercote
njn25@cam.ac.uk
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.
*/
/* We only import tool.h here, because this file only provides functions
for doing things that could be done directly by the tool -- it's just to
make tools' lives easier, rather than let them do something they
couldn't otherwise do. */
#include "tool.h"
void VG_(lit_to_reg)(UCodeBlock* cb, UInt lit, UInt t)
{
uInstr2 (cb, MOV, 4, Literal, 0, TempReg, t);
uLiteral(cb, lit);
}
UInt VG_(lit_to_newreg)(UCodeBlock* cb, UInt lit)
{
UInt t = newTemp(cb);
uInstr2 (cb, MOV, 4, Literal, 0, TempReg, t);
uLiteral(cb, lit);
return t;
}
// f()
void VG_(ccall_0_0)(UCodeBlock* cb, Addr f)
{
uInstr0(cb, CCALL, 0);
uCCall(cb, f, 0, 0, /*retval*/False);
}
// f(reg)
void VG_(ccall_R_0)(UCodeBlock* cb, Addr f, UInt t1, UInt regparms_n)
{
sk_assert(regparms_n <= 1);
uInstr1(cb, CCALL, 0, TempReg, t1);
uCCall(cb, f, 1, regparms_n, /*retval*/False);
}
// f(lit)
void VG_(ccall_L_0)(UCodeBlock* cb, Addr f, UInt lit1, UInt regparms_n)
{
UInt t1 = VG_(lit_to_newreg)(cb, lit1);
VG_(ccall_R_0)(cb, f, t1, regparms_n);
}
// reg = f(reg)
void VG_(ccall_R_R)(UCodeBlock* cb, Addr f, UInt t1, UInt t_ret,
UInt regparms_n)
{
sk_assert(regparms_n <= 1);
sk_assert(t1 < VG_(get_num_temps)(cb)); // help catch lits accidentally passed in
uInstr3(cb, CCALL, 0, TempReg, t1, NoValue, 0, TempReg, t_ret);
uCCall(cb, f, 1, regparms_n, /*retval*/True);
}
// reg = f(lit)
void VG_(ccall_L_R)(UCodeBlock* cb, Addr f, UInt lit1, UInt t_ret,
UInt regparms_n)
{
UInt t1 = VG_(lit_to_newreg)(cb, lit1);
VG_(ccall_R_R)(cb, f, t1, t_ret, regparms_n);
}
// f(reg, reg)
void VG_(ccall_RR_0)(UCodeBlock* cb, Addr f, UInt t1, UInt t2, UInt regparms_n)
{
sk_assert(regparms_n <= 2);
sk_assert(t1 < VG_(get_num_temps)(cb));
sk_assert(t2 < VG_(get_num_temps)(cb));
uInstr2(cb, CCALL, 0, TempReg, t1, TempReg, t2);
uCCall(cb, f, 2, regparms_n, /*retval*/False);
}
// f(reg, lit)
void VG_(ccall_RL_0)(UCodeBlock* cb, Addr f, UInt t1, UInt lit2,
UInt regparms_n)
{
UInt t2 = VG_(lit_to_newreg)(cb, lit2);
VG_(ccall_RR_0)(cb, f, t1, t2, regparms_n);
}
// f(lit, reg)
void VG_(ccall_LR_0)(UCodeBlock* cb, Addr f, UInt lit1, UInt t2,
UInt regparms_n)
{
UInt t1 = VG_(lit_to_newreg)(cb, lit1);
VG_(ccall_RR_0)(cb, f, t1, t2, regparms_n);
}
// f(lit, lit)
void VG_(ccall_LL_0)(UCodeBlock* cb, Addr f, UInt lit1, UInt lit2,
UInt regparms_n)
{
UInt t1 = VG_(lit_to_newreg)(cb, lit1);
UInt t2 = VG_(lit_to_newreg)(cb, lit2);
VG_(ccall_RR_0)(cb, f, t1, t2, regparms_n);
}
// reg = f(reg, reg)
void VG_(ccall_RR_R)(UCodeBlock* cb, Addr f, UInt t1, UInt t2, UInt t_ret,
UInt regparms_n)
{
sk_assert(regparms_n <= 2);
sk_assert(t1 < VG_(get_num_temps)(cb));
sk_assert(t2 < VG_(get_num_temps)(cb));
uInstr3(cb, CCALL, 0, TempReg, t1, TempReg, t2, TempReg, t_ret);
uCCall(cb, f, 2, regparms_n, /*retval*/True);
}
// reg = f(reg, lit)
void VG_(ccall_RL_R)(UCodeBlock* cb, Addr f, UInt t1, UInt lit2, UInt t_ret,
UInt regparms_n)
{
UInt t2 = VG_(lit_to_newreg)(cb, lit2);
VG_(ccall_RR_R)(cb, f, t1, t2, t_ret, regparms_n);
}
// reg = f(lit, reg)
void VG_(ccall_LR_R)(UCodeBlock* cb, Addr f, UInt lit1, UInt t2, UInt t_ret,
UInt regparms_n)
{
UInt t1 = VG_(lit_to_newreg)(cb, lit1);
VG_(ccall_RR_R)(cb, f, t1, t2, t_ret, regparms_n);
}
// reg = f(lit, lit)
void VG_(ccall_LL_R)(UCodeBlock* cb, Addr f, UInt lit1, UInt lit2, UInt t_ret,
UInt regparms_n)
{
UInt t1 = VG_(lit_to_newreg)(cb, lit2);
UInt t2 = VG_(lit_to_newreg)(cb, lit2);
VG_(ccall_RR_R)(cb, f, t1, t2, t_ret, regparms_n);
}
// f(reg, reg, reg)
void VG_(ccall_RRR_0)(UCodeBlock* cb, Addr f, UInt t1, UInt t2,
UInt t3, UInt regparms_n)
{
sk_assert(regparms_n <= 3);
sk_assert(t1 < VG_(get_num_temps)(cb));
sk_assert(t2 < VG_(get_num_temps)(cb));
sk_assert(t3 < VG_(get_num_temps)(cb));
uInstr3(cb, CCALL, 0, TempReg, t1, TempReg, t2, TempReg, t3);
uCCall(cb, f, 3, regparms_n, /*retval*/False);
}
// f(reg, lit, lit)
void VG_(ccall_RLL_0)(UCodeBlock* cb, Addr f, UInt t1, UInt lit2,
UInt lit3, UInt regparms_n)
{
UInt t2 = VG_(lit_to_newreg)(cb, lit2);
UInt t3 = VG_(lit_to_newreg)(cb, lit3);
VG_(ccall_RRR_0)(cb, f, t1, t2, t3, regparms_n);
}
// f(lit, reg, reg)
void VG_(ccall_LRR_0)(UCodeBlock* cb, Addr f, UInt lit1, UInt t2,
UInt t3, UInt regparms_n)
{
UInt t1 = VG_(lit_to_newreg)(cb, lit1);
VG_(ccall_RRR_0)(cb, f, t1, t2, t3, regparms_n);
}
// f(lit, lit, reg)
void VG_(ccall_LLR_0)(UCodeBlock* cb, Addr f, UInt lit1, UInt lit2,
UInt t3, UInt regparms_n)
{
UInt t1 = VG_(lit_to_newreg)(cb, lit1);
UInt t2 = VG_(lit_to_newreg)(cb, lit2);
VG_(ccall_RRR_0)(cb, f, t1, t2, t3, regparms_n);
}
// f(lit, lit, lit)
void VG_(ccall_LLL_0)(UCodeBlock* cb, Addr f, UInt lit1, UInt lit2,
UInt lit3, UInt regparms_n)
{
UInt t1 = VG_(lit_to_newreg)(cb, lit1);
UInt t2 = VG_(lit_to_newreg)(cb, lit2);
UInt t3 = VG_(lit_to_newreg)(cb, lit3);
VG_(ccall_RRR_0)(cb, f, t1, t2, t3, regparms_n);
}
void VG_(reg_to_globvar)(UCodeBlock* cb, UInt t, UInt* globvar_ptr)
{
Int t_gv = VG_(lit_to_newreg)(cb, (UInt)globvar_ptr);
uInstr2(cb, STORE, 4, TempReg, t, TempReg, t_gv);
}
void VG_(lit_to_globvar)(UCodeBlock* cb, UInt lit, UInt* globvar_ptr)
{
Int t_lit = VG_(lit_to_newreg)(cb, lit);
VG_(reg_to_globvar)(cb, t_lit, globvar_ptr);
}
/*--------------------------------------------------------------------
Old versions of these functions, for backwards compatibility
--------------------------------------------------------------------*/
void VG_(call_helper_0_0)(UCodeBlock* cb, Addr f)
{
VG_(ccall_0_0)(cb, f);
}
void VG_(call_helper_1_0)(UCodeBlock* cb, Addr f, UInt arg1, UInt regparms_n)
{
VG_(ccall_L_0)(cb, f, arg1, regparms_n);
}
void VG_(call_helper_2_0)(UCodeBlock* cb, Addr f, UInt arg1, UInt arg2,
UInt regparms_n)
{
VG_(ccall_LL_0)(cb, f, arg1, arg2, regparms_n);
}
void VG_(set_global_var)(UCodeBlock* cb, Addr globvar_ptr, UInt val)
{
VG_(lit_to_globvar)(cb, val, (UInt*)globvar_ptr);
}
void VG_(set_global_var_tempreg)(UCodeBlock* cb, Addr globvar_ptr, UInt t_val)
{
VG_(reg_to_globvar)(cb, t_val, (UInt*)globvar_ptr);
}
/*--------------------------------------------------------------------*/
/*--- end vg_instrument.c ---*/
/*--------------------------------------------------------------------*/