projects
/
openpower-isa.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add comment-stripping to get_csv()
[openpower-isa.git]
/
openpower
/
isa
/
fixedshift.mdwn
diff --git
a/openpower/isa/fixedshift.mdwn
b/openpower/isa/fixedshift.mdwn
index 96d781b1192504ba180af13efed6e388edb971f3..02f1a71a85f2e747e55325fcc78838d1cdf2777a 100644
(file)
--- a/
openpower/isa/fixedshift.mdwn
+++ b/
openpower/isa/fixedshift.mdwn
@@
-341,13
+341,13
@@
X-Form
Pseudo-code:
Pseudo-code:
- n <- (RB)[
58:63
]
- r <- ROTL64((RS),
64
-n)
- if (RB)[
5
7] = 0 then
- m <- MASK(n,
63
)
- else m <- [0]*
64
+ n <- (RB)[
XLEN-6:XLEN-1
]
+ r <- ROTL64((RS),
XLEN
-n)
+ if (RB)[
XLEN-
7] = 0 then
+ m <- MASK(n,
(XLEN-1)
)
+ else m <- [0]*
XLEN
s <- (RS)[0]
s <- (RS)[0]
- RA <- r&m | ([s]*
64
)& ¬m
+ RA <- r&m | ([s]*
XLEN
)& ¬m
carry <- s & ((r&¬m) != 0)
CA <- carry
CA32 <- carry
carry <- s & ((r&¬m) != 0)
CA <- carry
CA32 <- carry