diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-07-07 16:49:30 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-07-07 16:49:30 +0200 |
commit | e8da3ea7b647f2c1eeba8a84590df7b05ca4e046 (patch) | |
tree | 61d47e86a00eedaa597129a8d161b69832e5d1d0 | |
parent | eff68560a2914791c8d0377edb5922fd5077f4f3 (diff) |
Fixed another bug found using vloghammer
-rw-r--r-- | frontends/ast/genrtlil.cc | 2 | ||||
-rw-r--r-- | tests/simple/vloghammer.v | 10 |
2 files changed, 11 insertions, 1 deletions
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 + |