Lines Matching defs:Orig
142 static IRTemp findShadowTmpB ( struct _MCEnv* mce, IRTemp orig );
155 When .kind is Orig, .shadowV and .shadowB may give the identities
165 enum { Orig=1, VSh=2, BSh=3 }
192 total number of Orig, V- and B- temps allocated so far.
266 static IRTemp findShadowTmpV ( MCEnv* mce, IRTemp orig )
269 /* VG_(indexXA) range-checks 'orig', hence no need to check
271 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
272 tl_assert(ent->kind == Orig);
275 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh );
278 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
279 tl_assert(ent->kind == Orig);
296 static void newShadowTmpV ( MCEnv* mce, IRTemp orig )
299 /* VG_(indexXA) range-checks 'orig', hence no need to check
301 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
302 tl_assert(ent->kind == Orig);
305 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh );
308 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
309 tl_assert(ent->kind == Orig);
336 return ent->kind == Orig;
466 case 'C': k = Orig; break;
467 /* happens when we are making up new "orig"
1361 True at run-time. Do the update by setting the orig->shadow
5547 /* Either ORIG and SHADOW are both IRExpr.RdTmps, or they are both
5552 shadow temporary associated with ORIG. That is, ORIG, being an
5558 IRExpr.RdTmps of ORIG's shadow temp will correctly pick up the
5562 ORIG, and force it to be associated with ORIG.
5564 How do we know that that shadow associated with ORIG has not so far
5572 IRAtom* orig, IRAtom* shadow )
5574 tl_assert(isOriginalAtom(mce, orig));
5576 switch (orig->tag) {
5583 assign('V', mce, findShadowTmpV(mce,orig->Iex.RdTmp.tmp),
5587 assign('B', mce, findShadowTmpB(mce,orig->Iex.RdTmp.tmp),
6313 ent.kind = Orig;
6713 static IRTemp findShadowTmpB ( MCEnv* mce, IRTemp orig )
6716 /* VG_(indexXA) range-checks 'orig', hence no need to check
6718 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
6719 tl_assert(ent->kind == Orig);
6725 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
6726 tl_assert(ent->kind == Orig);
