projects
/
libreriscv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2d73538
)
spelling
author
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Sun, 17 Jan 2021 22:51:57 +0000
(22:51 +0000)
committer
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Sun, 17 Jan 2021 22:51:57 +0000
(22:51 +0000)
openpower/sv/overview.mdwn
patch
|
blob
|
history
diff --git
a/openpower/sv/overview.mdwn
b/openpower/sv/overview.mdwn
index 7d5d40c6ce7dba256ea6c8c4a9b758e0e4203645..98d679cbdcda965265c6dc12cb67096542628a9b 100644
(file)
--- a/
openpower/sv/overview.mdwn
+++ b/
openpower/sv/overview.mdwn
@@
-608,7
+608,7
@@
truncated. Only then can the arithmetic saturation condition be detected:
set_polymorphed_reg(rd, destwid, i, sat)
# set sat overflow
if Rc=1:
- CR.ov = (sat != result)
+ CR
[i]
.ov = (sat != result)
So the actual computation took place at the larger width, but was
post-analysed as an unsigned operation. If however "signed" saturation