Skip to content
Projects
Groups
Snippets
Help
This project
Loading...
Sign in / Register
Toggle navigation
A
abc
Overview
Overview
Details
Activity
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
lvzhengyang
abc
Commits
c618cee6
Commit
c618cee6
authored
Mar 25, 2018
by
Alan Mishchenko
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Adding new NPN code (compiler fix).
parent
54813798
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
9 additions
and
9 deletions
+9
-9
src/opt/dau/dauCanon.c
+9
-9
No files found.
src/opt/dau/dauCanon.c
View file @
c618cee6
...
@@ -294,7 +294,7 @@ static inline int Abc_TtCompare2VarCofsRev( word * pTruth, int nWords, int iVar,
...
@@ -294,7 +294,7 @@ static inline int Abc_TtCompare2VarCofsRev( word * pTruth, int nWords, int iVar,
***********************************************************************/
***********************************************************************/
#define DO_SMALL_TRUTHTABLE 0
#define DO_SMALL_TRUTHTABLE 0
inline
void
Abc_TtNormalizeSmallTruth
(
word
*
pTruth
,
int
nVars
)
static
inline
void
Abc_TtNormalizeSmallTruth
(
word
*
pTruth
,
int
nVars
)
{
{
#if DO_SMALL_TRUTHTABLE
#if DO_SMALL_TRUTHTABLE
if
(
nVars
<
6
)
if
(
nVars
<
6
)
...
@@ -1404,14 +1404,14 @@ static void Abc_TginitMan(Abc_TgMan_t * pMan, word * pTruth, int nVars)
...
@@ -1404,14 +1404,14 @@ static void Abc_TginitMan(Abc_TgMan_t * pMan, word * pTruth, int nVars)
}
}
}
}
inline
void
Abc_TgManCopy
(
Abc_TgMan_t
*
pDst
,
word
*
pDstTruth
,
Abc_TgMan_t
*
pSrc
)
static
inline
void
Abc_TgManCopy
(
Abc_TgMan_t
*
pDst
,
word
*
pDstTruth
,
Abc_TgMan_t
*
pSrc
)
{
{
*
pDst
=
*
pSrc
;
*
pDst
=
*
pSrc
;
Abc_TtCopy
(
pDstTruth
,
pSrc
->
pTruth
,
Abc_TtWordNum
(
pSrc
->
nVars
),
0
);
Abc_TtCopy
(
pDstTruth
,
pSrc
->
pTruth
,
Abc_TtWordNum
(
pSrc
->
nVars
),
0
);
pDst
->
pTruth
=
pDstTruth
;
pDst
->
pTruth
=
pDstTruth
;
}
}
inline
int
Abc_TgCannonVerify
(
Abc_TgMan_t
*
pMan
)
static
inline
int
Abc_TgCannonVerify
(
Abc_TgMan_t
*
pMan
)
{
{
return
Abc_TtCannonVerify
(
pMan
->
pTruth
,
pMan
->
nVars
,
pMan
->
pPermT
,
pMan
->
uPhase
);
return
Abc_TtCannonVerify
(
pMan
->
pTruth
,
pMan
->
nVars
,
pMan
->
pPermT
,
pMan
->
uPhase
);
}
}
...
@@ -1444,7 +1444,7 @@ SeeAlso []
...
@@ -1444,7 +1444,7 @@ SeeAlso []
***********************************************************************/
***********************************************************************/
inline
void
Abc_TgFlipVar
(
Abc_TgMan_t
*
pMan
,
int
iVar
)
static
inline
void
Abc_TgFlipVar
(
Abc_TgMan_t
*
pMan
,
int
iVar
)
{
{
int
nWords
=
Abc_TtWordNum
(
pMan
->
nVars
);
int
nWords
=
Abc_TtWordNum
(
pMan
->
nVars
);
int
ivp
=
pMan
->
pPermTRev
[
iVar
];
int
ivp
=
pMan
->
pPermTRev
[
iVar
];
...
@@ -1452,19 +1452,19 @@ inline void Abc_TgFlipVar(Abc_TgMan_t* pMan, int iVar)
...
@@ -1452,19 +1452,19 @@ inline void Abc_TgFlipVar(Abc_TgMan_t* pMan, int iVar)
pMan
->
uPhase
^=
1
<<
ivp
;
pMan
->
uPhase
^=
1
<<
ivp
;
}
}
inline
void
Abc_TgFlipSymGroupByVar
(
Abc_TgMan_t
*
pMan
,
int
iVar
)
static
inline
void
Abc_TgFlipSymGroupByVar
(
Abc_TgMan_t
*
pMan
,
int
iVar
)
{
{
for
(;
iVar
>=
0
;
iVar
=
pMan
->
symLink
[
iVar
])
for
(;
iVar
>=
0
;
iVar
=
pMan
->
symLink
[
iVar
])
if
(
pMan
->
symPhase
[
iVar
])
if
(
pMan
->
symPhase
[
iVar
])
Abc_TgFlipVar
(
pMan
,
iVar
);
Abc_TgFlipVar
(
pMan
,
iVar
);
}
}
inline
void
Abc_TgFlipSymGroup
(
Abc_TgMan_t
*
pMan
,
int
idx
)
static
inline
void
Abc_TgFlipSymGroup
(
Abc_TgMan_t
*
pMan
,
int
idx
)
{
{
Abc_TgFlipSymGroupByVar
(
pMan
,
pMan
->
pPerm
[
idx
]);
Abc_TgFlipSymGroupByVar
(
pMan
,
pMan
->
pPerm
[
idx
]);
}
}
inline
void
Abc_TgClearSymGroupPhase
(
Abc_TgMan_t
*
pMan
,
int
iVar
)
static
inline
void
Abc_TgClearSymGroupPhase
(
Abc_TgMan_t
*
pMan
,
int
iVar
)
{
{
for
(;
iVar
>=
0
;
iVar
=
pMan
->
symLink
[
iVar
])
for
(;
iVar
>=
0
;
iVar
=
pMan
->
symLink
[
iVar
])
pMan
->
symPhase
[
iVar
]
=
0
;
pMan
->
symPhase
[
iVar
]
=
0
;
...
@@ -2015,7 +2015,7 @@ static int Abc_TgNextPermutation(Abc_TgMan_t * pMan)
...
@@ -2015,7 +2015,7 @@ static int Abc_TgNextPermutation(Abc_TgMan_t * pMan)
return
0
;
return
0
;
}
}
inline
unsigned
grayCode
(
unsigned
a
)
{
return
a
^
(
a
>>
1
);
}
static
inline
unsigned
grayCode
(
unsigned
a
)
{
return
a
^
(
a
>>
1
);
}
static
int
grayFlip
(
unsigned
a
,
int
n
)
static
int
grayFlip
(
unsigned
a
,
int
n
)
{
{
...
@@ -2027,7 +2027,7 @@ static int grayFlip(unsigned a, int n)
...
@@ -2027,7 +2027,7 @@ static int grayFlip(unsigned a, int n)
return
-
1
;
return
-
1
;
}
}
inline
void
Abc_TgSaveBest
(
Abc_TgMan_t
*
pMan
,
Abc_TgMan_t
*
pBest
)
static
inline
void
Abc_TgSaveBest
(
Abc_TgMan_t
*
pMan
,
Abc_TgMan_t
*
pBest
)
{
{
if
(
Abc_TtCompare
(
pBest
->
pTruth
,
pMan
->
pTruth
,
Abc_TtWordNum
(
pMan
->
nVars
))
==
1
)
if
(
Abc_TtCompare
(
pBest
->
pTruth
,
pMan
->
pTruth
,
Abc_TtWordNum
(
pMan
->
nVars
))
==
1
)
Abc_TgManCopy
(
pBest
,
pBest
->
pTruth
,
pMan
);
Abc_TgManCopy
(
pBest
,
pBest
->
pTruth
,
pMan
);
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment