diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-03-01 13:35:09 -0800 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2019-03-01 13:35:09 -0800 |
commit | 7cfae2c52fb8e210a68032a109646785e4353dcc (patch) | |
tree | 0291be8d1fcfa2a6778a4e70fedf0e0d03410911 /frontends/ast/simplify.cc | |
parent | 03237de68605bb6eae73b96379faab0af6f8ce73 (diff) | |
download | yosys-7cfae2c52fb8e210a68032a109646785e4353dcc.tar.gz yosys-7cfae2c52fb8e210a68032a109646785e4353dcc.tar.bz2 yosys-7cfae2c52fb8e210a68032a109646785e4353dcc.zip |
Use mem2reg on memories that only have constant-index write ports
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/ast/simplify.cc')
-rw-r--r-- | frontends/ast/simplify.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc index 46013544b..589c683f8 100644 --- a/frontends/ast/simplify.cc +++ b/frontends/ast/simplify.cc @@ -113,6 +113,9 @@ bool AstNode::simplify(bool const_fold, bool at_zero, bool in_lvalue, int stage, if (memflags & AstNode::MEM2REG_FL_CMPLX_LHS) goto verbose_activate; + if ((memflags & AstNode::MEM2REG_FL_CONST_LHS) && !(memflags & AstNode::MEM2REG_FL_VAR_LHS)) + goto verbose_activate; + // log("Note: Not replacing memory %s with list of registers (flags=0x%08lx).\n", mem->str.c_str(), long(memflags)); continue; @@ -2936,6 +2939,14 @@ void AstNode::mem2reg_as_needed_pass1(dict<AstNode*, pool<std::string>> &mem2reg proc_flags[mem] |= AstNode::MEM2REG_FL_EQ1; } + // remember if this is a constant index or not + if (children[0]->children.size() && children[0]->children[0]->type == AST_RANGE && children[0]->children[0]->children.size()) { + if (children[0]->children[0]->children[0]->type == AST_CONSTANT) + mem2reg_candidates[mem] |= AstNode::MEM2REG_FL_CONST_LHS; + else + mem2reg_candidates[mem] |= AstNode::MEM2REG_FL_VAR_LHS; + } + // remember where this is if (flags & MEM2REG_FL_INIT) { if (!(mem2reg_candidates[mem] & AstNode::MEM2REG_FL_SET_INIT)) |