aboutsummaryrefslogtreecommitdiffstats
path: root/tests/techmap/shiftx2mux.ys
Commit message (Collapse)AuthorAgeFilesLines
* Reenable existing equiv_opt testsJannis Harder2022-10-071-1/+1
|
* techmap/shift_shiftx: Remove the "shiftx2mux" special path.Marcelina Koƛcielnicka2020-08-201-12/+0
| | | | | | | | | | | | | | Our techmap rules for $shift and $shiftx cells contained a special path that aimed to decompose the shift LSB-first instead of MSB-first in select cases that come up in pmux lowering. This path was needlessly overcomplicated and contained bugs. Instead of doing that, just switch over the main path to iterate LSB-first (except for the specially-handled MSB for signed shifts and overflow handling). This also makes the code consistent with shl/shr/sshl/sshr cells, which are already decomposed LSB-first. Fixes #2346.
* shiftx2mux: fix select out of boundsEddie Hung2020-02-051-0/+11
|
* Move from +/shiftx2mux.v into +/techmap.v; cleanupEddie Hung2020-01-211-4/+4
|
* New techmap +/shiftx2mux.v which decomposes LSB first; better for ABCEddie Hung2020-01-211-0/+110