extraUtilUtil.c File Reference

#include <stdio.h>
#include <string.h>
#include "extra.h"
#include <sys/time.h>
#include <sys/resource.h>
#include <unistd.h>

Go to the source code of this file.

Macros
#define	EXTRA_RLIMIT_DATA_DEFAULT   67108864
	DECLARATIONS ///. More...

Functions
int	Extra_GetSoftDataLimit ()
	FUNCTION DEFINITIONS ///. More...
void	Extra_UtilGetoptReset ()
int	Extra_UtilGetopt (int argc, char *argv[], const char *optstring)
char *	Extra_UtilPrintTime (long t)
char *	Extra_UtilStrsav (const char *s)
char *	Extra_UtilTildeExpand (char *fname)
int	Extra_UtilCheckFile (char *filename, const char *mode)
char *	Extra_UtilFileSearch (char *file, char *path, char *mode)
void	Extra_UtilMMout_Of_Memory (long size)
abctime	Extra_CpuTime ()
ABC_NAMESPACE_IMPL_END ABC_NAMESPACE_IMPL_START double	Extra_CpuTimeDouble ()
void	Extra_MemTest ()

Variables
const char *	globalUtilOptarg
int	globalUtilOptind = 0
static const char *	pScanStr
void(*	Extra_UtilMMoutOfMemory )(long size) = (void (*)( long size ))Extra_UtilMMout_Of_Memory

Macro Definition Documentation

#define EXTRA_RLIMIT_DATA_DEFAULT   67108864

DECLARATIONS ///.

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

FileName [extraUtilUtil.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [extra]

Synopsis [Old SIS utilities.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id:

extraUtilUtil.c,v 1.0 2003/02/01 00:00:00 alanmi Exp

]

Definition at line 31 of file extraUtilUtil.c.

Function Documentation

abctime Extra_CpuTime

(

)

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

Synopsis [util_cpu_time()]

Description []

SideEffects []

SeeAlso []

Definition at line 350 of file extraUtilUtil.c.

{
    return Abc_Clock();
}

ABC_NAMESPACE_IMPL_END ABC_NAMESPACE_IMPL_START double Extra_CpuTimeDouble

(

)

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

Synopsis [util_cpu_time()]

Description []

SideEffects []

SeeAlso []

Definition at line 381 of file extraUtilUtil.c.

{
    struct rusage ru;
    getrusage(RUSAGE_SELF, &ru);
    return (double)ru.ru_utime.tv_sec + (double)ru.ru_utime.tv_usec / 1000000; 
}

int Extra_GetSoftDataLimit

(

)

FUNCTION DEFINITIONS ///.

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

Synopsis [getSoftDataLimit()]

Description []

SideEffects []

SeeAlso []

Definition at line 64 of file extraUtilUtil.c.

{
    return EXTRA_RLIMIT_DATA_DEFAULT;
}

void Extra_MemTest

(

)

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

Synopsis [Testing memory leaks.]

Description []

SideEffects []

SeeAlso []

Definition at line 400 of file extraUtilUtil.c.

{
//    ABC_ALLOC( char, 1002 );
}

int Extra_UtilCheckFile	(	char *	filename,
		const char *	mode
	)

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

Synopsis [check_file()]

Description []

SideEffects []

SeeAlso []

Definition at line 232 of file extraUtilUtil.c.

{
    FILE *fp;
    int got_file;

    if (strcmp(mode, "x") == 0) {
    mode = "r";
    }
    fp = fopen(filename, mode);
    got_file = (fp != 0);
    if (fp != 0) {
    (void) fclose(fp);
    }
    return got_file;
}

char* Extra_UtilFileSearch	(	char *	file,
		char *	path,
		char *	mode
	)

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

Synopsis [util_file_search()]

Description []

SideEffects []

SeeAlso []

Definition at line 259 of file extraUtilUtil.c.

{
    int quit;
    char *buffer, *filename, *save_path, *cp;

    if (path == 0 || strcmp(path, "") == 0) {
    path = ".";     /* just look in the current directory */
    }

    save_path = path = Extra_UtilStrsav(path);
    quit = 0;
    do {
    cp = strchr(path, ':');
    if (cp != 0) {
        *cp = '\0';
    } else {
        quit = 1;
    }

    /* cons up the filename out of the path and file name */
    if (strcmp(path, ".") == 0) {
        buffer = Extra_UtilStrsav(file);
    } else {
        buffer = ABC_ALLOC(char, strlen(path) + strlen(file) + 4);
        (void) sprintf(buffer, "%s/%s", path, file);
    }
    filename = Extra_UtilTildeExpand(buffer);
    ABC_FREE(buffer);

    /* see if we can access it */
    if (Extra_UtilCheckFile(filename, mode)) {
        ABC_FREE(save_path);
        return filename;
    }
    ABC_FREE(filename);
    path = ++cp;
    } while (! quit); 

    ABC_FREE(save_path);
    return 0;
}

int Extra_UtilGetopt	(	int	argc,
		char *	argv[],
		const char *	optstring
	)

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

Synopsis [util_getopt()]

Description []

SideEffects []

SeeAlso []

Definition at line 98 of file extraUtilUtil.c.

{
    register int c;
    register const char *place;

    globalUtilOptarg = NULL;

    if (pScanStr == NULL || *pScanStr == '\0') {
    if (globalUtilOptind == 0) globalUtilOptind++;
    if (globalUtilOptind >= argc) return EOF;
    place = argv[globalUtilOptind];
    if (place[0] != '-' || place[1] == '\0') return EOF;
    globalUtilOptind++;
    if (place[1] == '-' && place[2] == '\0') return EOF;
    pScanStr = place+1;
    }

    c = *pScanStr++;
    place = strchr(optstring, c);
    if (place == NULL || c == ':') {
    (void) fprintf(stderr, "%s: unknown option %c\n", argv[0], c);
    return '?';
    }
    if (*++place == ':') {
    if (*pScanStr != '\0') {
        globalUtilOptarg = pScanStr;
        pScanStr = NULL;
    } else {
        if (globalUtilOptind >= argc) {
        (void) fprintf(stderr, "%s: %c requires an argument\n", 
            argv[0], c);
        return '?';
        }
        globalUtilOptarg = argv[globalUtilOptind];
        globalUtilOptind++;
    }
    }
    return c;
}

void Extra_UtilGetoptReset

(

)

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

Synopsis [util_getopt_reset()]

Description []

SideEffects []

SeeAlso []

Definition at line 80 of file extraUtilUtil.c.

{
    globalUtilOptarg = 0;
    globalUtilOptind = 0;
    pScanStr = 0;
}

void Extra_UtilMMout_Of_Memory

(

long

size

)

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

Synopsis [MMout_of_memory()]

Description []

SideEffects []

SeeAlso []

Definition at line 316 of file extraUtilUtil.c.

{
    (void) fflush(stdout);
    (void) fprintf(stderr, "\nout of memory allocating %u bytes\n",
           (unsigned) size);
    assert( 0 );
    exit(1);
}

char* Extra_UtilPrintTime

(

long

t

)

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

Synopsis [util_print_time()]

Description []

SideEffects []

SeeAlso []

Definition at line 149 of file extraUtilUtil.c.

{
    static char s[40];

    (void) sprintf(s, "%ld.%02ld sec", t/1000, (t%1000)/10);
    return s;
}

char* Extra_UtilStrsav

(

const char *

s

)

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

Synopsis [Extra_UtilStrsav()]

Description []

SideEffects []

SeeAlso []

Definition at line 169 of file extraUtilUtil.c.

{
    if(s == NULL) {  /* added 7/95, for robustness */
       return NULL;
    }
    else {
       return strcpy(ABC_ALLOC(char, strlen(s)+1), s);
    }
}

char* Extra_UtilTildeExpand

(

char *

fname

)

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

Synopsis [util_tilde_expand()]

Description [The code contributed by Niklas Sorensson.]

SideEffects []

SeeAlso []

Definition at line 190 of file extraUtilUtil.c.

{
    return Extra_UtilStrsav( fname );
/*
    int         n_tildes = 0;
    const char* home;
    char*       expanded;
    int         length;
    int         i, j, k;

    for (i = 0; i < (int)strlen(fname); i++)
        if (fname[i] == '~') n_tildes++;

    home     = getenv("HOME");
    length   = n_tildes * strlen(home) + strlen(fname);
    expanded = ABC_ALLOC(char, length + 1);

    j = 0;
    for (i = 0; i < (int)strlen(fname); i++){
        if (fname[i] == '~'){
            for (k = 0; k < (int)strlen(home); k++)
                expanded[j++] = home[k];
        }else
            expanded[j++] = fname[i];
    }

    expanded[j] = '\0';
    return expanded; 
*/
}

Variable Documentation

void(* Extra_UtilMMoutOfMemory)(long size) = (void (*)( long size ))Extra_UtilMMout_Of_Memory

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

Synopsis [MMoutOfMemory()]

Description []

SideEffects []

SeeAlso []

Definition at line 336 of file extraUtilUtil.c.

const char* globalUtilOptarg

Definition at line 44 of file extraUtilUtil.c.

int globalUtilOptind = 0

Definition at line 45 of file extraUtilUtil.c.

const char* pScanStr

static

Definition at line 47 of file extraUtilUtil.c.