luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

New TFI/TFO profiling code.

This commit is contained in:
Alan Mishchenko 2015-07-09 20:54:10 -07:00
parent 10e0f3c58d
commit 3aece535b9
4 changed files with 328 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/aig/gia/gia.h
View File

@ -479,7 +479,8 @@ static inline int Gia_ObjFaninLit0p( Gia_Man_t * p, Gia_Obj_t * pObj) {
static inline int Gia_ObjFaninLit1p( Gia_Man_t * p, Gia_Obj_t * pObj) { return Abc_Var2Lit( Gia_ObjFaninId1p(p, pObj), Gia_ObjFaninC1(pObj) ); }
static inline int Gia_ObjFaninLit2p( Gia_Man_t * p, Gia_Obj_t * pObj) { return (p->pMuxes && p->pMuxes[Gia_ObjId(p, pObj)]) ? p->pMuxes[Gia_ObjId(p, pObj)] : -1; }
static inline void Gia_ObjFlipFaninC0( Gia_Obj_t * pObj ) { assert( Gia_ObjIsCo(pObj) ); pObj->fCompl0 ^= 1; }
static inline int Gia_ObjWhatFanin( Gia_Obj_t * pObj, Gia_Obj_t * pFanin ) { return Gia_ObjFanin0(pObj) == pFanin ? 0 : (Gia_ObjFanin1(pObj) == pFanin ? 1 : -1); }
static inline int Gia_ObjFaninNum( Gia_Man_t * p, Gia_Obj_t * pObj ) { if ( Gia_ObjIsMux(p, pObj) ) return 3; if ( Gia_ObjIsAnd(pObj) ) return 2; if ( Gia_ObjIsCo(pObj) ) return 1; return 0; }
static inline int Gia_ObjWhatFanin( Gia_Man_t * p, Gia_Obj_t * pObj, Gia_Obj_t * pFanin ) { if ( Gia_ObjFanin0(pObj) == pFanin ) return 0; if ( Gia_ObjFanin1(pObj) == pFanin ) return 1; if ( Gia_ObjFanin2(p, pObj) == pFanin ) return 2; assert(0); return -1; }
static inline int Gia_ManPoIsConst0( Gia_Man_t * p, int iPoIndex ) { return Gia_ManIsConst0Lit( Gia_ObjFaninLit0p(p, Gia_ManPo(p, iPoIndex)) ); }
static inline int Gia_ManPoIsConst1( Gia_Man_t * p, int iPoIndex ) { return Gia_ManIsConst1Lit( Gia_ObjFaninLit0p(p, Gia_ManPo(p, iPoIndex)) ); }
@ -951,6 +952,7 @@ static inline int Gia_ObjFanoutId( Gia_Man_t * p, int Id, int i )
static inline Gia_Obj_t * Gia_ObjFanout0( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ManObj( p, Gia_ObjFanoutId(p, Gia_ObjId(p, pObj), 0) ); }
static inline Gia_Obj_t * Gia_ObjFanout( Gia_Man_t * p, Gia_Obj_t * pObj, int i ) { return Gia_ManObj( p, Gia_ObjFanoutId(p, Gia_ObjId(p, pObj), i) ); }
static inline void Gia_ObjSetFanout( Gia_Man_t * p, Gia_Obj_t * pObj, int i, Gia_Obj_t * pFan ) { Vec_IntWriteEntry( p->vFanout, Gia_ObjFoffset(p, pObj) + i, Gia_ObjId(p, pFan) ); }
static inline void Gia_ObjSetFanoutInt( Gia_Man_t * p, Gia_Obj_t * pObj, int i, int x ) { Vec_IntWriteEntry( p->vFanout, Gia_ObjFoffset(p, pObj) + i, x ); }
#define Gia_ObjForEachFanoutStatic( p, pObj, pFanout, i ) \
for ( i = 0; (i < Gia_ObjFanoutNum(p, pObj)) && (((pFanout) = Gia_ObjFanout(p, pObj, i)), 1); i++ )

14
src/aig/gia/giaFanout.c
View File

@ -127,7 +127,7 @@ void Gia_ObjAddFanout( Gia_Man_t * p, Gia_Obj_t * pObj, Gia_Obj_t * pFanout )
p->nFansAlloc = nFansAlloc;
}
assert( Gia_ObjId(p, pObj) < p->nFansAlloc && Gia_ObjId(p, pFanout) < p->nFansAlloc );
iFan = Gia_FanoutCreate( Gia_ObjId(p, pFanout), Gia_ObjWhatFanin(pFanout, pObj) );
iFan = Gia_FanoutCreate( Gia_ObjId(p, pFanout), Gia_ObjWhatFanin(p, pFanout, pObj) );
pPrevC = Gia_FanoutPrev( p->pFanData, iFan );
pNextC = Gia_FanoutNext( p->pFanData, iFan );
pFirst = Gia_FanoutObj( p->pFanData, Gia_ObjId(p, pObj) );
@ -166,7 +166,7 @@ void Gia_ObjRemoveFanout( Gia_Man_t * p, Gia_Obj_t * pObj, Gia_Obj_t * pFanout )
assert( p->pFanData && Gia_ObjId(p, pObj) < p->nFansAlloc && Gia_ObjId(p, pFanout) < p->nFansAlloc );
assert( !Gia_IsComplement(pObj) && !Gia_IsComplement(pFanout) );
assert( Gia_ObjId(p, pFanout) > 0 );
iFan = Gia_FanoutCreate( Gia_ObjId(p, pFanout), Gia_ObjWhatFanin(pFanout, pObj) );
iFan = Gia_FanoutCreate( Gia_ObjId(p, pFanout), Gia_ObjWhatFanin(p, pFanout, pObj) );
pPrevC = Gia_FanoutPrev( p->pFanData, iFan );
pNextC = Gia_FanoutNext( p->pFanData, iFan );
pPrev = Gia_FanoutPrev( p->pFanData, *pNextC );
@ -214,7 +214,7 @@ Vec_Int_t * Gia_ManStartFanoutMap( Gia_Man_t * p, Vec_Int_t * vFanoutNums )
Gia_Obj_t * pObj;
int i, iOffset;
iOffset = Gia_ManObjNum(p);
vEdgeMap = Vec_IntStart( iOffset + 2 * Gia_ManAndNum(p) + Gia_ManCoNum(p) );
vEdgeMap = Vec_IntStart( iOffset + Gia_ManMuxNum(p) + 2 * Gia_ManAndNum(p) + Gia_ManCoNum(p) );
Gia_ManForEachObj( p, pObj, i )
{
Vec_IntWriteEntry( vEdgeMap, i, iOffset );
@ -269,6 +269,14 @@ void Gia_ManStaticFanoutStart( Gia_Man_t * p )
Gia_ObjSetFanout( p, pFanin, iFanout, pObj );
Vec_IntAddToEntry( vCounts, Gia_ObjId(p, pFanin), 1 );
}
if ( Gia_ObjIsMux(p, pObj) )
{
pFanin = Gia_ObjFanin2(p, pObj);
iFanout = Vec_IntEntry( vCounts, Gia_ObjId(p, pFanin) );
Gia_ObjSetFanout( p, pFanin, iFanout, pObj );
Vec_IntAddToEntry( vCounts, Gia_ObjId(p, pFanin), 1 );
}
}
// double-check the current number of fanouts added
Gia_ManForEachObj( p, pObj, i )

289
src/aig/gia/giaMuxes.c
View File

@ -21,6 +21,7 @@
#include "gia.h"
#include "misc/util/utilNam.h"
#include "misc/vec/vecWec.h"
#include "misc/vec/vecHsh.h"
ABC_NAMESPACE_IMPL_START
@ -593,6 +594,294 @@ void Gia_ManMuxProfiling( Gia_Man_t * p )
}
/**Function*************************************************************
Synopsis [Compute one-level TFI/TFO structural signatures.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
// these are object/fanin/fanout attributes
// http://stackoverflow.com/questions/9907160/how-to-convert-enum-names-to-string-in-c
#define GIA_FOREACH_ITEM(ITEM) \
ITEM(C0) \
ITEM(PO) \
ITEM(PI) \
ITEM(FF) \
ITEM(XOR) \
ITEM(MUX) \
ITEM(AND) \
ITEM(iC0) \
ITEM(iC1) \
ITEM(iPI) \
ITEM(iFF) \
ITEM(iXOR) \
ITEM(iMUX) \
ITEM(iAND) \
ITEM(iANDn) \
ITEM(iANDp) \
ITEM(oPO) \
ITEM(oFF) \
ITEM(oXOR) \
ITEM(oMUXc) \
ITEM(oMUXd) \
ITEM(oANDn) \
ITEM(oANDp) \
ITEM(GIA_END)
#define GENERATE_ENUM(ENUM) ENUM,
typedef enum { GIA_FOREACH_ITEM(GENERATE_ENUM) } Gia_ObjType_t;
#define GENERATE_STRING(STRING) #STRING,
static const char * GIA_TYPE_STRINGS[] = { GIA_FOREACH_ITEM(GENERATE_STRING) };
void Gia_ManProfileStructuresTest( Gia_Man_t * p )
{
int i;
for ( i = 0; i < GIA_END; i++ )
printf( "%d = %s\n", i, GIA_TYPE_STRINGS[i] );
}
// find object code
int Gia_ManEncodeObj( Gia_Man_t * p, int i )
{
Gia_Obj_t * pObj = Gia_ManObj( p, i );
assert( !Gia_ObjIsRi(p, pObj) );
if ( Gia_ObjIsConst0(pObj) )
return C0;
if ( Gia_ObjIsPo(p, pObj) )
return PO;
if ( Gia_ObjIsPi(p, pObj) )
return PI;
if ( Gia_ObjIsCi(pObj) )
return FF;
if ( Gia_ObjIsXor(pObj) )
return XOR;
if ( Gia_ObjIsMux(p, pObj) )
return MUX;
assert( Gia_ObjIsAnd(pObj) );
return AND;
}
// find fanin code
int Gia_ManEncodeFanin( Gia_Man_t * p, int iLit )
{
Gia_Obj_t * pObj = Gia_ManObj( p, Abc_Lit2Var(iLit) );
if ( Gia_ObjIsConst0(pObj) )
return iC0;
if ( Gia_ObjIsPi(p, pObj) )
return iPI;
if ( Gia_ObjIsCi(pObj) )
return iFF;
if ( Gia_ObjIsXor(pObj) )
return iXOR;
if ( Gia_ObjIsMux(p, pObj) )
return iMUX;
assert( Gia_ObjIsAnd(pObj) );
if ( Abc_LitIsCompl(iLit) )
return iANDn;
else
return iANDp;
}
// find fanout code
int Gia_ManEncodeFanout( Gia_Man_t * p, Gia_Obj_t * pObj, int i )
{
int iLit;
if ( Gia_ObjIsPo(p, pObj) )
return oPO;
if ( Gia_ObjIsCo(pObj) )
return oFF;
if ( Gia_ObjIsXor(pObj) )
return oXOR;
if ( Gia_ObjIsMux(p, pObj) )
return i == 2 ? oMUXc : oMUXd;
assert( Gia_ObjIsAnd(pObj) );
iLit = i ? Gia_ObjFaninLit1p(p, pObj) : Gia_ObjFaninLit0p(p, pObj);
if ( Abc_LitIsCompl(iLit) )
return oANDn;
else
return oANDp;
}
void Gia_ManProfileCollect( Gia_Man_t * p, int i, Vec_Int_t * vCode, Vec_Int_t * vCodeOffsets, Vec_Int_t * vArray )
{
int k;
Vec_IntClear( vArray );
for ( k = Vec_IntEntry(vCodeOffsets, i); k < Vec_IntEntry(vCodeOffsets, i+1); k++ )
Vec_IntPush( vArray, Vec_IntEntry(vCode, k) );
}
void Gia_ManProfilePrintOne( Gia_Man_t * p, int i, Vec_Int_t * vArray )
{
Gia_Obj_t * pObj = Gia_ManObj( p, i );
int k, nFanins, nFanouts;
if ( Gia_ObjIsRi(p, pObj) )
return;
nFanins = Gia_ObjFaninNum(p, pObj);
nFanouts = Gia_ObjFanoutNum(p, pObj);
printf( "%6d : ", i );
for ( k = 0; k < nFanins; k++ )
printf( " %5s", GIA_TYPE_STRINGS[Vec_IntEntry(vArray, k + 1)] );
for ( ; k < 3; k++ )
printf( " %5s", "" );
printf( " ->" );
printf( " %5s", GIA_TYPE_STRINGS[Vec_IntEntry(vArray, 0)] );
printf( " ->" );
for ( k = 0; k < nFanouts; k++ )
printf( " %5s", GIA_TYPE_STRINGS[Vec_IntEntry(vArray, k + 1 + nFanins)] );
printf( "\n" );
}
Vec_Int_t * Gia_ManProfileHash( Gia_Man_t * p, Vec_Int_t * vCode, Vec_Int_t * vCodeOffsets )
{
Hsh_VecMan_t * pHash;
Vec_Int_t * vRes, * vArray;
Gia_Obj_t * pObj;
int i;
vRes = Vec_IntAlloc( Gia_ManObjNum(p) );
pHash = Hsh_VecManStart( Gia_ManObjNum(p) );
// add empty entry
vArray = Vec_IntAlloc( 100 );
Hsh_VecManAdd( pHash, vArray );
// iterate through the entries
Gia_ManForEachObj( p, pObj, i )
{
Gia_ManProfileCollect( p, i, vCode, vCodeOffsets, vArray );
Vec_IntPush( vRes, Hsh_VecManAdd( pHash, vArray ) );
}
Hsh_VecManStop( pHash );
Vec_IntFree( vArray );
assert( Vec_IntSize(vRes) == Gia_ManObjNum(p) );
return vRes;
}
void Gia_ManProfileStructuresInt( Gia_Man_t * p, int nLimit, int fVerbose )
{
Vec_Int_t * vRes, * vCount, * vFirst;
Vec_Int_t * vCode, * vCodeOffsets, * vArray;
Gia_Obj_t * pObj, * pFanout;
int i, k, nFanins, nFanouts, * pPerm, nClasses;
assert( p->pMuxes );
Gia_ManStaticFanoutStart( p );
// create fanout codes
vArray = Vec_IntAlloc( 100 );
vCode = Vec_IntAlloc( 5 * Gia_ManObjNum(p) );
vCodeOffsets = Vec_IntAlloc( Gia_ManObjNum(p) );
Gia_ManForEachObj( p, pObj, i )
{
Vec_IntPush( vCodeOffsets, Vec_IntSize(vCode) );
if ( Gia_ObjIsRi(p, pObj) )
continue;
nFanins = Gia_ObjFaninNum(p, pObj);
nFanouts = Gia_ObjFanoutNum(p, pObj);
Vec_IntPush( vCode, Gia_ManEncodeObj(p, i) );
if ( nFanins == 3 )
{
Vec_IntPush( vCode, Gia_ManEncodeFanin(p, Gia_ObjFaninLit0p(p, pObj)) );
Vec_IntPush( vCode, Gia_ManEncodeFanin(p, Gia_ObjFaninLit1p(p, pObj)) );
Vec_IntPush( vCode, Gia_ManEncodeFanin(p, Gia_ObjFaninLit2p(p, pObj)) );
}
else if ( nFanins == 2 )
{
int Code0 = Gia_ManEncodeFanin(p, Gia_ObjFaninLit0p(p, pObj));
int Code1 = Gia_ManEncodeFanin(p, Gia_ObjFaninLit1p(p, pObj));
Vec_IntPush( vCode, Code0 < Code1 ? Code0 : Code1 );
Vec_IntPush( vCode, Code0 < Code1 ? Code1 : Code0 );
}
else if ( nFanins == 1 )
Vec_IntPush( vCode, Gia_ManEncodeFanin(p, Gia_ObjFaninLit0p(p, pObj)) );
else if ( Gia_ObjIsRo(p, pObj) )
Vec_IntPush( vCode, Gia_ManEncodeFanin(p, Gia_ObjFaninLit0p(p, Gia_ObjRoToRi(p, pObj))) );
// add fanouts
Vec_IntClear( vArray );
Gia_ObjForEachFanoutStatic( p, pObj, pFanout, k )
{
int Index = Gia_ObjWhatFanin( p, pFanout, pObj );
Gia_ObjType_t Type = Gia_ManEncodeFanout( p, pFanout, Index );
Vec_IntPush( vArray, Type );
}
Vec_IntSort( vArray, 0 );
Vec_IntAppend( vCode, vArray );
}
assert( Vec_IntSize(vCodeOffsets) == Gia_ManObjNum(p) );
Vec_IntPush( vCodeOffsets, Vec_IntSize(vCode) );
// print the results
if ( fVerbose )
{
printf( "Showing TFI/node/TFO structures for all nodes:\n" );
Gia_ManForEachObj( p, pObj, i )
{
Gia_ManProfileCollect( p, i, vCode, vCodeOffsets, vArray );
Gia_ManProfilePrintOne( p, i, vArray );
}
}
// collect statistics
vRes = Gia_ManProfileHash( p, vCode, vCodeOffsets );
//Vec_IntPrint( vRes );
// count how many times each class appears
nClasses = Vec_IntFindMax(vRes) + 1;
vCount = Vec_IntStart( nClasses );
vFirst = Vec_IntStart( nClasses );
Gia_ManForEachObj( p, pObj, i )
{
int Entry = Vec_IntEntry( vRes, i );
if ( Gia_ObjIsRi(p, pObj) )
continue;
if ( Vec_IntEntry(vCount, Entry) == 0 )
Vec_IntWriteEntry( vFirst, Entry, i );
Vec_IntAddToEntry( vCount, Entry, -1 );
}
// sort the counts
pPerm = Abc_MergeSortCost( Vec_IntArray(vCount), Vec_IntSize(vCount) );
printf( "Showing TFI/node/TFO structures that appear more than %d times.\n", nLimit );
for ( i = 0; i < nClasses-1; i++ )
{
if ( nLimit > -Vec_IntEntry(vCount, pPerm[i]) )
break;
printf( "%6d : ", i );
printf( "%6d : ", pPerm[i] );
printf( "Weight =%6d ", -Vec_IntEntry(vCount, pPerm[i]) );
printf( "First obj =" );
// print the object
Gia_ManProfileCollect( p, Vec_IntEntry(vFirst, pPerm[i]), vCode, vCodeOffsets, vArray );
Gia_ManProfilePrintOne( p, Vec_IntEntry(vFirst, pPerm[i]), vArray );
//printf( "\n" );
}
// cleanup
ABC_FREE( pPerm );
Vec_IntFree( vRes );
Vec_IntFree( vCount );
Vec_IntFree( vFirst );
Vec_IntFree( vArray );
Vec_IntFree( vCode );
Vec_IntFree( vCodeOffsets );
Gia_ManStaticFanoutStop( p );
}
void Gia_ManProfileStructures( Gia_Man_t * p, int nLimit, int fVerbose )
{
if ( p->pMuxes )
Gia_ManProfileStructuresInt( p, nLimit, fVerbose );
else
{
Gia_Man_t * pNew = Gia_ManDupMuxes( p, 2 );
Gia_ManProfileStructuresInt( pNew, nLimit, fVerbose );
Gia_ManStop( pNew );
}
}
////////////////////////////////////////////////////////////////////////
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////

30
src/base/abci/abc.c
View File

@ -950,7 +950,7 @@ void Abc_Init( Abc_Frame_t * pAbc )
Cmd_CommandAdd( pAbc, "ABC9", "&pfan", Abc_CommandAbc9PFan, 0 );
Cmd_CommandAdd( pAbc, "ABC9", "&psig", Abc_CommandAbc9PSig, 0 );
Cmd_CommandAdd( pAbc, "ABC9", "&status", Abc_CommandAbc9Status, 0 );
Cmd_CommandAdd( pAbc, "ABC9", "&mux_profile", Abc_CommandAbc9MuxProfile, 0 );
Cmd_CommandAdd( pAbc, "ABC9", "&profile", Abc_CommandAbc9MuxProfile, 0 );
Cmd_CommandAdd( pAbc, "ABC9", "&show", Abc_CommandAbc9Show, 0 );
Cmd_CommandAdd( pAbc, "ABC9", "&setregnum", Abc_CommandAbc9SetRegNum, 0 );
Cmd_CommandAdd( pAbc, "ABC9", "&st", Abc_CommandAbc9Strash, 0 );
@ -26726,12 +26726,27 @@ usage:
int Abc_CommandAbc9MuxProfile( Abc_Frame_t * pAbc, int argc, char ** argv )
{
extern void Gia_ManMuxProfiling( Gia_Man_t * p );
int c;
extern void Gia_ManProfileStructures( Gia_Man_t * p, int nLimit, int fVerbose );
int c, nLimit = 0, fVerbose = 0;
Extra_UtilGetoptReset();
while ( ( c = Extra_UtilGetopt( argc, argv, "h" ) ) != EOF )
while ( ( c = Extra_UtilGetopt( argc, argv, "Nvh" ) ) != EOF )
{
switch ( c )
{
case 'N':
if ( globalUtilOptind >= argc )
{
Abc_Print( -1, "Command line switch \"-N\" should be followed by an integer.\n" );
goto usage;
}
nLimit = atoi(argv[globalUtilOptind]);
globalUtilOptind++;
if ( nLimit < 0 )
goto usage;
break;
case 'v':
fVerbose ^= 1;
break;
case 'h':
goto usage;
default:
@ -26743,12 +26758,17 @@ int Abc_CommandAbc9MuxProfile( Abc_Frame_t * pAbc, int argc, char ** argv )
Abc_Print( -1, "Abc_CommandAbc9MuxProfile(): There is no AIG.\n" );
return 1;
}
Gia_ManMuxProfiling( pAbc->pGia );
if ( nLimit == 0 )
Gia_ManMuxProfiling( pAbc->pGia );
else
Gia_ManProfileStructures( pAbc->pGia, nLimit, fVerbose );
return 0;
usage:
Abc_Print( -2, "usage: &mux_profile [-h]\n" );
Abc_Print( -2, "usage: &profile [-N num] [-vh]\n" );
Abc_Print( -2, "\t profile MUXes appearing in the design\n" );
Abc_Print( -2, "\t-N num : limit on class size to show [default = %d]\n", nLimit );
Abc_Print( -2, "\t-v : toggle verbose output [default = %s]\n", fVerbose? "yes": "no" );
Abc_Print( -2, "\t-h : print the command usage\n");
return 1;
}