luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Making changes suggested by Mark Jarvin.

This commit is contained in:
Alan Mishchenko 2013-05-19 21:50:09 -07:00
parent 232fe09ee4
commit 6ad94cd988
2 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/bdd/cudd/cudd.h
View File

@ -364,7 +364,7 @@ typedef int (*DD_QSFP)(const void *, const void *);
SeeAlso [Cudd_NotCond]
******************************************************************************/
#define Cudd_Not(node) ((DdNode *)((long)(node) ^ 01))
#define Cudd_Not(node) ((DdNode *)((ptrint)(node) ^ 01))
/**Macro***********************************************************************
@ -380,7 +380,7 @@ typedef int (*DD_QSFP)(const void *, const void *);
SeeAlso [Cudd_Not]
******************************************************************************/
#define Cudd_NotCond(node,c) ((DdNode *)((long)(node) ^ (c)))
#define Cudd_NotCond(node,c) ((DdNode *)((ptrint)(node) ^ (c)))
/**Macro***********************************************************************
@ -394,7 +394,7 @@ typedef int (*DD_QSFP)(const void *, const void *);
SeeAlso [Cudd_Complement Cudd_IsComplement]
******************************************************************************/
#define Cudd_Regular(node) ((DdNode *)((unsigned long)(node) & ~01))
#define Cudd_Regular(node) ((DdNode *)((ptruint)(node) & ~01))
/**Macro***********************************************************************
@ -408,7 +408,7 @@ typedef int (*DD_QSFP)(const void *, const void *);
SeeAlso [Cudd_Regular Cudd_IsComplement]
******************************************************************************/
#define Cudd_Complement(node) ((DdNode *)((unsigned long)(node) | 01))
#define Cudd_Complement(node) ((DdNode *)((ptruint)(node) | 01))
/**Macro***********************************************************************
@ -422,7 +422,7 @@ typedef int (*DD_QSFP)(const void *, const void *);
SeeAlso [Cudd_Regular Cudd_Complement]
******************************************************************************/
#define Cudd_IsComplement(node) ((int) ((long) (node) & 01))
#define Cudd_IsComplement(node) ((int) ((ptrint) (node) & 01))
/**Macro***********************************************************************

5
src/bdd/cudd/cuddInt.h
View File

@ -247,6 +247,7 @@ typedef struct DdHook { /* hook list element */
struct DdHook *next; /* next element in the list */
} DdHook;
/*
#if SIZEOF_VOID_P == 8 && SIZEOF_INT == 4
typedef long ptrint;
typedef unsigned long ptruint;
@ -254,6 +255,10 @@ typedef unsigned long ptruint;
typedef int ptrint;
typedef unsigned int ptruint;
#endif
*/
typedef ABC_PTRINT_T ptrint;
typedef ABC_PTRUINT_T ptruint;
#ifdef __osf__
#pragma pointer_size save