source: vis_dev/vis-2.3/src/spfd/spfdAPI.c @ 31

Last change on this file since 31 was 14, checked in by cecile, 13 years ago

vis2.3

File size: 15.8 KB
Line 
1/**CFile***********************************************************************
2
3  FileName    [spfdAPI.c]
4
5  PackageName [spfd]
6
7  Synopsis [Routines to read, delete and update data structures used
8  in the package.]
9
10  Description [Routines to read, delete and update data structures used
11  in the package.]
12
13  SeeAlso     [spfdUtil.c spfdClean.c]
14
15  Author      [Balakrishna Kumthekar]
16
17  Copyright [This file was created at the University of Colorado at Boulder.
18  The University of Colorado at Boulder makes no warranty about the suitability
19  of this software for any purpose.  It is presented on an AS IS basis.]
20
21******************************************************************************/
22
23#include "spfdInt.h"
24
25/*---------------------------------------------------------------------------*/
26/* Constant declarations                                                     */
27/*---------------------------------------------------------------------------*/
28
29
30/*---------------------------------------------------------------------------*/
31/* Type declarations                                                         */
32/*---------------------------------------------------------------------------*/
33
34
35/*---------------------------------------------------------------------------*/
36/* Structure declarations                                                    */
37/*---------------------------------------------------------------------------*/
38
39
40/*---------------------------------------------------------------------------*/
41/* Variable declarations                                                     */
42/*---------------------------------------------------------------------------*/
43
44extern int sfpdVerbose; 
45extern float alpha; 
46
47/*---------------------------------------------------------------------------*/
48/* Macro declarations                                                        */
49/*---------------------------------------------------------------------------*/
50
51
52/**AutomaticStart*************************************************************/
53
54/*---------------------------------------------------------------------------*/
55/* Static function prototypes                                                */
56/*---------------------------------------------------------------------------*/
57
58
59/**AutomaticEnd***************************************************************/
60
61
62/*---------------------------------------------------------------------------*/
63/* Definition of exported functions                                          */
64/*---------------------------------------------------------------------------*/
65
66/*---------------------------------------------------------------------------*/
67/* Definition of internal functions                                          */
68/*---------------------------------------------------------------------------*/
69
70/**Function********************************************************************
71
72  Synopsis           [Returns whether the node is locked.]
73
74  SideEffects        [None]
75
76******************************************************************************/
77boolean
78SpfdNodeReadLocked(
79  SpfdApplData_t *applData,
80  Ntk_Node_t *node)
81{
82  st_table *nodeToData = applData->nodeToData;
83  SpfdNodeData_t *nodeData;
84
85  st_lookup(nodeToData,(char *)node,&nodeData);
86 
87  return nodeData->locked;
88 
89} /* End of SpfdNodeReadLocked */
90
91
92/**Function********************************************************************
93
94  Synopsis           [Read the auxillary BDD id associated with the node.]
95
96  SideEffects        [None]
97
98******************************************************************************/
99int
100SpfdNodeReadAuxId(
101  SpfdApplData_t *applData,
102  Ntk_Node_t *node)
103{
104  st_table *nodeToData = applData->nodeToData;
105  SpfdNodeData_t *nodeData;
106
107  st_lookup(nodeToData,(char *)node,&nodeData);
108 
109  return nodeData->auxId;
110 
111} /* End of SpfdNodeReadAuxId */
112
113
114/**Function********************************************************************
115
116  Synopsis           [Set the auxillary BDD id for the node]
117
118  SideEffects        [None]
119
120******************************************************************************/
121void
122SpfdNodeSetAuxId(
123  SpfdApplData_t *applData,
124  Ntk_Node_t *node,
125  int auxId)
126{
127  st_table *nodeToData = applData->nodeToData;
128  SpfdNodeData_t *nodeData;
129
130  st_lookup(nodeToData,(char *)node,&nodeData);
131  nodeData->auxId = auxId;
132
133} /* End of SpfdNodeSetAuxId */
134
135
136/**Function********************************************************************
137
138  Synopsis           [Read the node's spfd.]
139
140  SideEffects        [None]
141
142******************************************************************************/
143bdd_node *
144SpfdNodeReadSpfd(
145  SpfdApplData_t *applData,
146  Ntk_Node_t *node)
147{
148  st_table *nodeToData = applData->nodeToData;
149  SpfdNodeData_t *nodeData;
150
151  st_lookup(nodeToData,(char *)node,&nodeData);
152 
153  return nodeData->spfd;
154 
155} /* End of SpfdNodeReadSpfd */
156
157
158/**Function********************************************************************
159
160  Synopsis           [Free the BDD representing the spfd of the node.]
161
162  SideEffects        [None]
163
164******************************************************************************/
165void
166SpfdNodeDeleteSpfd(
167  SpfdApplData_t *applData,
168  Ntk_Node_t *node)
169{
170  st_table *nodeToData = applData->nodeToData;
171  SpfdNodeData_t *nodeData;
172
173  st_lookup(nodeToData,(char *)node,&nodeData);
174
175  if (nodeData->spfd)
176    bdd_recursive_deref(applData->ddManager,nodeData->spfd);
177  nodeData->spfd = NIL(bdd_node);
178 
179  return;
180 
181} /* End of SpfdNodeDeleteSpfd */
182
183
184/**Function********************************************************************
185
186  Synopsis           [Set the node's spfd]
187
188  SideEffects        [None]
189
190******************************************************************************/
191void
192SpfdNodeSetSpfd(
193  SpfdApplData_t *applData,
194  Ntk_Node_t *node,
195  bdd_node *spfd)
196{
197  st_table *nodeToData = applData->nodeToData;
198  SpfdNodeData_t *nodeData;
199
200  st_lookup(nodeToData,(char *)node,&nodeData);
201
202  if (nodeData->spfd) {
203    (void) fprintf(vis_stdout,
204                   "** spfd warning: <%s: set spfd> Possible memory leak.\n",
205                   Ntk_NodeReadName(node));
206  }
207  nodeData->spfd = spfd;
208 
209} /* End of SpfdNodeSetSpfd */
210
211
212/**Function********************************************************************
213
214  Synopsis [Read the array of BDD variables (parameters) associated
215  with the spfd of the node.]
216
217  SideEffects        [None]
218
219******************************************************************************/
220bdd_node **
221SpfdNodeReadParameters(
222  SpfdApplData_t *applData,
223  Ntk_Node_t *node)
224{
225  st_table *nodeToData = applData->nodeToData;
226  SpfdNodeData_t *nodeData;
227
228  st_lookup(nodeToData,(char *)node,&nodeData);
229
230  return nodeData->parameters;
231 
232} /* End of SpfdNodeReadParameters */
233
234
235/**Function********************************************************************
236
237  Synopsis [Free the array of BDD variables (parameters) associated
238  with the spfd of the node.]
239
240  SideEffects        [None]
241
242******************************************************************************/
243void
244SpfdNodeDeleteParameters(
245  SpfdApplData_t *applData,
246  Ntk_Node_t *node)
247{
248  st_table *nodeToData = applData->nodeToData;
249  SpfdNodeData_t *nodeData;
250
251  st_lookup(nodeToData,(char *)node,&nodeData);
252
253  if (nodeData->parameters)
254    FREE(nodeData->parameters);
255
256  nodeData->parameters = NIL(bdd_node *);
257  nodeData->numParams = 0;
258 
259  return;
260 
261} /* End of SpfdNodeDeleteParameters */
262
263
264/**Function********************************************************************
265
266  Synopsis [Set the array of BDD variables (parameters) associated
267  with the spfd of the node.]
268
269  SideEffects        [None]
270
271******************************************************************************/
272void
273SpfdNodeSetParameters(
274  SpfdApplData_t *applData,
275  Ntk_Node_t *node,
276  bdd_node **parameters,
277  int numParams)
278{
279  st_table *nodeToData = applData->nodeToData;
280  SpfdNodeData_t *nodeData;
281
282  st_lookup(nodeToData,(char *)node,&nodeData);
283
284  if (nodeData->parameters) {
285    (void) fprintf(vis_stdout,
286                   "** spfd warning: <%s: set parameters> Possible memory leak.\n",
287                   Ntk_NodeReadName(node));
288  }
289
290  nodeData->parameters = parameters;
291  nodeData->numParams = numParams;
292 
293} /* End of SpfdNodeSetParameters */
294
295
296/**Function********************************************************************
297
298  Synopsis           [Read the sorted array of fanin nodes.]
299
300  SideEffects        [None]
301
302******************************************************************************/
303array_t *
304SpfdNodeReadFaninOrder(
305  SpfdApplData_t *applData,
306  Ntk_Node_t *node)
307{
308  st_table *nodeToData = applData->nodeToData;
309  SpfdNodeData_t *nodeData;
310
311  st_lookup(nodeToData,(char *)node,&nodeData);
312 
313  return nodeData->faninOrder;
314 
315} /* End of SpfdNodeReadFaninOrder */
316
317
318/**Function********************************************************************
319
320  Synopsis           [Delete the sorted array of fanin nodes.]
321
322  SideEffects        [None]
323
324******************************************************************************/
325void
326SpfdNodeDeleteFaninOrder(
327  SpfdApplData_t *applData,
328  Ntk_Node_t *node)
329{
330  st_table *nodeToData = applData->nodeToData;
331  SpfdNodeData_t *nodeData;
332
333  st_lookup(nodeToData,(char *)node,&nodeData);
334
335  if (nodeData->faninOrder)
336    array_free(nodeData->faninOrder);
337
338  nodeData->faninOrder = NIL(array_t);
339 
340  return;
341 
342} /* End of SpfdNodeDeleteFaninOrder */
343
344
345/**Function********************************************************************
346
347  Synopsis [Set the array faninOrder required during SPFD computation.]
348
349  SideEffects        [None]
350
351******************************************************************************/
352void
353SpfdNodeSetFaninOrder(
354  SpfdApplData_t *applData,
355  Ntk_Node_t *node,
356  array_t *faninOrder)
357{
358  st_table *nodeToData = applData->nodeToData;
359  SpfdNodeData_t *nodeData;
360
361  st_lookup(nodeToData,(char *)node,&nodeData);
362  if (nodeData->faninOrder) {
363    (void) fprintf(vis_stdout,
364                   "** spfd warning: <%s: set fanin order> Possible memory leak.\n",
365                   Ntk_NodeReadName(node));
366  }
367  nodeData->faninOrder = faninOrder;
368
369} /* End of SpfdNodeSetFaninOrder */
370
371/**Function********************************************************************
372
373  Synopsis [Read the global BDD of the node. The global BDD is derived
374  from the node's spfd.]
375
376  SideEffects        [SpfdNodeDeleteGlobalAlternative]
377
378******************************************************************************/
379bdd_node *
380SpfdNodeReadGlobalAlternative(
381  SpfdApplData_t *applData,
382  Ntk_Node_t *node)
383{
384  st_table *nodeToData = applData->nodeToData;
385  SpfdNodeData_t *nodeData;
386
387  st_lookup(nodeToData,(char *)node,&nodeData);
388 
389  return nodeData->alternative;
390 
391} /* End of SpfdNodeReadGlobalAlternative */
392
393
394/**Function********************************************************************
395
396  Synopsis [Delete the global BDD of the node. The global BDD is
397  derived from the node's spfd.]
398
399  SideEffects [None]
400
401  SeeAlso            [SpfdNodeReadGlobalAlternative]
402
403******************************************************************************/
404void
405SpfdNodeDeleteGlobalAlternative(
406  SpfdApplData_t *applData,
407  Ntk_Node_t *node)
408{
409  st_table *nodeToData = applData->nodeToData;
410  SpfdNodeData_t *nodeData;
411
412  st_lookup(nodeToData,(char *)node,&nodeData);
413
414  if (nodeData->alternative)
415    bdd_recursive_deref(applData->ddManager,nodeData->alternative);
416
417  nodeData->alternative = NIL(bdd_node);
418 
419  return;
420 
421} /* End of SpfdNodeDeleteGlobalAlternative */
422
423
424/**Function********************************************************************
425
426  Synopsis           [Set the BDD as the node's global BDD.]
427
428  SideEffects        [None]
429
430******************************************************************************/
431void
432SpfdNodeSetGlobalAlternative(
433  SpfdApplData_t *applData,
434  Ntk_Node_t *node,
435  bdd_node *alternative)
436{
437  st_table *nodeToData = applData->nodeToData;
438  SpfdNodeData_t *nodeData;
439
440  st_lookup(nodeToData,(char *)node,&nodeData);
441  if (nodeData->alternative) {
442    (void) fprintf(vis_stdout,
443                   "** spfd warning: <%s: set global alternative>"
444                   " Possible memory leak.\n",
445                   Ntk_NodeReadName(node));
446  }
447  nodeData->alternative = alternative;
448 
449} /* End of SpfdNodeSetGlobalAlternative */
450
451
452/**Function********************************************************************
453
454  Synopsis [Read the local BDD, which is in terms of the node's
455  immediate fanin.]
456
457  SideEffects        [None]
458
459******************************************************************************/
460bdd_node *
461SpfdNodeReadLocalAlt(
462  SpfdApplData_t *applData,
463  Ntk_Node_t *node)
464{
465  st_table *nodeToData = applData->nodeToData;
466  SpfdNodeData_t *nodeData;
467
468  st_lookup(nodeToData,(char *)node,&nodeData);
469
470  return nodeData->localAlt;
471 
472} /* End of SpfdNodeReadLocalAlt */
473
474
475/**Function********************************************************************
476
477  Synopsis [Delete the local BDD, which is in terms of the node's
478  immediate fanin.]
479
480  SideEffects        [None]
481
482******************************************************************************/
483void
484SpfdNodeDeleteLocalAlt(
485  SpfdApplData_t *applData,
486  Ntk_Node_t *node)
487{
488  st_table *nodeToData = applData->nodeToData;
489  SpfdNodeData_t *nodeData;
490
491  st_lookup(nodeToData,(char *)node,&nodeData);
492
493  if (nodeData->localAlt)
494    bdd_recursive_deref(applData->ddManager,nodeData->localAlt);
495
496  nodeData->localAlt = NIL(bdd_node);
497 
498  return;
499 
500} /* End of SpfdNodeDeleteLocalAlt */
501
502 
503/**Function********************************************************************
504
505  Synopsis [Set localAlt as the local BDD. localAlt is in terms of the
506  node's immediate fanin.]
507
508  SideEffects        [None]
509
510******************************************************************************/
511void
512SpfdNodeSetLocalAlt(
513  SpfdApplData_t *applData,
514  Ntk_Node_t *node,
515  bdd_node *localAlt)
516{
517  st_table *nodeToData = applData->nodeToData;
518  SpfdNodeData_t *nodeData;
519
520  st_lookup(nodeToData,(char *)node,&nodeData);
521  if (nodeData->localAlt) {
522    (void) fprintf(vis_stdout,
523                   "** spfd warning: <%s: set local alt> Possible memory leak.\n",
524                   Ntk_NodeReadName(node));
525  }
526  nodeData->localAlt = localAlt;
527 
528} /* End of SpfdNodeSetLocalAlt */
529 
530
531/**Function********************************************************************
532
533  Synopsis           [Set the node as locked.]
534
535  SideEffects        [None]
536
537******************************************************************************/
538void
539SpfdNodeSetLocked(
540  SpfdApplData_t *applData,
541  Ntk_Node_t *node,
542  boolean locked)
543{
544  st_table *nodeToData = applData->nodeToData;
545  SpfdNodeData_t *nodeData;
546
547  st_lookup(nodeToData,(char *)node,&nodeData);
548
549  nodeData->locked = locked;
550 
551} /* End of SpfdNodeSetLocked */
552
553
554/**Function********************************************************************
555
556  Synopsis [Read the number of parameters associated with the node's
557  SPFD.]
558
559  SideEffects        [None]
560
561******************************************************************************/
562int
563SpfdNodeReadNumParams(
564  SpfdApplData_t *applData,
565  Ntk_Node_t *node)
566{
567  st_table *nodeToData = applData->nodeToData;
568  SpfdNodeData_t *nodeData;
569
570  st_lookup(nodeToData,(char *)node,&nodeData);
571
572  return nodeData->numParams;
573 
574} /* End of SpfdNodeReadNumParams */
575
576/**Function********************************************************************
577
578  Synopsis [This is used to get the index of the source of the net
579  data structure used in VPR.]
580
581  SideEffects        [None]
582
583******************************************************************************/
584int
585SpfdNodeReadNetIndex(
586  SpfdApplData_t *applData,
587  Ntk_Node_t *node)
588{
589  SpfdPlaceData_t *placeData;
590  int index = -1;
591 
592  placeData = applData->placeData;
593  st_lookup(placeData->nodeToNetIndex,(char *)node,&index);
594
595  return index;
596 
597} /* End of SpfdNodeReadNetIndex */
598
599/*---------------------------------------------------------------------------*/
600/* Definition of static functions                                            */
601/*---------------------------------------------------------------------------*/
602
603
Note: See TracBrowser for help on using the repository browser.