projects
/
libreriscv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
11c7c7f
)
whoops remove VSR
author
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Mon, 20 Mar 2023 12:46:11 +0000
(12:46 +0000)
committer
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Mon, 20 Mar 2023 12:46:11 +0000
(12:46 +0000)
openpower/sv/rfc/ls007.mdwn
patch
|
blob
|
history
diff --git
a/openpower/sv/rfc/ls007.mdwn
b/openpower/sv/rfc/ls007.mdwn
index f828eb800b685301537b83d4384ce09d83f82b31..ca816986e8ca84156ce1505b5030922e20423fc8 100644
(file)
--- 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 |