Fixed another bug found using vloghammer

diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc
index 03bb8a43009cdb21eca454f656807e00886481f0..f9f5c6f88cd04aa3406cf36641fdd0051252b7fd 100644 (file)
--- 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 (file)
index 0000000..a0cde04
--- /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
+