whoops remove VSR
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 20 Mar 2023 12:46:11 +0000 (12:46 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 20 Mar 2023 12:46:11 +0000 (12:46 +0000)
openpower/sv/rfc/ls007.mdwn

index f828eb800b685301537b83d4384ce09d83f82b31..ca816986e8ca84156ce1505b5030922e20423fc8 100644 (file)
@@ -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 |