whoops still using DOUBLE(SINGLE(x)) rather than DOUBLE2SINGLE

diff --git a/src/openpower/decoder/helpers.py b/src/openpower/decoder/helpers.py
index 5440217f9f70be7a3b4d138cd65da4b97b0d4cc0..1e6c1d1043f84815edb9a932ed5e92cd68bde0b9 100644 (file)
--- a/src/openpower/decoder/helpers.py
+++ b/src/openpower/decoder/helpers.py
@@ -258,7 +258,7 @@ def FPADD32(FRA, FRB):
     #FRB = DOUBLE(SINGLE(FRB))
     result = float(FRA) + float(FRB)
     cvt = fp64toselectable(result)
-    cvt = DOUBLE(SINGLE(cvt))
+    cvt = DOUBLE2SINGLE(cvt)
     log ("FPADD32", FRA, FRB, result, cvt)
     return cvt
 
@@ -269,7 +269,7 @@ def FPSUB32(FRA, FRB):
     #FRB = DOUBLE(SINGLE(FRB))
     result = float(FRA) - float(FRB)
     cvt = fp64toselectable(result)
-    cvt = DOUBLE(SINGLE(cvt))
+    cvt = DOUBLE2SINGLE(cvt)
     log ("FPSUB32", FRA, FRB, result, cvt)
     return cvt
 
@@ -313,7 +313,7 @@ def FPDIV32(FRA, FRB):
     #FRB = DOUBLE(SINGLE(FRB))
     result = float(FRA) / float(FRB)
     cvt = fp64toselectable(result)
-    cvt = DOUBLE(SINGLE(cvt))
+    cvt = DOUBLE2SINGLE(cvt)
     log ("FPDIV32", FRA, FRB, result, cvt)
     return cvt