From dc843b03c9ae0ed36ea66c4994513d6538c4d20b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 10 Dec 2012 01:07:41 -0800 Subject: Renaming If_Lut_t into If_LibLut_t. --- src/map/if/if.h | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) (limited to 'src/map/if/if.h') diff --git a/src/map/if/if.h b/src/map/if/if.h index a2d047af..bdc505be 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -71,16 +71,17 @@ typedef enum { typedef struct If_Man_t_ If_Man_t; typedef struct If_Par_t_ If_Par_t; -typedef struct If_Lib_t_ If_Lib_t; typedef struct If_Obj_t_ If_Obj_t; typedef struct If_Cut_t_ If_Cut_t; typedef struct If_Set_t_ If_Set_t; +typedef struct If_LibLut_t_ If_LibLut_t; +typedef struct If_LibBox_t_ If_LibBox_t; typedef struct Ifif_Par_t_ Ifif_Par_t; struct Ifif_Par_t_ { int nLutSize; // the LUT size - If_Lib_t * pLutLib; // the LUT library + If_LibLut_t * pLutLib; // the LUT library float pLutDelays[IF_MAX_LUTSIZE]; // pin-to-pin delays of the max LUT float DelayWire; // wire delay int nDegree; // structure degree @@ -138,7 +139,7 @@ struct If_Par_t_ int nLatchesCoBox; // the number of white box inputs among the COs int fLiftLeaves; // shift the leaves for seq mapping int fUseCoAttrs; // use CO attributes - If_Lib_t * pLutLib; // the LUT library + If_LibLut_t * pLutLib; // the LUT library float * pTimesArr; // arrival times float * pTimesReq; // required times int (* pFuncCost) (If_Cut_t *); // procedure to compute the user's cost of a cut @@ -148,7 +149,7 @@ struct If_Par_t_ }; // the LUT library -struct If_Lib_t_ +struct If_LibLut_t_ { char * pName; // the name of the LUT library int LutMax; // the maximum LUT size @@ -323,7 +324,6 @@ struct If_Box_t_ int * pDelays; }; -typedef struct If_LibBox_t_ If_LibBox_t; struct If_LibBox_t_ { Vec_Ptr_t * vBoxes; @@ -388,7 +388,7 @@ static inline int If_CutTruthWords( int nVarsMax ) { r static inline int If_CutPermWords( int nVarsMax ) { return nVarsMax / sizeof(int) + ((nVarsMax % sizeof(int)) > 0); } static inline float If_CutLutArea( If_Man_t * p, If_Cut_t * pCut ) { return pCut->fUser? (float)pCut->Cost : (p->pPars->pLutLib? p->pPars->pLutLib->pLutAreas[pCut->nLeaves] : (float)1.0); } -static inline float If_CutLutDelay( If_Lib_t * p, int Size, int iPin ) { return p ? (p->fVarPinDelays ? p->pLutDelays[Size][iPin] : p->pLutDelays[Size][0]) : 1.0; } +static inline float If_CutLutDelay( If_LibLut_t * p, int Size, int iPin ) { return p ? (p->fVarPinDelays ? p->pLutDelays[Size][iPin] : p->pLutDelays[Size][0]) : 1.0; } static inline word If_AndToWrd( If_And_t m ) { union { If_And_t x; word y; } v; v.x = m; return v.y; } static inline If_And_t If_WrdToAnd( word m ) { union { If_And_t x; word y; } v; v.y = m; return v.x; } @@ -492,15 +492,15 @@ extern int If_CluCheckExt( void * p, word * pTruth, int nVars, int n extern int If_CluCheckExt3( void * p, word * pTruth, int nVars, int nLutLeaf, int nLutLeaf2, int nLutRoot, char * pLut0, char * pLut1, char * pLut2, word * pFunc0, word * pFunc1, word * pFunc2 ); /*=== ifLib.c =============================================================*/ -extern If_Lib_t * If_LutLibRead( char * FileName ); -extern If_Lib_t * If_LutLibDup( If_Lib_t * p ); -extern void If_LutLibFree( If_Lib_t * pLutLib ); -extern void If_LutLibPrint( If_Lib_t * pLutLib ); -extern int If_LutLibDelaysAreDiscrete( If_Lib_t * pLutLib ); -extern int If_LutLibDelaysAreDifferent( If_Lib_t * pLutLib ); -extern If_Lib_t * If_LutLibSetSimple( int nLutSize ); -extern float If_LutLibFastestPinDelay( If_Lib_t * p ); -extern float If_LutLibSlowestPinDelay( If_Lib_t * p ); +extern If_LibLut_t * If_LibLutRead( char * FileName ); +extern If_LibLut_t * If_LibLutDup( If_LibLut_t * p ); +extern void If_LibLutFree( If_LibLut_t * pLutLib ); +extern void If_LibLutPrint( If_LibLut_t * pLutLib ); +extern int If_LibLutDelaysAreDiscrete( If_LibLut_t * pLutLib ); +extern int If_LibLutDelaysAreDifferent( If_LibLut_t * pLutLib ); +extern If_LibLut_t * If_LibLutSetSimple( int nLutSize ); +extern float If_LibLutFastestPinDelay( If_LibLut_t * p ); +extern float If_LibLutSlowestPinDelay( If_LibLut_t * p ); /*=== ifLibBox.c =============================================================*/ extern If_LibBox_t * If_LibBoxStart(); extern void If_LibBoxFree( If_LibBox_t * p ); -- cgit v1.2.3