diff --git a/src/cpu/softfloat/softfloatx80.cc b/src/cpu/softfloat/softfloatx80.cc
index b4ce88b3f..fc2409601 100644
--- a/src/cpu/softfloat/softfloatx80.cc
+++ b/src/cpu/softfloat/softfloatx80.cc
@@ -311,12 +311,12 @@ int floatx80_compare(floatx80 a, floatx80 b, int quiet, struct float_status_t *s
     float_class_t bClass = floatx80_class(b);
 
     if (fpu_type < FPU_287XL) {
-        if ((aClass == float_positive_inf) || (bClass == float_negative_inf))
+        if ((aClass == float_positive_inf) && (bClass == float_negative_inf))
         {
             return float_relation_equal;
         }
 
-        if ((aClass == float_negative_inf) || (bClass == float_positive_inf))
+        if ((aClass == float_negative_inf) && (bClass == float_positive_inf))
         {
             return float_relation_equal;
         }