From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 17 Jan 2021 22:51:57 +0000 (+0000)
Subject: spelling
X-Git-Tag: convert-csv-opcode-to-binary~423
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d34bdc93aedda2b22b693d808ae4c1d07a23553f;p=libreriscv.git

spelling
---

diff --git a/openpower/sv/overview.mdwn b/openpower/sv/overview.mdwn
index 7d5d40c6c..98d679cbd 100644
--- 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