From: Udi Finkelstein <github@udifink.com>
Date: Tue, 26 Sep 2017 03:25:42 +0000 (+0300)
Subject: Add $size() function. At the moment it works only on expressions, not on memories.
X-Git-Tag: yosys-0.8~311^2~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=64eb8f29adcc3e6ee92e083ae0fee3aaf85dbbc4;p=yosys.git

Add $size() function. At the moment it works only on expressions, not on memories.
---

diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index 28c9945ab..541fe1b18 100644
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -1870,6 +1870,20 @@ skip_dynamic_range_lvalue_expansion:;
 				goto apply_newNode;
 			}
 
+			if (str == "\\$size")
+			{
+				if (children.size() != 1)
+					log_error("System function %s got %d arguments, expected 1 at %s:%d.\n",
+							RTLIL::unescape_id(str).c_str(), int(children.size()), filename.c_str(), linenum);
+
+				AstNode *buf = children[0]->clone();
+				buf->detectSignWidth(width_hint, sign_hint);
+				delete buf;
+
+				newNode = mkconst_int(width_hint, false);
+				goto apply_newNode;
+			}
+
 			if (str == "\\$ln" || str == "\\$log10" || str == "\\$exp" || str == "\\$sqrt" || str == "\\$pow" ||
 					str == "\\$floor" || str == "\\$ceil" || str == "\\$sin" || str == "\\$cos" || str == "\\$tan" ||
 					str == "\\$asin" || str == "\\$acos" || str == "\\$atan" || str == "\\$atan2" || str == "\\$hypot" ||
diff --git a/tests/simple/functions01.sv b/tests/simple/functions01.sv
new file mode 100644
index 000000000..0fa1da6bd
--- /dev/null
+++ b/tests/simple/functions01.sv
@@ -0,0 +1,15 @@
+module functions01;
+wire [3:0]x;
+wire [$size(x)-1:0]x_size;
+wire [$size({x, x})-1:0]xx_size;
+wire [3:0]w[0:5];
+
+//
+// The following are not supported yet:
+//
+
+//wire [$size(w)-1:0]w_s;
+//wire [$bits(x)-1:0]x_bits;
+//wire [$bits({x, x})-1:0]xx_bits;
+
+endmodule