Lines Matching refs:tyenv
1261 ppIRTypeEnv(bb->tyenv);
1729 bb->tyenv = emptyIRTypeEnv();
1959 bb2->tyenv = deepCopyIRTypeEnv(bb->tyenv);
2686 IRType typeOfIRExpr ( IRTypeEnv* tyenv, IRExpr* e )
2698 return typeOfIRTemp(tyenv, e->Iex.RdTmp.tmp);
2722 /* return typeOfIRExpr(tyenv, e->Iex.Mux0X.expr0); */
2926 if (tmp < 0 || tmp >= bb->tyenv->types_used)
3047 IRTypeEnv* tyenv = bb->tyenv;
3054 if (typeOfIRExpr(tyenv,expr->Iex.GetI.ix) != Ity_I32)
3076 ttarg1 = typeOfIRExpr(tyenv, expr->Iex.Qop.arg1);
3077 ttarg2 = typeOfIRExpr(tyenv, expr->Iex.Qop.arg2);
3078 ttarg3 = typeOfIRExpr(tyenv, expr->Iex.Qop.arg3);
3079 ttarg4 = typeOfIRExpr(tyenv, expr->Iex.Qop.arg4);
3126 ttarg1 = typeOfIRExpr(tyenv, expr->Iex.Triop.arg1);
3127 ttarg2 = typeOfIRExpr(tyenv, expr->Iex.Triop.arg2);
3128 ttarg3 = typeOfIRExpr(tyenv, expr->Iex.Triop.arg3);
3169 ttarg1 = typeOfIRExpr(tyenv, expr->Iex.Binop.arg1);
3170 ttarg2 = typeOfIRExpr(tyenv, expr->Iex.Binop.arg2);
3199 if (t_arg1 != typeOfIRExpr(tyenv, expr->Iex.Unop.arg))
3204 if (typeOfIRExpr(tyenv, expr->Iex.Load.addr) != gWordTy)
3222 if (typeOfIRExpr(tyenv, expr->Iex.CCall.args[i]) == Ity_I1)
3233 if (typeOfIRExpr(tyenv, expr->Iex.Mux0X.cond) != Ity_I8)
3235 if (typeOfIRExpr(tyenv, expr->Iex.Mux0X.expr0)
3236 != typeOfIRExpr(tyenv, expr->Iex.Mux0X.exprX))
3252 IRTypeEnv* tyenv = bb->tyenv;
3263 if (typeOfIRExpr(tyenv, stmt->Ist.AbiHint.base) != gWordTy)
3266 if (typeOfIRExpr(tyenv, stmt->Ist.AbiHint.nia) != gWordTy)
3272 if (typeOfIRExpr(tyenv,stmt->Ist.Put.data) == Ity_I1)
3278 if (typeOfIRExpr(tyenv,stmt->Ist.PutI.data) == Ity_I1)
3280 if (typeOfIRExpr(tyenv,stmt->Ist.PutI.data)
3283 if (typeOfIRExpr(tyenv,stmt->Ist.PutI.ix) != Ity_I32)
3290 if (typeOfIRTemp(tyenv, stmt->Ist.WrTmp.tmp)
3291 != typeOfIRExpr(tyenv, stmt->Ist.WrTmp.data))
3297 if (typeOfIRExpr(tyenv, stmt->Ist.Store.addr) != gWordTy)
3299 if (typeOfIRExpr(tyenv, stmt->Ist.Store.data) == Ity_I1)
3322 if (typeOfIRExpr(tyenv, cas->addr) != gWordTy) goto bad_cas;
3324 tyExpd = typeOfIRExpr(tyenv, cas->expdLo);
3325 tyData = typeOfIRExpr(tyenv, cas->dataLo);
3327 if (tyExpd != typeOfIRTemp(tyenv, cas->oldLo))
3339 tyExpd = typeOfIRExpr(tyenv, cas->expdHi);
3340 tyData = typeOfIRExpr(tyenv, cas->dataHi);
3342 if (tyExpd != typeOfIRTemp(tyenv, cas->oldHi))
3346 if (typeOfIRTemp(tyenv, cas->oldHi)
3347 != typeOfIRTemp(tyenv, cas->oldLo))
3356 if (typeOfIRExpr(tyenv, stmt->Ist.LLSC.addr) != gWordTy)
3360 tyRes = typeOfIRTemp(tyenv, stmt->Ist.LLSC.result);
3370 tyData = typeOfIRExpr(tyenv, stmt->Ist.LLSC.storedata);
3402 if (typeOfIRExpr(tyenv, d->guard) != Ity_I1)
3405 && typeOfIRTemp(tyenv, d->tmp) == Ity_I1)
3410 if (typeOfIRExpr(tyenv, d->args[i]) == Ity_I1)
3429 if (typeOfIRExpr(tyenv,stmt->Ist.Exit.guard) != Ity_I1)
3446 Int n_temps = bb->tyenv->types_used;
3462 IRType ty = typeOfIRTemp(bb->tyenv,(IRTemp)i);
3559 if (typeOfIRExpr(bb->tyenv,bb->next) != guest_word_size)
