Lines Matching defs:Orig
135 static IRTemp findShadowTmpB ( struct _MCEnv* mce, IRTemp orig );
148 When .kind is Orig, .shadowV and .shadowB may give the identities
158 enum { Orig=1, VSh=2, BSh=3 }
185 total number of Orig, V- and B- temps allocated so far.
259 static IRTemp findShadowTmpV ( MCEnv* mce, IRTemp orig )
262 /* VG_(indexXA) range-checks 'orig', hence no need to check
264 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
265 tl_assert(ent->kind == Orig);
268 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh );
271 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
272 tl_assert(ent->kind == Orig);
289 static void newShadowTmpV ( MCEnv* mce, IRTemp orig )
292 /* VG_(indexXA) range-checks 'orig', hence no need to check
294 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
295 tl_assert(ent->kind == Orig);
298 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh );
301 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
302 tl_assert(ent->kind == Orig);
329 return ent->kind == Orig;
458 case 'C': k = Orig; break;
459 /* happens when we are making up new "orig"
1292 True at run-time. Do the update by setting the orig->shadow
5263 /* Either ORIG and SHADOW are both IRExpr.RdTmps, or they are both
5268 shadow temporary associated with ORIG. That is, ORIG, being an
5274 IRExpr.RdTmps of ORIG's shadow temp will correctly pick up the
5278 ORIG, and force it to be associated with ORIG.
5280 How do we know that that shadow associated with ORIG has not so far
5288 IRAtom* orig, IRAtom* shadow )
5290 tl_assert(isOriginalAtom(mce, orig));
5292 switch (orig->tag) {
5299 assign('V', mce, findShadowTmpV(mce,orig->Iex.RdTmp.tmp),
5303 assign('B', mce, findShadowTmpB(mce,orig->Iex.RdTmp.tmp),
6027 ent.kind = Orig;
6424 static IRTemp findShadowTmpB ( MCEnv* mce, IRTemp orig )
6427 /* VG_(indexXA) range-checks 'orig', hence no need to check
6429 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
6430 tl_assert(ent->kind == Orig);
6436 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
6437 tl_assert(ent->kind == Orig);
