mirror of https://github.com/YosysHQ/yosys.git
Renamed AbstractCellEdgesDatabase::add_cell() to add_edges_from_cell()
This commit is contained in:
parent
5b944ef11b
commit
8537c4d206
|
@ -158,7 +158,7 @@ void mux_op(AbstractCellEdgesDatabase *db, RTLIL::Cell *cell)
|
||||||
|
|
||||||
PRIVATE_NAMESPACE_END
|
PRIVATE_NAMESPACE_END
|
||||||
|
|
||||||
bool YOSYS_NAMESPACE_PREFIX AbstractCellEdgesDatabase::add_cell(RTLIL::Cell *cell)
|
bool YOSYS_NAMESPACE_PREFIX AbstractCellEdgesDatabase::add_edges_from_cell(RTLIL::Cell *cell)
|
||||||
{
|
{
|
||||||
if (cell->type.in("$not", "$pos")) {
|
if (cell->type.in("$not", "$pos")) {
|
||||||
bitwise_unary_op(this, cell);
|
bitwise_unary_op(this, cell);
|
||||||
|
|
|
@ -29,7 +29,7 @@ struct AbstractCellEdgesDatabase
|
||||||
{
|
{
|
||||||
virtual ~AbstractCellEdgesDatabase() { }
|
virtual ~AbstractCellEdgesDatabase() { }
|
||||||
virtual void add_edge(RTLIL::Cell *cell, RTLIL::IdString from_port, int from_bit, RTLIL::IdString to_port, int to_bit, int delay) = 0;
|
virtual void add_edge(RTLIL::Cell *cell, RTLIL::IdString from_port, int from_bit, RTLIL::IdString to_port, int to_bit, int delay) = 0;
|
||||||
bool add_cell(RTLIL::Cell *cell);
|
bool add_edges_from_cell(RTLIL::Cell *cell);
|
||||||
};
|
};
|
||||||
|
|
||||||
struct FwdCellEdgesDatabase : AbstractCellEdgesDatabase
|
struct FwdCellEdgesDatabase : AbstractCellEdgesDatabase
|
||||||
|
|
|
@ -344,7 +344,7 @@ static void run_edges_test(RTLIL::Design *design, bool verbose)
|
||||||
SatGen satgen(&ez, &sigmap);
|
SatGen satgen(&ez, &sigmap);
|
||||||
|
|
||||||
FwdCellEdgesDatabase edges_db(sigmap);
|
FwdCellEdgesDatabase edges_db(sigmap);
|
||||||
if (!edges_db.add_cell(cell))
|
if (!edges_db.add_edges_from_cell(cell))
|
||||||
log_error("Creating edge database failed for this cell!\n");
|
log_error("Creating edge database failed for this cell!\n");
|
||||||
|
|
||||||
dict<SigBit, pool<SigBit>> satgen_db;
|
dict<SigBit, pool<SigBit>> satgen_db;
|
||||||
|
|
Loading…
Reference in New Issue