Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRExpr

304       vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32 ||
305 typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
321 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32
322 || typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
403 IRType ty = typeOfIRExpr(env->type_env, e);
454 IRType ty = typeOfIRExpr(env->type_env, e);
1040 typeOfIRExpr(env->type_env, e->Iex.ITE.cond) == Ity_I1) {
1146 IRType ty = typeOfIRExpr(env->type_env, e);
1213 IRType ty = typeOfIRExpr(env->type_env, e);
1254 vassert(typeOfIRExpr(env->type_env, e) == Ity_I1);
1411 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Store.data);
1428 IRType ty = typeOfIRExpr(env->type_env, stmt->Ist.Put.data);
1448 IRType dty = typeOfIRExpr(env->type_env, stmt->Ist.WrTmp.data);
1514 IRType ty = typeOfIRExpr(env->type_env, cas->dataLo);