projects
/
libreriscv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
57ca17a
)
(no commit message)
author
lkcl
<lkcl@web>
Thu, 20 Apr 2023 15:51:49 +0000
(16:51 +0100)
committer
IkiWiki
<ikiwiki.info>
Thu, 20 Apr 2023 15:51:49 +0000
(16:51 +0100)
openpower/sv/rfc/ls013.mdwn
patch
|
blob
|
history
diff --git
a/openpower/sv/rfc/ls013.mdwn
b/openpower/sv/rfc/ls013.mdwn
index 8145cd18c3fc91dcd9c02e7fb35532485f30a2a3..4682b34340cc496cfaa2b88862a4d944b3689575 100644
(file)
--- a/
openpower/sv/rfc/ls013.mdwn
+++ b/
openpower/sv/rfc/ls013.mdwn
@@
-250,10
+250,9
@@
semantics therefore Saturated variants of these instructions need not be propose
t <- a
a <- b
b <- t
- if a <u b then
- RT <- (RA)
- else
- RT <- (RB)
+ # store the entire selected source (even in word mode)
+ if a <u b then RT <- (RA)
+ else RT <- (RB)
```
Compute the integer minimum/maximum according to `MMM` of `RA` and `RB` and