cxxrtl: ignore cell input signedness when it is irrelevant.
authorwhitequark <whitequark@whitequark.org>
Tue, 9 Jun 2020 07:26:13 +0000 (07:26 +0000)
committerwhitequark <whitequark@whitequark.org>
Tue, 9 Jun 2020 07:26:13 +0000 (07:26 +0000)
commitef4e1594470b46eab6f311998511a5eee22a96d3
tree493fa7e235a288f357f0708c38a576355f4fb3d9
parent4351194e8ce94e7078b67a20e5fc92777d6cb3e6
cxxrtl: ignore cell input signedness when it is irrelevant.

Before this commit, Verilog expressions like `x && 1` would result in
references to `logic_and_us` in generated CXXRTL code, which would
not compile. After this commit, since cells like that actually behave
the same regardless of signedness attributes, the signedness is
ignored, which also reduces the template instantiation pressure.
backends/cxxrtl/cxxrtl.h
backends/cxxrtl/cxxrtl_backend.cc