(no commit message)
authorlkcl <lkcl@web>
Sat, 24 Sep 2022 10:47:32 +0000 (11:47 +0100)
committerIkiWiki <ikiwiki.info>
Sat, 24 Sep 2022 10:47:32 +0000 (11:47 +0100)
openpower/sv/normal.mdwn

index 0f9a277e94569f05dd75d9de1263221fa7e706d0..b41a0c1a7d272b67ab8df9f519c03ee7def51b59 100644 (file)
@@ -64,7 +64,7 @@ Fields:
 * **RG** inverts the Vector Loop order (VL-1 downto 0) rather
 than the normal 0..VL-1
 * **N** sets signed/unsigned saturation.
-* **RC1** as if Rc=1, stores CRs *but not the result*
+* **RC1** as if Rc=1, enables access to `VLi`.
 * **VLi** VL inclusive: in fail-first mode, the truncation of
   VL *includes* the current element at the failure point rather
   than excludes it from the count.
@@ -180,6 +180,12 @@ and ffirst applied to the crop instead of to
 the arithmetic vector. Note that crops are covered by 
 the [[sv/cr_ops]] Mode format.
 
+*Programmer's note: `VLi` is only accessible in normal operations
+which in turn limits the CR field bit-testing to only `EQ/NE`.
+[[sv/cr_ops]] are not so limited.  Thus it is possible to use for
+example `sv.cror/ff=gt/vli *0,*0,*0`, which is not a `nop` because
+it allows Fail-First Mode to perform a test and truncate VL.*
+
 Two extremely important aspects of ffirst are:
 
 * LDST ffirst may never set VL equal to zero.  This because on the first