Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRExpr

361 //..    IRType arg_ty = typeOfIRExpr(env->type_env, arg);
386 vassert(typeOfIRExpr(env->type_env, e) == Ity_I64);
544 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
583 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
865 IRType ty = typeOfIRExpr(env->type_env,e);
1791 && typeOfIRExpr(env->type_env,e->Iex.Mux0X.cond) == Ity_I8) {
1879 IRType ty = typeOfIRExpr(env->type_env,e);
1978 IRType ty = typeOfIRExpr(env->type_env,e);
2047 IRType ty = typeOfIRExpr(env->type_env,e);
2104 IRType ty = typeOfIRExpr(env->type_env,e);
2141 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
2377 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128);
2811 IRType ty = typeOfIRExpr(env->type_env,e);
2931 IRType ty = typeOfIRExpr(env->type_env,e);
3214 vassert(typeOfIRExpr(env->type_env,e->Iex.Mux0X.cond) == Ity_I8);
3252 IRType ty = typeOfIRExpr(env->type_env,e);
3813 IRType tya = typeOfIRExpr(env->type_env, stmt->Ist.Store.addr);
3814 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Store.data);
3857 IRType ty = typeOfIRExpr(env->type_env, stmt->Ist.Put.data);
3911 IRType ty = typeOfIRExpr(env->type_env, stmt->Ist.PutI.data);
4048 IRType ty = typeOfIRExpr(env->type_env, cas->dataLo);
4074 IRType ty = typeOfIRExpr(env->type_env, cas->dataLo);