Add vOrigins propagation to Dup functions found by static analysis

Static analysis found 6 Gia_Man_t* Dup functions reachable from the
abc9 pipeline that create new GIAs without propagating vOrigins:

- Gia_ManDupFromBarBufs (giaScript.c) - used by &synch2 with boxes
- Gia_ManDupToBarBufs (giaScript.c) - used by &synch2 with boxes
- Gia_ManDupUnshuffleInputs (giaTim.c) - timing CI reordering
- Gia_ManDupMoveLast (giaTim.c) - timing CI manipulation
- Gia_ManDupHashMapping (giaIf.c) - &if hash mapping mode
- Gia_ManDupUnhashMapping (giaIf.c) - &if unhash mapping mode

All use the Value field for old->new object mapping, so the standard
Gia_ManOriginsDup call propagates origins correctly.

Co-developed-by: Claude Code v2.1.58 (claude-opus-4-6)

Author: robtaylor

src/aig/gia/giaIf.c

@@ -3300,6 +3300,7 @@ Gia_Man_t * Gia_ManDupHashMapping( Gia_Man_t * p )
         Vec_IntPush( vMapping, Abc_Lit2Var(pObj->Value) );
     }
     pNew->vMapping = vMapping;
+    Gia_ManOriginsDup( pNew, p );
     return pNew;
 }
 
@@ -3379,6 +3380,7 @@ Gia_Man_t * Gia_ManDupUnhashMapping( Gia_Man_t * p )
     }
     Vec_IntFree( vMap );
     pNew->vMapping = vMapping;
+    Gia_ManOriginsDup( pNew, p );
     return pNew;
 }
 

src/aig/gia/giaScript.c

@@ -315,6 +315,7 @@ Gia_Man_t * Gia_ManDupFromBarBufs( Gia_Man_t * p )
     Gia_ManForEachCo( p, pObj, i )
         Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(pObj) );
     Gia_ManSetRegNum( pNew, Gia_ManRegNum(p) );
+    Gia_ManOriginsDup( pNew, p );
     return pNew;
 }
 Gia_Man_t * Gia_ManDupToBarBufs( Gia_Man_t * p, int nBarBufs )
@@ -357,6 +358,7 @@ Gia_Man_t * Gia_ManDupToBarBufs( Gia_Man_t * p, int nBarBufs )
     assert( Gia_ManBufNum(pNew) == nBarBufs );
     assert( Gia_ManCiNum(pNew) == nPiReal );
     assert( Gia_ManCoNum(pNew) == nPoReal );
+    Gia_ManOriginsDup( pNew, p );
     return pNew;
 }
 

src/aig/gia/giaTim.c

@@ -241,6 +241,7 @@ Gia_Man_t * Gia_ManDupUnshuffleInputs( Gia_Man_t * p )
     Gia_ManSetRegNum( pNew, Gia_ManRegNum(p) );
     pNew->nConstrs = p->nConstrs;
     assert( Gia_ManIsNormalized(pNew) );
+    Gia_ManOriginsDup( pNew, p );
     Gia_ManDupRemapEquiv( pNew, p );
     return pNew;
 }
@@ -779,6 +780,7 @@ Gia_Man_t * Gia_ManDupMoveLast( Gia_Man_t * p, int iInsert, int nItems )
         else assert( 0 );
     }
     Gia_ManSetRegNum( pNew, Gia_ManRegNum(p) );
+    Gia_ManOriginsDup( pNew, p );
     return pNew;
 }