Lines Matching defs:Orig
129 static IRTemp findShadowTmpB ( struct _MCEnv* mce, IRTemp orig );
142 When .kind is Orig, .shadowV and .shadowB may give the identities
152 enum { Orig=1, VSh=2, BSh=3 }
179 total number of Orig, V- and B- temps allocated so far.
247 static IRTemp findShadowTmpV ( MCEnv* mce, IRTemp orig )
250 /* VG_(indexXA) range-checks 'orig', hence no need to check
252 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
253 tl_assert(ent->kind == Orig);
256 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh );
259 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
260 tl_assert(ent->kind == Orig);
277 static void newShadowTmpV ( MCEnv* mce, IRTemp orig )
280 /* VG_(indexXA) range-checks 'orig', hence no need to check
282 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
283 tl_assert(ent->kind == Orig);
286 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh );
289 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
290 tl_assert(ent->kind == Orig);
317 return ent->kind == Orig;
439 case 'C': k = Orig; break;
440 /* happens when we are making up new "orig"
1170 orig->shadow tmp mapping to reflect the fact that this shadow is
4240 /* Either ORIG and SHADOW are both IRExpr.RdTmps, or they are both
4245 shadow temporary associated with ORIG. That is, ORIG, being an
4251 IRExpr.RdTmps of ORIG's shadow temp will correctly pick up the
4255 ORIG, and force it to be associated with ORIG.
4257 How do we know that that shadow associated with ORIG has not so far
4265 IRAtom* orig, IRAtom* shadow )
4267 tl_assert(isOriginalAtom(mce, orig));
4269 switch (orig->tag) {
4276 assign('V', mce, findShadowTmpV(mce,orig->Iex.RdTmp.tmp),
4280 assign('B', mce, findShadowTmpB(mce,orig->Iex.RdTmp.tmp),
4914 ent.kind = Orig;
5308 static IRTemp findShadowTmpB ( MCEnv* mce, IRTemp orig )
5311 /* VG_(indexXA) range-checks 'orig', hence no need to check
5313 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
5314 tl_assert(ent->kind == Orig);
5320 ent = (TempMapEnt*)VG_(indexXA)( mce->tmpMap, (Word)orig );
5321 tl_assert(ent->kind == Orig);