Lines Matching refs:tyenv
140 in MCEnv.sb->tyenv.
176 relevant entry in sb->tyenv. It follows that at all times
178 tmpMap and sb->tyenv are identical, being 0 .. N-1 where N is
184 "typeOfIRExpr(mce->bb->tyenv, ...)" at various places in the
235 IRTemp tmp = newIRTemp(mce->sb->tyenv, ty);
256 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh );
286 = newTemp( mce, shadowTypeV(mce->sb->tyenv->types[orig]), VSh );
434 IRType tyE = typeOfIRExpr(mce->sb->tyenv, e);
701 src_ty = typeOfIRExpr(mce->sb->tyenv, vbits);
1060 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
1244 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
1360 IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1);
1361 IRType t2 = typeOfIRExpr(mce->sb->tyenv, va2);
1409 IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1);
1410 IRType t2 = typeOfIRExpr(mce->sb->tyenv, va2);
1411 IRType t3 = typeOfIRExpr(mce->sb->tyenv, va3);
1506 IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1);
1507 IRType t2 = typeOfIRExpr(mce->sb->tyenv, va2);
1508 IRType t3 = typeOfIRExpr(mce->sb->tyenv, va3);
1509 IRType t4 = typeOfIRExpr(mce->sb->tyenv, va4);
1591 if (typeOfIRExpr(mce->sb->tyenv, exprvec[i]) != Ity_I64)
3690 ty = typeOfIRExpr(mce->sb->tyenv, vbits0);
3716 return definedOfType(shadowTypeV(typeOfIRExpr(mce->sb->tyenv, e)));
3779 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
3855 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
3858 ty = typeOfIRExpr(mce->sb->tyenv, vdata);
4097 tyAddr = typeOfIRExpr(mce->sb->tyenv, d->mAddr);
4138 tyDst = typeOfIRTemp(mce->sb->tyenv, d->tmp);
4440 elemTy = typeOfIRExpr(mce->sb->tyenv, cas->expdLo);
4533 elemTy = typeOfIRExpr(mce->sb->tyenv, cas->expdLo);
4685 IRType resTy = typeOfIRTemp(mce->sb->tyenv, stResult);
4705 IRType dataTy = typeOfIRExpr(mce->sb->tyenv,
4901 .sb->tyenv and .tmpMap together, so the valid index-set for
4912 for (i = 0; i < sb_in->tyenv->types_used; i++) {
4919 tl_assert( VG_(sizeXA)( mce.tmpMap ) == sb_in->tyenv->types_used );
4992 IRType ty_v = typeOfIRTemp(sb_out->tyenv, tmp_v);
4996 tl_assert(typeOfIRTemp(sb_out->tyenv, tmp_b) == Ity_I32);
5148 tl_assert( VG_(sizeXA)( mce.tmpMap ) == mce.sb->tyenv->types_used );
5340 IRType aTy = typeOfIRExpr( mce->sb->tyenv, baseaddr );
5397 IRType aTy = typeOfIRExpr( mce->sb->tyenv, baseaddr );
5402 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
5442 IRType eTy = typeOfIRExpr(mce->sb->tyenv, e);
5451 IRType eTy = typeOfIRExpr(mce->sb->tyenv, e);
5764 dszB = sizeofIRType( typeOfIRExpr(mce->sb->tyenv, stData ) );
5830 = typeOfIRTemp(mce->sb->tyenv, st->Ist.LLSC.result);
5856 sizeofIRType(typeOfIRExpr(mce->sb->tyenv, st->Ist.Put.data))
