Lines Matching refs:tyenv
1653 ppIRTypeEnv(bb->tyenv);
2195 bb->tyenv = emptyIRTypeEnv();
2465 bb2->tyenv = deepCopyIRTypeEnv(bb->tyenv);
3545 IRType typeOfIRExpr ( const IRTypeEnv* tyenv, const IRExpr* e )
3557 return typeOfIRTemp(tyenv, e->Iex.RdTmp.tmp);
3581 /* return typeOfIRExpr(tyenv, e->Iex.ITE.iffalse); */
3816 if (tmp < 0 || tmp >= bb->tyenv->types_used)
3975 const IRTypeEnv* tyenv = bb->tyenv;
3982 if (typeOfIRExpr(tyenv,expr->Iex.GetI.ix) != Ity_I32)
4005 ttarg1 = typeOfIRExpr(tyenv, qop->arg1);
4006 ttarg2 = typeOfIRExpr(tyenv, qop->arg2);
4007 ttarg3 = typeOfIRExpr(tyenv, qop->arg3);
4008 ttarg4 = typeOfIRExpr(tyenv, qop->arg4);
4056 ttarg1 = typeOfIRExpr(tyenv, triop->arg1);
4057 ttarg2 = typeOfIRExpr(tyenv, triop->arg2);
4058 ttarg3 = typeOfIRExpr(tyenv, triop->arg3);
4099 ttarg1 = typeOfIRExpr(tyenv, expr->Iex.Binop.arg1);
4100 ttarg2 = typeOfIRExpr(tyenv, expr->Iex.Binop.arg2);
4129 if (t_arg1 != typeOfIRExpr(tyenv, expr->Iex.Unop.arg))
4134 if (typeOfIRExpr(tyenv, expr->Iex.Load.addr) != gWordTy)
4155 if (typeOfIRExpr(tyenv, expr->Iex.CCall.args[i]) == Ity_I1)
4166 if (typeOfIRExpr(tyenv, expr->Iex.ITE.cond) != Ity_I1)
4168 if (typeOfIRExpr(tyenv, expr->Iex.ITE.iftrue)
4169 != typeOfIRExpr(tyenv, expr->Iex.ITE.iffalse))
4183 const IRTypeEnv* tyenv = bb->tyenv;
4194 if (typeOfIRExpr(tyenv, stmt->Ist.AbiHint.base) != gWordTy)
4197 if (typeOfIRExpr(tyenv, stmt->Ist.AbiHint.nia) != gWordTy)
4203 if (typeOfIRExpr(tyenv,stmt->Ist.Put.data) == Ity_I1)
4210 if (typeOfIRExpr(tyenv,puti->data) == Ity_I1)
4212 if (typeOfIRExpr(tyenv,puti->data)
4215 if (typeOfIRExpr(tyenv,puti->ix) != Ity_I32)
4223 if (typeOfIRTemp(tyenv, stmt->Ist.WrTmp.tmp)
4224 != typeOfIRExpr(tyenv, stmt->Ist.WrTmp.data))
4231 if (typeOfIRExpr(tyenv, stmt->Ist.Store.addr) != gWordTy)
4234 if (typeOfIRExpr(tyenv, stmt->Ist.Store.data) == Ity_I1)
4245 if (typeOfIRExpr(tyenv, sg->addr) != gWordTy)
4247 if (typeOfIRExpr(tyenv, sg->data) == Ity_I1)
4249 if (typeOfIRExpr(tyenv, sg->guard) != Ity_I1)
4260 if (typeOfIRExpr(tyenv, lg->guard) != Ity_I1)
4262 if (typeOfIRExpr(tyenv, lg->addr) != gWordTy)
4265 if (typeOfIRExpr(tyenv, lg->alt) != typeOfIRTemp(tyenv, lg->dst))
4269 if (cvtRes != typeOfIRTemp(tyenv, lg->dst))
4291 if (typeOfIRExpr(tyenv, cas->addr) != gWordTy) goto bad_cas;
4293 tyExpd = typeOfIRExpr(tyenv, cas->expdLo);
4294 tyData = typeOfIRExpr(tyenv, cas->dataLo);
4296 if (tyExpd != typeOfIRTemp(tyenv, cas->oldLo))
4308 tyExpd = typeOfIRExpr(tyenv, cas->expdHi);
4309 tyData = typeOfIRExpr(tyenv, cas->dataHi);
4311 if (tyExpd != typeOfIRTemp(tyenv, cas->oldHi))
4315 if (typeOfIRTemp(tyenv, cas->oldHi)
4316 != typeOfIRTemp(tyenv, cas->oldLo))
4326 if (typeOfIRExpr(tyenv, stmt->Ist.LLSC.addr) != gWordTy)
4330 tyRes = typeOfIRTemp(tyenv, stmt->Ist.LLSC.result);
4340 tyData = typeOfIRExpr(tyenv, stmt->Ist.LLSC.storedata);
4379 if (typeOfIRExpr(tyenv, d->guard) != Ity_I1)
4384 retTy = typeOfIRTemp(tyenv, d->tmp);
4398 if (typeOfIRExpr(tyenv, arg) == Ity_I1)
4449 if (typeOfIRExpr(tyenv,stmt->Ist.Exit.guard) != Ity_I1)
4468 Int n_temps = bb->tyenv->types_used;
4484 IRType ty = typeOfIRTemp(bb->tyenv,(IRTemp)i);
4592 if (typeOfIRExpr(bb->tyenv,bb->next) != guest_word_size)
