projects
/
libreriscv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
9889ee7
)
re-add empty lines before/after SetFX -- the spec has them, we should too
author
Jacob Lifshay
<programmerjake@gmail.com>
Wed, 22 Mar 2023 21:38:55 +0000
(14:38 -0700)
committer
Jacob Lifshay
<programmerjake@gmail.com>
Wed, 22 Mar 2023 21:40:24 +0000
(14:40 -0700)
openpower/sv/rfc/ls006.mdwn
patch
|
blob
|
history
diff --git
a/openpower/sv/rfc/ls006.mdwn
b/openpower/sv/rfc/ls006.mdwn
index dbff804dc9f944e601a23c3855699cfff0420ac0..026474a9ecde78ade76b0081646803fd81cae0fb 100644
(file)
--- a/
openpower/sv/rfc/ls006.mdwn
+++ b/
openpower/sv/rfc/ls006.mdwn
@@
-247,12
+247,16
@@
Special Registers altered:
rnd <- bfp_ROUND_TO_BFP64(FPSCR.RN, src)
result <- bfp64_CONVERT_FROM_BFP(rnd)
cls <- fprf_CLASS_BFP64(result)
+
if xx_flag = 1 then SetFX(FPSCR.XX)
+
FRT <- result
FPSCR.FPRF <- cls
FPSCR.FR <- inc_flag
FPSCR.FI <- xx_flag
```
+<!-- note the PowerISA spec. explicitly has empty lines before/after SetFX,
+don't remove them -->
Convert from a unsigned/signed 32/64-bit integer in RB to a 32/64-bit
float in FRT, following the usual 32-bit float in 64-bit float format.