From b63b332bac5883c1a60064381a81c7543a636061 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 15 Dec 2011 12:42:42 -0800 Subject: Trying to make sorting of nodes platform-indendent. --- src/base/abci/abcMffc.c | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/base/abci') diff --git a/src/base/abci/abcMffc.c b/src/base/abci/abcMffc.c index 3fb4bdf1..b4510bd0 100644 --- a/src/base/abci/abcMffc.c +++ b/src/base/abci/abcMffc.c @@ -1121,6 +1121,11 @@ Vec_Int_t * Abc_NktMffcSaveOne( Vec_Ptr_t * vThis, Vec_Ptr_t * vVolumes ) int Abc_NodeCompareVolumeDecrease( Abc_Obj_t ** pp1, Abc_Obj_t ** pp2 ) { int Diff = Abc_ObjRegular(*pp1)->iTemp - Abc_ObjRegular(*pp2)->iTemp; + if ( Diff > 0 ) + return -1; + if ( Diff < 0 ) + return 1; + Diff = Abc_ObjRegular(*pp1)->Id - Abc_ObjRegular(*pp2)->Id; if ( Diff > 0 ) return -1; if ( Diff < 0 ) -- cgit v1.2.3