From: lkcl <lkcl@web>
Date: Thu, 14 Jul 2022 14:06:51 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~1195
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9541aa8eae7121854461fe3c3950e174c989a7c0;p=libreriscv.git

---

diff --git a/openpower/sv/remap.mdwn b/openpower/sv/remap.mdwn
index 70f614777..334430cdd 100644
--- a/openpower/sv/remap.mdwn
+++ b/openpower/sv/remap.mdwn
@@ -608,21 +608,16 @@ notes from conversations:
 > already peocessed paths that go through vertices numbered < z, and it
 > adds paths that go through vertices numbered z.
 >
-> For this to work, the outer loop has to be the one on teh subscript that
+> For this to work, the outer loop has to be the one on the subscript that
 > bridges a and b (which in this case are teh same matrix, of course).
 
 # SUBVL Remap
 
-Remapping even of SUBVL (vec2/3/4) elements is permitted, as if the
-sub-vectir elements were simply part of the main VL loop.  This is the
-*complete opposite* of predication which **only** applies to the whole
-vec2/3/4.  In pseudocode this would be:
-
-      for (i = 0; i < VL; i++)
-        if (predval & 1<<i) # apply to VL not SUBVL
-          for (j = 0; j < SUBVL; j++)
-             id = i*SUBVL + j # not, "id=i".
-             ireg[RT+remap1(id)] ...
+Remapping of SUBVL (vec2/3/4) elements is not permitted: the vec2/3/4
+itself must be considered to be the "element".  To perform REMAP
+on the elements of a vec2/3/4, use Swizzle, Indexing, or add one
+extra dimension to Matrix REMAP, the inner dimension being the size
+of the Subvector (2, 3, or 4).
 
 The reason for allowing SUBVL Remaps is that some regular patterns using
 Swizzle which would otherwise require multiple explicit instructions