aboutsummaryrefslogtreecommitdiffstats
path: root/tests/techmap
diff options
context:
space:
mode:
authorclairexen <claire@symbioticeda.com>2020-08-20 16:25:56 +0200
committerGitHub <noreply@github.com>2020-08-20 16:25:56 +0200
commitd9dd8bc74803789835533b81c35c927a80f6c28f (patch)
tree9c37e25f0c73d9465a0e09f33215ff3b8418ac68 /tests/techmap
parenta96df40814244830cd0f2b5404507fadb23b2d9a (diff)
parent50d532f01c3703930240e30c72b726fa66095cf5 (diff)
downloadyosys-d9dd8bc74803789835533b81c35c927a80f6c28f.tar.gz
yosys-d9dd8bc74803789835533b81c35c927a80f6c28f.tar.bz2
yosys-d9dd8bc74803789835533b81c35c927a80f6c28f.zip
Merge pull request #2347 from YosysHQ/mwk/techmap-shift-fixes
techmap/shift_shiftx: Remove the "shiftx2mux" special path.
Diffstat (limited to 'tests/techmap')
-rw-r--r--tests/techmap/shiftx2mux.ys12
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