Respect \A_SIGNED for $shift
authorXiretza <xiretza@xiretza.xyz>
Fri, 3 Jul 2020 11:13:21 +0000 (13:13 +0200)
committerMarcelina Koƛcielnicka <mwk@0x04.net>
Tue, 18 Aug 2020 17:36:24 +0000 (19:36 +0200)
commit928fd40c2ebc8b83b76c02d80d751d2531341d9d
tree7bc53f51a0c374c33549c07bf952eb01716bd20e
parent22765ef0a5ff5af9f6efae9b5443afa7bccfb4e5
Respect \A_SIGNED for $shift

This reflects the behaviour of $shr/$shl, which sign-extend their A
operands to the size of their output, then do a logical shift (shift in
0-bits).
backends/btor/btor.cc
backends/btor/test_cells.sh [changed mode: 0644->0755]
backends/verilog/verilog_backend.cc
kernel/calc.cc
kernel/satgen.cc
techlibs/common/simlib.v
techlibs/common/techmap.v