1 --- a/VEX/priv/guest_mips_helpers.c
2 +++ b/VEX/priv/guest_mips_helpers.c
3 @@ -1201,6 +1201,7 @@ extern UInt mips_dirtyhelper_calculate_F
7 +#ifndef __mips_soft_float
9 VexGuestMIPS32State* guest_state = (VexGuestMIPS32State*)gs;
10 UInt loFsVal, hiFsVal, loFtVal, hiFtVal;
11 @@ -1320,6 +1321,7 @@ extern UInt mips_dirtyhelper_calculate_F
19 @@ -1329,6 +1331,7 @@ extern UInt mips_dirtyhelper_calculate_F
23 +#ifndef __mips_soft_float
25 #if defined(VGA_mips32)
26 VexGuestMIPS32State* guest_state = (VexGuestMIPS32State*)gs;
27 @@ -1439,6 +1442,7 @@ extern UInt mips_dirtyhelper_calculate_F