From: lkcl <lkcl@web>
Date: Wed, 29 Mar 2023 23:39:45 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls012_v1~218
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d102cba13da17a26dc6fb7df46137ea5fa535f83;p=libreriscv.git

---

diff --git a/openpower/sv/rfc/ls010.mdwn b/openpower/sv/rfc/ls010.mdwn
index f80207c8a..541fffb50 100644
--- a/openpower/sv/rfc/ls010.mdwn
+++ b/openpower/sv/rfc/ls010.mdwn
@@ -544,13 +544,6 @@ following meaning:
 | 110   | so/un    | `CR[offs+i].FU` is set   |
 | 111   | ns/nu    | `CR[offs+i].FU` is clear |
 
-CR based predication.  TODO: select alternate CR for twin predication? see
-[[discussion]]  Overlap of the two CR based predicates must be taken
-into account, so the starting point for one of them must be suitably
-high, or accept that for twin predication VL must not exceed the range
-where overlap will occur, *or* that they use the same starting point
-but select different *bits* of the same CRs
-
 `offs` is defined as CR32 (4x8) so as to mesh cleanly with Vectorised
 Rc=1 operations (see below).  Rc=1 operations start from CR8 (TBD).