yosys-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Public Member Functions | Static Public Member Functions | Data Fields
DfflibmapPass Struct Reference
+ Inheritance diagram for DfflibmapPass:
+ Collaboration diagram for DfflibmapPass:

Public Member Functions

 DfflibmapPass ()
 
virtual void help ()
 
virtual void execute (std::vector< std::string > args, RTLIL::Design *design)
 
pre_post_exec_state_t pre_execute ()
 
void post_execute (pre_post_exec_state_t state)
 
void cmd_log_args (const std::vector< std::string > &args)
 
void cmd_error (const std::vector< std::string > &args, size_t argidx, std::string msg)
 
void extra_args (std::vector< std::string > args, size_t argidx, RTLIL::Design *design, bool select=true)
 
virtual void run_register ()
 

Static Public Member Functions

static void call (RTLIL::Design *design, std::string command)
 
static void call (RTLIL::Design *design, std::vector< std::string > args)
 
static void call_on_selection (RTLIL::Design *design, const RTLIL::Selection &selection, std::string command)
 
static void call_on_selection (RTLIL::Design *design, const RTLIL::Selection &selection, std::vector< std::string > args)
 
static void call_on_module (RTLIL::Design *design, RTLIL::Module *module, std::string command)
 
static void call_on_module (RTLIL::Design *design, RTLIL::Module *module, std::vector< std::string > args)
 
static void init_register ()
 
static void done_register ()
 

Data Fields

std::string pass_name
 
std::string short_help
 
int call_counter
 
int64_t runtime_ns
 
Pass * next_queued_pass
 

Detailed Description

Definition at line 437 of file dfflibmap.cc.

Constructor & Destructor Documentation

DfflibmapPass::DfflibmapPass ( )
inline

Definition at line 438 of file dfflibmap.cc.

438 : Pass("dfflibmap", "technology mapping of flip-flops") { }
Pass::Pass
Pass(std::string name, std::string short_help="** document me **")
Definition: register.cc:40

Member Function Documentation

void Pass::call ( RTLIL::Design *  design,
std::string  command 
)
staticinherited

Definition at line 146 of file register.cc.

147 {
148  std::vector<std::string> args;
149 
150  std::string cmd_buf = command;
151  std::string tok = next_token(cmd_buf, " \t\r\n");
152 
153  if (tok.empty() || tok[0] == '#')
154  return;
155 
156  if (tok[0] == '!') {
157  cmd_buf = command.substr(command.find('!') + 1);
158  while (!cmd_buf.empty() && (cmd_buf.back() == ' ' || cmd_buf.back() == '\t' ||
159  cmd_buf.back() == '\r' || cmd_buf.back() == '\n'))
160  cmd_buf.resize(cmd_buf.size()-1);
161  log_header("Shell command: %s\n", cmd_buf.c_str());
162  int retCode = run_command(cmd_buf);
163  if (retCode != 0)
164  log_cmd_error("Shell command returned error code %d.\n", retCode);
165  return;
166  }
167 
168  while (!tok.empty()) {
169  if (tok == "#")
170  break;
171  if (tok.back() == ';') {
172  int num_semikolon = 0;
173  while (!tok.empty() && tok.back() == ';')
174  tok.resize(tok.size()-1), num_semikolon++;
175  if (!tok.empty())
176  args.push_back(tok);
177  call(design, args);
178  args.clear();
179  if (num_semikolon == 2)
180  call(design, "clean");
181  if (num_semikolon == 3)
182  call(design, "clean -purge");
183  } else
184  args.push_back(tok);
185  tok = next_token(cmd_buf, " \t\r\n");
186  }
187 
188  call(design, args);
189 }
next_token
static std::string next_token(bool pass_newline=false)
Definition: preproc.cc:96
log_header
void log_header(const char *format,...)
Definition: log.cc:188
run_command
int run_command(const std::string &command, std::function< void(const std::string &)> process_line)
Definition: yosys.cc:195
log_cmd_error
void log_cmd_error(const char *format,...)
Definition: log.cc:211
Pass::call
static void call(RTLIL::Design *design, std::string command)
Definition: register.cc:146

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

void Pass::call ( RTLIL::Design *  design,
std::vector< std::string >  args 
)
staticinherited

Definition at line 191 of file register.cc.

192 {
193  if (args.size() == 0 || args[0][0] == '#')
194  return;
195 
196  if (echo_mode) {
197  log("%s", create_prompt(design, 0));
198  for (size_t i = 0; i < args.size(); i++)
199  log("%s%s", i ? " " : "", args[i].c_str());
200  log("\n");
201  }
202 
203  if (pass_register.count(args[0]) == 0)
204  log_cmd_error("No such command: %s (type 'help' for a command overview)\n", args[0].c_str());
205 
206  size_t orig_sel_stack_pos = design->selection_stack.size();
207  auto state = pass_register[args[0]]->pre_execute();
208  pass_register[args[0]]->execute(args, design);
209  pass_register[args[0]]->post_execute(state);
210  while (design->selection_stack.size() > orig_sel_stack_pos)
211  design->selection_stack.pop_back();
212 
213  design->check();
214 }
echo_mode
bool echo_mode
Definition: register.cc:30
RTLIL::Design::selection_stack
std::vector< RTLIL::Selection > selection_stack
Definition: rtlil.h:509
create_prompt
const char * create_prompt(RTLIL::Design *design, int recursion_counter)
Definition: yosys.cc:400
RTLIL::Design::check
void check()
Definition: rtlil.cc:357
log_cmd_error
void log_cmd_error(const char *format,...)
Definition: log.cc:211
log
void log(const char *format,...)
Definition: log.cc:180
pass_register
std::map< std::string, Pass * > pass_register
Definition: register.cc:35

+ Here is the call graph for this function:

void Pass::call_on_module ( RTLIL::Design *  design,
RTLIL::Module *  module,
std::string  command 
)
staticinherited

Definition at line 240 of file register.cc.

241 {
242  std::string backup_selected_active_module = design->selected_active_module;
243  design->selected_active_module = module->name.str();
244  design->selection_stack.push_back(RTLIL::Selection(false));
245  design->selection_stack.back().select(module);
246 
247  Pass::call(design, command);
248 
249  design->selection_stack.pop_back();
250  design->selected_active_module = backup_selected_active_module;
251 }
RTLIL::IdString::str
std::string str() const
Definition: rtlil.h:182
RTLIL::Design::selection_stack
std::vector< RTLIL::Selection > selection_stack
Definition: rtlil.h:509
RTLIL::Module::name
RTLIL::IdString name
Definition: rtlil.h:599
RTLIL::Design::selected_active_module
std::string selected_active_module
Definition: rtlil.h:511
Pass::call
static void call(RTLIL::Design *design, std::string command)
Definition: register.cc:146

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

void Pass::call_on_module ( RTLIL::Design *  design,
RTLIL::Module *  module,
std::vector< std::string >  args 
)
staticinherited

Definition at line 253 of file register.cc.

254 {
255  std::string backup_selected_active_module = design->selected_active_module;
256  design->selected_active_module = module->name.str();
257  design->selection_stack.push_back(RTLIL::Selection(false));
258  design->selection_stack.back().select(module);
259 
260  Pass::call(design, args);
261 
262  design->selection_stack.pop_back();
263  design->selected_active_module = backup_selected_active_module;
264 }
RTLIL::IdString::str
std::string str() const
Definition: rtlil.h:182
RTLIL::Design::selection_stack
std::vector< RTLIL::Selection > selection_stack
Definition: rtlil.h:509
RTLIL::Module::name
RTLIL::IdString name
Definition: rtlil.h:599
RTLIL::Design::selected_active_module
std::string selected_active_module
Definition: rtlil.h:511
Pass::call
static void call(RTLIL::Design *design, std::string command)
Definition: register.cc:146

+ Here is the call graph for this function:

void Pass::call_on_selection ( RTLIL::Design *  design,
const RTLIL::Selection &  selection,
std::string  command 
)
staticinherited

Definition at line 216 of file register.cc.

217 {
218  std::string backup_selected_active_module = design->selected_active_module;
219  design->selected_active_module.clear();
220  design->selection_stack.push_back(selection);
221 
222  Pass::call(design, command);
223 
224  design->selection_stack.pop_back();
225  design->selected_active_module = backup_selected_active_module;
226 }
RTLIL::Design::selection_stack
std::vector< RTLIL::Selection > selection_stack
Definition: rtlil.h:509
RTLIL::Design::selected_active_module
std::string selected_active_module
Definition: rtlil.h:511
Pass::call
static void call(RTLIL::Design *design, std::string command)
Definition: register.cc:146

+ Here is the call graph for this function:

void Pass::call_on_selection ( RTLIL::Design *  design,
const RTLIL::Selection &  selection,
std::vector< std::string >  args 
)
staticinherited

Definition at line 228 of file register.cc.

229 {
230  std::string backup_selected_active_module = design->selected_active_module;
231  design->selected_active_module.clear();
232  design->selection_stack.push_back(selection);
233 
234  Pass::call(design, args);
235 
236  design->selection_stack.pop_back();
237  design->selected_active_module = backup_selected_active_module;
238 }
RTLIL::Design::selection_stack
std::vector< RTLIL::Selection > selection_stack
Definition: rtlil.h:509
RTLIL::Design::selected_active_module
std::string selected_active_module
Definition: rtlil.h:511
Pass::call
static void call(RTLIL::Design *design, std::string command)
Definition: register.cc:146

+ Here is the call graph for this function:

void Pass::cmd_error ( const std::vector< std::string > &  args,
size_t  argidx,
std::string  msg 
)
inherited

Definition at line 110 of file register.cc.

111 {
112  std::string command_text;
113  int error_pos = 0;
114 
115  for (size_t i = 0; i < args.size(); i++) {
116  if (i < argidx)
117  error_pos += args[i].size() + 1;
118  command_text = command_text + (command_text.empty() ? "" : " ") + args[i];
119  }
120 
121  log("\nSyntax error in command `%s':\n", command_text.c_str());
122  help();
123 
124  log_cmd_error("Command syntax error: %s\n> %s\n> %*s^\n",
125  msg.c_str(), command_text.c_str(), error_pos, "");
126 }
Pass::help
virtual void help()
Definition: register.cc:93
log_cmd_error
void log_cmd_error(const char *format,...)
Definition: log.cc:211
log
void log(const char *format,...)
Definition: log.cc:180

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

void Pass::cmd_log_args ( const std::vector< std::string > &  args)
inherited

Definition at line 100 of file register.cc.

101 {
102  if (args.size() <= 1)
103  return;
104  log("Full command line:");
105  for (size_t i = 0; i < args.size(); i++)
106  log(" %s", args[i].c_str());
107  log("\n");
108 }
log
void log(const char *format,...)
Definition: log.cc:180

+ Here is the call graph for this function:

void Pass::done_register ( )
staticinherited

Definition at line 62 of file register.cc.

63 {
64  frontend_register.clear();
65  pass_register.clear();
66  backend_register.clear();
67  log_assert(first_queued_pass == NULL);
68 }
frontend_register
std::map< std::string, Frontend * > frontend_register
Definition: register.cc:34
first_queued_pass
Pass * first_queued_pass
Definition: register.cc:31
log_assert
#define log_assert(_assert_expr_)
Definition: log.h:85
NULL
#define NULL
Definition: NumberlikeArray.hh:6
pass_register
std::map< std::string, Pass * > pass_register
Definition: register.cc:35
backend_register
std::map< std::string, Backend * > backend_register
Definition: register.cc:36

+ Here is the caller graph for this function:

virtual void DfflibmapPass::execute ( std::vector< std::string >  args,
RTLIL::Design *  design 
)
inlinevirtual

Implements Pass.

Definition at line 451 of file dfflibmap.cc.

452  {
453  log_header("Executing DFFLIBMAP pass (mapping DFF cells to sequential cells from liberty file).\n");
454 
455  std::string liberty_file;
456 
457  size_t argidx;
458  for (argidx = 1; argidx < args.size(); argidx++)
459  {
460  std::string arg = args[argidx];
461  if (arg == "-liberty" && argidx+1 < args.size()) {
462  liberty_file = args[++argidx];
463  continue;
464  }
465  break;
466  }
467  extra_args(args, argidx, design);
468 
469  if (liberty_file.empty())
470  log_cmd_error("Missing `-liberty liberty_file' option!\n");
471 
472  std::ifstream f;
473  f.open(liberty_file.c_str());
474  if (f.fail())
475  log_cmd_error("Can't open liberty file `%s': %s\n", liberty_file.c_str(), strerror(errno));
476  LibertyParser libparser(f);
477  f.close();
478 
479  find_cell(libparser.ast, "$_DFF_N_", false, false, false, false);
480  find_cell(libparser.ast, "$_DFF_P_", true, false, false, false);
481 
482  find_cell(libparser.ast, "$_DFF_NN0_", false, true, false, false);
483  find_cell(libparser.ast, "$_DFF_NN1_", false, true, false, true);
484  find_cell(libparser.ast, "$_DFF_NP0_", false, true, true, false);
485  find_cell(libparser.ast, "$_DFF_NP1_", false, true, true, true);
486  find_cell(libparser.ast, "$_DFF_PN0_", true, true, false, false);
487  find_cell(libparser.ast, "$_DFF_PN1_", true, true, false, true);
488  find_cell(libparser.ast, "$_DFF_PP0_", true, true, true, false);
489  find_cell(libparser.ast, "$_DFF_PP1_", true, true, true, true);
490 
491  find_cell_sr(libparser.ast, "$_DFFSR_NNN_", false, false, false);
492  find_cell_sr(libparser.ast, "$_DFFSR_NNP_", false, false, true);
493  find_cell_sr(libparser.ast, "$_DFFSR_NPN_", false, true, false);
494  find_cell_sr(libparser.ast, "$_DFFSR_NPP_", false, true, true);
495  find_cell_sr(libparser.ast, "$_DFFSR_PNN_", true, false, false);
496  find_cell_sr(libparser.ast, "$_DFFSR_PNP_", true, false, true);
497  find_cell_sr(libparser.ast, "$_DFFSR_PPN_", true, true, false);
498  find_cell_sr(libparser.ast, "$_DFFSR_PPP_", true, true, true);
499 
500  // try to implement as many cells as possible just by inverting
501  // the SET and RESET pins. If necessary, implement cell types
502  // by inverting both D and Q. Only invert clock pins if there
503  // is no other way of implementing the cell.
504  while (1)
505  {
506  if (expand_cellmap("$_DFF_?*?_", "R") ||
507  expand_cellmap("$_DFFSR_?*?_", "S") ||
508  expand_cellmap("$_DFFSR_??*_", "R"))
509  continue;
510 
511  if (expand_cellmap("$_DFF_??*_", "DQ"))
512  continue;
513 
514  if (expand_cellmap("$_DFF_*_", "C") ||
515  expand_cellmap("$_DFF_*??_", "C") ||
516  expand_cellmap("$_DFFSR_*??_", "C"))
517  continue;
518 
519  break;
520  }
521 
522  map_sr_to_arst("$_DFFSR_NNN_", "$_DFF_NN0_");
523  map_sr_to_arst("$_DFFSR_NNN_", "$_DFF_NN1_");
524  map_sr_to_arst("$_DFFSR_NPP_", "$_DFF_NP0_");
525  map_sr_to_arst("$_DFFSR_NPP_", "$_DFF_NP1_");
526  map_sr_to_arst("$_DFFSR_PNN_", "$_DFF_PN0_");
527  map_sr_to_arst("$_DFFSR_PNN_", "$_DFF_PN1_");
528  map_sr_to_arst("$_DFFSR_PPP_", "$_DFF_PP0_");
529  map_sr_to_arst("$_DFFSR_PPP_", "$_DFF_PP1_");
530 
531  log(" final dff cell mappings:\n");
532  logmap_all();
533 
534  for (auto &it : design->modules_)
535  if (design->selected(it.second) && !it.second->get_bool_attribute("\\blackbox"))
536  dfflibmap(design, it.second);
537 
538  cell_mappings.clear();
539  }
RTLIL::Design::selected
bool selected(T1 *module) const
Definition: rtlil.h:551
cell_mappings
static std::map< RTLIL::IdString, cell_mapping > cell_mappings
Definition: dfflibmap.cc:33
log_header
void log_header(const char *format,...)
Definition: log.cc:188
logmap_all
static void logmap_all()
Definition: dfflibmap.cc:55
find_cell
static void find_cell(LibertyAst *ast, std::string cell_type, bool clkpol, bool has_reset, bool rstpol, bool rstval)
Definition: dfflibmap.cc:106
find_cell_sr
static void find_cell_sr(LibertyAst *ast, std::string cell_type, bool clkpol, bool setpol, bool clrpol)
Definition: dfflibmap.cc:202
log_cmd_error
void log_cmd_error(const char *format,...)
Definition: log.cc:211
expand_cellmap
static bool expand_cellmap(std::string pattern, std::string inv)
Definition: dfflibmap.cc:317
RTLIL::Design::modules_
std::map< RTLIL::IdString, RTLIL::Module * > modules_
Definition: rtlil.h:507
map_sr_to_arst
static void map_sr_to_arst(const char *from, const char *to)
Definition: dfflibmap.cc:345
log
void log(const char *format,...)
Definition: log.cc:180
dfflibmap
static void dfflibmap(RTLIL::Design *design, RTLIL::Module *module)
Definition: dfflibmap.cc:387
Pass::extra_args
void extra_args(std::vector< std::string > args, size_t argidx, RTLIL::Design *design, bool select=true)
Definition: register.cc:128

+ Here is the call graph for this function:

void Pass::extra_args ( std::vector< std::string >  args,
size_t  argidx,
RTLIL::Design *  design,
bool  select = true 
)
inherited

Definition at line 128 of file register.cc.

129 {
130  for (; argidx < args.size(); argidx++)
131  {
132  std::string arg = args[argidx];
133 
134  if (arg.substr(0, 1) == "-")
135  cmd_error(args, argidx, "Unknown option or option in arguments.");
136 
137  if (!select)
138  cmd_error(args, argidx, "Extra argument.");
139 
140  handle_extra_select_args(this, args, argidx, args.size(), design);
141  break;
142  }
143  // cmd_log_args(args);
144 }
Pass::cmd_error
void cmd_error(const std::vector< std::string > &args, size_t argidx, std::string msg)
Definition: register.cc:110
handle_extra_select_args
void handle_extra_select_args(Pass *pass, std::vector< std::string > args, size_t argidx, size_t args_size, RTLIL::Design *design)
Definition: select.cc:803

+ Here is the call graph for this function:

virtual void DfflibmapPass::help ( )
inlinevirtual

Reimplemented from Pass.

Definition at line 439 of file dfflibmap.cc.

440  {
441  log("\n");
442  log(" dfflibmap -liberty <file> [selection]\n");
443  log("\n");
444  log("Map internal flip-flop cells to the flip-flop cells in the technology\n");
445  log("library specified in the given liberty file.\n");
446  log("\n");
447  log("This pass may add inverters as needed. Therefore it is recommended to\n");
448  log("first run this pass and then map the logic paths to the target technology.\n");
449  log("\n");
450  }
log
void log(const char *format,...)
Definition: log.cc:180

+ Here is the call graph for this function:

void Pass::init_register ( )
staticinherited

Definition at line 54 of file register.cc.

55 {
56  while (first_queued_pass) {
57  first_queued_pass->run_register();
58  first_queued_pass = first_queued_pass->next_queued_pass;
59  }
60 }
first_queued_pass
Pass * first_queued_pass
Definition: register.cc:31
Pass::next_queued_pass
Pass * next_queued_pass
Definition: register.h:60
Pass::run_register
virtual void run_register()
Definition: register.cc:48

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

void Pass::post_execute ( Pass::pre_post_exec_state_t  state)
inherited

Definition at line 84 of file register.cc.

85 {
86  int64_t time_ns = PerformanceTimer::query() - state.begin_ns;
87  runtime_ns += time_ns;
88  current_pass = state.parent_pass;
89  if (current_pass)
90  current_pass->runtime_ns -= time_ns;
91 }
PerformanceTimer::query
static int64_t query()
Definition: log.h:151
Pass::runtime_ns
int64_t runtime_ns
Definition: register.h:37
current_pass
Pass * current_pass
Definition: register.cc:32
Pass::pre_post_exec_state_t::parent_pass
Pass * parent_pass
Definition: register.h:40
Pass::pre_post_exec_state_t::begin_ns
int64_t begin_ns
Definition: register.h:41

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

Pass::pre_post_exec_state_t Pass::pre_execute ( )
inherited

Definition at line 74 of file register.cc.

75 {
76  pre_post_exec_state_t state;
77  call_counter++;
78  state.begin_ns = PerformanceTimer::query();
79  state.parent_pass = current_pass;
80  current_pass = this;
81  return state;
82 }
PerformanceTimer::query
static int64_t query()
Definition: log.h:151
current_pass
Pass * current_pass
Definition: register.cc:32
Pass::call_counter
int call_counter
Definition: register.h:36

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

void Pass::run_register ( )
virtualinherited

Reimplemented in Backend, and Frontend.

Definition at line 48 of file register.cc.

49 {
50  log_assert(pass_register.count(pass_name) == 0);
51  pass_register[pass_name] = this;
52 }
Pass::pass_name
std::string pass_name
Definition: register.h:29
log_assert
#define log_assert(_assert_expr_)
Definition: log.h:85
pass_register
std::map< std::string, Pass * > pass_register
Definition: register.cc:35

+ Here is the caller graph for this function:

Field Documentation

int Pass::call_counter
inherited

Definition at line 36 of file register.h.

Pass* Pass::next_queued_pass
inherited

Definition at line 60 of file register.h.

std::string Pass::pass_name
inherited

Definition at line 29 of file register.h.

int64_t Pass::runtime_ns
inherited

Definition at line 37 of file register.h.

std::string Pass::short_help
inherited

Definition at line 29 of file register.h.

The documentation for this struct was generated from the following file: