back.rtlil: extend unsigned operand of binop if another is signed.

Fixes #580.

diff --git a/nmigen/back/rtlil.py b/nmigen/back/rtlil.py
index 6da4d9cd3c7bc2065d95bc6ccb58a35e85b864ce..306240d53e8e5465ddea9e90dad2702309128636 100644 (file)
--- a/nmigen/back/rtlil.py
+++ b/nmigen/back/rtlil.py
@@ -529,8 +529,8 @@ class _RHSValueCompiler(_ValueCompiler):
             lhs_wire = self(lhs)
             rhs_wire = self(rhs)
         else:
+            lhs_bits = rhs_bits = max(lhs_bits + rhs_sign, rhs_bits + lhs_sign)
             lhs_sign = rhs_sign = True
-            lhs_bits = rhs_bits = max(lhs_bits, rhs_bits)
             lhs_wire = self.match_shape(lhs, lhs_bits, lhs_sign)
             rhs_wire = self.match_shape(rhs, rhs_bits, rhs_sign)
         res_bits, res_sign = value.shape()