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

cxxrtl: correctly handle sync always rules.

Browse source 
Fixes #1948.
This commit is contained in:
whitequark 2020-04-17 09:43:13 +00:00
parent 115fc261e6
commit e7ad209b15
1 changed files with 13 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

16
backends/cxxrtl/cxxrtl.cc
View file

@ -1076,24 +1076,34 @@ struct CxxrtlWorker {
log_assert(proc->root_case.attributes.empty()); log_assert(proc->root_case.attributes.empty());
dump_case_rule(&proc->root_case); dump_case_rule(&proc->root_case);
for (auto sync : proc->syncs) { for (auto sync : proc->syncs) {
RTLIL::SigBit sync_bit = sync->signal[0]; RTLIL::SigBit sync_bit;
sync_bit = sigmaps[sync_bit.wire->module](sync_bit); if (!sync->signal.empty()) {
sync_bit = sync->signal[0];
sync_bit = sigmaps[sync_bit.wire->module](sync_bit);
}
pool<std::string> events; pool<std::string> events;
switch (sync->type) { switch (sync->type) {
case RTLIL::STp: case RTLIL::STp:
log_assert(sync_bit.wire != nullptr);
events.insert("posedge_" + mangle(sync_bit)); events.insert("posedge_" + mangle(sync_bit));
break; break;
case RTLIL::STn: case RTLIL::STn:
log_assert(sync_bit.wire != nullptr);
events.insert("negedge_" + mangle(sync_bit)); events.insert("negedge_" + mangle(sync_bit));
break;
case RTLIL::STe: case RTLIL::STe:
log_assert(sync_bit.wire != nullptr);
events.insert("posedge_" + mangle(sync_bit)); events.insert("posedge_" + mangle(sync_bit));
events.insert("negedge_" + mangle(sync_bit)); events.insert("negedge_" + mangle(sync_bit));
break; break;
case RTLIL::STa:
events.insert("true");
break;
case RTLIL::ST0: case RTLIL::ST0:
case RTLIL::ST1: case RTLIL::ST1:
case RTLIL::STa:
case RTLIL::STg: case RTLIL::STg:
case RTLIL::STi: case RTLIL::STi:
log_assert(false); log_assert(false);