Lines Matching refs:Ity_I64
490 else if (aTy == Ity_I64) {
539 else if (aTy == Ity_I64) {
595 Suppose the arg types are (Ity_I32, Ity_I64). Then we will have
1078 // vassert(ty == Ity_I64 || ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8);
1803 vassert(typeOfIRExpr(env->type_env,e) == Ity_I64);
1838 vassert(e->Iex.Load.ty == Ity_I64);
2064 vassert(ty == Ity_I64);
2082 vassert(ty == Ity_I64);
2091 vassert(ty == Ity_I64);
4182 typeOfIRExpr(env->type_env, e->Iex.Binop.arg1) == Ity_I64 &&
4183 typeOfIRExpr(env->type_env, e->Iex.Binop.arg2) == Ity_I64 &&
5633 if (tyd == Ity_I64) {
5682 if (tyd == Ity_I64) {
5767 if (ty == Ity_I64) {
5826 if (retty == Ity_I64) {
5873 if (ty == Ity_I64) {
5912 vassert(tyd == Ity_I64);
6054 case Ity_I64:
