projects
/
libreriscv.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
whitespace
[libreriscv.git]
/
openpower
/
isa
/
fixedlogical.mdwn
diff --git
a/openpower/isa/fixedlogical.mdwn
b/openpower/isa/fixedlogical.mdwn
index 870f11c909788a180931857d17e3b4a53495888b..7cf78ef3b52ea105173f5a0bbd74d7d1772ce82e 100644
(file)
--- a/
openpower/isa/fixedlogical.mdwn
+++ b/
openpower/isa/fixedlogical.mdwn
@@
-129,7
+129,7
@@
X-Form
* nor RA,RS,RB (Rc=0)
* nor. RA,RS,RB (Rc=1)
* nor RA,RS,RB (Rc=0)
* nor. RA,RS,RB (Rc=1)
- RA <- ¬((RS) | (RB))
+
RA <- ¬((RS) | (RB))
Special Registers Altered:
Special Registers Altered:
@@
-212,12
+212,10
@@
X-Form
* cntlzw. RA,RS (Rc=1)
n <- 32
* cntlzw. RA,RS (Rc=1)
n <- 32
-
do while n < 64
if (RS)[n] = 1 then
leave
n <- n + 1
do while n < 64
if (RS)[n] = 1 then
leave
n <- n + 1
-
RA <- n - 32
Special Registers Altered:
RA <- n - 32
Special Registers Altered:
@@
-232,12
+230,10
@@
X-Form
* cnttzw. RA,RS (Rc=1)
n <- 0
* cnttzw. RA,RS (Rc=1)
n <- 0
-
do while n < 32
if (RS)[63-n=] = 0b1 then
leave
n <- n + 1
do while n < 32
if (RS)[63-n=] = 0b1 then
leave
n <- n + 1
-
RA <- EXTZ64(n)
Special Registers Altered:
RA <- EXTZ64(n)
Special Registers Altered: