ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
utilMem.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void * Util_MemRecAlloc (void *pMem)
 BASIC TYPES ///.
 
void * Util_MemRecFree (void *pMem)
 
void Util_MemStart ()
 
void Util_MemQuit ()
 
void Util_MemRecycle ()
 
int Util_MemRecIsSet ()
 

Variables

ABC_NAMESPACE_HEADER_START void * s_vAllocs
 INCLUDES ///.
 
void * s_vFrees
 
int s_fInterrupt
 

Function Documentation

◆ Util_MemQuit()

void Util_MemQuit ( )
extern

◆ Util_MemRecAlloc()

void * Util_MemRecAlloc ( void * pMem)
extern

BASIC TYPES ///.

MACRO DEFINITIONS /// FUNCTION DECLARATIONS ///

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

Synopsis [Remembers an allocated pointer.]

Description []

SideEffects []

SeeAlso []

Definition at line 172 of file utilMem.c.

173{
174 if ( s_vAllocs )
175 Vec_MemPush( (Vec_Mem_t *)s_vAllocs, pMem );
176 return pMem;
177}
void * s_vAllocs
INCLUDES ///.
Definition utilMem.c:43
typedefABC_NAMESPACE_IMPL_START struct Vec_Mem_t_ Vec_Mem_t
DECLARATIONS ///.
Definition utilMem.c:35

◆ Util_MemRecFree()

void * Util_MemRecFree ( void * pMem)
extern

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

Synopsis [Remembers a deallocated pointer.]

Description []

SideEffects []

SeeAlso []

Definition at line 190 of file utilMem.c.

191{
192 if ( s_vFrees )
193 Vec_MemPush( (Vec_Mem_t *)s_vFrees, pMem );
194 return pMem;
195}
void * s_vFrees
Definition utilMem.c:44

◆ Util_MemRecIsSet()

int Util_MemRecIsSet ( )
extern

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

Synopsis [Starts memory structures.]

Description []

SideEffects []

SeeAlso []

Definition at line 330 of file utilMem.c.

331{
332 return s_vAllocs != NULL && s_vFrees != NULL;
333}

◆ Util_MemRecycle()

void Util_MemRecycle ( )
extern

◆ Util_MemStart()

void Util_MemStart ( )
extern

Variable Documentation

◆ s_fInterrupt

int s_fInterrupt
extern

Definition at line 45 of file utilMem.c.

◆ s_vAllocs

ABC_NAMESPACE_HEADER_START void* s_vAllocs
extern

INCLUDES ///.

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

FileName [utilInt.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Memory recycling utilities.]

Synopsis [Internal declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id
utilInt.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

] PARAMETERS ///

Definition at line 43 of file utilMem.c.

◆ s_vFrees

void* s_vFrees
extern

Definition at line 44 of file utilMem.c.