• Home
  • Raw
  • Download

Lines Matching refs:tyenv

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