mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-27 01:39:23 +00:00
Code Activity

Removed unnecesary nested_lets variable, use writer.print instead

Browse source
This commit is contained in:
Roland Coeurjoly 2024-06-27 04:14:05 +02:00 • committed by Emily Schmidt
parent e235fc704d
commit ee6bd59436
1 changed files with 9 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

21
backends/functional/smtlib.cc
View file

@ -231,7 +231,6 @@ struct SmtModule {
auto node_to_string = [&](FunctionalIR::Node n) { return scope[n.name()]; };
SmtPrintVisitor<decltype(node_to_string)> visitor(node_to_string, scope);
std::string nested_lets;
for (auto it = ir.begin(); it != ir.end(); ++it) {
const FunctionalIR::Node &node = *it;
@ -241,31 +240,29 @@ struct SmtModule {
std::string node_name = replaceCharacters(scope[node.name()]);
std::string node_expr = node.visit(visitor);
nested_lets += "(let ( (" + node_name + " " + node_expr + "))";
writer.print(" (let ( (%s %s))", node_name.c_str(), node_expr.c_str());
}
nested_lets += " (let (";
writer.print(" (let (");
for (const auto &output : ir.outputs()) {
std::string output_name = scope[output.first];
const std::string output_assignment = ir.get_output_node(output.first).name().c_str();
nested_lets += " (" + output_name + " " + replaceCharacters(output_assignment).substr(1) + ")";
writer.print(" (%s %s)", output_name.c_str(), replaceCharacters(output_assignment).substr(1).c_str());
}
nested_lets += " )";
nested_lets += " (mk_outputs";
writer.print(" )");
writer.print(" (mk_outputs");
for (const auto &output : ir.outputs()) {
std::string output_name = scope[output.first];
nested_lets += " " + output_name;
writer.print(" %s", output_name.c_str());
}
nested_lets += " )";
nested_lets += " )";
writer.print(" )");
writer.print(" )");
// Close the nested lets
for (size_t i = 0; i < ir.size() - ir.inputs().size(); ++i) {
nested_lets += " )";
writer.print(" )");
}
writer.print("%s", nested_lets.c_str());
writer.print(" )");
writer.print(")\n");
}