From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 21 May 2021 10:03:10 +0000 (+0100)
Subject: invert saturation min/max pseudocode (thanks lauri)
X-Git-Tag: DRAFT_SVP64_0_1~893
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=257849c899e7eb178bd3abacfdf4482e6fa564c7;p=libreriscv.git

invert saturation min/max pseudocode (thanks lauri)
---

diff --git a/openpower/sv/overview.mdwn b/openpower/sv/overview.mdwn
index bce4af85a..81d5b9aa9 100644
--- a/openpower/sv/overview.mdwn
+++ b/openpower/sv/overview.mdwn
@@ -641,8 +641,8 @@ truncating down to 8 bit for example.
        # logical op, signed has no meaning
        result = op_xor(src1, src2, opwidth)
        # now saturate (signed)
-       sat = max(result, (1<<destwid-1)-1)
-       sat = min(result, -(1<<destwid-1))
+       sat = min(result, (1<<destwid-1)-1)
+       sat = max(result, -(1<<destwid-1))
        set_polymorphed_reg(rd, destwid, i, sat)
 
 Overall here the rule is: apply common sense then document the behaviour