From 2fae1ac20baefa05c1f1aac00fa7f0e88d68242c Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 31 Jul 2021 19:48:46 +0100
Subject: [PATCH] replace DOUBLE function from helpers.py with pseudocode
 variant

---
 openpower/isafunctions/double2single.mdwn | 4 +++-
 src/openpower/decoder/pseudo/pywriter.py  | 3 ++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/openpower/isafunctions/double2single.mdwn b/openpower/isafunctions/double2single.mdwn
index 28e48e29..b731cc04 100644
--- a/openpower/isafunctions/double2single.mdwn
+++ b/openpower/isafunctions/double2single.mdwn
@@ -141,10 +141,11 @@ Round to Single-Precision instruction.
 
 <!-- Power ISA v3.0B p140 section 4.6.2 -->
 
-    def SINGLE(WORD):
+    def DOUBLE(WORD):
         exp <- [0] * 11
         frac <- [0] * 53
         sign <- 0b0
+        FRT <- [0] * 64
         # Normalized Operand
         if (WORD[1:8] >u 0) & (WORD[1:8] <u 255) then
             FRT[0:1] <- WORD[0:1]
@@ -171,3 +172,4 @@ Round to Single-Precision instruction.
             FRT[3] <- WORD[1]
             FRT[4] <- WORD[1]
             FRT[5:63] <- WORD[2:31] || [0]*29
+        return FRT
diff --git a/src/openpower/decoder/pseudo/pywriter.py b/src/openpower/decoder/pseudo/pywriter.py
index aa043fd4..4776ebb4 100644
--- a/src/openpower/decoder/pseudo/pywriter.py
+++ b/src/openpower/decoder/pseudo/pywriter.py
@@ -35,13 +35,14 @@ from openpower.decoder.orderedset import OrderedSet
 
 fpheader = """
 from openpower.decoder.helpers import (
-                                 DOUBLE, SINGLE,
+                                 SINGLE,
                                  FPADD32, FPSUB32, FPMUL32, FPDIV32,
                                  FPADD64, FPSUB64, FPMUL64, FPDIV64,
                                  FPMULADD32,
                                  FPSIN32, FPCOS32,
                                 )
 from openpower.decoder.isafunctions.fpfromint import INT2FP
+from openpower.decoder.isafunctions.double2single import DOUBLE
 
 
 """
-- 
2.30.2