verilator/test_regress
Yutetsu TAKATSUKASA 60eab3eb8c
Fix wrong result of bit op tree optimization #3509 (#3516)
* Tests: Add a test to reproduce #3509

* Tests: Compile without tautological-compare check because bit op tree optimization is disabled in the test.

* Internals: Dedup code. No functional change is intended.

* Fix #3509.

"2'b10 == (2'b11 & {1'b0, val[0]})"  and "2'b10 != (2'b11 & {1'b0, val[0]})" were
wrongly optimized to "!val[0]" and "val[0]" respectively.
Now properly optimize them to 1'b0 and 1'b1.

* Commentary

* Commentary: Update Changes
2022-07-24 19:54:37 +09:00
..
t Fix wrong result of bit op tree optimization #3509 (#3516) 2022-07-24 19:54:37 +09:00
.gdbinit
.gitignore
CMakeLists.txt
driver.pl Move thread pool and execution profiler into the context. (#3477) 2022-07-12 11:41:15 +01:00
input.vc
input.xsim.vc
Makefile
Makefile_obj