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

rtlil: add source tracking to CaseRule actions

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-11-02 11:25:42 +01:00
parent c45a035ebf
commit 304757c881
6 changed files with 15 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

14
frontends/ast/genrtlil.cc
View file

@ -441,7 +441,7 @@ struct AST_INTERNAL::ProcessGenerator
RTLIL::SigSpec lhs = init_lvalue_c; RTLIL::SigSpec lhs = init_lvalue_c;
RTLIL::SigSpec rhs = init_rvalue.extract(offset, init_lvalue_c.width); RTLIL::SigSpec rhs = init_rvalue.extract(offset, init_lvalue_c.width);
remove_unwanted_lvalue_bits(lhs, rhs); remove_unwanted_lvalue_bits(lhs, rhs);
sync->actions.push_back({lhs, rhs}); sync->actions.push_back({lhs, rhs, Const("")});
offset += lhs.size(); offset += lhs.size();
} }
} }
@ -573,7 +573,7 @@ struct AST_INTERNAL::ProcessGenerator
if (inSyncRule && lvalue_c.wire && lvalue_c.wire->get_bool_attribute(ID::nosync)) if (inSyncRule && lvalue_c.wire && lvalue_c.wire->get_bool_attribute(ID::nosync))
rhs = RTLIL::SigSpec(RTLIL::State::Sx, rhs.size()); rhs = RTLIL::SigSpec(RTLIL::State::Sx, rhs.size());
remove_unwanted_lvalue_bits(lhs, rhs); remove_unwanted_lvalue_bits(lhs, rhs);
actions.push_back({lhs, rhs}); actions.push_back({lhs, rhs, ast ? ast->loc_string() : ""});
offset += lhs.size(); offset += lhs.size();
} }
} }
@ -613,7 +613,7 @@ struct AST_INTERNAL::ProcessGenerator
removeSignalFromCaseTree(lvalue, current_case); removeSignalFromCaseTree(lvalue, current_case);
remove_unwanted_lvalue_bits(lvalue, rvalue); remove_unwanted_lvalue_bits(lvalue, rvalue);
current_case->actions.push_back({lvalue, rvalue}); current_case->actions.push_back({lvalue, rvalue, ast->loc_string()});
} }
break; break;
@ -729,8 +729,8 @@ struct AST_INTERNAL::ProcessGenerator
Wire *en = current_module->addWire(sstr.str() + "_EN", 1); Wire *en = current_module->addWire(sstr.str() + "_EN", 1);
set_src_attr(en, ast); set_src_attr(en, ast);
proc->root_case.actions.push_back({en, SigSpec(false)}); proc->root_case.actions.push_back({en, SigSpec(false), ast->loc_string()});
current_case->actions.push_back({en, SigSpec(true)}); current_case->actions.push_back({en, SigSpec(true), ast->loc_string()});
RTLIL::SigSpec triggers; RTLIL::SigSpec triggers;
RTLIL::Const::Builder polarity_builder; RTLIL::Const::Builder polarity_builder;
@ -827,8 +827,8 @@ struct AST_INTERNAL::ProcessGenerator
Wire *en = current_module->addWire(cellname.str() + "_EN", 1); Wire *en = current_module->addWire(cellname.str() + "_EN", 1);
set_src_attr(en, ast); set_src_attr(en, ast);
proc->root_case.actions.push_back({en, SigSpec(false)}); proc->root_case.actions.push_back({en, SigSpec(false), ast->loc_string()});
current_case->actions.push_back({en, SigSpec(true)}); current_case->actions.push_back({en, SigSpec(true), ast->loc_string()});
RTLIL::SigSpec triggers; RTLIL::SigSpec triggers;
RTLIL::Const::Builder polarity_builder; RTLIL::Const::Builder polarity_builder;

4
frontends/rtlil/rtlil_frontend.cc
View file

@ -624,7 +624,7 @@ struct RTLILFrontendWorker {
"The assign statement is reordered to come before all switch statements."); "The assign statement is reordered to come before all switch statements.");
RTLIL::SigSpec s1 = parse_sigspec(); RTLIL::SigSpec s1 = parse_sigspec();
RTLIL::SigSpec s2 = parse_sigspec(); RTLIL::SigSpec s2 = parse_sigspec();
current_case->actions.push_back({std::move(s1), std::move(s2)}); current_case->actions.push_back({std::move(s1), std::move(s2), Const("")});
expect_eol(); expect_eol();
} else } else
return; return;
@ -715,7 +715,7 @@ struct RTLILFrontendWorker {
if (try_parse_keyword("update")) { if (try_parse_keyword("update")) {
RTLIL::SigSpec s1 = parse_sigspec(); RTLIL::SigSpec s1 = parse_sigspec();
RTLIL::SigSpec s2 = parse_sigspec(); RTLIL::SigSpec s2 = parse_sigspec();
rule->actions.push_back({std::move(s1), std::move(s2)}); rule->actions.push_back({std::move(s1), std::move(s2), Const("")});
expect_eol(); expect_eol();
continue; continue;
} }

1
kernel/rtlil.h
View file

@ -2241,6 +2241,7 @@ struct RTLIL::SyncAction
{ {
RTLIL::SigSpec lhs; RTLIL::SigSpec lhs;
RTLIL::SigSpec rhs; RTLIL::SigSpec rhs;
RTLIL::Const src;
}; };
struct RTLIL::SyncRule struct RTLIL::SyncRule

2
passes/proc/proc_arst.cc
View file

@ -311,7 +311,7 @@ struct ProcArstPass : public Pass {
if (arst_sig.size()) { if (arst_sig.size()) {
log("Added global reset to process %s: %s <- %s\n", log("Added global reset to process %s: %s <- %s\n",
proc->name.c_str(), log_signal(arst_sig), log_signal(arst_val)); proc->name.c_str(), log_signal(arst_sig), log_signal(arst_val));
arst_actions.push_back({arst_sig, arst_val}); arst_actions.push_back({arst_sig, arst_val, act.src});
} }
} }
if (!arst_actions.empty()) { if (!arst_actions.empty()) {

2
passes/proc/proc_dff.cc
View file

@ -224,7 +224,7 @@ void proc_dff(RTLIL::Module *mod, RTLIL::Process *proc, ConstEval &ce)
single_async_rule.type = RTLIL::SyncType::ST1; single_async_rule.type = RTLIL::SyncType::ST1;
single_async_rule.signal = mod->ReduceOr(NEW_ID, triggers); single_async_rule.signal = mod->ReduceOr(NEW_ID, triggers);
// TODO // TODO
single_async_rule.actions.push_back({sig, rstval}); single_async_rule.actions.push_back({sig, rstval, Const("")});
// Replace existing rules with this new rule // Replace existing rules with this new rule
async_rules.clear(); async_rules.clear();

6
passes/proc/proc_rom.cc
View file

@ -197,16 +197,16 @@ struct RomWorker
if (abits == GetSize(sw->signal)) { if (abits == GetSize(sw->signal)) {
sw->signal = SigSpec(); sw->signal = SigSpec();
RTLIL::CaseRule *cs = new RTLIL::CaseRule; RTLIL::CaseRule *cs = new RTLIL::CaseRule;
cs->actions.push_back({lhs, rdata}); cs->actions.push_back({lhs, rdata, std::move(action_src)});
sw->cases.push_back(cs); sw->cases.push_back(cs);
} else { } else {
sw->signal = sw->signal.extract_end(abits); sw->signal = sw->signal.extract_end(abits);
RTLIL::CaseRule *cs = new RTLIL::CaseRule; RTLIL::CaseRule *cs = new RTLIL::CaseRule;
cs->compare.push_back(Const(State::S0, GetSize(sw->signal))); cs->compare.push_back(Const(State::S0, GetSize(sw->signal)));
cs->actions.push_back({lhs, rdata}); cs->actions.push_back({lhs, rdata, action_src});
sw->cases.push_back(cs); sw->cases.push_back(cs);
RTLIL::CaseRule *cs2 = new RTLIL::CaseRule; RTLIL::CaseRule *cs2 = new RTLIL::CaseRule;
cs2->actions.push_back({lhs, default_val}); cs2->actions.push_back({lhs, default_val, std::move(action_src)});
sw->cases.push_back(cs2); sw->cases.push_back(cs2);
} }