From: lkcl <lkcl@web>
Date: Sat, 16 Dec 2023 20:05:48 +0000 (+0000)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=57b88fe7bf33391e87988ae9e09214cada11f6c0;p=libreriscv.git

---

diff --git a/openpower/sv/svstep.mdwn b/openpower/sv/svstep.mdwn
index b68af3aa2..73505acc0 100644
--- a/openpower/sv/svstep.mdwn
+++ b/openpower/sv/svstep.mdwn
@@ -6,12 +6,12 @@
 
 SVL-Form
 
-* svstep RT,SVi,vf (Rc=0)
-* svstep. RT,SVi,vf (Rc=1)
+* svstep RT,RA,SVi,vf (Rc=0)
+* svstep. RT,RA,SVi,vf (Rc=1)
 
 | 0-5|6-10|11.15|16..22| 23-25    | 26-30 |31|   Form   |
 |----|----|-----|------|----------|-------|--|--------- |
-|PO  | RT | /   | SVi  |  / / vf  | XO    |Rc| SVL-Form |
+|PO  | RT | RA  | SVi  |  / / vf  | XO    |Rc| SVL-Form |
 
 Pseudo-code: