Lines Matching refs:typeOfIRExpr
3545 IRType typeOfIRExpr ( const IRTypeEnv* tyenv, const IRExpr* e )
3581 /* return typeOfIRExpr(tyenv, e->Iex.ITE.iffalse); */
3583 vpanic("typeOfIRExpr: Binder is not a valid expression");
3585 vpanic("typeOfIRExpr: VECRET is not a valid expression");
3587 vpanic("typeOfIRExpr: BBPTR is not a valid expression");
3590 vpanic("typeOfIRExpr");
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))
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)
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))
4291 if (typeOfIRExpr(tyenv, cas->addr) != gWordTy) goto bad_cas;
4293 tyExpd = typeOfIRExpr(tyenv, cas->expdLo);
4294 tyData = typeOfIRExpr(tyenv, cas->dataLo);
4308 tyExpd = typeOfIRExpr(tyenv, cas->expdHi);
4309 tyData = typeOfIRExpr(tyenv, cas->dataHi);
4326 if (typeOfIRExpr(tyenv, stmt->Ist.LLSC.addr) != gWordTy)
4340 tyData = typeOfIRExpr(tyenv, stmt->Ist.LLSC.storedata);
4379 if (typeOfIRExpr(tyenv, d->guard) != Ity_I1)
4398 if (typeOfIRExpr(tyenv, arg) == Ity_I1)
4449 if (typeOfIRExpr(tyenv,stmt->Ist.Exit.guard) != Ity_I1)
4592 if (typeOfIRExpr(bb->tyenv,bb->next) != guest_word_size)
