(no commit message)

diff --git a/openpower/sv/ldst.mdwn b/openpower/sv/ldst.mdwn
index e1a405ed59ce3dc4252dda594b8850e90cc6b7f0..9f03918e512fa14f619eaadd69e81490904cfafb 100644 (file)
--- a/openpower/sv/ldst.mdwn
+++ b/openpower/sv/ldst.mdwn
@@ -124,7 +124,6 @@ The table for [[sv/svp64]] for `immed(RA)` which is `RM.MODE`
 |VLi| 1 | inv | CR-bit  | Rc=1: ffirst CR sel        |
 |VLi| 1 | inv | els RC1 |  Rc=0: ffirst z/nonz       |
 
-
 The `els` bit is only relevant when `RA.isvec` is clear: this indicates
 whether stride is unit or element:
 
@@ -493,6 +492,15 @@ one Element earlier.
            break                     # stop looping
 ```
 
+**Data-Dependent Fault-First on Store-Conditional**
+
+There are very few instructions that allow Rc=1 for Load/Store:
+one of those is the `stdcx.` and other Atomic Store-Conditional
+instructions.  It should be self-evident that being able to
+Vectorise and then truncate a sequence of Atomic Store-Conditional
+operations at the point where a store was not performed, should
+be pretty important.
+
 ## LOAD/STORE Elwidths <a name="elwidth"></a>
 
 Loads and Stores are almost unique in that the Power Scalar ISA