projects
/
libreriscv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2cfcda7
)
(no commit message)
author
lkcl
<lkcl@web>
Tue, 14 Mar 2023 14:05:35 +0000
(14:05 +0000)
committer
IkiWiki
<ikiwiki.info>
Tue, 14 Mar 2023 14:05:35 +0000
(14:05 +0000)
openpower/sv/rfc/ls007.mdwn
patch
|
blob
|
history
diff --git
a/openpower/sv/rfc/ls007.mdwn
b/openpower/sv/rfc/ls007.mdwn
index ae2d6df9dafe0e5bacd39ee5bd415ac8282ebb96..39ca5300686ffd4c2c6605c64443ed432e042206 100644
(file)
--- a/
openpower/sv/rfc/ls007.mdwn
+++ b/
openpower/sv/rfc/ls007.mdwn
@@
-150,7
+150,9
@@
Add `VA` to the `Formats:` list of `XO (27:31)`.
\newpage{}
-# Ternary Logic Immediate TLI-form
+# Ternary Logic Immediate
+
+TLI-form
Add this section to Book I 3.3.13
@@
-181,7
+183,9
@@
CR0 (if Rc=1)
\newpage{}
-# Condition Register Ternary Logic Immediate CRB-form
+# Condition Register Ternary Logic Immediate
+
+CRB-form
Add this section to Book I 2.5.1
@@
-214,7
+218,9
@@
CR field BF
\newpage{}
-# Dynamic Binary Logic VA-form
+# Dynamic Binary Logic
+
+VA-form
Add this section to Book I 3.3.13