1 --- a/VEX/priv/guest_mips_helpers.c
2 +++ b/VEX/priv/guest_mips_helpers.c
3 @@ -1189,6 +1189,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 @@ -1308,6 +1309,7 @@ extern UInt mips_dirtyhelper_calculate_F
19 @@ -1317,6 +1319,7 @@ extern UInt mips_dirtyhelper_calculate_F
23 +#ifndef __mips_soft_float
25 #if defined(VGA_mips32)
26 VexGuestMIPS32State* guest_state = (VexGuestMIPS32State*)gs;
27 @@ -1427,6 +1430,7 @@ extern UInt mips_dirtyhelper_calculate_F