From b03b64dc3bc4cb079f1cdc030d6d435b8d23f1cf Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 20 Mar 2023 12:46:11 +0000
Subject: [PATCH] whoops remove VSR

---
 openpower/sv/rfc/ls007.mdwn | 3 ---
 1 file changed, 3 deletions(-)

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 |
-- 
2.30.2