From a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 7 Apr 2011 13:49:03 -0700 Subject: Unsuccessful attempt to improve PDR and a few minor changes. --- src/aig/ivy/ivyFastMap.c | 26 -------------------------- 1 file changed, 26 deletions(-) (limited to 'src/aig/ivy/ivyFastMap.c') 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 @@ -333,32 +333,6 @@ static inline int Ivy_ObjIsNodeInt2( Ivy_Obj_t * pObj ) return Ivy_ObjIsNode(pObj) && Ivy_ObjRefs(pObj) <= 2; } -/**Function************************************************************* - - Synopsis [Performs fast mapping for one node.] - - Description [] - - SideEffects [] - - 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.] -- cgit v1.2.3