--- /dev/null
+--- a/VEX/priv/guest_mips_helpers.c
++++ b/VEX/priv/guest_mips_helpers.c
+@@ -1189,6 +1189,7 @@ extern UInt mips_dirtyhelper_calculate_F
+ flt_op inst )
+ {
+ UInt ret = 0;
++#ifndef __mips_soft_float
+ #if defined(__mips__)
+ VexGuestMIPS32State* guest_state = (VexGuestMIPS32State*)gs;
+ UInt loFsVal, hiFsVal, loFtVal, hiFtVal;
+@@ -1308,6 +1309,7 @@ extern UInt mips_dirtyhelper_calculate_F
+ break;
+ }
+ #endif
++#endif
+ return ret;
+ }
+
+@@ -1317,6 +1319,7 @@ extern UInt mips_dirtyhelper_calculate_F
+ flt_op inst )
+ {
+ UInt ret = 0;
++#ifndef __mips_soft_float
+ #if defined(__mips__)
+ #if defined(VGA_mips32)
+ VexGuestMIPS32State* guest_state = (VexGuestMIPS32State*)gs;
+@@ -1427,6 +1430,7 @@ extern UInt mips_dirtyhelper_calculate_F
+ break;
+ }
+ #endif
++#endif
+ return ret;
+ }
+