Home | History | Annotate | Download | only in priv

Lines Matching refs:typeOfIRExpr

377    vassert(typeOfIRExpr(env->type_env, e) == Ity_I64);
568          vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
626          vassert(typeOfIRExpr(env->type_env, args[i]) == Ity_I64);
923    IRType ty = typeOfIRExpr(env->type_env,e);
1862           && typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1) {
1949    IRType ty = typeOfIRExpr(env->type_env,e);
2048    IRType ty = typeOfIRExpr(env->type_env,e);
2117    IRType ty = typeOfIRExpr(env->type_env,e);
2174    IRType ty = typeOfIRExpr(env->type_env,e);
2211    vassert(typeOfIRExpr(env->type_env,e) == Ity_I1);
2477    vassert(typeOfIRExpr(env->type_env,e) == Ity_I128);
2567    IRType ty = typeOfIRExpr(env->type_env,e);
2754    IRType ty = typeOfIRExpr(env->type_env,e);
3088       vassert(typeOfIRExpr(env->type_env,e->Iex.ITE.cond) == Ity_I1);
3125    IRType     ty = typeOfIRExpr(env->type_env,e);
3741    IRType ty = typeOfIRExpr(env->type_env,e);
4340       switch (typeOfIRExpr(env->type_env, sg->data)) {
4366       IRType    tya   = typeOfIRExpr(env->type_env, stmt->Ist.Store.addr);
4367       IRType    tyd   = typeOfIRExpr(env->type_env, stmt->Ist.Store.data);
4420       IRType ty = typeOfIRExpr(env->type_env, stmt->Ist.Put.data);
4486       IRType ty = typeOfIRExpr(env->type_env, puti->data);
4681          IRType ty  = typeOfIRExpr(env->type_env, cas->dataLo);
4706          IRType ty  = typeOfIRExpr(env->type_env, cas->dataLo);