mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-24 14:53:42 +00:00
Code Activity

Improve extract_reduce further

Browse source
This commit is contained in:
Akash Levy 2025-02-13 21:40:04 -08:00
parent 9cc82c7044
commit 8369792e03
2 changed files with 23 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

8
.vscode/settings.json vendored
View file

@ -1,4 +1,8 @@
{ {
"editor.tabSize": 2, "editor.tabSize": 2,
"editor.insertSpaces": false "editor.insertSpaces": false,
} "files.associations": {
"deque": "cpp",
"__config": "cpp"
}
}

27
passes/techmap/extract_reduce.cc
View file

@ -57,16 +57,23 @@ struct ExtractReducePass : public Pass
log("\n"); log("\n");
} }
inline bool IsSingleBit(Cell* cell)
{
return cell->getParam(ID::A_WIDTH).as_int() == 1 &&
cell->getParam(ID::B_WIDTH).as_int() == 1 &&
cell->getParam(ID::Y_WIDTH).as_int() == 1;
}
inline bool IsRightType(Cell* cell, GateType gt) inline bool IsRightType(Cell* cell, GateType gt)
{ {
return (cell->type == ID($_AND_) && gt == GateType::And) || return (cell->type == ID($_AND_) && gt == GateType::And) ||
(cell->type == ID($_OR_) && gt == GateType::Or) || (cell->type == ID($_OR_) && gt == GateType::Or) ||
(cell->type == ID($_XOR_) && gt == GateType::Xor) || (cell->type == ID($_XOR_) && gt == GateType::Xor) ||
(cell->type == ID($_XNOR_) && gt == GateType::Xnor) || (cell->type == ID($_XNOR_) && gt == GateType::Xnor) ||
(cell->type == ID($and) && cell->getParam(ID::A_WIDTH).as_int() == 1 && cell->getParam(ID::B_WIDTH).as_int() == 1 && cell->getParam(ID::Y_WIDTH).as_int() == 1 && gt == GateType::And) || (cell->type == ID($and) && IsSingleBit(cell) && gt == GateType::And) ||
(cell->type == ID($or) && cell->getParam(ID::A_WIDTH).as_int() == 1 && cell->getParam(ID::B_WIDTH).as_int() == 1 && cell->getParam(ID::Y_WIDTH).as_int() == 1 && gt == GateType::Or) || (cell->type == ID($or) && IsSingleBit(cell) && gt == GateType::Or) ||
(cell->type == ID($xor) && cell->getParam(ID::A_WIDTH).as_int() == 1 && cell->getParam(ID::B_WIDTH).as_int() == 1 && cell->getParam(ID::Y_WIDTH).as_int() == 1 && gt == GateType::Xor) || (cell->type == ID($xor) && IsSingleBit(cell) && gt == GateType::Xor) ||
(cell->type == ID($xnor) && cell->getParam(ID::A_WIDTH).as_int() == 1 && cell->getParam(ID::B_WIDTH).as_int() == 1 && cell->getParam(ID::Y_WIDTH).as_int() == 1 && gt == GateType::Xnor); (cell->type == ID($xnor) && IsSingleBit(cell) && gt == GateType::Xnor);
} }
void execute(std::vector<std::string> args, RTLIL::Design *design) override void execute(std::vector<std::string> args, RTLIL::Design *design) override
@ -138,13 +145,13 @@ struct ExtractReducePass : public Pass
gt = GateType::Xor; gt = GateType::Xor;
else if (cell->type == ID($_XNOR_)) else if (cell->type == ID($_XNOR_))
gt = GateType::Xnor; gt = GateType::Xnor;
else if (cell->type == ID($and) && cell->getParam(ID::A_WIDTH).as_int() == 1 && cell->getParam(ID::B_WIDTH).as_int() == 1 && cell->getParam(ID::Y_WIDTH).as_int() == 1) else if (cell->type == ID($and) && IsSingleBit(cell))
gt = GateType::And; gt = GateType::And;
else if (cell->type == ID($or) && cell->getParam(ID::A_WIDTH).as_int() == 1 && cell->getParam(ID::B_WIDTH).as_int() == 1 && cell->getParam(ID::Y_WIDTH).as_int() == 1) else if (cell->type == ID($or) && IsSingleBit(cell))
gt = GateType::Or; gt = GateType::Or;
else if (cell->type == ID($xor) && cell->getParam(ID::A_WIDTH).as_int() == 1 && cell->getParam(ID::B_WIDTH).as_int() == 1 && cell->getParam(ID::Y_WIDTH).as_int() == 1) else if (cell->type == ID($xor) && IsSingleBit(cell))
gt = GateType::Xor; gt = GateType::Xor;
else if (cell->type == ID($xnor) && cell->getParam(ID::A_WIDTH).as_int() == 1 && cell->getParam(ID::B_WIDTH).as_int() == 1 && cell->getParam(ID::Y_WIDTH).as_int() == 1) else if (cell->type == ID($xnor) && IsSingleBit(cell))
gt = GateType::Xnor; gt = GateType::Xnor;
else else
continue; continue;
@ -256,7 +263,7 @@ struct ExtractReducePass : public Pass
bool sink_single = sig_to_sink[bit].size() == 1 && !port_sigs.count(bit); bool sink_single = sig_to_sink[bit].size() == 1 && !port_sigs.count(bit);
Cell* drv = sig_to_driver[bit]; Cell* drv = sig_to_driver[bit];
bool drv_ok = drv && drv->type == head_cell->type; bool drv_ok = drv && IsRightType(drv, gt);
if (drv_ok && (allow_off_chain || sink_single)) { if (drv_ok && (allow_off_chain || sink_single)) {
inner_cells++; inner_cells++;
@ -277,7 +284,7 @@ struct ExtractReducePass : public Pass
SigSpec input; SigSpec input;
for (auto it : sources) { for (auto it : sources) {
bool cond; bool cond;
if (head_cell->type == ID($_XOR_)) if (head_cell->type == ID($_XOR_) || head_cell->type == ID($xor) || head_cell->type == ID($_XNOR_) || head_cell->type == ID($xnor))
cond = it.second & 1; cond = it.second & 1;
else else
cond = it.second != 0; cond = it.second != 0;