summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSpeedup.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-12-10 01:07:41 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2012-12-10 01:07:41 -0800
commitdc843b03c9ae0ed36ea66c4994513d6538c4d20b (patch)
treefae3ffad6e4b5d4c4b4133ac1f9033fbebdc4d8e /src/aig/gia/giaSpeedup.c
parent5eedc74a153fd2242a56f06f208bee7e3b0dfaf7 (diff)
downloadabc-dc843b03c9ae0ed36ea66c4994513d6538c4d20b.tar.gz
abc-dc843b03c9ae0ed36ea66c4994513d6538c4d20b.tar.bz2
abc-dc843b03c9ae0ed36ea66c4994513d6538c4d20b.zip
Renaming If_Lut_t into If_LibLut_t.
Diffstat (limited to 'src/aig/gia/giaSpeedup.c')
-rw-r--r--src/aig/gia/giaSpeedup.c12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/aig/gia/giaSpeedup.c b/src/aig/gia/giaSpeedup.c
index 835f2c15..5be4dae9 100644
--- a/src/aig/gia/giaSpeedup.c
+++ b/src/aig/gia/giaSpeedup.c
@@ -109,7 +109,7 @@ int Gia_LutWhereIsPin( Gia_Man_t * p, int iFanout, int iFanin, int * pPinPerm )
***********************************************************************/
float Gia_ObjComputeArrival( Gia_Man_t * p, int iObj, int fUseSorting )
{
- If_Lib_t * pLutLib = (If_Lib_t *)p->pLutLib;
+ If_LibLut_t * pLutLib = (If_LibLut_t *)p->pLutLib;
Gia_Obj_t * pObj = Gia_ManObj( p, iObj );
int k, iFanin, pPinPerm[32];
float pPinDelays[32];
@@ -169,7 +169,7 @@ float Gia_ObjComputeArrival( Gia_Man_t * p, int iObj, int fUseSorting )
***********************************************************************/
float Gia_ObjPropagateRequired( Gia_Man_t * p, int iObj, int fUseSorting )
{
- If_Lib_t * pLutLib = (If_Lib_t *)p->pLutLib;
+ If_LibLut_t * pLutLib = (If_LibLut_t *)p->pLutLib;
int k, iFanin, pPinPerm[32];
float pPinDelays[32];
float tRequired = 0.0; // Suppress "might be used uninitialized"
@@ -230,7 +230,7 @@ float Gia_ObjPropagateRequired( Gia_Man_t * p, int iObj, int fUseSorting )
float Gia_ManDelayTraceLut( Gia_Man_t * p )
{
int fUseSorting = 1;
- If_Lib_t * pLutLib = (If_Lib_t *)p->pLutLib;
+ If_LibLut_t * pLutLib = (If_LibLut_t *)p->pLutLib;
Vec_Int_t * vObjs;
Gia_Obj_t * pObj;
float tArrival, tArrivalCur, tRequired, tSlack;
@@ -336,7 +336,7 @@ float Gia_ManDelayTraceLut( Gia_Man_t * p )
***********************************************************************/
float Gia_ObjComputeRequired( Gia_Man_t * p, int iObj, int fUseSorting )
{
- If_Lib_t * pLutLib = p->pLutLib;
+ If_LibLut_t * pLutLib = p->pLutLib;
int pPinPerm[32];
float pPinDelays[32];
Gia_Obj_t * pFanout;
@@ -442,7 +442,7 @@ int Gia_LutVerifyTiming( Gia_Man_t * p )
***********************************************************************/
float Gia_ManDelayTraceLutPrint( Gia_Man_t * p, int fVerbose )
{
- If_Lib_t * pLutLib = (If_Lib_t *)p->pLutLib;
+ If_LibLut_t * pLutLib = (If_LibLut_t *)p->pLutLib;
int i, Nodes, * pCounters;
float tArrival, tDelta, nSteps, Num;
// get the library
@@ -500,7 +500,7 @@ float Gia_ManDelayTraceLutPrint( Gia_Man_t * p, int fVerbose )
***********************************************************************/
unsigned Gia_LutDelayTraceTCEdges( Gia_Man_t * p, int iObj, float tDelta )
{
- If_Lib_t * pLutLib = (If_Lib_t *)p->pLutLib;
+ If_LibLut_t * pLutLib = (If_LibLut_t *)p->pLutLib;
int pPinPerm[32];
float pPinDelays[32];
float tRequired, * pDelays;