Lines Matching defs:Orig
130 static IRTemp findShadowTmpB ( struct _MCEnv* mce, IRTemp orig );
143 When .kind is Orig, .shadowV and .shadowB may give the identities
153 enum { Orig=1, VSh=2, BSh=3 }
180 total number of Orig, V- and B- temps allocated so far.
254 static IRTemp findShadowTmpV ( MCEnv* mce, IRTemp orig )
257 /* VG_(indexXA) range-checks 'orig', hence no need to check
259 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
260 tl_assert(ent->kind == Orig);
263 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh );
266 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
267 tl_assert(ent->kind == Orig);
284 static void newShadowTmpV ( MCEnv* mce, IRTemp orig )
287 /* VG_(indexXA) range-checks 'orig', hence no need to check
289 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
290 tl_assert(ent->kind == Orig);
293 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh );
296 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
297 tl_assert(ent->kind == Orig);
324 return ent->kind == Orig;
451 case 'C': k = Orig; break;
452 /* happens when we are making up new "orig"
1241 orig->shadow tmp mapping to reflect the fact that this shadow is
4663 /* Either ORIG and SHADOW are both IRExpr.RdTmps, or they are both
4668 shadow temporary associated with ORIG. That is, ORIG, being an
4674 IRExpr.RdTmps of ORIG's shadow temp will correctly pick up the
4678 ORIG, and force it to be associated with ORIG.
4680 How do we know that that shadow associated with ORIG has not so far
4688 IRAtom* orig, IRAtom* shadow )
4690 tl_assert(isOriginalAtom(mce, orig));
4692 switch (orig->tag) {
4699 assign('V', mce, findShadowTmpV(mce,orig->Iex.RdTmp.tmp),
4703 assign('B', mce, findShadowTmpB(mce,orig->Iex.RdTmp.tmp),
5351 ent.kind = Orig;
5741 static IRTemp findShadowTmpB ( MCEnv* mce, IRTemp orig )
5744 /* VG_(indexXA) range-checks 'orig', hence no need to check
5746 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
5747 tl_assert(ent->kind == Orig);
5753 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
5754 tl_assert(ent->kind == Orig);