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