From: lkcl <lkcl@web>
Date: Tue, 3 Aug 2021 09:17:51 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: DRAFT_SVP64_0_1~519
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6d177e6fa313634f22a547a9621505e94aab9cb5;p=libreriscv.git

---

diff --git a/openpower/sv/branches.mdwn b/openpower/sv/branches.mdwn
index 3541d389a..0cec42e67 100644
--- a/openpower/sv/branches.mdwn
+++ b/openpower/sv/branches.mdwn
@@ -245,7 +245,11 @@ label1:
 which will end up as:
 
 ```
-   sv.cmpi CR0, a, 2
+   sv.cmpi CR0.v a.v, 2      # vector compare a into CR0 vector
    sv.crweird r30, CR0.GT # transfer GT vector to r30
 while_loop:
+   sv.cmpi CR64.v, b.v, 5     # vector compare b into CR64 Vector
+   sv.bc/m=r30/~ALL/sz CR64.v.LT skip_f # skip when none
+   f()
+skip_f:
 ```