Lines Matching refs:typeOfIRExpr
519 aTy = typeOfIRExpr(env->type_env, arg);
560 aTy = typeOfIRExpr(env->type_env, arg);
716 IRType ty = typeOfIRExpr(env->type_env, e);
797 IRType ty = typeOfIRExpr(env->type_env, e);
1795 typeOfIRExpr(env->type_env, e->Iex.ITE.cond) == Ity_I1) {
1908 IRType ty = typeOfIRExpr(env->type_env, e);
1976 IRType ty = typeOfIRExpr(env->type_env, e);
2015 IRType ty = typeOfIRExpr(env->type_env, e);
2048 vassert(typeOfIRExpr(env->type_env, e) == Ity_I1);
2190 vassert(typeOfIRExpr(env->type_env, e) == Ity_I128);
2290 vassert(typeOfIRExpr(env->type_env, e) == Ity_I64);
2349 vassert(typeOfIRExpr(env->type_env, e->Iex.ITE.cond) == Ity_I1);
2983 IRType ty = typeOfIRExpr(env->type_env, e);
3395 && typeOfIRExpr(env->type_env, e->Iex.ITE.cond) == Ity_I1) {
3424 IRType ty = typeOfIRExpr(env->type_env, e);
3615 && typeOfIRExpr(env->type_env, e->Iex.ITE.cond) == Ity_I1) {
3650 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Store.data);
3698 IRType ty = typeOfIRExpr(env->type_env, stmt->Ist.Put.data);
3904 IRType tyAddr = typeOfIRExpr(env->type_env, stmt->Ist.LLSC.addr);
3929 IRType tyData = typeOfIRExpr(env->type_env,
