Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRExpr

378    vassert(typeOfIRExpr(env->type_env, e) == Ity_I64);
569 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
627 vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
924 IRType ty = typeOfIRExpr(env->type_env,e);
1863 && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
1950 IRType ty = typeOfIRExpr(env->type_env,e);
2049 IRType ty = typeOfIRExpr(env->type_env,e);
2118 IRType ty = typeOfIRExpr(env->type_env,e);
2175 IRType ty = typeOfIRExpr(env->type_env,e);
2212 vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
2478 vassert(typeOfIRExpr(env->type_env,e) == Ity_I128);
2568 IRType ty = typeOfIRExpr(env->type_env,e);
2755 IRType ty = typeOfIRExpr(env->type_env,e);
3089 vassert(typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1);
3126 IRType ty = typeOfIRExpr(env->type_env,e);
3739 IRType ty = typeOfIRExpr(env->type_env,e);
4293 typeOfIRExpr(env->type_env, stmt->Ist.Store.addr);
4294 IRType tyd = typeOfIRExpr(env->type_env, stmt->Ist.Store.data);
4347 IRType ty = typeOfIRExpr(env->type_env, stmt->Ist.Put.data);
4413 IRType ty = typeOfIRExpr(env->type_env, puti->data);
4608 IRType ty = typeOfIRExpr(env->type_env, cas->dataLo);
4634 IRType ty = typeOfIRExpr(env->type_env, cas->dataLo);