From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 7 Jun 2014 08:47:53 +0000 (+0200)
Subject: Added support for repeat stmt in const functions
X-Git-Tag: yosys-0.3.0~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0b1ce63a19025f73fe4d2a54253134ea9a4de625;p=yosys.git

Added support for repeat stmt in const functions
---

diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index 8a4d42e1b..e5e8980a2 100644
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -2001,6 +2001,25 @@ AstNode *AstNode::eval_const_function(AstNode *fcall)
 			continue;
 		}
 
+		if (stmt->type == AST_REPEAT)
+		{
+			AstNode *num = stmt->children.at(0)->clone();
+			num->replace_variables(variables, fcall);
+			while (num->simplify(true, false, false, 1, -1, false, true)) { }
+
+			if (num->type != AST_CONSTANT)
+				log_error("Non-constant expression in constant function at %s:%d (called from %s:%d).\n",
+						stmt->filename.c_str(), stmt->linenum, fcall->filename.c_str(), fcall->linenum);
+
+			block->children.erase(block->children.begin());
+			for (int i = 0; i < num->bitsAsConst().as_int(); i++)
+				block->children.insert(block->children.begin(), stmt->children.at(1)->clone());
+
+			delete stmt;
+			delete num;
+			continue;
+		}
+
 		if (stmt->type == AST_CASE)
 		{
 			AstNode *expr = stmt->children.at(0)->clone();