mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-07 09:55:20 +00:00
peepopt: Describe rules in help message
This commit is contained in:
parent
5c0c8251c3
commit
660be4a31e
|
@ -37,6 +37,17 @@ struct PeepoptPass : public Pass {
|
||||||
log("\n");
|
log("\n");
|
||||||
log("This pass applies a collection of peephole optimizers to the current design.\n");
|
log("This pass applies a collection of peephole optimizers to the current design.\n");
|
||||||
log("\n");
|
log("\n");
|
||||||
|
log("This pass employs the following rules:\n");
|
||||||
|
log("\n");
|
||||||
|
log(" * muldiv - Replace (A*B)/B with A\n");
|
||||||
|
log("\n");
|
||||||
|
log(" * shiftmul - Replace A>>(B*C) with A'>>(B<<K) where C and K are constants\n");
|
||||||
|
log(" and A' is derived from A by appropriately inserting padding\n");
|
||||||
|
log(" into the signal. (right variant)\n");
|
||||||
|
log("\n");
|
||||||
|
log(" Analogously, replace A<<(B*C) with appropriate selection of\n");
|
||||||
|
log(" output bits from A<<(B<<K). (left variant)\n");
|
||||||
|
log("\n");
|
||||||
}
|
}
|
||||||
void execute(std::vector<std::string> args, RTLIL::Design *design) override
|
void execute(std::vector<std::string> args, RTLIL::Design *design) override
|
||||||
{
|
{
|
||||||
|
|
Loading…
Reference in a new issue