Home | History | Annotate | Download | only in exp-sgcheck

Lines Matching refs:pce

554    Shadow IRTemps are therefore allocated on demand.  pce.tmpMap is a
572 both the table in pce->sb and to our auxiliary mapping. Note that
573 newTemp may cause pce->tmpMap to resize, hence previous results
574 from VG_(indexXA)(pce->tmpMap) are invalidated. */
575 static IRTemp newTemp ( PCEnv* pce, IRType ty, TempKind kind )
579 IRTemp tmp = newIRTemp(pce->sb->tyenv, ty);
582 newIx = VG_(addToXA)( pce->qmpMap, &ent );
592 static /*inline*/ void stmt ( HChar cat, PCEnv* pce, IRStmt* st ) {
593 if (pce->trace) {
598 addStmtToIRSB(pce->sb, st);
603 PCEnv* pce = (PCEnv*)opaque;
604 return newTemp( pce, ty, NonShad );
616 PCEnv pce;
638 VG_(memset)(&pce, 0, sizeof(pce));
639 pce.sb = deepCopyIRSBExceptStmts(sbIn);
640 pce.trace = verboze;
641 pce.hWordTy = hWordTy;
642 pce.gWordTy = gWordTy;
643 pce.guest_state_sizeB = layout->total_sizeB;
645 pce.qmpMap = VG_(newXA)( VG_(malloc), "pc.h_instrument.1", VG_(free),
651 VG_(addToXA)( pce.qmpMap, &ent );
653 tl_assert( VG_(sizeXA)( pce.qmpMap ) == sbIn->tyenv->types_used );
660 (void*)&pce );
669 stmt( 'C', &pce, sbIn->stmts[i] );
682 sg_instrument_IRStmt( sgenv, pce.sb, sbIn->stmts[i],
685 stmt( 'C', &pce, sbIn->stmts[i] );
689 sg_instrument_final_jump( sgenv, pce.sb, sbIn->next, sbIn->jumpkind,
697 tl_assert( VG_(sizeXA)( pce.qmpMap ) == pce.sb->tyenv->types_used );
698 VG_(deleteXA)( pce.qmpMap );
700 return pce.sb;