Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRExpr

330    IRType arg_ty = typeOfIRExpr(env->type_env, arg);
504 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32);
520 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32);
738 IRType ty = typeOfIRExpr(env->type_env,e);
1353 && typeOfIRExpr(env->type_env,e->Iex.Mux0X.cond) == Ity_I8) {
1418 IRType ty = typeOfIRExpr(env->type_env,e);
1505 IRType ty = typeOfIRExpr(env->type_env,e);
1565 IRType ty = typeOfIRExpr(env->type_env,e);
1613 IRType ty = typeOfIRExpr(env->type_env,e);
1650 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
1935 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64);
2765 IRType ty = typeOfIRExpr(env->type_env,e);
2882 IRType ty = typeOfIRExpr(env->type_env,e);
3093 && typeOfIRExpr(env->type_env,e->Iex.Mux0X.cond) == Ity_I8) {
3147 IRType ty = typeOfIRExpr(env->type_env,e);
3707 IRType tya = typeOfIRExpr(env->type_env, stmt->Ist.Store.addr);
3708 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Store.data);
3760 IRType ty = typeOfIRExpr(env->type_env, stmt->Ist.Put.data);
3821 IRType ty = typeOfIRExpr(env->type_env, stmt->Ist.PutI.data);
3973 IRType ty = typeOfIRExpr(env->type_env, cas->dataLo);
3998 IRType ty = typeOfIRExpr(env->type_env, cas->dataLo);