Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRExpr

250    vassert(typeOfIRExpr(env->type_env, expr) == Ity_I64);
494 IRType ty = typeOfIRExpr(env->type_env, expr);
670 IRType ty = typeOfIRExpr(env->type_env, expr);
1042 if (typeOfIRExpr(env->type_env, arg) == Ity_I1) {
1274 size = sizeofIRType(typeOfIRExpr(env->type_env, expr->Iex.Mux0X.exprX));
1300 size = sizeofIRType(typeOfIRExpr(env->type_env, expr->Iex.Mux0X.expr0));
1333 IRType ty = typeOfIRExpr(env->type_env, expr);
1378 IRType ty = typeOfIRExpr(env->type_env, expr);
1607 IRType ty = typeOfIRExpr(env->type_env, expr);
1887 vassert(typeOfIRExpr(env->type_env, cond) == Ity_I1);
1926 size = sizeofIRType(typeOfIRExpr(env->type_env, arg));
1953 size = sizeofIRType(typeOfIRExpr(env->type_env, arg));
1969 size = sizeofIRType(typeOfIRExpr(env->type_env, arg1));
2104 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Store.data);
2139 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Put.data);