summaryrefslogtreecommitdiff
path: root/frontends/ast/simplify.cc
diff options
context:
space:
mode:
authorJohann Glaser <Johann.Glaser@gmx.at>2013-08-20 11:23:59 +0200
committerJohann Glaser <Johann.Glaser@gmx.at>2013-08-20 11:23:59 +0200
commit6c4cbc03c2bad021c78da85f97bea1ef7c8caea0 (patch)
treed9bbd545f94d0cb44f6b6b1e9d2e13fc8270f7fc /frontends/ast/simplify.cc
parente3aa0514f22ccdb1b25856ca81462f86f2a5c612 (diff)
Added support for notif0/notif1 primitives
Diffstat (limited to 'frontends/ast/simplify.cc')
-rw-r--r--frontends/ast/simplify.cc10
1 files changed, 7 insertions, 3 deletions
diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index 1d381740..5f0e6867 100644
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -498,7 +498,7 @@ bool AstNode::simplify(bool const_fold, bool at_zero, bool in_lvalue, int stage)
}
children.clear();
- if (str == "bufif0" || str == "bufif1")
+ if (str == "bufif0" || str == "bufif1" || str == "notif0" || str == "notif1")
{
if (children_list.size() != 3)
log_error("Invalid number of arguments for primitive `%s' at %s:%d!\n",
@@ -506,12 +506,16 @@ bool AstNode::simplify(bool const_fold, bool at_zero, bool in_lvalue, int stage)
std::vector<RTLIL::State> z_const(1, RTLIL::State::Sz);
+ AstNode *mux_input = children_list.at(1);
+ if (str == "notif0" || str == "notif1") {
+ mux_input = new AstNode(AST_BIT_NOT, mux_input);
+ }
AstNode *node = new AstNode(AST_TERNARY, children_list.at(2));
if (str == "bufif0") {
node->children.push_back(AstNode::mkconst_bits(z_const, false));
- node->children.push_back(children_list.at(1));
+ node->children.push_back(mux_input);
} else {
- node->children.push_back(children_list.at(1));
+ node->children.push_back(mux_input);
node->children.push_back(AstNode::mkconst_bits(z_const, false));
}