/* --- DIRTY HELPERS --- */
-extern ULong x86g_loadF80le ( UInt );
+extern ULong x86g_dirtyhelper_loadF80le ( UInt );
-extern void x86g_storeF80le ( UInt, ULong );
+extern void x86g_dirtyhelper_storeF80le ( UInt, ULong );
extern void x86g_dirtyhelper_CPUID_sse0 ( VexGuestX86State* );
extern void x86g_dirtyhelper_CPUID_sse1 ( VexGuestX86State* );
/* CALLED FROM GENERATED CODE */
/* DIRTY HELPER (reads guest memory) */
-ULong x86g_loadF80le ( UInt addrU )
+ULong x86g_dirtyhelper_loadF80le ( UInt addrU )
{
ULong f64;
convert_f80le_to_f64le ( (UChar*)ULong_to_Ptr(addrU), (UChar*)&f64 );
/* CALLED FROM GENERATED CODE */
/* DIRTY HELPER (writes guest memory) */
-void x86g_storeF80le ( UInt addrU, ULong f64 )
+void x86g_dirtyhelper_storeF80le ( UInt addrU, ULong f64 )
{
convert_f64le_to_f80le( (UChar*)&f64, (UChar*)ULong_to_Ptr(addrU) );
}
IRDirty* d = unsafeIRDirty_1_N (
val,
0/*regparms*/,
- "x86g_loadF80le", &x86g_loadF80le,
+ "x86g_dirtyhelper_loadF80le",
+ &x86g_dirtyhelper_loadF80le,
args
);
/* declare that we're reading memory */
IRDirty* d = unsafeIRDirty_0_N (
0/*regparms*/,
- "x86g_storeF80le", &x86g_storeF80le,
+ "x86g_dirtyhelper_storeF80le",
+ &x86g_dirtyhelper_storeF80le,
args
);
/* declare we're writing memory */