From e8da3ea7b647f2c1eeba8a84590df7b05ca4e046 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 7 Jul 2013 16:49:30 +0200 Subject: Fixed another bug found using vloghammer --- frontends/ast/genrtlil.cc | 2 +- tests/simple/vloghammer.v | 10 ++++++++++ 2 files changed, 11 insertions(+), 1 deletion(-) create mode 100644 tests/simple/vloghammer.v diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc index 03bb8a43..f9f5c6f8 100644 --- a/frontends/ast/genrtlil.cc +++ b/frontends/ast/genrtlil.cc @@ -798,7 +798,7 @@ RTLIL::SigSpec AstNode::genRTLIL(int width_hint) if (0) { case AST_SHIFT_SLEFT: type_name = "$sshl"; is_signed = true; } if (0) { case AST_SHIFT_SRIGHT: type_name = "$sshr"; is_signed = true; } { - RTLIL::SigSpec left = children[0]->genRTLIL(width_hint); + RTLIL::SigSpec left = children[0]->genRTLIL(); RTLIL::SigSpec right = children[1]->genRTLIL(width_hint); int width = width_hint > 0 ? width_hint : left.width; return binop2rtlil(this, type_name, width, left, right); diff --git a/tests/simple/vloghammer.v b/tests/simple/vloghammer.v new file mode 100644 index 00000000..a0cde043 --- /dev/null +++ b/tests/simple/vloghammer.v @@ -0,0 +1,10 @@ + +// test cases found using vloghammer +// https://github.com/cliffordwolf/VlogHammer + +module test01(a, y); + input [7:0] a; + output [3:0] y; + assign y = ~a >> 4; +endmodule + -- cgit v1.2.3