Fixed emulated float operator+ bug

Przemog1 · Przemog1 · commit 06c3468511b6 · 2025-07-10T21:23:12.000+02:00
diff --git a/examples_tests b/examples_tests
@@ -1 +1 @@
-Subproject commit 710e2f766307d8a62f05f3143c65499ba34cdf67
+Subproject commit e6417f4f38ccc4abb4fdaa17161a6ed19471bb9e
diff --git a/include/nbl/builtin/hlsl/emulated/float64_t.hlsl b/include/nbl/builtin/hlsl/emulated/float64_t.hlsl
@@ -154,14 +154,20 @@ namespace hlsl
                     if ((data | ieee754::traits<float64_t>::signMask) == (rhs.data | ieee754::traits<float64_t>::signMask))
                         return _static_cast<this_t>(0ull);
 
-                    uint64_t rhsNormMantissaHigh = shiftAmount >= 64 ? 0ull : rhsNormMantissa >> shiftAmount;
+                    uint64_t rhsNormMantissaHigh = shiftAmount >= 64u ? 0ull : rhsNormMantissa >> shiftAmount;
                     uint64_t rhsNormMantissaLow = 0ull;
                     if (shiftAmount < 128)
                     {
                         if (shiftAmount >= 64)
+                        {
                             rhsNormMantissaLow = rhsNormMantissa >> (shiftAmount - 64);
+                        }
                         else
-                            rhsNormMantissaLow = rhsNormMantissa << (64 - shiftAmount);
+                        {
+                            const uint32_t lowMantissaShiftAmount = 64 - shiftAmount;
+                            if(lowMantissaShiftAmount < 64)
+                                rhsNormMantissaLow = rhsNormMantissa << lowMantissaShiftAmount;
+                        }
                     }
 
                     const int64_t mantissaDiff = int64_t(lhsNormMantissa) - int64_t(rhsNormMantissaHigh);
@@ -179,7 +185,7 @@ namespace hlsl
                 }
                 else
                 {
-                    rhsNormMantissa >>= shiftAmount;
+                    rhsNormMantissa = shiftAmount > 63 ? 0ull : rhsNormMantissa >> shiftAmount;
                     resultMantissa = lhsNormMantissa + rhsNormMantissa;
 
                     if (resultMantissa & 1ull << 53)
