7 Commits

Author	SHA1	Message	Date
Yutetsu TAKATSUKASA	1f9323d086	Set correct dtype in replaceShiftSame() (#3520) ... * Tests: Add a test to reproduce bug3399 * Fix3399. Set the correct dtype in replaceShiftSame(). * Tests: update stats. * Update Changes	2022-07-29 07:05:04 +09:00
Yutetsu TAKATSUKASA	9f37cef1bb	Fix #3470 of incorrect bit op tree optimization (#3476) ... * Tests: Add a test to reproduce #3470 * Update LSB during return path of traversal. No functional change is intended. * Introduce LeafInfo::m_msb * Update LeafInfo::m_msb when visitin AstCCast * Internals: Add comment, reorder. No functional change is intended. * Delete explicit from copy constructor to fix build error. * Update Changes * Internals: Remove unused parameter. No functional change is intended. * Tests: Add explanation to t_const_opt.	2022-07-06 08:33:37 +09:00
Yutetsu TAKATSUKASA	d64f979f99	Fix BitOpTree optimization to consider polarity of frozen node (#3445) (#3459) ... * Tests: add a test to another failing case of #3445 * Consider polarity as lsb in BitOpTree optimization.	2022-06-01 09:26:16 +09:00
Yutetsu TAKATSUKASA	26b7452178	Fix #3445 of BitOpTreeOpt (#3453) ... * Tests: Check BitOpTree statistics in t_const_opt. * Tests: Add a test to reproduce #3445 * Fix #3445. Don't forget LSB of frozen node in BitOpTreeOpt. * Apply suggestions from code review Co-authored-by: Geza Lore <gezalore@gmail.com>	2022-05-30 19:33:06 +09:00
Yutetsu TAKATSUKASA	b08c694cd6	Fix wrong bit op tree optimization (#3185) ... * Add a test to reproduce bug3182. Run the same HDL with -Oo to confirm the result is same. * Hopefully fix #3182. The result can be 0 only when polarity is true (no AstNot is found during traversal).	2021-11-06 12:31:50 +09:00
Wilson Snyder	c678e7ec3e	Format: perltidy spacing cleanup. No functional change.	2021-09-07 23:50:28 -04:00
Yutetsu TAKATSUKASA	6a31b19224	Tests: Add a test to improve code coverage of V3Const.cpp (#2878)	2021-04-07 22:37:31 +09:00