usb-tools/amaranth
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

sim._pyrtl: mask bitwise binary operands.

Browse source 
Boolean negation produces negative integers, which when unmasked
drastically affects the result of these operations.
This commit is contained in:
Charlotte 2023-06-24 13:22:56 +10:00 committed by Catherine
parent 59a83cf7eb
commit 99417d6499
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
amaranth/sim/_pyrtl.py
View file

@ -166,11 +166,11 @@ class _RHSValueCompiler(_ValueCompiler):
if value.operator == "%": if value.operator == "%":
return f"zmod({sign(lhs)}, {sign(rhs)})" return f"zmod({sign(lhs)}, {sign(rhs)})"
if value.operator == "&": if value.operator == "&":
return f"({self(lhs)} & {self(rhs)})" return f"({mask(lhs)} & {mask(rhs)})"
if value.operator == "|": if value.operator == "|":
return f"({self(lhs)} | {self(rhs)})" return f"({mask(lhs)} | {mask(rhs)})"
if value.operator == "^": if value.operator == "^":
return f"({self(lhs)} ^ {self(rhs)})" return f"({mask(lhs)} ^ {mask(rhs)})"
if value.operator == "<<": if value.operator == "<<":
return f"({sign(lhs)} << {sign(rhs)})" return f"({sign(lhs)} << {sign(rhs)})"
if value.operator == ">>": if value.operator == ">>":