Home | History | Annotate | Download | only in priv

Lines Matching refs:Ity_I64

63               if any is needed.  That's only for Ity_I64 temps
338 vassert(typeOfIRExpr(env->type_env, expr) == Ity_I64);
369 vassert(typeOfIRExpr(env->type_env, expr) == Ity_I64);
547 /* All arguments must have Ity_I64. For two reasons:
560 if (type != Ity_I64) {
564 vex_printf("; Ity_I64 is required\n");
610 size = sizeofIRType(Ity_I64);
625 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8:
1089 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32 || ty == Ity_I64);
1911 ty == Ity_I64);
3497 case Ity_I64:
3572 /* We can only handle Ity_I64, but the CC_DEPS field can have floats */
3573 if (tyd != Ity_I64)
3620 case Ity_I64:
3712 case Ity_I64:
3801 if (retty == Ity_I64 || retty == Ity_I32
4117 case Ity_I64: