Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRExpr

347    IRType arg_ty = typeOfIRExpr(env->type_env, arg);
521             vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32);
537             vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I32);
755    IRType ty = typeOfIRExpr(env->type_env,e);
1371          && typeOfIRExpr(env->type_env,e->Iex.Mux0X.cond) == Ity_I8) {
1436    IRType ty = typeOfIRExpr(env->type_env,e);
1523    IRType ty = typeOfIRExpr(env->type_env,e);
1583    IRType ty = typeOfIRExpr(env->type_env,e);
1631    IRType ty = typeOfIRExpr(env->type_env,e);
1668    vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
1953    vassert(typeOfIRExpr(env->type_env,e) == Ity_I64);
2783    IRType ty = typeOfIRExpr(env->type_env,e);
2900    IRType ty = typeOfIRExpr(env->type_env,e);
3112          && typeOfIRExpr(env->type_env,e->Iex.Mux0X.cond) == Ity_I8) {
3166    IRType    ty = typeOfIRExpr(env->type_env,e);
3726       IRType    tya   = typeOfIRExpr(env->type_env, stmt->Ist.Store.addr);
3727       IRType    tyd   = typeOfIRExpr(env->type_env, stmt->Ist.Store.data);
3779       IRType ty = typeOfIRExpr(env->type_env, stmt->Ist.Put.data);
3842       IRType ty = typeOfIRExpr(env->type_env, puti->data);
3994          IRType ty  = typeOfIRExpr(env->type_env, cas->dataLo);
4019          IRType ty  = typeOfIRExpr(env->type_env, cas->dataLo);