read_aiger to parse 'r' extension

This commit is contained in:
Eddie Hung 2019-04-18 17:39:36 -07:00
parent b531efd6d9
commit 21701cc1df
1 changed files with 18 additions and 0 deletions

View File

@ -363,6 +363,24 @@ void AigerReader::parse_xaiger()
module->addLut(stringf("\\__%d__$lut", rootNodeID), input_sig, output_sig, std::move(lut_mask));
}
}
else if (c == 'r') {
uint32_t dataSize = parse_xaiger_literal(f);
uint32_t flopNum = parse_xaiger_literal(f);
f.ignore(flopNum * sizeof(uint32_t));
log_assert(inputs.size() >= flopNum);
for (auto it = inputs.end() - flopNum; it != inputs.end(); ++it) {
log_assert((*it)->port_input);
(*it)->port_input = false;
}
inputs.erase(inputs.end() - flopNum, inputs.end());
log_assert(outputs.size() >= flopNum);
for (auto it = outputs.end() - flopNum; it != outputs.end(); ++it) {
log_assert((*it)->port_output);
(*it)->port_output = false;
}
outputs.erase(outputs.end() - flopNum, outputs.end());
module->fixup_ports();
}
else if (c == 'n') {
parse_xaiger_literal(f);
f >> s;