From: lkcl <lkcl@web>
Date: Tue, 21 Jun 2022 13:32:04 +0000 (+0100)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=038d90b6de1333d541b8d26819a82d2a62ffe3aa;p=libreriscv.git

---

diff --git a/openpower/sv/svp64/appendix.mdwn b/openpower/sv/svp64/appendix.mdwn
index f574dc366..a8b9c1644 100644
--- 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)