Lines Matching defs:tyenv
1355 ppIRTypeEnv(bb->tyenv);
1846 bb->tyenv = emptyIRTypeEnv();
2089 bb2->tyenv = deepCopyIRTypeEnv(bb->tyenv);
2939 IRType typeOfIRExpr ( IRTypeEnv* tyenv, IRExpr* e )
2951 return typeOfIRTemp(tyenv, e->Iex.RdTmp.tmp);
2975 /* return typeOfIRExpr(tyenv, e->Iex.Mux0X.expr0); */
3186 if (tmp < 0 || tmp >= bb->tyenv->types_used)
3313 IRTypeEnv* tyenv = bb->tyenv;
3320 if (typeOfIRExpr(tyenv,expr->Iex.GetI.ix) != Ity_I32)
3343 ttarg1 = typeOfIRExpr(tyenv, qop->arg1);
3344 ttarg2 = typeOfIRExpr(tyenv, qop->arg2);
3345 ttarg3 = typeOfIRExpr(tyenv, qop->arg3);
3346 ttarg4 = typeOfIRExpr(tyenv, qop->arg4);
3394 ttarg1 = typeOfIRExpr(tyenv, triop->arg1);
3395 ttarg2 = typeOfIRExpr(tyenv, triop->arg2);
3396 ttarg3 = typeOfIRExpr(tyenv, triop->arg3);
3437 ttarg1 = typeOfIRExpr(tyenv, expr->Iex.Binop.arg1);
3438 ttarg2 = typeOfIRExpr(tyenv, expr->Iex.Binop.arg2);
3467 if (t_arg1 != typeOfIRExpr(tyenv, expr->Iex.Unop.arg))
3472 if (typeOfIRExpr(tyenv, expr->Iex.Load.addr) != gWordTy)
3490 if (typeOfIRExpr(tyenv, expr->Iex.CCall.args[i]) == Ity_I1)
3501 if (typeOfIRExpr(tyenv, expr->Iex.Mux0X.cond) != Ity_I8)
3503 if (typeOfIRExpr(tyenv, expr->Iex.Mux0X.expr0)
3504 != typeOfIRExpr(tyenv, expr->Iex.Mux0X.exprX))
3521 IRTypeEnv* tyenv = bb->tyenv;
3532 if (typeOfIRExpr(tyenv, stmt->Ist.AbiHint.base) != gWordTy)
3535 if (typeOfIRExpr(tyenv, stmt->Ist.AbiHint.nia) != gWordTy)
3541 if (typeOfIRExpr(tyenv,stmt->Ist.Put.data) == Ity_I1)
3548 if (typeOfIRExpr(tyenv,puti->data) == Ity_I1)
3550 if (typeOfIRExpr(tyenv,puti->data)
3553 if (typeOfIRExpr(tyenv,puti->ix) != Ity_I32)
3560 if (typeOfIRTemp(tyenv, stmt->Ist.WrTmp.tmp)
3561 != typeOfIRExpr(tyenv, stmt->Ist.WrTmp.data))
3567 if (typeOfIRExpr(tyenv, stmt->Ist.Store.addr) != gWordTy)
3569 if (typeOfIRExpr(tyenv, stmt->Ist.Store.data) == Ity_I1)
3592 if (typeOfIRExpr(tyenv, cas->addr) != gWordTy) goto bad_cas;
3594 tyExpd = typeOfIRExpr(tyenv, cas->expdLo);
3595 tyData = typeOfIRExpr(tyenv, cas->dataLo);
3597 if (tyExpd != typeOfIRTemp(tyenv, cas->oldLo))
3609 tyExpd = typeOfIRExpr(tyenv, cas->expdHi);
3610 tyData = typeOfIRExpr(tyenv, cas->dataHi);
3612 if (tyExpd != typeOfIRTemp(tyenv, cas->oldHi))
3616 if (typeOfIRTemp(tyenv, cas->oldHi)
3617 != typeOfIRTemp(tyenv, cas->oldLo))
3626 if (typeOfIRExpr(tyenv, stmt->Ist.LLSC.addr) != gWordTy)
3630 tyRes = typeOfIRTemp(tyenv, stmt->Ist.LLSC.result);
3640 tyData = typeOfIRExpr(tyenv, stmt->Ist.LLSC.storedata);
3681 if (typeOfIRExpr(tyenv, d->guard) != Ity_I1)
3694 && typeOfIRTemp(tyenv, d->tmp) == Ity_I1)
3699 if (typeOfIRExpr(tyenv, d->args[i]) == Ity_I1)
3718 if (typeOfIRExpr(tyenv,stmt->Ist.Exit.guard) != Ity_I1)
3738 Int n_temps = bb->tyenv->types_used;
3754 IRType ty = typeOfIRTemp(bb->tyenv,(IRTemp)i);
3851 if (typeOfIRExpr(bb->tyenv,bb->next) != guest_word_size)
