github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-01-15 11:04:14 +00:00
Code Issues Packages Projects Releases Wiki Activity
4,730 Commits 2 Branches 161 Tags 128 MiB
2a79e46c46
Commit Graph

3 Commits

Author SHA1 Message Date
Geza Lore
8681861be9 Improve bitop tree optimization 
- Remove redundant casting
- Cheaper final XOR parity flip (~/^1 instead of != 0)
- Support XOR reduction of ~XOR nodes
- Don't add redundant masking of terms
- Support unmasked terms
- Add cheaper implementation for single bit only terms
- Ensure result is clean under all circumstances (this fixes current bugs)
 2021-08-18 22:00:13 +01:00
Yutetsu TAKATSUKASA
4351abfe71
Fix assertion failure in bitOpTree opt (#2899) 
* Tests: Add another testcase that triggers assertion failure in bitOpTree opt.

* Fix assertion failure in bitOpTree opt reported in #2891. Consider the follwoing case.
CCast -> WordSel -> VarRef(leaf)

* Make sure that m_bitPolarity is expanded enough.
 2021-04-25 11:46:05 +09:00
Yutetsu TAKATSUKASA
56dd58d259
Fix assertion failure in bitOpTree (#2892) 
* Tests: Add a test to reproduce #2891

* Fix assertion failure in binary op tree opt.
 2021-04-17 05:50:30 +09:00