From 74ce5e47431bbfebd27b83e79d57aa9b1c8ac39b Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 4 Nov 2018 13:22:52 +0000
Subject: [PATCH] add zero predication section

---
 simple_v_extension/specification.mdwn | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/simple_v_extension/specification.mdwn b/simple_v_extension/specification.mdwn
index cb21c6e67..0cf5c2468 100644
--- a/simple_v_extension/specification.mdwn
+++ b/simple_v_extension/specification.mdwn
@@ -1987,6 +1987,11 @@ Here is pseudo-code for a twin zero-predicated operation:
             if ((pd & 1<<j))
                 break;
 
+Note that in the instance where the destination is a scalar, the hardware
+loop is ended the moment a value *or a zero* is placed into the destination
+register/element.  Also note that, for clarity, variable element widths
+have been left out of the above.
+
 # Exceptions
 
 TODO: expand.  Exceptions may occur at any time, in any given underlying
-- 
2.30.2