From b3c053e87ad79b5e8f89d7d354752118e2c011f8 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Sun, 25 Sep 2022 00:19:47 +0100
Subject: [PATCH]

---
 openpower/sv/overview/discussion.mdwn | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/openpower/sv/overview/discussion.mdwn b/openpower/sv/overview/discussion.mdwn
index b998e1c85..7c670a840 100644
--- a/openpower/sv/overview/discussion.mdwn
+++ b/openpower/sv/overview/discussion.mdwn
@@ -212,3 +212,12 @@ First we define the contents of 64-bit registers:
 |------|-------------------------|-----|---------------------------------|
 | bits | b0.b1.b2.b3.b4.b5.b6.b7 | ... | b56.b57.b58.b59.b60.b61.b62.b63 |
 | bytes|        B0               | ... |  B7                             |
+
+In pseudocode we may now define B0 to B7 in terms of b0..b63 and thus
+also define Registers:
+
+     B0 = b0 || b1 || b2 || b3 || b4 || b5 || b6 || b7
+     B1 = b8 || ..........                 ....  || b15
+     ...
+     B7 = b56 || .........                 ....  || b63
+     RA = B0 || B1 || B2 || B3 || B4 || B5 || B6 || B7
-- 
2.30.2