diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-07 13:49:03 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-07 13:49:03 -0700 |
commit | a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e (patch) | |
tree | 5d67bc486c4ad11f2c5127c4a797862f3c57c008 /src/aig/ivy | |
parent | 1794bd37cddc9ba24b9b1f517ee813e238f62ae4 (diff) | |
download | abc-a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e.tar.gz abc-a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e.tar.bz2 abc-a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e.zip |
Unsuccessful attempt to improve PDR and a few minor changes.
Diffstat (limited to 'src/aig/ivy')
-rw-r--r-- | src/aig/ivy/ivyFastMap.c | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/aig/ivy/ivyFastMap.c b/src/aig/ivy/ivyFastMap.c index 05db377d..1d9efca1 100644 --- a/src/aig/ivy/ivyFastMap.c +++ b/src/aig/ivy/ivyFastMap.c @@ -344,32 +344,6 @@ static inline int Ivy_ObjIsNodeInt2( Ivy_Obj_t * pObj ) SeeAlso [] ***********************************************************************/ -static inline void Vec_IntSelectSort( int * pArray, int nSize ) -{ - int temp, i, j, best_i; - for ( i = 0; i < nSize-1; i++ ) - { - best_i = i; - for ( j = i+1; j < nSize; j++ ) - if ( pArray[j] < pArray[best_i] ) - best_i = j; - temp = pArray[i]; - pArray[i] = pArray[best_i]; - pArray[best_i] = temp; - } -} - -/**Function************************************************************* - - Synopsis [Performs fast mapping for one node.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ static inline int Vec_IntRemoveDup( int * pArray, int nSize ) { int i, k; |