From a7aef0367b3ed0a1603b241646d55decf3a7320d Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 26 Jun 2022 08:39:23 +0100
Subject: [PATCH] svp64.py: add -FORM headers to more functions

---
 src/openpower/sv/trans/svp64.py | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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(
-- 
2.30.2