From 53f70ae82b62f9ef593a14cfdff0bec99f1ec48b Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Mon, 2 Aug 2021 11:32:54 +0100
Subject: [PATCH]

---
 openpower/sv/branches.mdwn | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/openpower/sv/branches.mdwn b/openpower/sv/branches.mdwn
index 6a5655d19..a27179676 100644
--- a/openpower/sv/branches.mdwn
+++ b/openpower/sv/branches.mdwn
@@ -148,3 +148,33 @@ Pseudocode for Horizontal-First Mode:
                if el_cond_ok:
                    break
 ```
+
+Pseudocode for Vertical-First Mode:
+
+```
+   new_srcstep, CRbits = SVSTATE_NEXT(srcstep)
+   if BO[0]:
+       cond_ok = 1
+   else
+       # select predicate bit or zero/one
+       if predicate[srcstep]:
+           # get SVP64 extended CR field 0..127
+           SVCRf = SVP64EXTRA(BI>>2)
+           CR{SVCRf+srcstep} = CRbits
+           testbit = CRbits[BI & 0b11]
+       else if not SVRMmode.sz:
+           SVSTATE.srcstep = new_srcstep
+           exit # no branch testing
+       else
+           testbit = SVRMmode.SNZ
+       # actual element test here
+       cond_ok <- ¬(testbit ^ BO[1])
+
+       # test for VL to be set (and exit)
+       if ~cond_ok and VLSET
+           if SVRMmode.VLI
+               SVSTATE.VL = new_srcstep+1
+           else
+               SVSTATE.VL = new_srcstep
+    SVSTATE.srcstep = new_srcstep
+```
-- 
2.30.2