From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 26 Jun 2022 07:39:23 +0000 (+0100)
Subject: svp64.py: add -FORM headers to more functions
X-Git-Tag: sv_maxu_works-initial~327
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a7aef0367b3ed0a1603b241646d55decf3a7320d;p=openpower-isa.git

svp64.py: add -FORM headers to more functions
---

diff --git a/src/openpower/sv/trans/svp64.py b/src/openpower/sv/trans/svp64.py
index c45684db..926d91f9 100644
--- a/src/openpower/sv/trans/svp64.py
+++ b/src/openpower/sv/trans/svp64.py
@@ -219,6 +219,9 @@ def bmask(fields):
 def fsins(fields, Rc):
     # XXX WARNING THESE ARE NOT APPROVED BY OPF ISA WG
     # however we are out of space with opcode 22
+    # 1.6.7 X-FORM
+    # |0     |6 |7|8|9  |10  |11|12|13  |15|16|17     |20|21    |31  |
+    # | PO   |   FRT         |   FRA       |   FRB       |   XO |  / |
     PO = 59
     XO = 0b1000001110
     (FRT, FRB) = fields
@@ -235,6 +238,9 @@ def fsins(fields, Rc):
 def fcoss(fields, Rc):
     # XXX WARNING THESE ARE NOT APPROVED BY OPF ISA WG
     # however we are out of space with opcode 22
+    # 1.6.7 X-FORM
+    # |0     |6 |7|8|9  |10  |11|12|13  |15|16|17     |20|21    |31  |
+    # | PO   |   FRT         |   FRA       |   FRB       |   XO |  / |
     PO = 59
     XO = 0b1000101110
     (FRT, FRB) = fields
@@ -251,6 +257,9 @@ def fcoss(fields, Rc):
 def ternlogi(fields, Rc):
     # XXX WARNING THESE ARE NOT APPROVED BY OPF ISA WG
     # however we are out of space with opcode 22
+    # 1.6.34 TLI-FORM
+    #   |0   |6   |11   |16   |21   |29  |31 |
+    #   | PO | RT |  RA |  RB | TLI | XO |Rc |
     PO = 5
     XO = 0
     (RT, RA, RB, TLI) = fields
@@ -292,6 +301,9 @@ def grev(fields, Rc, imm, wide):
 
 
 def av(fields, XO, Rc):
+    # 1.6.7 X-FORM
+    #   |0     |6 |7|8|9  |10  |11|12|13  |15|16|17     |20|21    |31  |
+    #   | PO   |       RT      |    RA       |    RB       |   XO |Rc  |
     PO = 22
     (RT, RA, RB) = fields
     return instruction(