Lines Matching refs:typeOfIRExpr
360 IRType arg_ty = typeOfIRExpr(env->type_env, arg);
594 vassert(typeOfIRExpr(env->type_env, arg) == Ity_I32);
621 vassert(typeOfIRExpr(env->type_env, arg) == Ity_I32);
855 IRType ty = typeOfIRExpr(env->type_env,e);
1496 && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
1559 IRType ty = typeOfIRExpr(env->type_env,e);
1646 IRType ty = typeOfIRExpr(env->type_env,e);
1706 IRType ty = typeOfIRExpr(env->type_env,e);
1754 IRType ty = typeOfIRExpr(env->type_env,e);
1791 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
2090 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64);
2888 IRType ty = typeOfIRExpr(env->type_env,e);
3005 IRType ty = typeOfIRExpr(env->type_env,e);
3222 && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
3276 IRType ty = typeOfIRExpr(env->type_env,e);
3872 IRType tya = typeOfIRExpr(env->type_env, stmt->Ist.Store.addr);
3873 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Store.data);
3925 IRType ty = typeOfIRExpr(env->type_env, stmt->Ist.Put.data);
3988 IRType ty = typeOfIRExpr(env->type_env, puti->data);
4179 IRType ty = typeOfIRExpr(env->type_env, cas->dataLo);
4204 IRType ty = typeOfIRExpr(env->type_env, cas->dataLo);