Add testcase for #2010
This commit is contained in:
10
tests/opt/bug2010.ys
Normal file
10
tests/opt/bug2010.ys
Normal file
@@ -0,0 +1,10 @@
|
||||
read_verilog <<EOT
|
||||
module test (
|
||||
input signed [1:0] n,
|
||||
output [3:0] dout
|
||||
);
|
||||
assign dout = n + 4'sd 4;
|
||||
endmodule
|
||||
EOT
|
||||
|
||||
equiv_opt -assert opt -fine
|
||||
Reference in New Issue
Block a user