luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-09-06 09:07:01 +02:00
Code Issues Packages Projects Releases Wiki Activity

Bug fix in programmable cell parser and minor tuning.

Browse Source
This commit is contained in:
Alan Mishchenko
2015-07-08 16:59:22 -07:00
parent 609be7a114
commit fd5b7e8b5d
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/map/if/ifTune.c
+2 -1
View File
@@ -73,7 +73,7 @@ struct Ifn_Ntk_t_
int nObjs; // objects
Ifn_Obj_t Nodes[2*IFN_INS]; // nodes
// constraints
int pConstr[IFN_INS]; // constraint pairs
int pConstr[IFN_INS*IFN_INS]; // constraint pairs
int nConstr; // number of pairs
// user data
int nVars; // variables
@@ -429,6 +429,7 @@ void Ifn_NtkParseConstraints( char * pStr, Ifn_Ntk_t * p )
for ( k = 0; pStr[k]; k++ )
if ( pStr[k] == 'A' + i && pStr[k-1] == ';' )
{
assert( p->nConstr < IFN_INS*IFN_INS );
p->pConstr[p->nConstr++] = ((int)(pStr[k] - 'A') << 16) | (int)(pStr[k+1] - 'A');
// printf( "Added constraint (%c < %c)\n", pStr[k], pStr[k+1] );
}