Lines Matching refs:tyenv
153 in MCEnv.sb->tyenv.
189 relevant entry in sb->tyenv. It follows that at all times
191 tmpMap and sb->tyenv are identical, being 0 .. N-1 where N is
197 "typeOfIRExpr(mce->bb->tyenv, ...)" at various places in the
254 IRTemp tmp = newIRTemp(mce->sb->tyenv, ty);
275 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh );
305 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh );
460 IRType tyE = typeOfIRExpr(mce->sb->tyenv, e);
764 src_ty = typeOfIRExpr(mce->sb->tyenv, vbits);
1240 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
1451 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
1579 IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1);
1580 IRType t2 = typeOfIRExpr(mce->sb->tyenv, va2);
1628 IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1);
1629 IRType t2 = typeOfIRExpr(mce->sb->tyenv, va2);
1630 IRType t3 = typeOfIRExpr(mce->sb->tyenv, va3);
1762 IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1);
1763 IRType t2 = typeOfIRExpr(mce->sb->tyenv, va2);
1764 IRType t3 = typeOfIRExpr(mce->sb->tyenv, va3);
1765 IRType t4 = typeOfIRExpr(mce->sb->tyenv, va4);
1847 if (typeOfIRExpr(mce->sb->tyenv, exprvec[i]) != Ity_I64)
4878 ty = typeOfIRExpr(mce->sb->tyenv, vbits0);
4904 return definedOfType(shadowTypeV(typeOfIRExpr(mce->sb->tyenv, e)));
4969 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
5049 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
5052 ty = typeOfIRExpr(mce->sb->tyenv, vdata);
5380 tyAddr = typeOfIRExpr(mce->sb->tyenv, d->mAddr);
5431 tyDst = typeOfIRTemp(mce->sb->tyenv, d->tmp);
5747 elemTy = typeOfIRExpr(mce->sb->tyenv, cas->expdLo);
5841 elemTy = typeOfIRExpr(mce->sb->tyenv, cas->expdLo);
5995 IRType resTy = typeOfIRTemp(mce->sb->tyenv, stResult);
6016 IRType dataTy = typeOfIRExpr(mce->sb->tyenv,
6285 .sb->tyenv and .tmpMap together, so the valid index-set for
6310 VG_(hintSizeXA) (mce.tmpMap, sb_in->tyenv->types_used);
6311 for (i = 0; i < sb_in->tyenv->types_used; i++) {
6318 tl_assert( VG_(sizeXA)( mce.tmpMap ) == sb_in->tyenv->types_used );
6394 IRType ty_v = typeOfIRTemp(sb_out->tyenv, tmp_v);
6398 tl_assert(typeOfIRTemp(sb_out->tyenv, tmp_b) == Ity_I32);
6554 tl_assert( VG_(sizeXA)( mce.tmpMap ) == mce.sb->tyenv->types_used );
6755 IRType aTy = typeOfIRExpr( mce->sb->tyenv, baseaddr );
6870 IRType aTy = typeOfIRExpr( mce->sb->tyenv, baseaddr );
6875 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
6918 IRType eTy = typeOfIRExpr(mce->sb->tyenv, e);
6927 IRType eTy = typeOfIRExpr(mce->sb->tyenv, e);
7290 dszB = sizeofIRType( typeOfIRExpr(mce->sb->tyenv, stData ) );
7407 = typeOfIRTemp(mce->sb->tyenv, st->Ist.LLSC.result);
7433 sizeofIRType(typeOfIRExpr(mce->sb->tyenv, st->Ist.Put.data))
