From: Luke Kenneth Casson Leighton Date: Mon, 24 Jun 2019 14:42:07 +0000 (+0100) Subject: update ffirst mode, clarify predicate table X-Git-Tag: convert-csv-opcode-to-binary~4478 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=abdb1b046acee7c9b4f57d212f5407b039bdbc1c;p=libreriscv.git update ffirst mode, clarify predicate table --- diff --git a/simple_v_extension/specification.mdwn b/simple_v_extension/specification.mdwn index c40c448f9..fc976a311 100644 --- a/simple_v_extension/specification.mdwn +++ b/simple_v_extension/specification.mdwn @@ -749,7 +749,7 @@ inverse-on and using x0 as the predicate register. This will have the effect of creating a mask of all ones, allowing ffirst to be set. -For traps: +### Fail-on-first traps Except for the first element, ffault stops sequential element processing when a trap occurs. The first element is treated normally (as if ffirst @@ -774,7 +774,7 @@ Given that predication bits apply to SUBVL groups, the same rules apply to predicated-out (masked-out) sub-groups in calculating the value that VL is set to. -For conditional tests: +### Fail-on-first conditional tests ffault stops sequential element conditional testing on the first element result being zero. VL is set to the number of elements that were processed before