summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorCatherine <whitequark@whitequark.org>2023-02-23 01:47:15 +0000
committerGitHub <noreply@github.com>2023-02-23 01:47:15 +0000
commit2c1c83f75b8078ced51f92c697da3e712feb3ac3 (patch)
treea51814bef6d73d5a7a22c03a2229e76fe094a1af /src
parent0551ef2a68c27010d482b2c14971f9a45ec24be4 (diff)
parent3f9b46591c7134bf546c14e90a29c643b8189c6e (diff)
downloadabc-yosys-experimental.tar.gz
abc-yosys-experimental.tar.bz2
abc-yosys-experimental.zip
Merge pull request #21 from xobs/cast-unsigned-signedyosys-experimental
casts: add casts for unsigned -> signed int
Diffstat (limited to 'src')
-rw-r--r--src/aig/gia/giaIso3.c2
-rw-r--r--src/base/acb/acbTest.c12
2 files changed, 7 insertions, 7 deletions
diff --git a/src/aig/gia/giaIso3.c b/src/aig/gia/giaIso3.c
index 8bea4bbf..bcd73c36 100644
--- a/src/aig/gia/giaIso3.c
+++ b/src/aig/gia/giaIso3.c
@@ -177,7 +177,7 @@ Vec_Wec_t * Gia_Iso4Gia( Gia_Man_t * p )
Vec_WecForEachLevel( vLevs, vLevel, l )
{
Gia_Obj_t * pObj; int i;
- int RandC[2] = { Abc_Random(0), Abc_Random(0) };
+ int RandC[2] = { (int)Abc_Random(0), (int)Abc_Random(0) };
if ( l == 0 )
{
Gia_ManForEachObjVec( vLevel, p, pObj, i )
diff --git a/src/base/acb/acbTest.c b/src/base/acb/acbTest.c
index 6290b88e..c664eada 100644
--- a/src/base/acb/acbTest.c
+++ b/src/base/acb/acbTest.c
@@ -421,8 +421,8 @@ Gia_Man_t * Acb_NtkGiaDeriveMiter( Gia_Man_t * pOne, Gia_Man_t * pTwo, int Type
{
for ( i = 0; i < Gia_ManCoNum(pOne); i += 2 )
{
- int pLitsF[2] = { Gia_ManCo(pOne, i)->Value, Gia_ManCo(pOne, i+1)->Value };
- int pLitsS[2] = { Gia_ManCo(pTwo, i)->Value, Gia_ManCo(pTwo, i+1)->Value };
+ int pLitsF[2] = { (int)Gia_ManCo(pOne, i)->Value, (int)Gia_ManCo(pOne, i+1)->Value };
+ int pLitsS[2] = { (int)Gia_ManCo(pTwo, i)->Value, (int)Gia_ManCo(pTwo, i+1)->Value };
Gia_ManAppendCo( pNew, pLitsF[0] );
Gia_ManAppendCo( pNew, pLitsS[0] );
}
@@ -431,8 +431,8 @@ Gia_Man_t * Acb_NtkGiaDeriveMiter( Gia_Man_t * pOne, Gia_Man_t * pTwo, int Type
{
for ( i = 0; i < Gia_ManCoNum(pOne); i += 2 )
{
- int pLitsF[2] = { Gia_ManCo(pOne, i)->Value, Gia_ManCo(pOne, i+1)->Value };
- int pLitsS[2] = { Gia_ManCo(pTwo, i)->Value, Gia_ManCo(pTwo, i+1)->Value };
+ int pLitsF[2] = { (int)Gia_ManCo(pOne, i)->Value, (int)Gia_ManCo(pOne, i+1)->Value };
+ int pLitsS[2] = { (int)Gia_ManCo(pTwo, i)->Value, (int)Gia_ManCo(pTwo, i+1)->Value };
Gia_ManAppendCo( pNew, pLitsF[1] );
Gia_ManAppendCo( pNew, pLitsS[1] );
}
@@ -441,8 +441,8 @@ Gia_Man_t * Acb_NtkGiaDeriveMiter( Gia_Man_t * pOne, Gia_Man_t * pTwo, int Type
{
for ( i = 0; i < Gia_ManCoNum(pOne); i += 2 )
{
- int pLitsF[2] = { Gia_ManCo(pOne, i)->Value, Gia_ManCo(pOne, i+1)->Value };
- int pLitsS[2] = { Gia_ManCo(pTwo, i)->Value, Gia_ManCo(pTwo, i+1)->Value };
+ int pLitsF[2] = { (int)Gia_ManCo(pOne, i)->Value, (int)Gia_ManCo(pOne, i+1)->Value };
+ int pLitsS[2] = { (int)Gia_ManCo(pTwo, i)->Value, (int)Gia_ManCo(pTwo, i+1)->Value };
Gia_ManAppendCo( pNew, Gia_ManDualCompare( pNew, pLitsF, pLitsS ) );
}
}