/* Functions defined in mc_main.c */
extern VGA_REGPARM(1) void MC_(helperc_complain_undef) ( HWord );
+extern void MC_(helperc_value_check8_fail) ( void );
extern void MC_(helperc_value_check4_fail) ( void );
-extern void MC_(helperc_value_check2_fail) ( void );
extern void MC_(helperc_value_check1_fail) ( void );
extern void MC_(helperc_value_check0_fail) ( void );
MC_(record_value_error) ( VG_(get_running_tid)(), 1 );
}
-//zz void MC_(helperc_value_check2_fail) ( void )
-//zz {
-//zz MC_(record_value_error) ( VG_(get_running_tid)(), 2 );
-//zz }
-
void MC_(helperc_value_check4_fail) ( void )
{
MC_(record_value_error) ( VG_(get_running_tid)(), 4 );
}
+void MC_(helperc_value_check8_fail) ( void )
+{
+ MC_(record_value_error) ( VG_(get_running_tid)(), 8 );
+}
+
VGA_REGPARM(1) void MC_(helperc_complain_undef) ( HWord sz )
{
MC_(record_value_error) ( VG_(get_running_tid)(), (Int)sz );
mkIRExprVec_0()
);
break;
+ case 8:
+ di = unsafeIRDirty_0_N( 0/*regparms*/,
+ "MC_(helperc_value_check8_fail)",
+ &MC_(helperc_value_check8_fail),
+ mkIRExprVec_0()
+ );
+ break;
default:
di = unsafeIRDirty_0_N( 1/*regparms*/,
"MC_(helperc_complain_undef)",