From: whitequark <whitequark@whitequark.org>
Date: Wed, 23 Dec 2020 23:15:30 +0000 (+0000)
Subject: Merge pull request #2476 from zachjs/const-arg-width
X-Git-Tag: working-ls180~149
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8ef6b77dc366563410c88ec3687f777e74685377;p=yosys.git

Merge pull request #2476 from zachjs/const-arg-width

Fix constants bound to single bit arguments (fixes #2383)
---

8ef6b77dc366563410c88ec3687f777e74685377
diff --cc tests/various/const_arg_loop.v
index 76cc67abb,567bccc25..ed15aa135
--- a/tests/various/const_arg_loop.v
+++ b/tests/various/const_arg_loop.v
@@@ -66,8 -67,8 +75,9 @@@ module top
      assert property (a == 2);
      assert property (A == 3);
      assert property (x1 == 16);
 +    assert property (x1b == 16);
      assert property (x2 == 4);
      assert property (x3 == 16);
+     assert property (x4 == a << 1);
  `endif
  endmodule