update ffirst mode, clarify predicate table

diff --git a/simple_v_extension/specification.mdwn b/simple_v_extension/specification.mdwn
index c40c448f95eefa692e75584dd9485385e63d956e..fc976a311885a0c29e3f2935608259d9ae72dc35 100644 (file)
--- 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