Lines Matching refs:Ity_I64
406 case Ity_I64: return Iop_And64;
414 case Ity_I64: return Iop_Or64;
422 case Ity_I64: return Iop_Xor64;
430 case Ity_I64: return Iop_Shl64;
438 case Ity_I64: return Iop_Shr64;
446 case Ity_I64: return Iop_Sar64;
454 case Ity_I64: return Iop_Not64;
462 case Ity_I64: return Iop_Add64;
470 case Ity_I64: return Iop_Sub64;
534 case Ity_I64: return mkU64(imm);
544 if (ty == Ity_I64) {
567 if (ty == Ity_I64) {
586 case Ity_I64: return e;
599 case Ity_I64: return e;
773 return IRExpr_Get( offsetIReg64orSP(iregNo), Ity_I64 );
782 return IRExpr_Get( offsetIReg64orSP(iregNo), Ity_I64 );
787 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64);
793 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64);
825 IRExpr_Get( offsetIReg64orSP(iregNo), Ity_I64 ));
835 IRExpr_Get( offsetIReg64orSP(iregNo), Ity_I64 ));
880 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64);
976 case Ity_F64: case Ity_I64: laneSzB = 8; break;
993 case Ity_I8: case Ity_I16: case Ity_I32: case Ity_I64:
1009 case Ity_I32: case Ity_I64:
1066 return offsetQRegLane(qregNo, Ity_I64, 1);
1071 return IRExpr_Get(offsetQRegHI64(qregNo), Ity_I64);
1079 case Ity_I64: case Ity_F64:
1093 case Ity_F64: case Ity_I64:
1109 case Ity_I64: case Ity_I32: case Ity_I16: case Ity_I8:
1263 Ity_I64, suitable for narrowing. Although the return type is
1264 Ity_I64, the returned value is either 0 or 1. 'cond' must be
1265 :: Ity_I64 and must denote the condition to compute in
1270 vassert(typeOfIRExpr(irsb->tyenv, cond) == Ity_I64);
1284 binop(Iop_Or64, IRExpr_Get(OFFB_CC_OP, Ity_I64), cond),
1285 IRExpr_Get(OFFB_CC_DEP1, Ity_I64),
1286 IRExpr_Get(OFFB_CC_DEP2, Ity_I64),
1287 IRExpr_Get(OFFB_CC_NDEP, Ity_I64)
1291 Ity_I64,
1306 Ity_I64, suitable for narrowing. Although the return type is
1307 Ity_I64, the returned value is either 0 or 1.
1321 Ity_I64. */
1325 = mkIRExprVec_4( IRExpr_Get(OFFB_CC_OP, Ity_I64),
1326 IRExpr_Get(OFFB_CC_DEP1, Ity_I64),
1327 IRExpr_Get(OFFB_CC_DEP2, Ity_I64),
1328 IRExpr_Get(OFFB_CC_NDEP, Ity_I64) );
1331 Ity_I64,
1372 = mkIRExprVec_4( IRExpr_Get(OFFB_CC_OP, Ity_I64),
1373 IRExpr_Get(OFFB_CC_DEP1, Ity_I64),
1374 IRExpr_Get(OFFB_CC_DEP2, Ity_I64),
1375 IRExpr_Get(OFFB_CC_NDEP, Ity_I64) );
1378 Ity_I64,
1395 vassert(typeOfIRTemp(irsb->tyenv, t_dep1 == Ity_I64));
1396 vassert(typeOfIRTemp(irsb->tyenv, t_dep2 == Ity_I64));
1397 vassert(typeOfIRTemp(irsb->tyenv, t_ndep == Ity_I64));
1411 IRTemp z64 = newTemp(Ity_I64);
1416 argL64 = newTemp(Ity_I64);
1417 argR64 = newTemp(Ity_I64);
1442 argL64 = newTemp(Ity_I64);
1443 argR64 = newTemp(Ity_I64);
1444 oldC64 = newTemp(Ity_I64);
1474 IRTemp z64 = newTemp(Ity_I64);
1491 t_dep1 = newTemp(Ity_I64);
1492 t_dep2 = newTemp(Ity_I64);
1498 IRTemp f_dep1 = newTemp(Ity_I64);
1504 IRTemp dep1 = newTemp(Ity_I64);
1505 IRTemp dep2 = newTemp(Ity_I64);
1506 IRTemp op = newTemp(Ity_I64);
1524 IRTemp z64 = newTemp(Ity_I64);
1530 res64 = newTemp(Ity_I64);
1543 IRTemp z64 = newTemp(Ity_I64);
1591 IRTemp maskT = newTemp(Ity_I64);
1592 IRTemp res = newTemp(Ity_I64);
1646 whole word. src :: Ity_I64 is assumed to have zeroes everywhere
1651 IRTemp t16 = newTemp(Ity_I64);
1654 IRTemp t32 = newTemp(Ity_I64);
1657 IRTemp t64 = newTemp(Ity_I64);
1663 IRTemp t32 = newTemp(Ity_I64);
1666 IRTemp t64 = newTemp(Ity_I64);
1672 IRTemp t64 = newTemp(Ity_I64);
1677 if (srcTy == Ity_I64) {
1695 IRTemp ix = newTemp(Ity_I64);
1696 IRTemp termL = newTemp(Ity_I64);
1697 IRTemp termR = newTemp(Ity_I64);
1698 IRTemp nzcv = newTemp(Ity_I64);
1699 IRTemp irRes = newTemp(Ity_I64);
1917 IRTemp argL = newTemp(Ity_I64);
1918 IRTemp argR = newTemp(Ity_I64);
1919 IRTemp res = newTemp(Ity_I64);
2009 IRTemp res = newTemp(Ity_I64);
2077 IRTemp old = newTemp(Ity_I64);
2156 IRType ty = is64 ? Ity_I64 : Ity_I32;
2200 IRType ty = is64 ? Ity_I64 : Ity_I32;
2258 IRType ty = is64 ? Ity_I64 : Ity_I32;
2316 IRType ty = is64 ? Ity_I64 : Ity_I32;
2359 IRType ty = is64 ? Ity_I64 : Ity_I32;
2425 IRType ty = is64 ? Ity_I64 : Ity_I32;
2532 IRType ty = is64 ? Ity_I64 : Ity_I32;
2607 IRTemp xN = newTemp(Ity_I64);
2608 IRTemp xM = newTemp(Ity_I64);
2647 IRTemp argR = newTemp(Ity_I64);
2649 IRTemp res = newTemp(Ity_I64);
2703 IRType ty = is64 ? Ity_I64 : Ity_I32;
2742 IRType ty = is64 ? Ity_I64 : Ity_I32;
2793 IRTemp src = newTemp(Ity_I64);
2841 IRTemp src = newTemp(Ity_I64);
2842 IRTemp dst = newTemp(Ity_I64);
2877 IRType ty = is64 ? Ity_I64 : Ity_I32;
2948 IRTemp xA = newTemp(Ity_I64);
2949 IRTemp muld = newTemp(Ity_I64);
2950 IRTemp res = newTemp(Ity_I64);
3080 IRTemp res = newTemp(Ity_I64);
3091 bits of DATAE :: Ity_I64. */
3115 placing the result in an Ity_I64 temporary. */
3118 IRTemp res = newTemp(Ity_I64);
3122 assign(res, loadLE(Ity_I64,addrE));
3169 IRTemp ta = newTemp(Ity_I64);
3228 IRTemp tRN = newTemp(Ity_I64);
3230 IRTemp tEA = newTemp(Ity_I64);
3234 IRTemp tTA = newTemp(Ity_I64);
3235 IRTemp tWA = newTemp(Ity_I64);
3332 IRTemp tRN = newTemp(Ity_I64);
3334 IRTemp tEA = newTemp(Ity_I64);
3338 IRTemp tTA = newTemp(Ity_I64);
3339 IRTemp tWA = newTemp(Ity_I64);
3371 putIReg64orZR(rT1, loadLE(Ity_I64,
3373 putIReg64orZR(rT2, loadLE(Ity_I64,
3435 putIReg64orZR(rT, loadLE(Ity_I64, mkU64(ea)));
3467 putIReg64orZR(tt, loadLE(Ity_I64, mkexpr(ea)));
3604 IRTemp tRN = newTemp(Ity_I64);
3605 IRTemp tEA = newTemp(Ity_I64);
3681 IRTemp tRN = newTemp(Ity_I64);
3682 IRTemp tEA = newTemp(Ity_I64);
3769 Ity_I64);
3771 IRTemp tEA = newTemp(Ity_I64);
3775 IRTemp tTA = newTemp(Ity_I64);
3776 IRTemp tWA = newTemp(Ity_I64);
3918 putQRegLO(tt, loadLE(Ity_I64, mkexpr(ea)));
3919 DIP("ldr %s, %s\n", nameQRegLO(tt, Ity_I64), dis_buf);
3921 storeLE(mkexpr(ea), getQRegLO(tt, Ity_I64));
3922 DIP("str %s, %s\n", nameQRegLO(tt, Ity_I64), dis_buf);
4008 IRTemp tEA = newTemp(Ity_I64);
4054 IRTemp tRN = newTemp(Ity_I64);
4055 IRTemp tEA = newTemp(Ity_I64);
4100 IRTemp tEA = newTemp(Ity_I64);
4176 laneTy = Ity_I64;
4182 IRTemp tEA = newTemp(Ity_I64);
4217 IRTemp tEA = newTemp(Ity_I64);
4249 IRTemp tEA = newTemp(Ity_I64);
4255 putQRegLane(vT, 0, loadLE(Ity_I64, mkexpr(tEA)));
4258 storeLE(mkexpr(tEA), getQRegLane(vT, 0, Ity_I64));
4284 IRTemp tEA = newTemp(Ity_I64);
4318 IRTemp tEA = newTemp(Ity_I64);
4324 putQRegLane(vT, 0, loadLE(Ity_I64, mkexpr(tEA)));
4327 storeLE(mkexpr(tEA), getQRegLane(vT, 0, Ity_I64));
4351 IRTemp tEA = newTemp(Ity_I64);
4363 putQRegLane((vT+0) % 32, 0, loadLE(Ity_I64, tEA_0));
4364 putQRegLane((vT+0) % 32, 1, loadLE(Ity_I64, tEA_16));
4365 putQRegLane((vT+1) % 32, 0, loadLE(Ity_I64, tEA_8));
4366 putQRegLane((vT+1) % 32, 1, loadLE(Ity_I64, tEA_24));
4368 storeLE(tEA_0, getQRegLane((vT+0) % 32, 0, Ity_I64));
4369 storeLE(tEA_16, getQRegLane((vT+0) % 32, 1, Ity_I64));
4370 storeLE(tEA_8, getQRegLane((vT+1) % 32, 0, Ity_I64));
4371 storeLE(tEA_24, getQRegLane((vT+1) % 32, 1, Ity_I64));
4422 IRTemp tEA = newTemp(Ity_I64);
4463 IRTemp ea = newTemp(Ity_I64);
4515 IRTemp ea = newTemp(Ity_I64);
4624 IRTemp dst = newTemp(Ity_I64);
4731 putIReg64orZR(tt, IRExpr_Get( OFFB_TPIDR_EL0, Ity_I64 ));
4779 IRTemp t = newTemp(Ity_I64);
4784 IRTemp res = newTemp(Ity_I64);
4841 IRTemp addr = newTemp(Ity_I64);
4872 IRTemp addr = newTemp(Ity_I64);
5106 if (tyI) *tyI = Ity_I64;
5393 IRTemp half15 = newTemp(Ity_I64);
5395 IRTemp half16 = newTemp(Ity_I64);
5540 putIReg64orZR(dd, getQRegLO(nn, Ity_I64));
5640 putQRegLO(dd, binop(ops[ix], mkexpr(mk_get_IR_rounding_mode()), getQRegLO(nn, is64 ? Ity_I64 : Ity_I32)));
5644 nameQRegLO(nn, is64 ? Ity_I64 : Ity_I32));
5846 IRTemp nzcv_28x0 = newTemp(Ity_I64);
5985 IRType dstTy = isI64 ? Ity_I64 : Ity_I32;
6016 IRType dstTy = isI64 ? Ity_I64 : Ity_I32;
6426 IRTemp res = newTemp(Ity_I64);
6428 getQRegLane(nn, 0, Ity_I64),
6429 getQRegLane(mm, 0, Ity_I64)));
6433 nameQRegLO(dd, Ity_I64),
6434 nameQRegLO(nn, Ity_I64), nameQRegLO(mm, Ity_I64));
6617 putQReg128(dd, binop(ops[sz], getQRegLO(nn, Ity_I64), getQRegLO(mm, Ity_I64)));
6833 putQRegLO(dd, binop(Iop_Shr64, getQRegLO(nn, Ity_I64), mkU8(shift)));
6834 DIP("ushr %s, %s\n", nameQRegLO(dd, Ity_I64), nameQRegLO(nn, Ity_I64));
7132 IRTemp w0 = newTemp(Ity_I64);
7162 laneTy = Ity_I64;
7197 IRTemp w0 = newTemp(Ity_I64);
7217 laneTy = Ity_I64;
7229 nameQReg128(dd), arT, nameIRegOrZR(laneTy == Ity_I64, nn));
7256 const IRType ddTypes[3] = { Ity_I16, Ity_I32, Ity_I64 };
7365 IRExpr* lane = getQRegLane(nn, laneNo, Ity_I64);
7467 ty = Ity_I64;
7701 putIReg64orZR(3, IRExpr_Get( OFFB_NRADDR, Ity_I64 ));
7921 if (out3) *out3 = newTemp(Ity_I64);
7922 if (out2) *out2 = newTemp(Ity_I64);
7923 if (out1) *out1 = newTemp(Ity_I64);
7924 if (out0) *out0 = newTemp(Ity_I64);
7925 IRTemp hi64 = newTemp(Ity_I64);
7926 IRTemp lo64 = newTemp(Ity_I64);
7939 IRTemp hi64 = newTemp(Ity_I64);
7940 IRTemp lo64 = newTemp(Ity_I64);
7998 if (out7) *out7 = newTemp(Ity_I64);
7999 if (out6) *out6 = newTemp(Ity_I64);
8000 if (out5) *out5 = newTemp(Ity_I64);
8001 if (out4) *out4 = newTemp(Ity_I64);
8002 if (out3) *out3 = newTemp(Ity_I64);
8003 if (out2) *out2 = newTemp(Ity_I64);
8004 if (out1) *out1 = newTemp(Ity_I64);
8005 if (out0) *out0 = newTemp(Ity_I64);
8006 IRTemp hi64 = newTemp(Ity_I64);
8007 IRTemp lo64 = newTemp(Ity_I64);
8043 IRTemp hi64 = newTemp(Ity_I64);
8044 IRTemp lo64 = newTemp(Ity_I64);
8127 if (outF) *outF = newTemp(Ity_I64);
8128 if (outE) *outE = newTemp(Ity_I64);
8129 if (outD) *outD = newTemp(Ity_I64);
8130 if (outC) *outC = newTemp(Ity_I64);
8131 if (outB) *outB = newTemp(Ity_I64);
8132 if (outA) *outA = newTemp(Ity_I64);
8133 if (out9) *out9 = newTemp(Ity_I64);
8134 if (out8) *out8 = newTemp(Ity_I64);
8135 if (out7) *out7 = newTemp(Ity_I64);
8136 if (out6) *out6 = newTemp(Ity_I64);
8137 if (out5) *out5 = newTemp(Ity_I64);
8138 if (out4) *out4 = newTemp(Ity_I64);
8139 if (out3) *out3 = newTemp(Ity_I64);
8140 if (out2) *out2 = newTemp(Ity_I64);
8141 if (out1) *out1 = newTemp(Ity_I64);
8142 if (out0) *out0 = newTemp(Ity_I64);
8143 IRTemp hi64 = newTemp(Ity_I64);
8144 IRTemp lo64 = newTemp(Ity_I64);
8218 IRTemp vFE = newTemp(Ity_I64);
8219 IRTemp vDC = newTemp(Ity_I64);
8220 IRTemp vBA = newTemp(Ity_I64);
8221 IRTemp v98 = newTemp(Ity_I64);
8222 IRTemp v76 = newTemp(Ity_I64);
8223 IRTemp v54 = newTemp(Ity_I64);
8224 IRTemp v32 = newTemp(Ity_I64);
8225 IRTemp v10 = newTemp(Ity_I64);