summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-09-12 14:52:58 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-09-12 14:52:58 -0700
commit0a346a36a290d558e177de62a5bb1ec649d0f74d (patch)
tree498d8c8001968d08addf5811b88c6a74f4a631b4 /src
parent9b02a26a80e59bede18c4bd2650ad7f39a3a71f3 (diff)
downloadabc-0a346a36a290d558e177de62a5bb1ec649d0f74d.tar.gz
abc-0a346a36a290d558e177de62a5bb1ec649d0f74d.tar.bz2
abc-0a346a36a290d558e177de62a5bb1ec649d0f74d.zip
Improvements to the new technology mapper.
Diffstat (limited to 'src')
-rw-r--r--src/aig/gia/giaJf.c12
1 files changed, 5 insertions, 7 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c
index 7a99d466..d5fa3c7f 100644
--- a/src/aig/gia/giaJf.c
+++ b/src/aig/gia/giaJf.c
@@ -35,11 +35,11 @@ ABC_NAMESPACE_IMPL_START
typedef struct Jf_Cut_t_ Jf_Cut_t;
struct Jf_Cut_t_
{
- word Sign;
- float Flow;
- int Time;
- int iFunc;
- int pCut[JF_LEAF_MAX+1];
+ word Sign; // signature
+ float Flow; // flow
+ int Time; // arrival time
+ int iFunc; // function
+ int pCut[JF_LEAF_MAX+1]; // cut
};
typedef struct Jf_Man_t_ Jf_Man_t;
@@ -1222,7 +1222,6 @@ Gia_Man_t * Jf_ManDeriveMappingGia( Jf_Man_t * p )
}
Gia_ManForEachCo( p->pGia, pObj, i )
{
- int s = Gia_ObjFaninId0p(p->pGia, pObj);
iLit = Vec_IntEntry( vCopies, Gia_ObjFaninId0p(p->pGia, pObj) );
Gia_ManAppendCo( pNew, Abc_LitNotCond(iLit, Gia_ObjFaninC0(pObj)) );
}
@@ -1243,7 +1242,6 @@ Gia_Man_t * Jf_ManDeriveMappingGia( Jf_Man_t * p )
// attach mapping and packing
assert( pNew->vMapping == NULL );
pNew->vMapping = vMapping;
-// Gia_ManMappingVerify( p->pGia );
Gia_ManSetRegNum( pNew, Gia_ManRegNum(p->pGia) );
return pNew;
}