mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Rid unnecessary if

Browse source
This commit is contained in:
Eddie Hung 2019-12-30 18:26:35 -08:00
parent e2bbe33a88
commit 65baefecd3
1 changed files with 11 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

6
backends/aiger/xaiger.cc
View file

@ -714,7 +714,6 @@ struct XAigerWriter
f.write(reinterpret_cast<const char*>(&buffer_size_be), sizeof(buffer_size_be)); f.write(reinterpret_cast<const char*>(&buffer_size_be), sizeof(buffer_size_be));
f.write(buffer_str.data(), buffer_str.size()); f.write(buffer_str.data(), buffer_str.size());
if (holes_module) {
module->design->selection_stack.emplace_back(false); module->design->selection_stack.emplace_back(false);
module->design->selection().select(holes_module); module->design->selection().select(holes_module);
@ -725,12 +724,11 @@ struct XAigerWriter
module->design->selection_stack.pop_back(); module->design->selection_stack.pop_back();
f << "a"; f << "a";
std::string buffer_str = a_buffer.str(); buffer_str = a_buffer.str();
int32_t buffer_size_be = to_big_endian(buffer_str.size()); buffer_size_be = to_big_endian(buffer_str.size());
f.write(reinterpret_cast<const char*>(&buffer_size_be), sizeof(buffer_size_be)); f.write(reinterpret_cast<const char*>(&buffer_size_be), sizeof(buffer_size_be));
f.write(buffer_str.data(), buffer_str.size()); f.write(buffer_str.data(), buffer_str.size());
} }
}
f << "h"; f << "h";
std::string buffer_str = h_buffer.str(); std::string buffer_str = h_buffer.str();