From: lkcl <lkcl@web>
Date: Thu, 17 Dec 2020 12:06:11 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~1243
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=37fd023168297e4f27f4d8dd6865a1f4183d749c;p=libreriscv.git

---

diff --git a/openpower/sv/svp_rewrite/svp64.mdwn b/openpower/sv/svp_rewrite/svp64.mdwn
index 12d2f28f7..b69269264 100644
--- a/openpower/sv/svp_rewrite/svp64.mdwn
+++ b/openpower/sv/svp_rewrite/svp64.mdwn
@@ -625,12 +625,9 @@ Remapped Encoding Fields: `RM-1P-2S1D`
 
 Remapped Encoding Fields: `RM-1P-2S1D`
 
+*Note that analysis of `rl(w|d)imi` shows that these are correctly identified as 2S1D.  The pseudocode in [[fixedshift]] although RA is used as both a src and a dest the EXTRA3 extension of each of these gives different meanings to the src RA and dest RA.*
 
 
-## 2R-1W-CRo (rl(w|d)imi)
-
-Remapped Encoding Fields: `RM-1P-2S1D`
-
 ## 2R-1W-CRi
 TBD