Lines Matching refs:tyenv
294 bb->tyenv = deepCopyIRTypeEnv(sb_in->tyenv);
412 vg_assert( typeOfIRTemp(bb->tyenv, st->Ist.WrTmp.tmp) == typeof_SP );
427 vg_assert( typeOfIRTemp(bb->tyenv, st->Ist.WrTmp.tmp) == typeof_SP );
442 vg_assert( typeOfIRTemp(bb->tyenv, st->Ist.WrTmp.tmp) == typeof_SP );
457 + sizeofIRType( typeOfIRExpr( bb->tyenv, st->Ist.Put.data ))
475 vg_assert( typeOfIRTemp(bb->tyenv, tttmp) == typeof_SP );
527 old_SP = newIRTemp(bb->tyenv, typeof_SP);
574 new_SP = newIRTemp(bb->tyenv, typeof_SP);
613 vg_assert( typeOfIRTemp(bb->tyenv, st->Ist.Put.data->Iex.RdTmp.tmp)
1002 static IRExpr* narrowTo32 ( IRTypeEnv* tyenv, IRExpr* e ) {
1003 if (typeOfIRExpr(tyenv, e) == Ity_I32) {
1006 vg_assert(typeOfIRExpr(tyenv, e) == Ity_I64);
1056 t1 = newIRTemp( bb->tyenv, ty_Word );
1059 vg_assert(typeOfIRExpr(bb->tyenv, e) == ty_Word);
1105 narrowTo32(bb->tyenv,IRExpr_RdTmp(t1)), 0, e)));
1142 IRTemp t1 = newIRTemp( bb->tyenv, ty_Word );
1143 IRTemp res = newIRTemp( bb->tyenv, ty_Word );
1185 IRExpr_GetI(descr, narrowTo32(bb->tyenv,IRExpr_RdTmp(t1)), 0)
1234 IRTemp old_R2 = newIRTemp( bb->tyenv, Ity_I64 );
1235 IRTemp old_LR = newIRTemp( bb->tyenv, Ity_I64 );