From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 20 Mar 2023 12:46:11 +0000 (+0000)
Subject: whoops remove VSR
X-Git-Tag: opf_rfc_ls001_v3~137
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b03b64dc3bc4cb079f1cdc030d6d435b8d23f1cf;p=libreriscv.git

whoops remove VSR
---

diff --git a/openpower/sv/rfc/ls007.mdwn b/openpower/sv/rfc/ls007.mdwn
index f828eb800..ca816986e 100644
--- a/openpower/sv/rfc/ls007.mdwn
+++ b/openpower/sv/rfc/ls007.mdwn
@@ -177,9 +177,6 @@ Add this section to Book I 3.3.13
 Pseudocode:
 
 ```
-RT <- VSR[32xAX+A]
-RA <- VSR[32xBX+B]
-RB <- VSR[32xCX+C]
 result <- (~RT&~RA&~RB & TLI[0]*XLEN |
           (~RT&~RA& RB & TLI[1]*XLEN |
           (~RT& RA&~RB & TLI[2]*XLEN |