diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2020-08-19 13:59:59 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2020-08-20 12:44:09 +0200 |
| commit | 50d532f01c3703930240e30c72b726fa66095cf5 (patch) | |
| tree | 94d567468e3015620eb221ac5795c67f4e337bd0 /tests/techmap | |
| parent | 93d663be62510b0d062767b288e943f7a9eed9f6 (diff) | |
| download | yosys-50d532f01c3703930240e30c72b726fa66095cf5.tar.gz yosys-50d532f01c3703930240e30c72b726fa66095cf5.tar.bz2 yosys-50d532f01c3703930240e30c72b726fa66095cf5.zip | |
techmap/shift_shiftx: Remove the "shiftx2mux" special path.
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.
Diffstat (limited to 'tests/techmap')
| -rw-r--r-- | tests/techmap/shiftx2mux.ys | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tests/techmap/shiftx2mux.ys b/tests/techmap/shiftx2mux.ys index eb29680f6..f749e79b2 100644 --- a/tests/techmap/shiftx2mux.ys +++ b/tests/techmap/shiftx2mux.ys @@ -74,12 +74,6 @@ design -save gold design -load gold -techmap -D NO_LSB_FIRST_SHIFT_SHIFTX -abc -lut 6 -select -assert-min 17 t:$lut - - -design -load gold techmap abc -lut 6 select -assert-count 16 t:$lut @@ -92,12 +86,6 @@ sat -verify -prove-asserts -show-ports miter design -load gold -techmap -D NO_LSB_FIRST_SHIFT_SHIFTX -abc9 -lut 6 -select -assert-min 17 t:$lut - - -design -load gold techmap abc9 -lut 6 select -assert-count 16 t:$lut |