Lines Matching refs:Ity_I64
680 if (aTy == Ity_I64) {
719 if (aTy == Ity_I64) {
776 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8:
886 vassert(ty == Ity_I64);
890 case Ity_I64: szBbits = 3; break;
1102 vassert(ty == Ity_I64 || ty == Ity_I32);
1366 vassert(ty == Ity_I64 || ty == Ity_I32);
1371 if (ty == Ity_I64) {
1425 vassert(ty == Ity_I64 || ty == Ity_I8);
1621 vassert(ty == Ity_I64 || ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8);
1637 if (ty == Ity_I64) {
2272 if (ty == Ity_I64
2315 if (e->Iex.CCall.retty != Ity_I64)
2354 if (ty == Ity_I64 || ty == Ity_I32) {
2463 //ZZ vassert(typeOfIRExpr(env->type_env,e) == Ity_I64);
2498 //ZZ vassert(e->Iex.Load.ty == Ity_I64);
2725 //ZZ vassert(ty == Ity_I64);
2743 //ZZ vassert(ty == Ity_I64);
2752 //ZZ vassert(ty == Ity_I64);
5984 vassert(ty == Ity_F64 || ty == Ity_I64);
6002 vassert(e->Iex.Load.ty == Ity_F64 || e->Iex.Load.ty == Ity_I64);
6333 if (tya != Ity_I64 || end != Iend_LE)
6336 if (tyd == Ity_I64) {
6393 //ZZ if (tyd == Ity_I64) {
6518 if (tyd == Ity_I64 && 0 == (offs & 7) && offs < (8<<12)) {
6561 //ZZ if (tyd == Ity_I64) {
6607 if (ty == Ity_I64 || ty == Ity_I32 || ty == Ity_I16 || ty == Ity_I8) {
6668 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8:
6694 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8: {
6735 if (ty == Ity_I64 || ty == Ity_I32
6744 case Ity_I64: szB = 8; break;
6756 if (tyd == Ity_I64 || tyd == Ity_I32
6765 case Ity_I64: szB = 8; break;
7027 case Ity_I8: case Ity_I16: case Ity_I32: case Ity_I64: