abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
fpgaFanout.c
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [fpgaFanout.c]
4 
5  PackageName [FRAIG: Functionally reduced AND-INV graphs.]
6 
7  Synopsis [Procedures to manipulate fanouts of the FRAIG nodes.]
8 
9  Author [Alan Mishchenko <alanmi@eecs.berkeley.edu>]
10 
11  Affiliation [UC Berkeley]
12 
13  Date [Ver. 2.0. Started - August 18, 2004.]
14 
15  Revision [$Id: fpgaFanout.c,v 1.1 2005/01/23 06:59:41 alanmi Exp $]
16 
17 ***********************************************************************/
18 
19 #include "fpgaInt.h"
20 
21 ABC_NAMESPACE_IMPL_START
22 
23 
24 #ifdef MAP_ALLOCATE_FANOUT
25 
26 ////////////////////////////////////////////////////////////////////////
27 /// DECLARATIONS ///
28 ////////////////////////////////////////////////////////////////////////
29 
30 ////////////////////////////////////////////////////////////////////////
31 /// FUNCTION DEFINITIONS ///
32 ////////////////////////////////////////////////////////////////////////
33 
34 /**Function*************************************************************
35 
36  Synopsis [Add the fanout to the node.]
37 
38  Description []
39 
40  SideEffects []
41 
42  SeeAlso []
43 
44 ***********************************************************************/
45 void Fpga_NodeAddFaninFanout( Fpga_Node_t * pFanin, Fpga_Node_t * pFanout )
46 {
47  Fpga_Node_t * pPivot;
48 
49  // pFanins is a fanin of pFanout
50  assert( !Fpga_IsComplement(pFanin) );
51  assert( !Fpga_IsComplement(pFanout) );
52  assert( Fpga_Regular(pFanout->p1) == pFanin || Fpga_Regular(pFanout->p2) == pFanin );
53 
54  pPivot = pFanin->pFanPivot;
55  if ( pPivot == NULL )
56  {
57  pFanin->pFanPivot = pFanout;
58  return;
59  }
60 
61  if ( Fpga_Regular(pPivot->p1) == pFanin )
62  {
63  if ( Fpga_Regular(pFanout->p1) == pFanin )
64  {
65  pFanout->pFanFanin1 = pPivot->pFanFanin1;
66  pPivot->pFanFanin1 = pFanout;
67  }
68  else // if ( Fpga_Regular(pFanout->p2) == pFanin )
69  {
70  pFanout->pFanFanin2 = pPivot->pFanFanin1;
71  pPivot->pFanFanin1 = pFanout;
72  }
73  }
74  else // if ( Fpga_Regular(pPivot->p2) == pFanin )
75  {
76  assert( Fpga_Regular(pPivot->p2) == pFanin );
77  if ( Fpga_Regular(pFanout->p1) == pFanin )
78  {
79  pFanout->pFanFanin1 = pPivot->pFanFanin2;
80  pPivot->pFanFanin2 = pFanout;
81  }
82  else // if ( Fpga_Regular(pFanout->p2) == pFanin )
83  {
84  pFanout->pFanFanin2 = pPivot->pFanFanin2;
85  pPivot->pFanFanin2 = pFanout;
86  }
87  }
88 }
89 
90 /**Function*************************************************************
91 
92  Synopsis [Add the fanout to the node.]
93 
94  Description []
95 
96  SideEffects []
97 
98  SeeAlso []
99 
100 ***********************************************************************/
101 void Fpga_NodeRemoveFaninFanout( Fpga_Node_t * pFanin, Fpga_Node_t * pFanoutToRemove )
102 {
103  Fpga_Node_t * pFanout, * pFanout2, ** ppFanList;
104  // start the linked list of fanouts
105  ppFanList = &pFanin->pFanPivot;
106  // go through the fanouts
107  Fpga_NodeForEachFanoutSafe( pFanin, pFanout, pFanout2 )
108  {
109  // skip the fanout-to-remove
110  if ( pFanout == pFanoutToRemove )
111  continue;
112  // add useful fanouts to the list
113  *ppFanList = pFanout;
114  ppFanList = Fpga_NodeReadNextFanoutPlace( pFanin, pFanout );
115  }
116  *ppFanList = NULL;
117 }
118 
119 /**Function*************************************************************
120 
121  Synopsis [Returns the number of fanouts of a node.]
122 
123  Description []
124 
125  SideEffects []
126 
127  SeeAlso []
128 
129 ***********************************************************************/
130 int Fpga_NodeGetFanoutNum( Fpga_Node_t * pNode )
131 {
132  Fpga_Node_t * pFanout;
133  int Counter = 0;
134  Fpga_NodeForEachFanout( pNode, pFanout )
135  Counter++;
136  return Counter;
137 }
138 
139 ////////////////////////////////////////////////////////////////////////
140 /// END OF FILE ///
141 ////////////////////////////////////////////////////////////////////////
142 
143 #endif
144 
145 ABC_NAMESPACE_IMPL_END
146 
Fpga_NodeAddFaninFanout
void Fpga_NodeAddFaninFanout(Fpga_Node_t *pFanin, Fpga_Node_t *pFanout)
Fpga_NodeForEachFanoutSafe
#define Fpga_NodeForEachFanoutSafe(pNode, pFanout, pFanout2)
Definition: fpgaInt.h:274
Fpga_NodeStruct_t_::p1
Fpga_Node_t * p1
Definition: fpgaInt.h:200
ABC_NAMESPACE_IMPL_END
#define ABC_NAMESPACE_IMPL_END
Definition: abc_global.h:108
Counter
static int Counter
Definition: extraBddMisc.c:1877
Fpga_NodeRemoveFaninFanout
void Fpga_NodeRemoveFaninFanout(Fpga_Node_t *pFanin, Fpga_Node_t *pFanoutToRemove)
Fpga_NodeForEachFanout
#define Fpga_NodeForEachFanout(pNode, pFanout)
Definition: fpgaInt.h:269
ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_START
Definition: abc_global.h:107
Fpga_Regular
#define Fpga_Regular(p)
Definition: fpga.h:58
Fpga_NodeStruct_t_
Definition: fpgaInt.h:180
assert
#define assert(ex)
Definition: util_old.h:213
Fpga_NodeStruct_t_::p2
Fpga_Node_t * p2
Definition: fpgaInt.h:201
Fpga_IsComplement
#define Fpga_IsComplement(p)
GLOBAL VARIABLES ///.
Definition: fpga.h:57
Fpga_NodeReadNextFanoutPlace
#define Fpga_NodeReadNextFanoutPlace(pNode, pFanout)
Definition: fpgaInt.h:264
Fpga_NodeGetFanoutNum
int Fpga_NodeGetFanoutNum(Fpga_Node_t *pNode)