diff options
| -rw-r--r-- | tests/techmap/autopurge.ys | 25 |
1 files changed, 22 insertions, 3 deletions
diff --git a/tests/techmap/autopurge.ys b/tests/techmap/autopurge.ys index 4773d5ce3..1eb99ec37 100644 --- a/tests/techmap/autopurge.ys +++ b/tests/techmap/autopurge.ys @@ -1,6 +1,6 @@ -# https://github.com/YosysHQ/yosys/issues/1391 +# https://github.com/YosysHQ/yosys/issues/1381 read_verilog <<EOT -module sub(input i, output o, (* techmap_autopurge *) input [1:0] j); +module sub(input i, output o, (* techmap_autopurge *) input j); foobar f(i, o, j); endmodule EOT @@ -24,7 +24,16 @@ techmap -map %techmap hierarchy check -assert -read_verilog -overwrite <<EOT +# https://github.com/YosysHQ/yosys/issues/1391 +design -reset +read_verilog <<EOT +module sub(input i, output o, (* techmap_autopurge *) input [1:0] j); +foobar f(i, o, j); +endmodule +EOT +design -stash techmap + +read_verilog <<EOT (* blackbox *) module sub(input i, output o, input j); endmodule @@ -34,6 +43,16 @@ module foobar(input i, output o, input j); endmodule module top(input i, output o); +sub s0(i, o); +endmodule +EOT + +techmap -map %techmap +hierarchy +check -assert + +read_verilog -overwrite <<EOT +module top(input i, output o); wire j; sub s0(i, o, j); endmodule |