Lines Matching refs:typeOfIRExpr
860 IRType ty = typeOfIRExpr(env->type_env, arg);
939 IRType ty = typeOfIRExpr(env->type_env, arg);
1139 vassert(typeOfIRExpr(env->type_env,mode) == Ity_I32);
1147 vassert(typeOfIRExpr(env->type_env, env->previous_rm) == Ity_I32);
1232 IRType ty = typeOfIRExpr(env->type_env,e);
1371 IRType ty = typeOfIRExpr(env->type_env,e);
2359 typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
2448 IRType ty = typeOfIRExpr(env->type_env,e);
2549 IRType ty = typeOfIRExpr(env->type_env,e);
2608 IRType ty = typeOfIRExpr(env->type_env,e);
2660 IRType ty = typeOfIRExpr(env->type_env,e);
2705 IRType ty = typeOfIRExpr(env->type_env,e);
2737 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
2940 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128);
3023 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128);
3075 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64);
3660 IRType ty = typeOfIRExpr(env->type_env,e);
3830 IRType ty = typeOfIRExpr(env->type_env,e);
4087 && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
4115 IRType ty = typeOfIRExpr( env->type_env, e );
4166 IRType ty = typeOfIRExpr( env->type_env, e );
4441 vassert( typeOfIRExpr(env->type_env,e) == Ity_D128 );
4716 IRType ty = typeOfIRExpr(env->type_env,e);
5273 IRType tya = typeOfIRExpr(env->type_env, stmt->Ist.Store.addr);
5274 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Store.data);
5355 IRType ty = typeOfIRExpr(env->type_env, stmt->Ist.Put.data);
5420 IRType ty = typeOfIRExpr(env->type_env, puti->data);
5533 IRType tyAddr = typeOfIRExpr(env->type_env, stmt->Ist.LLSC.addr);
5561 IRType tyData = typeOfIRExpr(env->type_env,
