Adding a wrapper around clock() for more accurate time counting in ABC.

1 files changed, 5 insertions, 5 deletions

diff --git a/src/aig/saig/saigRetFwd.c b/src/aig/saig/saigRetFwd.c
index 006167d5..bac2ee4a 100644
--- a/src/aig/saig/saigRetFwd.c
+++ b/src/aig/saig/saigRetFwd.c
@@ -214,26 +214,26 @@ Aig_Man_t * Saig_ManRetimeForward( Aig_Man_t * p, int nMaxIters, int fVerbose )
 {
     Aig_Man_t * pNew, * pTemp;
     int i, nRegFixed, nRegMoves = 1;
-    clock_t clk;
+    abctime clk;
     pNew = p;
     for ( i = 0; i < nMaxIters && nRegMoves > 0; i++ )
     {
-        clk = clock();
+        clk = Abc_Clock();
         pNew = Saig_ManRetimeForwardOne( pTemp = pNew, &nRegFixed, &nRegMoves );
         if ( fVerbose )
         {
             printf( "%2d : And = %6d. Reg = %5d. Unret = %5d. Move = %6d. ", 
                 i + 1, Aig_ManNodeNum(pTemp), Aig_ManRegNum(pTemp), nRegFixed, nRegMoves );
-            ABC_PRT( "Time", clock() - clk );
+            ABC_PRT( "Time", Abc_Clock() - clk );
         }
         if ( pTemp != p )
             Aig_ManStop( pTemp );
     }
-    clk = clock();
+    clk = Abc_Clock();
     pNew = Aig_ManReduceLaches( pNew, fVerbose );
     if ( fVerbose )
     {
-        ABC_PRT( "Register sharing time", clock() - clk );
+        ABC_PRT( "Register sharing time", Abc_Clock() - clk );
     }
     return pNew;
 }