/**CFile****************************************************************
FileName [vecAtt.h]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Resizable arrays.]
Synopsis [Array of user-specified attiributes.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [$Id: vecAtt.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
***********************************************************************/
#ifndef ABC__misc__vec__vecAtt_h
#define ABC__misc__vec__vecAtt_h
////////////////////////////////////////////////////////////////////////
/// INCLUDES ///
////////////////////////////////////////////////////////////////////////
#include <stdio.h>
ABC_NAMESPACE_HEADER_START
////////////////////////////////////////////////////////////////////////
/// PARAMETERS ///
////////////////////////////////////////////////////////////////////////
// various attributes
typedef enum {
VEC_ATTR_NONE = 0, // 0
VEC_ATTR_COPY, // 1
VEC_ATTR_LOCAL_AIG, // 2
VEC_ATTR_LOCAL_SOP, // 3
VEC_ATTR_LOCAL_BDD, // 4
VEC_ATTR_GLOBAL_AIG, // 5
VEC_ATTR_GLOBAL_SOP, // 6
VEC_ATTR_GLOBAL_BDD, // 7
VEC_ATTR_LEVEL, // 8
VEC_ATTR_LEVEL_REV, // 9
VEC_ATTR_RETIME_LAG, // 10
VEC_ATTR_FRAIG, // 11
VEC_ATTR_MVVAR, // 12
VEC_ATTR_DATA1, // 13
VEC_ATTR_DATA2, // 14
VEC_ATTR_TOTAL_NUM // 15
} Vec_AttrType_t;
////////////////////////////////////////////////////////////////////////
/// BASIC TYPES ///
////////////////////////////////////////////////////////////////////////
typedef struct Vec_Att_t_ Vec_Att_t;
struct Vec_Att_t_
{
// storage for attributes
int nCap; // the size of array allocated
// Removed pArrayInt as it's not 64-bit safe, it generates compiler
// warnings, and it's unused.
void ** pArrayPtr; // the pointer attribute array
// attribute specific info
void * pMan; // the manager for this attribute
void (*pFuncFreeMan) (void *); // the procedure to free the manager
void*(*pFuncStartObj)(void *); // the procedure to start one attribute
void (*pFuncFreeObj) (void *, void *); // the procedure to free one attribute
};
////////////////////////////////////////////////////////////////////////
/// MACRO DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
/**Function*************************************************************
Synopsis [Allocates a vector with the given capacity.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
static inline Vec_Att_t * Vec_AttAlloc(
int nSize, void * pMan,
void (*pFuncFreeMan) (void *),
void*(*pFuncStartObj)(void *),
void (*pFuncFreeObj) (void *, void *) )
{
Vec_Att_t * p;
p = ABC_ALLOC( Vec_Att_t, 1 );
memset( p, 0, sizeof(Vec_Att_t) );
p->pMan = pMan;
p->pFuncFreeMan = pFuncFreeMan;
p->pFuncStartObj = pFuncStartObj;
p->pFuncFreeObj = pFuncFreeObj;
p->nCap = nSize? nSize : 16;
p->pArrayPtr = ABC_ALLOC( void *, p->nCap );
memset( p->pArrayPtr, 0, sizeof(void *) * p->nCap );
return p;
}
/**Function*************************************************************
Synopsis [Frees the vector.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
static inline void * Vec_AttFree( Vec_Att_t * p, int fFreeMan )
{
void * pMan;
if ( p == NULL )
return NULL;
// free the attributes of objects
if ( p->pFuncFreeObj )
{
int i;
for ( i = 0; i < p->nCap; i++ )
if ( p->pArrayPtr[i] )
p->pFuncFreeObj( p->pMan, p->pArrayPtr[i] );
}
// free the memory manager
pMan = fFreeMan? NULL : p->pMan;
if ( p->pMan && fFreeMan )
p->pFuncFreeMan( p->pMan );
ABC_FREE( p->pArrayPtr );
ABC_FREE( p );
return pMan;
}
/**Function*************************************************************
Synopsis [Clears the vector.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
static inline void Vec_AttClear( Vec_Att_t * p )
{
// free the attributes of objects
if ( p->pFuncFreeObj )
{
int i;
if ( p->pFuncFreeObj )
for ( i = 0; i < p->nCap; i++ )
if ( p->pArrayPtr[i] )
p->pFuncFreeObj( p->pMan, p->pArrayPtr[i] );
}
memset( p->pArrayPtr, 0, sizeof(void *) * p->nCap );
}
/**Function*************************************************************
Synopsis [Deletes one entry from the attribute manager.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
static inline void Vec_AttFreeEntry( Vec_Att_t * p, int i )
{
if ( i >= p->nCap )
return;
if ( p->pMan )
{
if ( p->pArrayPtr[i] && p->pFuncFreeObj )
p->pFuncFreeObj( p->pMan, (void *)p->pArrayPtr[i] );
}
p->pArrayPtr[i] = NULL;
}
/**Function*************************************************************
Synopsis [Resizes the vector to the given capacity.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
static inline void Vec_AttGrow( Vec_Att_t * p, int nCapMin )
{
if ( p->nCap >= nCapMin )
return;
p->pArrayPtr = ABC_REALLOC( void *, p->pArrayPtr, nCapMin );
memset( p->pArrayPtr + p->nCap, 0, sizeof(void *) * (nCapMin - p->nCap) );
p->nCap = nCapMin;
}
/**Function*************************************************************
Synopsis [Writes the entry into its place.]
Description [Only works if the manager is not defined.]
SideEffects []
SeeAlso []
***********************************************************************/
static inline void Vec_AttWriteEntry( Vec_Att_t * p, int i, void * pEntry )
{
assert( p->pArrayPtr );
assert( p->pFuncStartObj == NULL );
if ( i >= p->nCap )
Vec_AttGrow( p, (2 * p->nCap > i)? 2 * p->nCap : i + 10 );
p->pArrayPtr[i] = pEntry;
}
/**Function*************************************************************
Synopsis [Returns the entry.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
static inline void * Vec_AttEntry( Vec_Att_t * p, int i )
{
assert( p->pArrayPtr );
if ( i >= p->nCap )
Vec_AttGrow( p, (2 * p->nCap > i)? 2 * p->nCap : i + 10 );
if ( p->pArrayPtr[i] == NULL && p->pFuncStartObj )
p->pArrayPtr[i] = p->pFuncStartObj( p->pMan );
return p->pArrayPtr[i];
}
/**Function*************************************************************
Synopsis [Returns the entry.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
static inline void * Vec_AttMan( Vec_Att_t * p )
{
return p->pMan;
}
/**Function*************************************************************
Synopsis [Returns the array of attributes.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
static inline void ** Vec_AttArray( Vec_Att_t * p )
{
return p->pArrayPtr;
}
ABC_NAMESPACE_HEADER_END
#endif
////////////////////////////////////////////////////////////////////////
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////