From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 25 Jul 2022 00:00:25 +0000 (+0100)
Subject: mention crweirder in failfirst normal mode
X-Git-Tag: opf_rfc_ls005_v1~1037
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0d538b724c6ef7545834c733d39f0d6a70741a81;p=libreriscv.git

mention crweirder in failfirst normal mode
---

diff --git a/openpower/sv/normal.mdwn b/openpower/sv/normal.mdwn
index 303356e25..9f7134f9b 100644
--- a/openpower/sv/normal.mdwn
+++ b/openpower/sv/normal.mdwn
@@ -160,7 +160,8 @@ of strncpy, to include the terminating zero.
 In CR-based data-driven fail-on-first there is only the option to select
 and test one bit of each CR (just as with branch BO).  For more complex
 tests this may be insufficient.  If that is the case, a vectorised crop
-(crand, cror) may be used, and ffirst applied to the crop instead of to
+such as crand, cror or [[sv/cr_int_predication]] crweirder may be used,
+and ffirst applied to the crop instead of to
 the arithmetic vector. Note that crops are covered by 
 the [[sv/cr_ops]] Mode format.