diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-07-04 16:02:44 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-07-04 16:02:44 +0200 |
| commit | 163af36fee3bdc3fe0e8ce629cba333cb2cff199 (patch) | |
| tree | c4004a295813151478fe8b36a41725457cc6ea17 /src/aig/gia/giaSwitch.c | |
| parent | 18634305282c81b0f4a08de4ebca6ccc95b11748 (diff) | |
| parent | c23cd0a7c5f4264b3209f127885b8d5432f2fd5a (diff) | |
| download | abc-163af36fee3bdc3fe0e8ce629cba333cb2cff199.tar.gz abc-163af36fee3bdc3fe0e8ce629cba333cb2cff199.tar.bz2 abc-163af36fee3bdc3fe0e8ce629cba333cb2cff199.zip | |
Merge remote-tracking branch 'upstream/master' into yosys-experimental
Diffstat (limited to 'src/aig/gia/giaSwitch.c')
| -rw-r--r-- | src/aig/gia/giaSwitch.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/aig/gia/giaSwitch.c b/src/aig/gia/giaSwitch.c index b1c5eb82..4722ef0f 100644 --- a/src/aig/gia/giaSwitch.c +++ b/src/aig/gia/giaSwitch.c @@ -795,6 +795,14 @@ float Gia_ManComputeSwitching( Gia_Man_t * p, int nFrames, int nPref, int fProbO Gia_ManForEachAnd( p, pObj, i ) SwiTotal += pSwi[Gia_ObjFaninId0(pObj, i)] + pSwi[Gia_ObjFaninId1(pObj, i)]; } + if ( 0 ) + { + Gia_ManForEachObj( p, pObj, i ) + { + printf( "Switch %6.2f ", pSwi[i] ); + Gia_ObjPrint( p, pObj ); + } + } Vec_IntFree( vSwitching ); return SwiTotal; } |