From 73ba1458af9b82085451a931268f86547f48e431 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 30 Sep 2013 19:45:36 -0700 Subject: Producing AIG after structural mapping. --- src/opt/dau/dau.h | 2 +- src/opt/dau/dauGia.c | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'src/opt/dau') diff --git a/src/opt/dau/dau.h b/src/opt/dau/dau.h index 0ee50007..f91d2831 100644 --- a/src/opt/dau/dau.h +++ b/src/opt/dau/dau.h @@ -88,7 +88,7 @@ extern void Dau_DsdTruthCompose_rec( word * pFunc, word pFanins[DAU_MAX extern int Dau_DsdCheck1Step( word * pTruth, int nVarsInit ); /*=== dauGia.c ==========================================================*/ -extern int Dsm_ManDeriveGia( void * p, word uTruth, Vec_Int_t * vLeaves, Vec_Int_t * vCover ); +extern int Dsm_ManDeriveGia( void * p, word * pTruth, Vec_Int_t * vLeaves, Vec_Int_t * vCover ); /*=== dauMerge.c ==========================================================*/ extern void Dau_DsdRemoveBraces( char * pDsd, int * pMatches ); diff --git a/src/opt/dau/dauGia.c b/src/opt/dau/dauGia.c index b795336d..35965a92 100644 --- a/src/opt/dau/dauGia.c +++ b/src/opt/dau/dauGia.c @@ -210,14 +210,14 @@ int Dau_DsdToGia( Gia_Man_t * pGia, char * p, int * pLits, Vec_Int_t * vCover ) SeeAlso [] ***********************************************************************/ -int Dsm_ManDeriveGia( void * p, word uTruth, Vec_Int_t * vLeaves, Vec_Int_t * vCover ) +int Dsm_ManDeriveGia( void * p, word * pTruth, Vec_Int_t * vLeaves, Vec_Int_t * vCover ) { Gia_Man_t * pGia = (Gia_Man_t *)p; char pDsd[1000]; int nSizeNonDec; m_Calls++; // static int Counter = 0; Counter++; - nSizeNonDec = Dau_DsdDecompose( &uTruth, Vec_IntSize(vLeaves), 0, 1, pDsd ); + nSizeNonDec = Dau_DsdDecompose( pTruth, Vec_IntSize(vLeaves), 0, 1, pDsd ); if ( nSizeNonDec ) m_NonDsd++; // printf( "%s\n", pDsd ); -- cgit v1.2.3 form class='right' method='get' action='/cgit/avr/qmk/firmware/log/keyboards/halberd/rules.mk'>

path: root/keyboards/halberd/rules.mk

blob: 35c693379b9d27d8ebe2cde739cf5e5f70e825c7 (plain)