mpmMig.h File Reference

#include "misc/vec/vec.h"

Go to the source code of this file.

Data Structures
struct	Mig_Fan_t_
struct	Mig_Obj_t_
struct	Mig_Man_t_

Macros
#define	MIG_NONE   0x7FFFFFFF
	INCLUDES ///. More...
#define	MIG_MASK   0x0000FFF
#define	MIG_BASE   12
#define	Mig_ManForEachObj(p, pObj)
	MACRO DEFINITIONS ///. More...
#define	Mig_ManForEachObj1(p, pObj)
#define	Mig_ManForEachObjReverse(p, pObj)
#define	Mig_ManForEachObjVec(vVec, p, pObj, i)   for ( i = 0; (i < Vec_IntSize(vVec)) && ((pObj) = Mig_ManObj(p, Vec_IntEntry(vVec,i))); i++ )
#define	Mig_ManForEachNode(p, pObj)   Mig_ManForEachObj( p, pObj ) if ( !Mig_ObjIsNode(pObj) ) {} else
#define	Mig_ManForEachCand(p, pObj)   Mig_ManForEachObj( p, pObj ) if ( !Mig_ObjIsCand(pObj) ) {} else
#define	Mig_ManForEachCi(p, pObj, i)   for ( i = 0; (i < Vec_IntSize(&p->vCis)) && ((pObj) = Mig_ManCi(p, i)); i++ )
#define	Mig_ManForEachCo(p, pObj, i)   for ( i = 0; (i < Vec_IntSize(&p->vCos)) && ((pObj) = Mig_ManCo(p, i)); i++ )
#define	Mig_ObjForEachFaninId(p, iFanin, i)   for ( i = 0; Mig_ObjHasFanin(p, i) && ((iFanin) = Mig_ObjFaninId(p, i)); i++ )
#define	Mig_ObjForEachFanin(p, pFanin, i)   for ( i = 0; Mig_ObjHasFanin(p, i) && ((pFanin) = Mig_ObjFanin(p, i)); i++ )

Typedefs
typedef struct Mig_Fan_t_	Mig_Fan_t
	BASIC TYPES ///. More...
typedef struct Mig_Obj_t_	Mig_Obj_t
typedef struct Mig_Man_t_	Mig_Man_t

Functions
static int	Mig_IdPage (int v)
static int	Mig_IdCell (int v)
static char *	Mig_ManName (Mig_Man_t *p)
static int	Mig_ManCiNum (Mig_Man_t *p)
static int	Mig_ManCoNum (Mig_Man_t *p)
static int	Mig_ManPiNum (Mig_Man_t *p)
static int	Mig_ManPoNum (Mig_Man_t *p)
static int	Mig_ManRegNum (Mig_Man_t *p)
static int	Mig_ManObjNum (Mig_Man_t *p)
static int	Mig_ManNodeNum (Mig_Man_t *p)
static int	Mig_ManCandNum (Mig_Man_t *p)
static int	Mig_ManChoiceNum (Mig_Man_t *p)
static void	Mig_ManSetRegNum (Mig_Man_t *p, int v)
static Mig_Obj_t *	Mig_ManPage (Mig_Man_t *p, int v)
static Mig_Obj_t *	Mig_ManObj (Mig_Man_t *p, int v)
static Mig_Obj_t *	Mig_ManCi (Mig_Man_t *p, int v)
static Mig_Obj_t *	Mig_ManCo (Mig_Man_t *p, int v)
static Mig_Obj_t *	Mig_ManPi (Mig_Man_t *p, int v)
static Mig_Obj_t *	Mig_ManPo (Mig_Man_t *p, int v)
static Mig_Obj_t *	Mig_ManRo (Mig_Man_t *p, int v)
static Mig_Obj_t *	Mig_ManRi (Mig_Man_t *p, int v)
static Mig_Obj_t *	Mig_ManConst0 (Mig_Man_t *p)
static int	Mig_FanCompl (Mig_Obj_t *p, int i)
static int	Mig_FanId (Mig_Obj_t *p, int i)
static int	Mig_FanIsNone (Mig_Obj_t *p, int i)
static int	Mig_FanSetCompl (Mig_Obj_t *p, int i, int v)
static int	Mig_FanSetId (Mig_Obj_t *p, int i, int v)
static int	Mig_ObjIsNone (Mig_Obj_t *p)
static int	Mig_ObjIsConst0 (Mig_Obj_t *p)
static int	Mig_ObjIsTerm (Mig_Obj_t *p)
static int	Mig_ObjIsCi (Mig_Obj_t *p)
static int	Mig_ObjIsCo (Mig_Obj_t *p)
static int	Mig_ObjIsBuf (Mig_Obj_t *p)
static int	Mig_ObjIsNode (Mig_Obj_t *p)
static int	Mig_ObjIsNode2 (Mig_Obj_t *p)
static int	Mig_ObjIsNode3 (Mig_Obj_t *p)
static int	Mig_ObjIsAnd (Mig_Obj_t *p)
static int	Mig_ObjIsXor (Mig_Obj_t *p)
static int	Mig_ObjIsMux (Mig_Obj_t *p)
static int	Mig_ObjIsCand (Mig_Obj_t *p)
static int	Mig_ObjNodeType (Mig_Obj_t *p)
static int	Mig_ObjId (Mig_Obj_t *p)
static void	Mig_ObjSetId (Mig_Obj_t *p, int v)
static int	Mig_ObjCioId (Mig_Obj_t *p)
static void	Mig_ObjSetCioId (Mig_Obj_t *p, int v)
static int	Mig_ObjPhase (Mig_Obj_t *p)
static void	Mig_ObjSetPhase (Mig_Obj_t *p, int v)
static Mig_Man_t *	Mig_ObjMan (Mig_Obj_t *p)
static Mig_Obj_t *	Mig_ObjObj (Mig_Obj_t *p, int i)
static int	Mig_ManIdToCioId (Mig_Man_t *p, int Id)
static int	Mig_ManCiIdToId (Mig_Man_t *p, int CiId)
static int	Mig_ManCoIdToId (Mig_Man_t *p, int CoId)
static int	Mig_ObjIsPi (Mig_Obj_t *p)
static int	Mig_ObjIsPo (Mig_Obj_t *p)
static int	Mig_ObjIsRo (Mig_Obj_t *p)
static int	Mig_ObjIsRi (Mig_Obj_t *p)
static Mig_Obj_t *	Mig_ObjRoToRi (Mig_Obj_t *p)
static Mig_Obj_t *	Mig_ObjRiToRo (Mig_Obj_t *p)
static int	Mig_ObjHasFanin (Mig_Obj_t *p, int i)
static int	Mig_ObjFaninId (Mig_Obj_t *p, int i)
static int	Mig_ObjFaninId0 (Mig_Obj_t *p)
static int	Mig_ObjFaninId1 (Mig_Obj_t *p)
static int	Mig_ObjFaninId2 (Mig_Obj_t *p)
static Mig_Obj_t *	Mig_ObjFanin (Mig_Obj_t *p, int i)
static Mig_Obj_t *	Mig_ObjFanin0 (Mig_Obj_t *p)
static Mig_Obj_t *	Mig_ObjFanin1 (Mig_Obj_t *p)
static Mig_Obj_t *	Mig_ObjFanin2 (Mig_Obj_t *p)
static int	Mig_ObjFaninC (Mig_Obj_t *p, int i)
static int	Mig_ObjFaninC0 (Mig_Obj_t *p)
static int	Mig_ObjFaninC1 (Mig_Obj_t *p)
static int	Mig_ObjFaninC2 (Mig_Obj_t *p)
static int	Mig_ObjFaninLit (Mig_Obj_t *p, int i)
static void	Mig_ObjFlipFaninC (Mig_Obj_t *p, int i)
static int	Mig_ObjWhatFanin (Mig_Obj_t *p, int i)
static void	Mig_ObjSetFaninLit (Mig_Obj_t *p, int i, int l)
static int	Mig_ObjSiblId (Mig_Obj_t *p)
static void	Mig_ObjSetSiblId (Mig_Obj_t *p, int s)
static Mig_Obj_t *	Mig_ObjSibl (Mig_Obj_t *p)
static int	Mig_ObjRefNum (Mig_Obj_t *p)
static void	Mig_ManCleanCopy (Mig_Man_t *p)
static int	Mig_ObjCopy (Mig_Obj_t *p)
static void	Mig_ObjSetCopy (Mig_Obj_t *p, int i)
static void	Mig_ManIncrementTravId (Mig_Man_t *p)
static void	Mig_ObjIncrementTravId (Mig_Obj_t *p)
static void	Mig_ObjSetTravIdCurrent (Mig_Obj_t *p)
static void	Mig_ObjSetTravIdPrevious (Mig_Obj_t *p)
static int	Mig_ObjIsTravIdCurrent (Mig_Obj_t *p)
static int	Mig_ObjIsTravIdPrevious (Mig_Obj_t *p)
static void	Mig_ObjSetTravIdCurrentId (Mig_Man_t *p, int Id)
static int	Mig_ObjIsTravIdCurrentId (Mig_Man_t *p, int Id)
static Mig_Obj_t *	Mig_ManAppendObj (Mig_Man_t *p)
static int	Mig_ManAppendCi (Mig_Man_t *p)
static int	Mig_ManAppendCo (Mig_Man_t *p, int iLit0)
static int	Mig_ManAppendBuf (Mig_Man_t *p, int iLit0)
static int	Mig_ManAppendAnd (Mig_Man_t *p, int iLit0, int iLit1)
static int	Mig_ManAppendXor (Mig_Man_t *p, int iLit0, int iLit1)
static int	Mig_ManAppendMux (Mig_Man_t *p, int iLit0, int iLit1, int iCtrl)
static int	Mig_ManAppendMaj (Mig_Man_t *p, int iLit0, int iLit1, int iLit2)
Mig_Man_t *	Mig_ManStart ()
	FUNCTION DECLARATIONS ///. More...
void	Mig_ManStop (Mig_Man_t *p)
void	Mig_ManSetRefs (Mig_Man_t *p)
int	Mig_ManAndNum (Mig_Man_t *p)
int	Mig_ManXorNum (Mig_Man_t *p)
int	Mig_ManMuxNum (Mig_Man_t *p)

Macro Definition Documentation

#define MIG_BASE   12

Definition at line 41 of file mpmMig.h.

#define Mig_ManForEachCand	(		p,
			pObj
	)		Mig_ManForEachObj( p, pObj ) if ( !Mig_ObjIsCand(pObj) ) {} else

Definition at line 324 of file mpmMig.h.

#define Mig_ManForEachCi	(		p,
			pObj,
			i
	)		for ( i = 0; (i < Vec_IntSize(&p->vCis)) && ((pObj) = Mig_ManCi(p, i)); i++ )

Definition at line 327 of file mpmMig.h.

#define Mig_ManForEachCo	(		p,
			pObj,
			i
	)		for ( i = 0; (i < Vec_IntSize(&p->vCos)) && ((pObj) = Mig_ManCo(p, i)); i++ )

Definition at line 329 of file mpmMig.h.

#define Mig_ManForEachNode	(		p,
			pObj
	)		Mig_ManForEachObj( p, pObj ) if ( !Mig_ObjIsNode(pObj) ) {} else

Definition at line 322 of file mpmMig.h.

#define Mig_ManForEachObj	(		p,
			pObj
	)

Value:

for ( p->iPage = 0; p->iPage < Vec_PtrSize(&p->vPages) &&           \
        ((p->pPage) = (Mig_Obj_t *)Vec_PtrEntry(&p->vPages, p->iPage)); p->iPage++ ) \
        for ( pObj = p->pPage; !Mig_ObjIsNone(pObj); pObj++ )

MACRO DEFINITIONS ///.

Definition at line 304 of file mpmMig.h.

#define Mig_ManForEachObj1	(		p,
			pObj
	)

Value:

for ( p->iPage = 0; p->iPage < Vec_PtrSize(&p->vPages) &&           \
        ((p->pPage) = (Mig_Obj_t *)Vec_PtrEntry(&p->vPages, p->iPage)); p->iPage++ ) \
        for ( pObj = p->pPage + (p->iPage == 0); !Mig_ObjIsNone(pObj); pObj++ )

Definition at line 308 of file mpmMig.h.

#define Mig_ManForEachObjReverse	(		p,
			pObj
	)

Value:

for ( p->iPage = Vec_PtrSize(&p->vPages) - 1; p->iPage >= 0 &&      \
        ((p->pPage) = (Mig_Obj_t *)Vec_PtrEntry(&p->vPages, p->iPage)); p->iPage-- ) \
        for ( pObj = (p->iPage == Vec_PtrSize(&p->vPages) - 1) ?        \
            Mig_ManObj(p, Mig_ManObjNum(p)-1) :  p->pPage + MIG_MASK;   \
                pObj - p->pPage >= 0; pObj-- )

Definition at line 312 of file mpmMig.h.

#define Mig_ManForEachObjVec	(		vVec,
			p,
			pObj,
			i
	)		for ( i = 0; (i < Vec_IntSize(vVec)) && ((pObj) = Mig_ManObj(p, Vec_IntEntry(vVec,i))); i++ )

Definition at line 319 of file mpmMig.h.

#define MIG_MASK   0x0000FFF

Definition at line 40 of file mpmMig.h.

#define MIG_NONE   0x7FFFFFFF

INCLUDES ///.

CFile****************************************************************

FileName [mpmMig.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Configurable technology mapper.]

Synopsis [Internal declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 1, 2013.]

Revision [

Id:

mpmMig.h,v 1.00 2013/06/01 00:00:00 alanmi Exp

]PARAMETERS ///

Definition at line 37 of file mpmMig.h.

#define Mig_ObjForEachFanin	(		p,
			pFanin,
			i
	)		for ( i = 0; Mig_ObjHasFanin(p, i) && ((pFanin) = Mig_ObjFanin(p, i)); i++ )

Definition at line 335 of file mpmMig.h.

#define Mig_ObjForEachFaninId	(		p,
			iFanin,
			i
	)		for ( i = 0; Mig_ObjHasFanin(p, i) && ((iFanin) = Mig_ObjFaninId(p, i)); i++ )

Definition at line 333 of file mpmMig.h.

Typedef Documentation

typedef struct Mig_Fan_t_ Mig_Fan_t

BASIC TYPES ///.

Definition at line 47 of file mpmMig.h.

typedef struct Mig_Man_t_ Mig_Man_t

Definition at line 60 of file mpmMig.h.

typedef struct Mig_Obj_t_ Mig_Obj_t

Definition at line 54 of file mpmMig.h.

Function Documentation

static int Mig_FanCompl ( Mig_Obj_t *  p, int  i  )

inlinestatic

Definition at line 125 of file mpmMig.h.

{ return p->pFans[i].fCompl;                                 }

static int Mig_FanId ( Mig_Obj_t *  p, int  i  )

inlinestatic

Definition at line 126 of file mpmMig.h.

{ return p->pFans[i].Id;                                     }

static int Mig_FanIsNone ( Mig_Obj_t *  p, int  i  )

inlinestatic

Definition at line 127 of file mpmMig.h.

{ return p->pFans[i].Id == MIG_NONE;                         }

static int Mig_FanSetCompl ( Mig_Obj_t *  p, int  i, int  v  )

inlinestatic

Definition at line 128 of file mpmMig.h.

{ assert( !(v >> 1) ); return p->pFans[i].fCompl = v;        }

static int Mig_FanSetId ( Mig_Obj_t *  p, int  i, int  v  )

inlinestatic

Definition at line 129 of file mpmMig.h.

{ assert(v >= 0 && v < MIG_NONE); return p->pFans[i].Id = v; }

static int Mig_IdCell ( int  v )

inlinestatic

Definition at line 101 of file mpmMig.h.

{ return v & MIG_MASK;                                                       }

static int Mig_IdPage ( int  v )

inlinestatic

Definition at line 100 of file mpmMig.h.

{ return v >> MIG_BASE;                                                      }

int Mig_ManAndNum

(

Mig_Man_t *

p

)

Definition at line 98 of file mpmMig.c.

{
    return Mig_ManTypeNum(p, 1);
}

static int Mig_ManAppendAnd ( Mig_Man_t *  p, int  iLit0, int  iLit1  )

inlinestatic

Definition at line 262 of file mpmMig.h.

{ 
    Mig_Obj_t * pObj = Mig_ManAppendObj( p );
    assert( iLit0 != iLit1 );
    Mig_ObjSetFaninLit( pObj, 0, iLit0 < iLit1 ? iLit0 : iLit1 );
    Mig_ObjSetFaninLit( pObj, 1, iLit0 < iLit1 ? iLit1 : iLit0 );
    return Mig_ObjId( pObj ) << 1;
}

static int Mig_ManAppendBuf ( Mig_Man_t *  p, int  iLit0  )

inlinestatic

Definition at line 255 of file mpmMig.h.

{ 
    Mig_Obj_t * pObj;
    pObj = Mig_ManAppendObj( p );    
    Mig_ObjSetFaninLit( pObj, 0, iLit0 );
    return Mig_ObjId( pObj ) << 1;
}

static int Mig_ManAppendCi ( Mig_Man_t *  p )

inlinestatic

Definition at line 238 of file mpmMig.h.

{ 
    Mig_Obj_t * pObj = Mig_ManAppendObj( p );
    Mig_ObjSetCioId( pObj, Vec_IntSize(&p->vCis) );
    Vec_IntPush( &p->vCis, Mig_ObjId(pObj) );
    return Mig_ObjId(pObj) << 1;
}

static int Mig_ManAppendCo ( Mig_Man_t *  p, int  iLit0  )

inlinestatic

Definition at line 245 of file mpmMig.h.

{ 
    Mig_Obj_t * pObj;
    assert( !Mig_ObjIsCo(Mig_ManObj(p, Abc_Lit2Var(iLit0))) );
    pObj = Mig_ManAppendObj( p );    
    Mig_ObjSetFaninLit( pObj, 0, iLit0 );
    Mig_ObjSetCioId( pObj, Vec_IntSize(&p->vCos) );
    Vec_IntPush( &p->vCos, Mig_ObjId(pObj) );
    return Mig_ObjId( pObj ) << 1;
}

static int Mig_ManAppendMaj ( Mig_Man_t *  p, int  iLit0, int  iLit1, int  iLit2  )

inlinestatic

Definition at line 289 of file mpmMig.h.

{ 
    Mig_Obj_t * pObj = Mig_ManAppendObj( p );
    assert( iLit0 != iLit1 && iLit0 != iLit2 && iLit1 != iLit2 );
    Mig_ObjSetFaninLit( pObj, 0, iLit0 < iLit1 ? iLit1 : iLit0 );
    Mig_ObjSetFaninLit( pObj, 1, iLit0 < iLit1 ? iLit0 : iLit1 );
    Mig_ObjSetFaninLit( pObj, 2, iLit2 );
    return Mig_ObjId( pObj ) << 1;
}

static int Mig_ManAppendMux ( Mig_Man_t *  p, int  iLit0, int  iLit1, int  iCtrl  )

inlinestatic

Definition at line 279 of file mpmMig.h.

{ 
    Mig_Obj_t * pObj = Mig_ManAppendObj( p );
    assert( iLit0 != iLit1 && iLit0 != iCtrl && iLit1 != iCtrl );
    assert( !Abc_LitIsCompl(iLit0) || !Abc_LitIsCompl(iLit1) );
    Mig_ObjSetFaninLit( pObj, 0, iLit0 < iLit1 ? iLit0 : iLit1 );
    Mig_ObjSetFaninLit( pObj, 1, iLit0 < iLit1 ? iLit1 : iLit0 );
    Mig_ObjSetFaninLit( pObj, 2, iLit0 < iLit1 ? iCtrl : Abc_LitNot(iCtrl) );
    return Mig_ObjId( pObj ) << 1;
}

static Mig_Obj_t* Mig_ManAppendObj ( Mig_Man_t *  p )

inlinestatic

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 217 of file mpmMig.h.

{
    Mig_Obj_t * pObj;
    assert( p->nObjs < MIG_NONE );
    if ( p->nObjs >= (Vec_PtrSize(&p->vPages) << MIG_BASE) )
    {
        Mig_Obj_t * pPage;// int i;
        assert( p->nObjs == (Vec_PtrSize(&p->vPages) << MIG_BASE) );
        pPage = ABC_FALLOC( Mig_Obj_t, MIG_MASK + 3 ); // 1 for mask, 1 for prefix, 1 for sentinel
        *((void **)pPage) = p;
//        *((void ***)(pPage + 1) - 1) = Vec_PtrArray(&p->vPages);
        Vec_PtrPush( &p->vPages, pPage + 1 );
//        if ( *((void ***)(pPage + 1) - 1) != Vec_PtrArray(&p->vPages) )
//            Vec_PtrForEachEntry( Mig_Obj_t *, &p->vPages, pPage, i )
//                *((void ***)pPage - 1) = Vec_PtrArray(&p->vPages);
    }
    pObj = Mig_ManObj( p, p->nObjs++ );
    assert( Mig_ObjIsNone(pObj) );
    Mig_ObjSetId( pObj, p->nObjs-1 );
    return pObj;
}

static int Mig_ManAppendXor ( Mig_Man_t *  p, int  iLit0, int  iLit1  )

inlinestatic

Definition at line 270 of file mpmMig.h.

{ 
    Mig_Obj_t * pObj = Mig_ManAppendObj( p );
    assert( iLit0 != iLit1 );
    assert( !Abc_LitIsCompl(iLit0) && !Abc_LitIsCompl(iLit1) );
    Mig_ObjSetFaninLit( pObj, 0, iLit0 < iLit1 ? iLit1 : iLit0 );
    Mig_ObjSetFaninLit( pObj, 1, iLit0 < iLit1 ? iLit0 : iLit1 );
    return Mig_ObjId( pObj ) << 1;
}

static int Mig_ManCandNum ( Mig_Man_t *  p )

inlinestatic

Definition at line 111 of file mpmMig.h.

{ return Mig_ManCiNum(p) + Mig_ManNodeNum(p);                                }

static int Mig_ManChoiceNum ( Mig_Man_t *  p )

inlinestatic

Definition at line 112 of file mpmMig.h.

{ return p->nChoices;                                                        }

static Mig_Obj_t* Mig_ManCi ( Mig_Man_t *  p, int  v  )

inlinestatic

Definition at line 117 of file mpmMig.h.

{ return Mig_ManObj( p, Vec_IntEntry(&p->vCis,v) );                          }

static int Mig_ManCiIdToId ( Mig_Man_t *  p, int  CiId  )

inlinestatic

Definition at line 158 of file mpmMig.h.

{ return Mig_ObjId( Mig_ManCi(p, CiId) );                    }

static int Mig_ManCiNum ( Mig_Man_t *  p )

inlinestatic

Definition at line 104 of file mpmMig.h.

{ return Vec_IntSize(&p->vCis);                                              }

static void Mig_ManCleanCopy ( Mig_Man_t *  p )

inlinestatic

Definition at line 193 of file mpmMig.h.

{ if ( p->vCopies.pArray == NULL ) Vec_IntFill( &p->vCopies, Mig_ManObjNum(p), -1 );              }

static Mig_Obj_t* Mig_ManCo ( Mig_Man_t *  p, int  v  )

inlinestatic

Definition at line 118 of file mpmMig.h.

{ return Mig_ManObj( p, Vec_IntEntry(&p->vCos,v) );                          }

static int Mig_ManCoIdToId ( Mig_Man_t *  p, int  CoId  )

inlinestatic

Definition at line 159 of file mpmMig.h.

{ return Mig_ObjId( Mig_ManCo(p, CoId) );                    }

static Mig_Obj_t* Mig_ManConst0 ( Mig_Man_t *  p )

inlinestatic

Definition at line 123 of file mpmMig.h.

{ return Mig_ManObj(p, 0);                                                   }

static int Mig_ManCoNum ( Mig_Man_t *  p )

inlinestatic

Definition at line 105 of file mpmMig.h.

{ return Vec_IntSize(&p->vCos);                                              }

static int Mig_ManIdToCioId ( Mig_Man_t *  p, int  Id  )

inlinestatic

Definition at line 157 of file mpmMig.h.

{ return Mig_ObjCioId( Mig_ManObj(p, Id) );                  }

static void Mig_ManIncrementTravId ( Mig_Man_t *  p )

inlinestatic

Definition at line 197 of file mpmMig.h.

{ if ( p->vTravIds.pArray == NULL ) Vec_IntFill( &p->vTravIds, Mig_ManObjNum(p)+500, 0 ); p->nTravIds++;      }

int Mig_ManMuxNum

(

Mig_Man_t *

p

)

Definition at line 106 of file mpmMig.c.

{
    return Mig_ManTypeNum(p, 3);
}

static char* Mig_ManName ( Mig_Man_t *  p )

inlinestatic

Definition at line 103 of file mpmMig.h.

{ return p->pName;                                                           }

static int Mig_ManNodeNum ( Mig_Man_t *  p )

inlinestatic

Definition at line 110 of file mpmMig.h.

{ return p->nObjs - Vec_IntSize(&p->vCis) - Vec_IntSize(&p->vCos) - 1;       }

static Mig_Obj_t* Mig_ManObj ( Mig_Man_t *  p, int  v  )

inlinestatic

Definition at line 116 of file mpmMig.h.

{ assert(v >= 0 && v < p->nObjs);  return Mig_ManPage(p, v) + Mig_IdCell(v); }

static int Mig_ManObjNum ( Mig_Man_t *  p )

inlinestatic

Definition at line 109 of file mpmMig.h.

{ return p->nObjs;                                                           }

static Mig_Obj_t* Mig_ManPage ( Mig_Man_t *  p, int  v  )

inlinestatic

Definition at line 115 of file mpmMig.h.

{ return (Mig_Obj_t *)Vec_PtrEntry(&p->vPages, Mig_IdPage(v));               }

static Mig_Obj_t* Mig_ManPi ( Mig_Man_t *  p, int  v  )

inlinestatic

Definition at line 119 of file mpmMig.h.

{ assert( v < Mig_ManPiNum(p) );  return Mig_ManCi( p, v );                  }

static int Mig_ManPiNum ( Mig_Man_t *  p )

inlinestatic

Definition at line 106 of file mpmMig.h.

{ return Vec_IntSize(&p->vCis) - p->nRegs;                                   }

static Mig_Obj_t* Mig_ManPo ( Mig_Man_t *  p, int  v  )

inlinestatic

Definition at line 120 of file mpmMig.h.

{ assert( v < Mig_ManPoNum(p) );  return Mig_ManCo( p, v );                  }

static int Mig_ManPoNum ( Mig_Man_t *  p )

inlinestatic

Definition at line 107 of file mpmMig.h.

{ return Vec_IntSize(&p->vCos) - p->nRegs;                                   }

static int Mig_ManRegNum ( Mig_Man_t *  p )

inlinestatic

Definition at line 108 of file mpmMig.h.

{ return p->nRegs;                                                           }

static Mig_Obj_t* Mig_ManRi ( Mig_Man_t *  p, int  v  )

inlinestatic

Definition at line 122 of file mpmMig.h.

{ assert( v < Mig_ManRegNum(p) ); return Mig_ManCo( p, Mig_ManPoNum(p)+v );  }

static Mig_Obj_t* Mig_ManRo ( Mig_Man_t *  p, int  v  )

inlinestatic

Definition at line 121 of file mpmMig.h.

{ assert( v < Mig_ManRegNum(p) ); return Mig_ManCi( p, Mig_ManPiNum(p)+v );  }

void Mig_ManSetRefs

(

Mig_Man_t *

p

)

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 123 of file mpmMig.c.

{
    Mig_Obj_t * pObj;
    int i, iFanin;
    // increment references
    Vec_IntFill( &p->vRefs, Mig_ManObjNum(p), 0 );
    Mig_ManForEachObj( p, pObj )
    {
        Mig_ObjForEachFaninId( pObj, iFanin, i )
            Vec_IntAddToEntry( &p->vRefs, iFanin, 1 );
        if ( Mig_ObjSiblId(pObj) )
            Vec_IntAddToEntry( &p->vRefs, Mig_ObjSiblId(pObj), 1 );
    }
}

static void Mig_ManSetRegNum ( Mig_Man_t *  p, int  v  )

inlinestatic

Definition at line 113 of file mpmMig.h.

{ p->nRegs = v;                                                       }

Mig_Man_t* Mig_ManStart

(

)

FUNCTION DECLARATIONS ///.

FUNCTION DECLARATIONS ///.

CFile****************************************************************

FileName [mpmMig.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Configurable technology mapper.]

Synopsis [Subject graph data structure.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 1, 2013.]

Revision [

Id:

mpmMig.c,v 1.00 2013/06/01 00:00:00 alanmi Exp

]FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 45 of file mpmMig.c.

{
    Mig_Man_t * p;
    assert( sizeof(Mig_Obj_t) >= 16 );
    assert( (1 << MIG_BASE) == MIG_MASK + 1 );
    p = ABC_CALLOC( Mig_Man_t, 1 );
    Vec_IntGrow( &p->vCis, 1024 );
    Vec_IntGrow( &p->vCos, 1024 );
    Mig_ManAppendObj( p ); // const0
    return p;
}

void Mig_ManStop

(

Mig_Man_t *

p

)

Definition at line 56 of file mpmMig.c.

{
    if ( 0 )
    printf( "Subject graph uses %d pages of %d objects with %d entries. Total memory = %.2f MB.\n", 
        Vec_PtrSize(&p->vPages), MIG_MASK + 1, p->nObjs,
        1.0 * Vec_PtrSize(&p->vPages) * (MIG_MASK + 1) * 16 / (1 << 20) );
    // attributes
    ABC_FREE( p->vTravIds.pArray );
    ABC_FREE( p->vCopies.pArray );
    ABC_FREE( p->vLevels.pArray );
    ABC_FREE( p->vRefs.pArray );
    ABC_FREE( p->vSibls.pArray );
    // pages
    Vec_PtrForEachEntry( Mig_Obj_t *, &p->vPages, p->pPage, p->iPage )
        --p->pPage, ABC_FREE( p->pPage );
    // objects
    ABC_FREE( p->vPages.pArray );
    ABC_FREE( p->vCis.pArray );
    ABC_FREE( p->vCos.pArray );
    ABC_FREE( p->pName );
    ABC_FREE( p );
}

int Mig_ManXorNum

(

Mig_Man_t *

p

)

Definition at line 102 of file mpmMig.c.

{
    return Mig_ManTypeNum(p, 2);
}

static int Mig_ObjCioId ( Mig_Obj_t *  p )

inlinestatic

Definition at line 148 of file mpmMig.h.

{ assert( Mig_ObjIsTerm(p) ); return Mig_FanId( p, 2 );      }

static int Mig_ObjCopy ( Mig_Obj_t *  p )

inlinestatic

Definition at line 194 of file mpmMig.h.

{ return Vec_IntSize(&Mig_ObjMan(p)->vCopies) == 0 ? -1: Vec_IntEntry(&Mig_ObjMan(p)->vCopies, Mig_ObjId(p));      }

static Mig_Obj_t* Mig_ObjFanin ( Mig_Obj_t *  p, int  i  )

inlinestatic

Definition at line 174 of file mpmMig.h.

{ return Mig_ManObj( Mig_ObjMan(p), Mig_ObjFaninId(p, i) );    }

static Mig_Obj_t* Mig_ObjFanin0 ( Mig_Obj_t *  p )

inlinestatic

Definition at line 176 of file mpmMig.h.

{ return Mig_FanIsNone(p, 0) ? NULL: Mig_ObjFanin(p, 0);     }

static Mig_Obj_t* Mig_ObjFanin1 ( Mig_Obj_t *  p )

inlinestatic

Definition at line 177 of file mpmMig.h.

{ return Mig_FanIsNone(p, 1) ? NULL: Mig_ObjFanin(p, 1);     }

static Mig_Obj_t* Mig_ObjFanin2 ( Mig_Obj_t *  p )

inlinestatic

Definition at line 178 of file mpmMig.h.

{ return Mig_FanIsNone(p, 2) ? NULL: Mig_ObjFanin(p, 2);     }

static int Mig_ObjFaninC ( Mig_Obj_t *  p, int  i  )

inlinestatic

Definition at line 179 of file mpmMig.h.

{ assert( i < 3 ); return Mig_FanCompl(p, i);                }

static int Mig_ObjFaninC0 ( Mig_Obj_t *  p )

inlinestatic

Definition at line 180 of file mpmMig.h.

{ return Mig_FanCompl(p, 0);                                 }

static int Mig_ObjFaninC1 ( Mig_Obj_t *  p )

inlinestatic

Definition at line 181 of file mpmMig.h.

{ return Mig_FanCompl(p, 1);                                 }

static int Mig_ObjFaninC2 ( Mig_Obj_t *  p )

inlinestatic

Definition at line 182 of file mpmMig.h.

{ return Mig_FanCompl(p, 2);                                 }

static int Mig_ObjFaninId ( Mig_Obj_t *  p, int  i  )

inlinestatic

Definition at line 170 of file mpmMig.h.

{ assert( i < 3 && Mig_FanId(p, i) < Mig_ObjId(p) ); return Mig_FanId( p, i );  }

static int Mig_ObjFaninId0 ( Mig_Obj_t *  p )

inlinestatic

Definition at line 171 of file mpmMig.h.

{ return Mig_FanId( p, 0 );                                  }

static int Mig_ObjFaninId1 ( Mig_Obj_t *  p )

inlinestatic

Definition at line 172 of file mpmMig.h.

{ return Mig_FanId( p, 1 );                                  }

static int Mig_ObjFaninId2 ( Mig_Obj_t *  p )

inlinestatic

Definition at line 173 of file mpmMig.h.

{ return Mig_FanId( p, 2 );                                  }

static int Mig_ObjFaninLit ( Mig_Obj_t *  p, int  i  )

inlinestatic

Definition at line 183 of file mpmMig.h.

{ return Abc_Var2Lit( Mig_FanId(p, i), Mig_FanCompl(p, i) ); }

static void Mig_ObjFlipFaninC ( Mig_Obj_t *  p, int  i  )

inlinestatic

Definition at line 184 of file mpmMig.h.

{ Mig_FanSetCompl( p, i, !Mig_FanCompl(p, i) );              }

static int Mig_ObjHasFanin ( Mig_Obj_t *  p, int  i  )

inlinestatic

Definition at line 169 of file mpmMig.h.

{ return i < 3 && Mig_FanId(p, i) != MIG_NONE;               }

static int Mig_ObjId ( Mig_Obj_t *  p )

inlinestatic

Definition at line 146 of file mpmMig.h.

{ return Mig_FanId( p, 3 );                                  }

static void Mig_ObjIncrementTravId ( Mig_Obj_t *  p )

inlinestatic

Definition at line 198 of file mpmMig.h.

{ if ( Mig_ObjMan(p)->vTravIds.pArray == NULL ) Vec_IntFill( &Mig_ObjMan(p)->vTravIds, Mig_ManObjNum(Mig_ObjMan(p))+500, 0 ); Mig_ObjMan(p)->nTravIds++;           }

static int Mig_ObjIsAnd ( Mig_Obj_t *  p )

inlinestatic

Definition at line 140 of file mpmMig.h.

{ return Mig_ObjIsNode2( p ) && Mig_FanId(p, 0) < Mig_FanId(p, 1); } 

static int Mig_ObjIsBuf ( Mig_Obj_t *  p )

inlinestatic

Definition at line 136 of file mpmMig.h.

{ return Mig_FanIsNone( p, 1 ) && Mig_FanIsNone( p, 2 ) && !Mig_FanIsNone( p, 0 );     } 

static int Mig_ObjIsCand ( Mig_Obj_t *  p )

inlinestatic

Definition at line 143 of file mpmMig.h.

{ return Mig_ObjIsNode(p) || Mig_ObjIsCi(p);                 } 

static int Mig_ObjIsCi ( Mig_Obj_t *  p )

inlinestatic

Definition at line 134 of file mpmMig.h.

{ return Mig_ObjIsTerm(p) &&  Mig_FanIsNone( p, 0 );         } 

static int Mig_ObjIsCo ( Mig_Obj_t *  p )

inlinestatic

Definition at line 135 of file mpmMig.h.

{ return Mig_ObjIsTerm(p) && !Mig_FanIsNone( p, 0 );         } 

static int Mig_ObjIsConst0 ( Mig_Obj_t *  p )

inlinestatic

Definition at line 132 of file mpmMig.h.

{ return Mig_FanId( p, 3 ) == 0;                             } 

static int Mig_ObjIsMux ( Mig_Obj_t *  p )

inlinestatic

Definition at line 142 of file mpmMig.h.

{ return Mig_ObjIsNode3( p );                                } 

static int Mig_ObjIsNode ( Mig_Obj_t *  p )

inlinestatic

Definition at line 137 of file mpmMig.h.

{ return!Mig_FanIsNone( p, 1 );                              } 

static int Mig_ObjIsNode2 ( Mig_Obj_t *  p )

inlinestatic

Definition at line 138 of file mpmMig.h.

{ return Mig_ObjIsNode( p ) &&  Mig_FanIsNone( p, 2 );       } 

static int Mig_ObjIsNode3 ( Mig_Obj_t *  p )

inlinestatic

Definition at line 139 of file mpmMig.h.

{ return Mig_ObjIsNode( p ) && !Mig_FanIsNone( p, 2 );       } 

static int Mig_ObjIsNone ( Mig_Obj_t *  p )

inlinestatic

Definition at line 131 of file mpmMig.h.

{ return Mig_FanIsNone( p, 3 );                              }

static int Mig_ObjIsPi ( Mig_Obj_t *  p )

inlinestatic

Definition at line 161 of file mpmMig.h.

{ return Mig_ObjIsCi(p) && Mig_ObjCioId(p) < Mig_ManPiNum(Mig_ObjMan(p));   } 

static int Mig_ObjIsPo ( Mig_Obj_t *  p )

inlinestatic

Definition at line 162 of file mpmMig.h.

{ return Mig_ObjIsCo(p) && Mig_ObjCioId(p) < Mig_ManPoNum(Mig_ObjMan(p));   } 

static int Mig_ObjIsRi ( Mig_Obj_t *  p )

inlinestatic

Definition at line 164 of file mpmMig.h.

{ return Mig_ObjIsCo(p) && Mig_ObjCioId(p) >= Mig_ManPoNum(Mig_ObjMan(p));  } 

static int Mig_ObjIsRo ( Mig_Obj_t *  p )

inlinestatic

Definition at line 163 of file mpmMig.h.

{ return Mig_ObjIsCi(p) && Mig_ObjCioId(p) >= Mig_ManPiNum(Mig_ObjMan(p));  } 

static int Mig_ObjIsTerm ( Mig_Obj_t *  p )

inlinestatic

Definition at line 133 of file mpmMig.h.

{ return Mig_FanIsNone( p, 1 ) && !Mig_FanIsNone( p, 2 );    }

static int Mig_ObjIsTravIdCurrent ( Mig_Obj_t *  p )

inlinestatic

Definition at line 201 of file mpmMig.h.

{ return (Vec_IntGetEntry(&Mig_ObjMan(p)->vTravIds, Mig_ObjId(p)) == Mig_ObjMan(p)->nTravIds);    }

static int Mig_ObjIsTravIdCurrentId ( Mig_Man_t *  p, int  Id  )

inlinestatic

Definition at line 204 of file mpmMig.h.

{ return (Vec_IntGetEntry(&p->vTravIds, Id) == p->nTravIds);                                      }

static int Mig_ObjIsTravIdPrevious ( Mig_Obj_t *  p )

inlinestatic

Definition at line 202 of file mpmMig.h.

{ return (Vec_IntGetEntry(&Mig_ObjMan(p)->vTravIds, Mig_ObjId(p)) == Mig_ObjMan(p)->nTravIds-1);  }

static int Mig_ObjIsXor ( Mig_Obj_t *  p )

inlinestatic

Definition at line 141 of file mpmMig.h.

{ return Mig_ObjIsNode2( p ) && Mig_FanId(p, 0) > Mig_FanId(p, 1); } 

static Mig_Man_t* Mig_ObjMan ( Mig_Obj_t *  p )

inlinestatic

Definition at line 153 of file mpmMig.h.

{ return *((Mig_Man_t**)(p - Mig_IdCell(Mig_ObjId(p)) - 1)); }

static int Mig_ObjNodeType ( Mig_Obj_t *  p )

inlinestatic

Definition at line 144 of file mpmMig.h.

{ return Mig_ObjIsAnd(p) ? 1 : (Mig_ObjIsXor(p) ? 2 : 3);    } 

static Mig_Obj_t* Mig_ObjObj ( Mig_Obj_t *  p, int  i  )

inlinestatic

Definition at line 155 of file mpmMig.h.

{ return Mig_ManObj( Mig_ObjMan(p), i );                     } 

static int Mig_ObjPhase ( Mig_Obj_t *  p )

inlinestatic

Definition at line 150 of file mpmMig.h.

{ return Mig_FanCompl( p, 3 );                               }

static int Mig_ObjRefNum ( Mig_Obj_t *  p )

inlinestatic

Definition at line 191 of file mpmMig.h.

{ return Vec_IntEntry(&Mig_ObjMan(p)->vRefs, Mig_ObjId(p));              }

static Mig_Obj_t* Mig_ObjRiToRo ( Mig_Obj_t *  p )

inlinestatic

Definition at line 167 of file mpmMig.h.

{ Mig_Man_t * pMan = Mig_ObjMan(p); assert( Mig_ObjIsRi(p) ); return Mig_ManCi(pMan, Mig_ManCiNum(pMan) - Mig_ManCoNum(pMan) + Mig_ObjCioId(p)); } 

static Mig_Obj_t* Mig_ObjRoToRi ( Mig_Obj_t *  p )

inlinestatic

Definition at line 166 of file mpmMig.h.

{ Mig_Man_t * pMan = Mig_ObjMan(p); assert( Mig_ObjIsRo(p) ); return Mig_ManCo(pMan, Mig_ManCoNum(pMan) - Mig_ManCiNum(pMan) + Mig_ObjCioId(p)); } 

static void Mig_ObjSetCioId ( Mig_Obj_t *  p, int  v  )

inlinestatic

Definition at line 149 of file mpmMig.h.

{ assert( Mig_FanIsNone(p, 1) ); Mig_FanSetId( p, 2, v );    }

static void Mig_ObjSetCopy ( Mig_Obj_t *  p, int  i  )

inlinestatic

Definition at line 195 of file mpmMig.h.

{ assert( Vec_IntSize(&Mig_ObjMan(p)->vCopies) != 0 ); Vec_IntWriteEntry(&Mig_ObjMan(p)->vCopies, Mig_ObjId(p), i); }

static void Mig_ObjSetFaninLit ( Mig_Obj_t *  p, int  i, int  l  )

inlinestatic

Definition at line 186 of file mpmMig.h.

{ assert( l >= 0 && (l >> 1) < Mig_ObjId(p) ); Mig_FanSetId(p, i, Abc_Lit2Var(l)); Mig_FanSetCompl(p, i, Abc_LitIsCompl(l));       }

static void Mig_ObjSetId ( Mig_Obj_t *  p, int  v  )

inlinestatic

Definition at line 147 of file mpmMig.h.

{ Mig_FanSetId( p, 3, v );                                   }

static void Mig_ObjSetPhase ( Mig_Obj_t *  p, int  v  )

inlinestatic

Definition at line 151 of file mpmMig.h.

{ Mig_FanSetCompl( p, 3, v );                                }

static void Mig_ObjSetSiblId ( Mig_Obj_t *  p, int  s  )

inlinestatic

Definition at line 189 of file mpmMig.h.

{ assert( s > 0 && Mig_ObjId(p) > s ); Vec_IntWriteEntry( &Mig_ObjMan(p)->vSibls, Mig_ObjId(p), s );          }

static void Mig_ObjSetTravIdCurrent ( Mig_Obj_t *  p )

inlinestatic

Definition at line 199 of file mpmMig.h.

{ Vec_IntSetEntry(&Mig_ObjMan(p)->vTravIds, Mig_ObjId(p), Mig_ObjMan(p)->nTravIds );              }

static void Mig_ObjSetTravIdCurrentId ( Mig_Man_t *  p, int  Id  )

inlinestatic

Definition at line 203 of file mpmMig.h.

{ Vec_IntSetEntry(&p->vTravIds, Id, p->nTravIds );                                                }

static void Mig_ObjSetTravIdPrevious ( Mig_Obj_t *  p )

inlinestatic

Definition at line 200 of file mpmMig.h.

{ Vec_IntSetEntry(&Mig_ObjMan(p)->vTravIds, Mig_ObjId(p), Mig_ObjMan(p)->nTravIds-1 );            }

static Mig_Obj_t* Mig_ObjSibl ( Mig_Obj_t *  p )

inlinestatic

Definition at line 190 of file mpmMig.h.

{ return Mig_ObjSiblId(p) == 0 ? NULL: Mig_ObjObj(p, Mig_ObjSiblId(p));  }

static int Mig_ObjSiblId ( Mig_Obj_t *  p )

inlinestatic

Definition at line 188 of file mpmMig.h.

{ return Vec_IntSize(&Mig_ObjMan(p)->vSibls) == 0 ? 0: Vec_IntEntry(&Mig_ObjMan(p)->vSibls, Mig_ObjId(p));    }

static int Mig_ObjWhatFanin ( Mig_Obj_t *  p, int  i  )

inlinestatic

Definition at line 185 of file mpmMig.h.

{ if (Mig_FanId(p, 0) == i) return 0; if (Mig_FanId(p, 1) == i) return 1; if (Mig_FanId(p, 2) == i) return 2; return -1;           }