ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
nmTable.c File Reference
#include "nmInt.h"
Include dependency graph for nmTable.c:

Go to the source code of this file.

Functions

int Nm_ManTableAdd (Nm_Man_t *p, Nm_Entry_t *pEntry)
 FUNCTION DEFINITIONS ///.
 
int Nm_ManTableDelete (Nm_Man_t *p, int ObjId)
 
Nm_Entry_tNm_ManTableLookupId (Nm_Man_t *p, int ObjId)
 
Nm_Entry_tNm_ManTableLookupName (Nm_Man_t *p, char *pName, int Type)
 
void Nm_ManProfile (Nm_Man_t *p)
 

Function Documentation

◆ Nm_ManProfile()

void Nm_ManProfile ( Nm_Man_t * p)

Function*************************************************************

Synopsis [Profiles hash tables.]

Description []

SideEffects []

SeeAlso []

Definition at line 221 of file nmTable.c.

222{
223 Nm_Entry_t * pEntry;
224 int Counter, e;
225 printf( "I2N table: " );
226 for ( e = 0; e < p->nBins; e++ )
227 {
228 Counter = 0;
229 for ( pEntry = p->pBinsI2N[e]; pEntry; pEntry = pEntry->pNextI2N )
230 Counter++;
231 printf( "%d ", Counter );
232 }
233 printf( "\n" );
234 printf( "N2I table: " );
235 for ( e = 0; e < p->nBins; e++ )
236 {
237 Counter = 0;
238 for ( pEntry = p->pBinsN2I[e]; pEntry; pEntry = pEntry->pNextN2I )
239 Counter++;
240 printf( "%d ", Counter );
241 }
242 printf( "\n" );
243}
Cube * p
Definition exorList.c:222
typedefABC_NAMESPACE_HEADER_START struct Nm_Entry_t_ Nm_Entry_t
INCLUDES ///.
Definition nmInt.h:46

◆ Nm_ManTableAdd()

int Nm_ManTableAdd ( Nm_Man_t * p,
Nm_Entry_t * pEntry )

FUNCTION DEFINITIONS ///.

MACRO DEFINITIONS ///.

Function*************************************************************

Synopsis [Adds an entry to two hash tables.]

Description []

SideEffects []

SeeAlso []

Definition at line 71 of file nmTable.c.

72{
73 Nm_Entry_t ** ppSpot, * pOther;
74 // resize the tables if needed
75 if ( p->nEntries > p->nBins * p->nSizeFactor )
76 Nm_ManResize( p );
77 // add the entry to the table Id->Name
78 assert( Nm_ManTableLookupId(p, pEntry->ObjId) == NULL );
79 ppSpot = p->pBinsI2N + Nm_HashNumber(pEntry->ObjId, p->nBins);
80 pEntry->pNextI2N = *ppSpot;
81 *ppSpot = pEntry;
82 // check if an entry with the same name already exists
83 if ( (pOther = Nm_ManTableLookupName(p, pEntry->Name, -1)) )
84 {
85 // entry with the same name already exists - add it to the ring
86 pEntry->pNameSake = pOther->pNameSake? pOther->pNameSake : pOther;
87 pOther->pNameSake = pEntry;
88 }
89 else
90 {
91 // entry with the same name does not exist - add it to the table
92 ppSpot = p->pBinsN2I + Nm_HashString(pEntry->Name, p->nBins);
93 pEntry->pNextN2I = *ppSpot;
94 *ppSpot = pEntry;
95 }
96 // report successfully added entry
97 p->nEntries++;
98 return 1;
99}
Nm_Entry_t * Nm_ManTableLookupName(Nm_Man_t *p, char *pName, int Type)
Definition nmTable.c:191
Nm_Entry_t * Nm_ManTableLookupId(Nm_Man_t *p, int ObjId)
Definition nmTable.c:171
#define assert(ex)
Definition util_old.h:213
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Nm_ManTableDelete()

int Nm_ManTableDelete ( Nm_Man_t * p,
int ObjId )

Function*************************************************************

Synopsis [Deletes the entry from two hash tables.]

Description []

SideEffects []

SeeAlso []

Definition at line 112 of file nmTable.c.

113{
114 Nm_Entry_t ** ppSpot, * pEntry, * pPrev;
115 int fRemoved;
116 p->nEntries--;
117 // remove the entry from the table Id->Name
118 assert( Nm_ManTableLookupId(p, ObjId) != NULL );
119 ppSpot = p->pBinsI2N + Nm_HashNumber(ObjId, p->nBins);
120 while ( (*ppSpot)->ObjId != (unsigned)ObjId )
121 ppSpot = &(*ppSpot)->pNextI2N;
122 pEntry = *ppSpot;
123 *ppSpot = (*ppSpot)->pNextI2N;
124 // remove the entry from the table Name->Id
125 ppSpot = p->pBinsN2I + Nm_HashString(pEntry->Name, p->nBins);
126 while ( *ppSpot && *ppSpot != pEntry )
127 ppSpot = &(*ppSpot)->pNextN2I;
128 // remember if we found this one in the list
129 fRemoved = (*ppSpot != NULL);
130 if ( *ppSpot )
131 {
132 assert( *ppSpot == pEntry );
133 *ppSpot = (*ppSpot)->pNextN2I;
134 }
135 // quit if this entry has no namesakes
136 if ( pEntry->pNameSake == NULL )
137 {
138 assert( fRemoved );
139 return 1;
140 }
141 // remove entry from the ring of namesakes
142 assert( pEntry->pNameSake != pEntry );
143 for ( pPrev = pEntry; pPrev->pNameSake != pEntry; pPrev = pPrev->pNameSake );
144 assert( !strcmp(pPrev->Name, pEntry->Name) );
145 assert( pPrev->pNameSake == pEntry );
146 if ( pEntry->pNameSake == pPrev ) // two entries in the ring
147 pPrev->pNameSake = NULL;
148 else
149 pPrev->pNameSake = pEntry->pNameSake;
150 // reinsert the ring back if we removed its connection with the list in the table
151 if ( fRemoved )
152 {
153 assert( pPrev->pNextN2I == NULL );
154 pPrev->pNextN2I = *ppSpot;
155 *ppSpot = pPrev;
156 }
157 return 1;
158}
int strcmp()
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Nm_ManTableLookupId()

Nm_Entry_t * Nm_ManTableLookupId ( Nm_Man_t * p,
int ObjId )

Function*************************************************************

Synopsis [Looks up the entry by ID.]

Description []

SideEffects []

SeeAlso []

Definition at line 171 of file nmTable.c.

172{
173 Nm_Entry_t * pEntry;
174 for ( pEntry = p->pBinsI2N[ Nm_HashNumber(ObjId, p->nBins) ]; pEntry; pEntry = pEntry->pNextI2N )
175 if ( pEntry->ObjId == (unsigned)ObjId )
176 return pEntry;
177 return NULL;
178}
Here is the caller graph for this function:

◆ Nm_ManTableLookupName()

Nm_Entry_t * Nm_ManTableLookupName ( Nm_Man_t * p,
char * pName,
int Type )

Function*************************************************************

Synopsis [Looks up the entry by name and type.]

Description []

SideEffects []

SeeAlso []

Definition at line 191 of file nmTable.c.

192{
193 Nm_Entry_t * pEntry, * pTemp;
194 for ( pEntry = p->pBinsN2I[ Nm_HashString(pName, p->nBins) ]; pEntry; pEntry = pEntry->pNextN2I )
195 {
196 // check the entry itself
197 if ( !strcmp(pEntry->Name, pName) && (Type == -1 || pEntry->Type == (unsigned)Type) )
198 return pEntry;
199 // if there is no namesakes, continue
200 if ( pEntry->pNameSake == NULL )
201 continue;
202 // check the list of namesakes
203 for ( pTemp = pEntry->pNameSake; pTemp != pEntry; pTemp = pTemp->pNameSake )
204 if ( !strcmp(pTemp->Name, pName) && (Type == -1 || pTemp->Type == (unsigned)Type) )
205 return pTemp;
206 }
207 return NULL;
208}
Here is the call graph for this function:
Here is the caller graph for this function: