(no commit message)

diff --git a/openpower/sv/svp64/appendix.mdwn b/openpower/sv/svp64/appendix.mdwn
index f574dc366d22c24a5c8fb61bd5ef8cd5200c97aa..a8b9c16446a0e3361954c082a6034cbf2bbff3e3 100644 (file)
--- a/openpower/sv/svp64/appendix.mdwn
+++ b/openpower/sv/svp64/appendix.mdwn
@@ -971,6 +971,9 @@ that has no relation to the operation it issues.
 Additional state cannot be saved on context-switching beyond that
 of SVSTATE.
 
+Executable demo pseudocode, full version
+[here](https://git.libre-soc.org/?p=libreriscv.git;a=blob;f=openpower/sv/preduce.py;hb=HEAD)
+
 ```
 def preducei(vl, vec, pred):
     vec = copy(vec)