Merge pull request #459 from antmicro/kr/remove_force_keep
systemverilog-plugin: remove force-keep attribute
diff --git a/systemverilog-plugin/UhdmAst.cc b/systemverilog-plugin/UhdmAst.cc
index 2bfa1fa..38c42a7 100644
--- a/systemverilog-plugin/UhdmAst.cc
+++ b/systemverilog-plugin/UhdmAst.cc
@@ -427,8 +427,32 @@
}
}
if (node->type == AST::AST_IDENTIFIER && memories.count(node->str)) {
- if (!memories[node->str]->attributes.count(UhdmAst::force_convert()) && node->children.size() == 0) {
- add_force_convert_attribute(memories[node->str]);
+ if (!memories[node->str]->attributes.count(UhdmAst::force_convert())) {
+ bool force_convert = false;
+ // convert memory to list of registers
+ // in case of access to whole memory
+ // or slice of memory
+ // e.g.
+ // logic [3:0] mem [8:0];
+ // always_ff @ (posedge clk) begin
+ // mem <= '{default:0};
+ // mem[7:1] <= mem[6:0];
+ // end
+ // don't convert in case of accessing
+ // memory using address, e.g.
+ // mem[0] <= '{default:0}
+ //
+ // Access to whole memory
+ if (node->children.size() == 0) {
+ force_convert = true;
+ }
+ // Access to slice of memory
+ if (node->children.size() == 1 && node->children[0]->children.size() != 1) {
+ force_convert = true;
+ }
+ if (force_convert) {
+ add_force_convert_attribute(memories[node->str]);
+ }
}
}
});
