ivyFanout.c File Reference

#include "ivy.h"

Include dependency graph for ivyFanout.c:

Go to the source code of this file.

Macros
#define	Ivy_ObjForEachFanoutInt(pObj, pFanout)
#define	Ivy_ObjForEachFanoutIntSafe(pObj, pFanout, pFanout2)

Functions
void	Ivy_ManStartFanout (Ivy_Man_t *p)
	FUNCTION DEFINITIONS ///.
void	Ivy_ManStopFanout (Ivy_Man_t *p)
void	Ivy_ObjAddFanout (Ivy_Man_t *p, Ivy_Obj_t *pFanin, Ivy_Obj_t *pFanout)
void	Ivy_ObjDeleteFanout (Ivy_Man_t *p, Ivy_Obj_t *pFanin, Ivy_Obj_t *pFanout)
void	Ivy_ObjPatchFanout (Ivy_Man_t *p, Ivy_Obj_t *pFanin, Ivy_Obj_t *pFanoutOld, Ivy_Obj_t *pFanoutNew)
void	Ivy_ObjCollectFanouts (Ivy_Man_t *p, Ivy_Obj_t *pObj, Vec_Ptr_t *vArray)
Ivy_Obj_t *	Ivy_ObjReadFirstFanout (Ivy_Man_t *p, Ivy_Obj_t *pObj)
int	Ivy_ObjFanoutNum (Ivy_Man_t *p, Ivy_Obj_t *pObj)

Macro Definition Documentation

Ivy_ObjForEachFanoutInt

#define Ivy_ObjForEachFanoutInt	(		pObj,
			pFanout )

Value:

    for ( pFanout = (pObj)->pFanout; pFanout;                    \
          pFanout = Ivy_ObjNextFanout(pObj, pFanout) )

Definition at line 109 of file ivyFanout.c.

#define Ivy_ObjForEachFanoutInt( pObj, pFanout )                 \
    for ( pFanout = (pObj)->pFanout; pFanout;                    \
          pFanout = Ivy_ObjNextFanout(pObj, pFanout) )

Ivy_ObjForEachFanoutIntSafe

#define Ivy_ObjForEachFanoutIntSafe	(		pObj,
			pFanout,
			pFanout2 )

Value:

    for ( pFanout  = (pObj)->pFanout,                            \
          pFanout2 = Ivy_ObjNextFanout(pObj, pFanout);           \
          pFanout;                                               \
          pFanout  = pFanout2,                                   \
          pFanout2 = Ivy_ObjNextFanout(pObj, pFanout) )

Definition at line 114 of file ivyFanout.c.

#define Ivy_ObjForEachFanoutIntSafe( pObj, pFanout, pFanout2 )   \
    for ( pFanout  = (pObj)->pFanout,                            \
          pFanout2 = Ivy_ObjNextFanout(pObj, pFanout);           \
          pFanout;                                               \
          pFanout  = pFanout2,                                   \
          pFanout2 = Ivy_ObjNextFanout(pObj, pFanout) )

Function Documentation

Ivy_ManStartFanout()

void Ivy_ManStartFanout

(

Ivy_Man_t *

p

)

FUNCTION DEFINITIONS ///.

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

Synopsis [Starts the fanout representation.]

Description []

SideEffects []

SeeAlso []

Definition at line 136 of file ivyFanout.c.

{
    Ivy_Obj_t * pObj;
    int i;
    assert( !p->fFanout );
    p->fFanout = 1;
    Ivy_ManForEachObj( p, pObj, i )
    {
        if ( Ivy_ObjFanin0(pObj) )
            Ivy_ObjAddFanout( p, Ivy_ObjFanin0(pObj), pObj );
        if ( Ivy_ObjFanin1(pObj) )
            Ivy_ObjAddFanout( p, Ivy_ObjFanin1(pObj), pObj );
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

Ivy_ManStopFanout()

void Ivy_ManStopFanout

(

Ivy_Man_t *

p

)

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

Synopsis [Stops the fanout representation.]

Description []

SideEffects []

SeeAlso []

Definition at line 162 of file ivyFanout.c.

{
    Ivy_Obj_t * pObj;
    int i;
    assert( p->fFanout );
    p->fFanout = 0;
    Ivy_ManForEachObj( p, pObj, i )
        pObj->pFanout = pObj->pNextFan0 = pObj->pNextFan1 = pObj->pPrevFan0 = pObj->pPrevFan1 = NULL;
}

Ivy_ObjAddFanout()

void Ivy_ObjAddFanout	(	Ivy_Man_t *	p,
		Ivy_Obj_t *	pFanin,
		Ivy_Obj_t *	pFanout )

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

Synopsis [Add the fanout.]

Description []

SideEffects []

SeeAlso []

Definition at line 183 of file ivyFanout.c.

{
    assert( p->fFanout );
    if ( pFanin->pFanout )
    {
        *Ivy_ObjNextFanoutPlace(pFanin, pFanout) = pFanin->pFanout;
        *Ivy_ObjPrevFanoutPlace(pFanin, pFanin->pFanout) = pFanout;
    }
    pFanin->pFanout = pFanout;
}

Here is the caller graph for this function:

Ivy_ObjCollectFanouts()

void Ivy_ObjCollectFanouts	(	Ivy_Man_t *	p,
		Ivy_Obj_t *	pObj,
		Vec_Ptr_t *	vArray )

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

Synopsis [Starts iteration through the fanouts.]

Description [Copies the currently available fanouts into the array.]

SideEffects [Can be used while the fanouts are being removed.]

SeeAlso []

Definition at line 262 of file ivyFanout.c.

{
    Ivy_Obj_t * pFanout;
    assert( p->fFanout );
    assert( !Ivy_IsComplement(pObj) );
    Vec_PtrClear( vArray );
    Ivy_ObjForEachFanoutInt( pObj, pFanout )
        Vec_PtrPush( vArray, pFanout );
}

Ivy_ObjDeleteFanout()

void Ivy_ObjDeleteFanout	(	Ivy_Man_t *	p,
		Ivy_Obj_t *	pFanin,
		Ivy_Obj_t *	pFanout )

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

Synopsis [Removes the fanout.]

Description []

SideEffects []

SeeAlso []

Definition at line 205 of file ivyFanout.c.

{
    Ivy_Obj_t ** ppPlace1, ** ppPlace2, ** ppPlaceN;
    assert( pFanin->pFanout != NULL );
 
    ppPlace1 = Ivy_ObjNextFanoutPlace(pFanin, pFanout);
    ppPlaceN = Ivy_ObjPrevNextFanoutPlace(pFanin, pFanout);
    assert( *ppPlaceN == pFanout );
    if ( ppPlaceN )
        *ppPlaceN = *ppPlace1;
 
    ppPlace2 = Ivy_ObjPrevFanoutPlace(pFanin, pFanout);
    ppPlaceN = Ivy_ObjNextPrevFanoutPlace(pFanin, pFanout);
    assert( ppPlaceN == NULL || *ppPlaceN == pFanout );
    if ( ppPlaceN )
        *ppPlaceN = *ppPlace2;
 
    *ppPlace1 = NULL;
    *ppPlace2 = NULL;
}

Here is the caller graph for this function:

Ivy_ObjFanoutNum()

int Ivy_ObjFanoutNum	(	Ivy_Man_t *	p,
		Ivy_Obj_t *	pObj )

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

Synopsis [Reads one fanout.]

Description [Returns fanout if there is only one fanout.]

SideEffects []

SeeAlso []

Definition at line 299 of file ivyFanout.c.

{
    Ivy_Obj_t * pFanout;
    int Counter = 0;
    Ivy_ObjForEachFanoutInt( pObj, pFanout )
        Counter++;
    return Counter;
}

Here is the caller graph for this function:

Ivy_ObjPatchFanout()

void Ivy_ObjPatchFanout	(	Ivy_Man_t *	p,
		Ivy_Obj_t *	pFanin,
		Ivy_Obj_t *	pFanoutOld,
		Ivy_Obj_t *	pFanoutNew )

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

Synopsis [Replaces the fanout of pOld to be pFanoutNew.]

Description []

SideEffects []

SeeAlso []

Definition at line 237 of file ivyFanout.c.

{
    Ivy_Obj_t ** ppPlace;
    ppPlace = Ivy_ObjPrevNextFanoutPlace(pFanin, pFanoutOld);
    assert( *ppPlace == pFanoutOld );
    if ( ppPlace )
        *ppPlace = pFanoutNew;
    ppPlace = Ivy_ObjNextPrevFanoutPlace(pFanin, pFanoutOld);
    assert( ppPlace == NULL || *ppPlace == pFanoutOld );
    if ( ppPlace )
        *ppPlace = pFanoutNew;
    // assuming that pFanoutNew already points to the next fanout
}

Here is the caller graph for this function:

Ivy_ObjReadFirstFanout()

Ivy_Obj_t * Ivy_ObjReadFirstFanout	(	Ivy_Man_t *	p,
		Ivy_Obj_t *	pObj )

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

Synopsis [Reads one fanout.]

Description [Returns fanout if there is only one fanout.]

SideEffects []

SeeAlso []

Definition at line 283 of file ivyFanout.c.

{
    return pObj->pFanout;
}

Here is the caller graph for this function: