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

Merge pull request #4709 from YosysHQ/emil/idstring-in-fold

Browse source 
functional, glift: use fold overload of IdString::in instead of pool …
This commit is contained in:
Martin Povišer 2024-11-13 15:17:33 +01:00 • committed by GitHub
commit 4ce8c7a0d3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 12 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

22
kernel/functional.cc
View file

@ -253,7 +253,7 @@ public:
int y_width = parameters.at(ID(Y_WIDTH), Const(-1)).as_int(); int y_width = parameters.at(ID(Y_WIDTH), Const(-1)).as_int();
bool a_signed = parameters.at(ID(A_SIGNED), Const(0)).as_bool(); bool a_signed = parameters.at(ID(A_SIGNED), Const(0)).as_bool();
bool b_signed = parameters.at(ID(B_SIGNED), Const(0)).as_bool(); bool b_signed = parameters.at(ID(B_SIGNED), Const(0)).as_bool();
if(cellType.in({ID($add), ID($sub), ID($and), ID($or), ID($xor), ID($xnor), ID($mul)})){ if(cellType.in(ID($add), ID($sub), ID($and), ID($or), ID($xor), ID($xnor), ID($mul))){
bool is_signed = a_signed && b_signed; bool is_signed = a_signed && b_signed;
Node a = factory.extend(inputs.at(ID(A)), y_width, is_signed); Node a = factory.extend(inputs.at(ID(A)), y_width, is_signed);
Node b = factory.extend(inputs.at(ID(B)), y_width, is_signed); Node b = factory.extend(inputs.at(ID(B)), y_width, is_signed);
@ -273,14 +273,14 @@ public:
return factory.bitwise_not(factory.bitwise_xor(a, b)); return factory.bitwise_not(factory.bitwise_xor(a, b));
else else
log_abort(); log_abort();
}else if(cellType.in({ID($eq), ID($ne), ID($eqx), ID($nex), ID($le), ID($lt), ID($ge), ID($gt)})){ }else if(cellType.in(ID($eq), ID($ne), ID($eqx), ID($nex), ID($le), ID($lt), ID($ge), ID($gt))){
bool is_signed = a_signed && b_signed; bool is_signed = a_signed && b_signed;
int width = max(a_width, b_width); int width = max(a_width, b_width);
Node a = factory.extend(inputs.at(ID(A)), width, is_signed); Node a = factory.extend(inputs.at(ID(A)), width, is_signed);
Node b = factory.extend(inputs.at(ID(B)), width, is_signed); Node b = factory.extend(inputs.at(ID(B)), width, is_signed);
if(cellType.in({ID($eq), ID($eqx)})) if(cellType.in(ID($eq), ID($eqx)))
return factory.extend(factory.equal(a, b), y_width, false); return factory.extend(factory.equal(a, b), y_width, false);
else if(cellType.in({ID($ne), ID($nex)})) else if(cellType.in(ID($ne), ID($nex)))
return factory.extend(factory.not_equal(a, b), y_width, false); return factory.extend(factory.not_equal(a, b), y_width, false);
else if(cellType == ID($lt)) else if(cellType == ID($lt))
return factory.extend(is_signed ? factory.signed_greater_than(b, a) : factory.unsigned_greater_than(b, a), y_width, false); return factory.extend(is_signed ? factory.signed_greater_than(b, a) : factory.unsigned_greater_than(b, a), y_width, false);
@ -292,7 +292,7 @@ public:
return factory.extend(is_signed ? factory.signed_greater_equal(a, b) : factory.unsigned_greater_equal(a, b), y_width, false); return factory.extend(is_signed ? factory.signed_greater_equal(a, b) : factory.unsigned_greater_equal(a, b), y_width, false);
else else
log_abort(); log_abort();
}else if(cellType.in({ID($logic_or), ID($logic_and)})){ }else if(cellType.in(ID($logic_or), ID($logic_and))){
Node a = factory.reduce_or(inputs.at(ID(A))); Node a = factory.reduce_or(inputs.at(ID(A)));
Node b = factory.reduce_or(inputs.at(ID(B))); Node b = factory.reduce_or(inputs.at(ID(B)));
Node y = cellType == ID($logic_and) ? factory.bitwise_and(a, b) : factory.bitwise_or(a, b); Node y = cellType == ID($logic_and) ? factory.bitwise_and(a, b) : factory.bitwise_or(a, b);
@ -309,13 +309,13 @@ public:
Node a = factory.reduce_or(inputs.at(ID(A))); Node a = factory.reduce_or(inputs.at(ID(A)));
Node y = factory.bitwise_not(a); Node y = factory.bitwise_not(a);
return factory.extend(y, y_width, false); return factory.extend(y, y_width, false);
}else if(cellType.in({ID($reduce_or), ID($reduce_bool)})){ }else if(cellType.in(ID($reduce_or), ID($reduce_bool))){
Node a = factory.reduce_or(inputs.at(ID(A))); Node a = factory.reduce_or(inputs.at(ID(A)));
return factory.extend(a, y_width, false); return factory.extend(a, y_width, false);
}else if(cellType == ID($reduce_and)){ }else if(cellType == ID($reduce_and)){
Node a = factory.reduce_and(inputs.at(ID(A))); Node a = factory.reduce_and(inputs.at(ID(A)));
return factory.extend(a, y_width, false); return factory.extend(a, y_width, false);
}else if(cellType.in({ID($reduce_xor), ID($reduce_xnor)})){ }else if(cellType.in(ID($reduce_xor), ID($reduce_xnor))){
Node a = factory.reduce_xor(inputs.at(ID(A))); Node a = factory.reduce_xor(inputs.at(ID(A)));
Node y = cellType == ID($reduce_xnor) ? factory.bitwise_not(a) : a; Node y = cellType == ID($reduce_xnor) ? factory.bitwise_not(a) : a;
return factory.extend(y, y_width, false); return factory.extend(y, y_width, false);
@ -355,7 +355,7 @@ public:
int offset = parameters.at(ID(OFFSET)).as_int(); int offset = parameters.at(ID(OFFSET)).as_int();
Node a = inputs.at(ID(A)); Node a = inputs.at(ID(A));
return factory.slice(a, offset, y_width); return factory.slice(a, offset, y_width);
}else if(cellType.in({ID($div), ID($mod), ID($divfloor), ID($modfloor)})) { }else if(cellType.in(ID($div), ID($mod), ID($divfloor), ID($modfloor))) {
int width = max(a_width, b_width); int width = max(a_width, b_width);
bool is_signed = a_signed && b_signed; bool is_signed = a_signed && b_signed;
Node a = factory.extend(inputs.at(ID(A)), width, is_signed); Node a = factory.extend(inputs.at(ID(A)), width, is_signed);
@ -397,7 +397,7 @@ public:
} else } else
log_error("unhandled cell in CellSimplifier %s\n", cellType.c_str()); log_error("unhandled cell in CellSimplifier %s\n", cellType.c_str());
} else { } else {
if(cellType.in({ID($mod), ID($modfloor)})) if(cellType.in(ID($mod), ID($modfloor)))
return factory.extend(factory.unsigned_mod(a, b), y_width, false); return factory.extend(factory.unsigned_mod(a, b), y_width, false);
else else
return factory.extend(factory.unsigned_div(a, b), y_width, false); return factory.extend(factory.unsigned_div(a, b), y_width, false);
@ -439,12 +439,12 @@ public:
return handle_lcu(inputs.at(ID(P)), inputs.at(ID(G)), inputs.at(ID(CI))); return handle_lcu(inputs.at(ID(P)), inputs.at(ID(G)), inputs.at(ID(CI)));
} else if(cellType == ID($alu)) { } else if(cellType == ID($alu)) {
return handle_alu(inputs.at(ID(A)), inputs.at(ID(B)), y_width, a_signed && b_signed, inputs.at(ID(CI)), inputs.at(ID(BI))); return handle_alu(inputs.at(ID(A)), inputs.at(ID(B)), y_width, a_signed && b_signed, inputs.at(ID(CI)), inputs.at(ID(BI)));
} else if(cellType.in({ID($assert), ID($assume), ID($live), ID($fair), ID($cover)})) { } else if(cellType.in(ID($assert), ID($assume), ID($live), ID($fair), ID($cover))) {
Node a = factory.mux(factory.constant(Const(State::S1, 1)), inputs.at(ID(A)), inputs.at(ID(EN))); Node a = factory.mux(factory.constant(Const(State::S1, 1)), inputs.at(ID(A)), inputs.at(ID(EN)));
auto &output = factory.add_output(cellName, cellType, Sort(1)); auto &output = factory.add_output(cellName, cellType, Sort(1));
output.set_value(a); output.set_value(a);
return {}; return {};
} else if(cellType.in({ID($anyconst), ID($allconst), ID($anyseq), ID($allseq)})) { } else if(cellType.in(ID($anyconst), ID($allconst), ID($anyseq), ID($allseq))) {
int width = parameters.at(ID(WIDTH)).as_int(); int width = parameters.at(ID(WIDTH)).as_int();
auto &input = factory.add_input(cellName, cellType, Sort(width)); auto &input = factory.add_input(cellName, cellType, Sort(width));
return factory.value(input); return factory.value(input);

2
passes/cmds/glift.cc
View file

@ -184,7 +184,7 @@ private:
std::vector<RTLIL::SigSig> connections(module->connections()); std::vector<RTLIL::SigSig> connections(module->connections());
for(auto &cell : module->cells().to_vector()) { for(auto &cell : module->cells().to_vector()) {
if (!cell->type.in({ID($_AND_), ID($_NAND_), ID($_OR_), ID($_NOR_), ID($_XOR_), ID($_XNOR_), ID($_MUX_), ID($_NMUX_), ID($_NOT_), ID($anyconst), ID($allconst), ID($assume), ID($assert)}) && module->design->module(cell->type) == nullptr) { if (!cell->type.in(ID($_AND_), ID($_NAND_), ID($_OR_), ID($_NOR_), ID($_XOR_), ID($_XNOR_), ID($_MUX_), ID($_NMUX_), ID($_NOT_), ID($anyconst), ID($allconst), ID($assume), ID($assert)) && module->design->module(cell->type) == nullptr) {
log_cmd_error("Unsupported cell type \"%s\" found. Run `techmap` first.\n", cell->type.c_str()); log_cmd_error("Unsupported cell type \"%s\" found. Run `techmap` first.\n", cell->type.c_str());
} }
if (cell->type.in(ID($_AND_), ID($_NAND_), ID($_OR_), ID($_NOR_))) { if (cell->type.in(ID($_AND_), ID($_NAND_), ID($_OR_), ID($_NOR_))) {