Correction d'un bug dans la construction des beaux/beout du VBE resultant
de la synthese d'une multi-FSM
This commit is contained in:
parent
6cc1357f18
commit
81109494a5
|
@ -132,6 +132,7 @@ void SyfFsmTreatOutput( FsmFigure, FbhFigure )
|
||||||
syfout *ScanSyfOut;
|
syfout *ScanSyfOut;
|
||||||
syfregout *OutArray;
|
syfregout *OutArray;
|
||||||
fbout_list *FbhOut;
|
fbout_list *FbhOut;
|
||||||
|
fbaux_list *ScanAux;
|
||||||
fbrin_list *FbhRin;
|
fbrin_list *FbhRin;
|
||||||
fbreg_list *FbhReg;
|
fbreg_list *FbhReg;
|
||||||
fbbiabl_list *FbhBiAbl;
|
fbbiabl_list *FbhBiAbl;
|
||||||
|
@ -172,8 +173,22 @@ void SyfFsmTreatOutput( FsmFigure, FbhFigure )
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
for ( ScanAux = FbhFigure->BEAUX;
|
||||||
|
ScanAux != (fbaux_list *)0;
|
||||||
|
ScanAux = ScanAux->NEXT )
|
||||||
|
{
|
||||||
|
if ( ScanAux->NAME == ScanOut->NAME ) break;
|
||||||
|
}
|
||||||
|
|
||||||
|
if ( ScanAux == (fbaux_list *)0 )
|
||||||
|
{
|
||||||
FbhOut = fbh_addfbout( FbhOut, ScanOut->NAME, AblExpr, (bddnode *)0, 0 );
|
FbhOut = fbh_addfbout( FbhOut, ScanOut->NAME, AblExpr, (bddnode *)0, 0 );
|
||||||
}
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
|
ScanAux->ABL = AblExpr;
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
if ( SyfInfo->REG_OUT )
|
if ( SyfInfo->REG_OUT )
|
||||||
|
|
Loading…
Reference in New Issue