From: Clifford Wolf 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();