spelling
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 17 Jan 2021 22:51:57 +0000 (22:51 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 17 Jan 2021 22:51:57 +0000 (22:51 +0000)
openpower/sv/overview.mdwn

index 7d5d40c6ce7dba256ea6c8c4a9b758e0e4203645..98d679cbdcda965265c6dc12cb67096542628a9b 100644 (file)
@@ -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