vg_assert(VG_(is_valid_tid)(tid));
tst = & VG_(threads)[tid];
+ if (0)
VG_(printf)("get_thread_shadow_archreg(%d, %d)\n",
tid, archreg);
/* Return the baseBlock index for the specified shadow register */
static Int shadow_reg_index ( Int arch )
{
+ if (0)
VG_(printf)("shadow_reg_index(%d)\n",
arch);
switch (arch) {
/* ------------------------------------------------------------------ */
/* Accessing archregs and their shadows */
/* ToDo: is this still needed ? */
-extern UInt VG_(get_archreg) ( UInt archreg );
-extern UInt VG_(get_thread_archreg) ( ThreadId tid, UInt archreg );
+extern UInt VGA_(get_archreg) ( UInt archreg );
+extern UInt VGA_(get_thread_archreg) ( ThreadId tid, UInt archreg );
-extern UInt VG_(get_shadow_archreg) ( UInt archreg );
-extern void VG_(set_shadow_archreg) ( UInt archreg, UInt val );
-extern void VG_(set_shadow_eflags) ( UInt val );
-extern Addr VG_(shadow_archreg_address) ( UInt archreg );
+extern UInt VGA_(get_shadow_archreg) ( UInt archreg );
+extern void VGA_(set_shadow_archreg) ( UInt archreg, UInt val );
-extern UInt VG_(get_thread_shadow_archreg) ( ThreadId tid, UInt archreg );
-extern void VG_(set_thread_shadow_archreg) ( ThreadId tid, UInt archreg,
- UInt val );
+extern Addr VGA_(shadow_archreg_address) ( UInt archreg );
+
+extern UInt VGA_(get_thread_shadow_archreg) ( ThreadId tid, UInt archreg );
+extern void VGA_(set_thread_shadow_archreg) ( ThreadId tid, UInt archreg,
+ UInt val );
/* ToDo: FIX */
/* This is the Intel register encoding -- integer regs. */
static void mc_post_reg_write(ThreadId tid, UInt reg)
{
- VG_(set_thread_shadow_archreg)( tid, reg, VGM_WORD_VALID );
+ VGA_(set_thread_shadow_archreg)( tid, reg, VGM_WORD_VALID );
}
static void mc_post_reg_write_clientcall(ThreadId tid, UInt reg, Addr f )
{
- VG_(set_thread_shadow_archreg)( tid, reg, VGM_WORD_VALID );
+ VGA_(set_thread_shadow_archreg)( tid, reg, VGM_WORD_VALID );
}
static void mc_pre_reg_read(CorePart part, ThreadId tid, Char* s, UInt reg,
default: VG_(tool_panic)("Unhandled size in mc_pre_reg_read");
}
- if (VGM_WORD_VALID != (mask & VG_(get_thread_shadow_archreg)( tid, reg )) )
+ if (VGM_WORD_VALID != (mask & VGA_(get_thread_shadow_archreg)( tid, reg )) )
MAC_(record_param_error) ( tid, 0, /*isReg*/True, /*isUnaddr*/False, s );
}