Hell let's add the original #1381 testcase too

This commit is contained in:
Eddie Hung 2019-09-20 17:58:51 -07:00
parent ec08a031b5
commit 7c8de1dd18
1 changed files with 27 additions and 8 deletions

View File

@ -1,4 +1,31 @@
# https://github.com/YosysHQ/yosys/issues/1381
read_verilog <<EOT
module sub(input i, output o, (* techmap_autopurge *) input j);
foobar f(i, o, j);
endmodule
EOT
design -stash techmap
read_verilog <<EOT
(* blackbox *)
module sub(input i, output o, input j);
endmodule
(* blackbox *)
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
# https://github.com/YosysHQ/yosys/issues/1391 # https://github.com/YosysHQ/yosys/issues/1391
design -reset
read_verilog <<EOT read_verilog <<EOT
module sub(input i, output o, (* techmap_autopurge *) input [1:0] j); module sub(input i, output o, (* techmap_autopurge *) input [1:0] j);
foobar f(i, o, j); foobar f(i, o, j);
@ -25,14 +52,6 @@ hierarchy
check -assert check -assert
read_verilog -overwrite <<EOT read_verilog -overwrite <<EOT
(* blackbox *)
module sub(input i, output o, input j);
endmodule
(* blackbox *)
module foobar(input i, output o, input j);
endmodule
module top(input i, output o); module top(input i, output o);
wire j; wire j;
sub s0(i, o, j); sub s0(i, o, j);