aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/ast/genrtlil.cc
diff options
context:
space:
mode:
authorAndrew Zonenberg <azonenberg@drawersteak.com>2016-04-22 19:07:55 -0700
committerAndrew Zonenberg <azonenberg@drawersteak.com>2016-04-22 19:07:55 -0700
commitab11f2aa701f4ff7a8df98d2a4158ea1f661a205 (patch)
treed2c8e2b82b7cca57127bd9dd54d3eb40386a88f7 /frontends/ast/genrtlil.cc
parentd90c1e952256dc00d070863835e061d73e4bc6b3 (diff)
parent7311be4028a9caad5a0fac1a3433220b4233ef84 (diff)
downloadyosys-ab11f2aa701f4ff7a8df98d2a4158ea1f661a205.tar.gz
yosys-ab11f2aa701f4ff7a8df98d2a4158ea1f661a205.tar.bz2
yosys-ab11f2aa701f4ff7a8df98d2a4158ea1f661a205.zip
Merge https://github.com/cliffordwolf/yosys
Diffstat (limited to 'frontends/ast/genrtlil.cc')
-rw-r--r--frontends/ast/genrtlil.cc6
1 files changed, 4 insertions, 2 deletions
diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc
index 9fc590376..173930a1b 100644
--- a/frontends/ast/genrtlil.cc
+++ b/frontends/ast/genrtlil.cc
@@ -338,12 +338,14 @@ struct AST_INTERNAL::ProcessGenerator
case AST_CASE:
for (auto child : ast->children)
if (child != ast->children[0]) {
- log_assert(child->type == AST_COND);
+ log_assert(child->type == AST_COND || child->type == AST_CONDX || child->type == AST_CONDZ);
collect_lvalues(reg, child, type_eq, type_le, false);
}
break;
case AST_COND:
+ case AST_CONDX:
+ case AST_CONDZ:
case AST_ALWAYS:
case AST_INITIAL:
for (auto child : ast->children)
@@ -467,7 +469,7 @@ struct AST_INTERNAL::ProcessGenerator
{
if (child == ast->children[0])
continue;
- log_assert(child->type == AST_COND);
+ log_assert(child->type == AST_COND || child->type == AST_CONDX || child->type == AST_CONDZ);
subst_lvalue_map.save();
subst_rvalue_map.save();