From: whitequark <cz@m-labs.hk>
Date: Mon, 2 Dec 2019 18:52:55 +0000 (+0000)
Subject: back.pysim: fix miscompilation of Signal(unsigned) - Signal(signed).
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f6856526c4ce5a156b61095931c839de9318a3f3;p=nmigen.git

back.pysim: fix miscompilation of Signal(unsigned) - Signal(signed).
---

diff --git a/nmigen/back/pysim.py b/nmigen/back/pysim.py
index 6f905ff..b0449fe 100644
--- a/nmigen/back/pysim.py
+++ b/nmigen/back/pysim.py
@@ -424,9 +424,9 @@ class _RHSValueCompiler(_ValueCompiler):
             lhs_mask = (1 << len(lhs)) - 1
             rhs_mask = (1 << len(rhs)) - 1
             if value.operator == "+":
-                return f"({mask(lhs)} + {mask(rhs)})"
+                return f"({sign(lhs)} + {sign(rhs)})"
             if value.operator == "-":
-                return f"({mask(lhs)} - {mask(rhs)})"
+                return f"({sign(lhs)} - {sign(rhs)})"
             if value.operator == "*":
                 return f"({sign(lhs)} * {sign(rhs)})"
             if value.operator == "//":