diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-08-22 08:37:27 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-08-22 08:37:27 -0700 |
| commit | 6f971470f83b8e4ed29232be4b6cb5da89d50dc0 (patch) | |
| tree | c93e220a1873571bb84fb43760f4ed98a0e34f81 /tests | |
| parent | 379f33af5489850ef8e2e58ef12ff5b22da87711 (diff) | |
| download | yosys-6f971470f83b8e4ed29232be4b6cb5da89d50dc0.tar.gz yosys-6f971470f83b8e4ed29232be4b6cb5da89d50dc0.tar.bz2 yosys-6f971470f83b8e4ed29232be4b6cb5da89d50dc0.zip | |
Respect opt_expr -keepdc as per @cliffordwolf
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/opt/opt_expr.ys | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/opt/opt_expr.ys b/tests/opt/opt_expr.ys index 02be20a62..ecc2c8da8 100644 --- a/tests/opt/opt_expr.ys +++ b/tests/opt/opt_expr.ys @@ -277,3 +277,17 @@ check equiv_opt opt_expr design -load postopt select -assert-count 1 t:$shift r:A_WIDTH=10 %i + +########### + +design -reset +read_verilog -icells <<EOT +module opt_expr_shift_3bit_keepdc(input [9:0] a, input [3:0] b, output [2:0] y); + \$shift #(.A_SIGNED(0), .B_SIGNED(0), .A_WIDTH(14), .B_WIDTH(4), .Y_WIDTH(3)) shift (.A({4'b0x0x,a}), .B(b), .Y(y)); +endmodule +EOT +check + +equiv_opt opt_expr -keepdc +design -load postopt +select -assert-count 1 t:$shift r:A_WIDTH=13 %i |