Lines Matching refs:Ity_I64
292 case Ity_I64: return mkU64(i);
320 case Ity_I64: return 3 +op8;
618 case 8: return Ity_I64;
1013 case 4: return unop(Iop_64to32, IRExpr_Get( OFFB_RAX, Ity_I64 ));
1014 case 8: return IRExpr_Get( OFFB_RAX, Ity_I64 );
1024 case 8: vassert(ty == Ity_I64);
1061 case 4: return unop(Iop_64to32, IRExpr_Get( OFFB_RDX, Ity_I64 ));
1062 case 8: return IRExpr_Get( OFFB_RDX, Ity_I64 );
1091 Ity_I64 );
1096 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1114 Ity_I64 ));
1466 return IRExpr_Get( xmmGuestRegLane64offset(xmmreg,laneno), Ity_I64 );
1497 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1531 return IRExpr_Get( ymmGuestRegLane64offset(ymmreg,laneno), Ity_I64 );
1559 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
1612 vassert(tyE == Ity_I64 || tyE == Ity_I32
1636 Ity_I64. */
1640 = mkIRExprVec_4( IRExpr_Get(OFFB_CC_OP, Ity_I64),
1641 IRExpr_Get(OFFB_CC_DEP1, Ity_I64),
1642 IRExpr_Get(OFFB_CC_DEP2, Ity_I64),
1643 IRExpr_Get(OFFB_CC_NDEP, Ity_I64) );
1646 Ity_I64,
1664 IRExpr_Get(OFFB_CC_OP, Ity_I64),
1665 IRExpr_Get(OFFB_CC_DEP1, Ity_I64),
1666 IRExpr_Get(OFFB_CC_DEP2, Ity_I64),
1667 IRExpr_Get(OFFB_CC_NDEP, Ity_I64) );
1670 Ity_I64,
1682 CC_OP/CC_DEP1/CC_DEP2/CC_NDEP. Returns an expression :: Ity_I64. */
1686 = mkIRExprVec_4( IRExpr_Get(OFFB_CC_OP, Ity_I64),
1687 IRExpr_Get(OFFB_CC_DEP1, Ity_I64),
1688 IRExpr_Get(OFFB_CC_DEP2, Ity_I64),
1689 IRExpr_Get(OFFB_CC_NDEP, Ity_I64) );
1692 Ity_I64,
1724 case Ity_I64: return e;
1737 case Ity_I64: return e;
1756 if (src_ty == Ity_I64 && dst_ty == Ity_I32)
1758 if (src_ty == Ity_I64 && dst_ty == Ity_I16)
1760 if (src_ty == Ity_I64 && dst_ty == Ity_I8)
1783 case Ity_I64: ccOp = 3; break;
1808 case Ity_I64: ccOp = 3; break;
1839 case Ity_I64: ccOp = 3; break;
1863 IRExpr_Get(OFFB_CC_OP,Ity_I64) ) ));
1867 IRExpr_Get(OFFB_CC_DEP1,Ity_I64) ) ));
1871 IRExpr_Get(OFFB_CC_DEP2,Ity_I64) ) ));
1887 case Ity_I64: ccOp += 3; break;
1916 case Ity_I64:
2000 IRTemp oldc = newTemp(Ity_I64);
2059 IRTemp oldc = newTemp(Ity_I64);
2290 vassert(typeOfIRTemp(irsb->tyenv, new_rsp) == Ity_I64);
2291 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
2333 IRExpr_Get(OFFB_FS_ZERO, Ity_I64));
2345 IRExpr_Get(OFFB_GS_0x60, Ity_I64));
2377 //.. hWordTy = sizeof(HWord)==4 ? Ity_I32 : Ity_I64;
2382 //.. r64 = newTemp(Ity_I64);
2396 //.. Ity_I64,
2441 IRTemp tmp = newTemp(Ity_I64);
3348 IRTemp src64 = newTemp(Ity_I64);
3349 IRTemp dst64 = newTemp(Ity_I64);
3561 IRTemp new_value = newTemp(Ity_I64);
3562 IRTemp new_rflags = newTemp(Ity_I64);
3563 IRTemp old_rflags = newTemp(Ity_I64);
3574 Ity_I64,
3589 Ity_I64,
3607 IRTemp pre64 = newTemp(Ity_I64);
3608 IRTemp res64 = newTemp(Ity_I64);
3609 IRTemp res64ss = newTemp(Ity_I64);
3670 IRTemp oldFlags = newTemp(Ity_I64);
3679 if (ty == Ity_I64)
3734 IRExpr_Get(OFFB_CC_OP,Ity_I64) ) ));
3738 IRExpr_Get(OFFB_CC_DEP1,Ity_I64) ) ));
3742 IRExpr_Get(OFFB_CC_DEP2,Ity_I64) ) ));
3746 IRExpr_Get(OFFB_CC_NDEP,Ity_I64) ) ));
3789 IRTemp t2 = newTemp(Ity_I64);
3790 IRTemp t2m = newTemp(Ity_I64);
3923 case Ity_I64: {
3925 IRTemp resHi = newTemp(Ity_I64);
3926 IRTemp resLo = newTemp(Ity_I64);
3929 setFlags_MUL ( Ity_I64, t1, tmp, tBaseOp );
3938 IRTemp res64 = newTemp(Ity_I64);
4296 t3 = newTemp(Ity_I64);
4298 t2 = newTemp(Ity_I64);
4312 t3 = newTemp(Ity_I64);
4325 t2 = newTemp(Ity_I64);
4389 t3 = newTemp(Ity_I64);
4390 assign(t3, loadLE(Ity_I64,mkexpr(addr)));
4391 t2 = newTemp(Ity_I64);
4405 Ity_I64);
4406 assign(t3, loadLE(Ity_I64,mkexpr(addr)));
4418 t2 = newTemp(Ity_I64);
4454 binop(Iop_Shl64, IRExpr_Get( OFFB_DFLAG, Ity_I64 ),
4458 IRExpr_Get( OFFB_DFLAG, Ity_I64 ) );
4466 IRTemp t_inc = newTemp(Ity_I64);
4479 IRTemp td = newTemp(Ity_I64); /* RDI */
4480 IRTemp ts = newTemp(Ity_I64); /* RSI */
4507 IRTemp ts = newTemp(Ity_I64); /* RSI */
4528 IRTemp td = newTemp(Ity_I64); /* RDI */
4552 IRTemp td = newTemp(Ity_I64); /* RDI */
4553 IRTemp ts = newTemp(Ity_I64); /* RSI */
4585 IRTemp td = newTemp(Ity_I64); /* RDI */
4617 IRTemp t_inc = newTemp(Ity_I64);
4630 tc = newTemp(Ity_I64); /* RCX */
4758 Ity_I16, Ity_I32 or Ity_I64 only. */
4817 if (ty == Ity_I64) {
4853 'ty' may be Ity_I16, Ity_I32 or Ity_I64 only. In the case where
4858 vassert(ty == Ity_I64 || ty == Ity_I32 || ty == Ity_I16);
4860 IRTemp src64 = newTemp(Ity_I64);
4863 IRTemp src64x = newTemp(Ity_I64);
4870 IRTemp res64 = newTemp(Ity_I64);
4886 'ty' may be Ity_I16, Ity_I32 or Ity_I64 only. In the case where
4891 vassert(ty == Ity_I64 || ty == Ity_I32 || ty == Ity_I16);
4893 IRTemp src64 = newTemp(Ity_I64);
4898 IRTemp res64 = newTemp(Ity_I64);
4954 static IRExpr* /* :: Ity_I64 */ get_C3210 ( void )
4956 return IRExpr_Get( OFFB_FC3210, Ity_I64 );
4959 static void put_C3210 ( IRExpr* e /* :: Ity_I64 */ )
4961 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I64);
4968 return unop(Iop_64to32, IRExpr_Get( OFFB_FPROUND, Ity_I64 ));
5168 IRTemp i64 = newTemp(Ity_I64);
5528 IRTemp w64 = newTemp(Ity_I64);
5592 IRTemp t64 = newTemp(Ity_I64);
5596 Ity_I64, 0/*regparms*/,
5673 Ity_I64, 0/*regp*/,
5732 Ity_I64,
5848 IRTemp argI = newTemp(Ity_I64);
5849 IRTemp sigI = newTemp(Ity_I64);
5850 IRTemp expI = newTemp(Ity_I64);
5856 Ity_I64, 0/*regparms*/,
5864 Ity_I64, 0/*regparms*/,
6193 IRTemp val = newTemp(Ity_I64);
6508 IRTemp w64 = newTemp(Ity_I64);
6901 loadLE(Ity_I64, mkexpr(addr))));
7019 return IRExpr_Get( OFFB_FPREGS + 8 * archreg, Ity_I64 );
7026 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I64);
7050 IRTemp res = newTemp(Ity_I64);
7145 argE = loadLE(Ity_I64, mkexpr(addr));
7165 Ity_I64,
7195 IRTemp g0 = newTemp(Ity_I64);
7196 IRTemp g1 = newTemp(Ity_I64);
7197 IRTemp amt = newTemp(Ity_I64);
7208 assign( amt, loadLE(Ity_I64, mkexpr(addr)) );
7267 IRTemp e0 = newTemp(Ity_I64);
7268 IRTemp e1 = newTemp(Ity_I64);
7372 loadLE(Ity_I64, mkexpr(addr)) );
7438 putMMXReg( gregLO3ofRM(modrm), loadLE(Ity_I64, mkexpr(addr)) );
7663 IRTemp addr = newTemp(Ity_I64);
7664 IRTemp regD = newTemp(Ity_I64);
7665 IRTemp regM = newTemp(Ity_I64);
7666 IRTemp mask = newTemp(Ity_I64);
7667 IRTemp olddata = newTemp(Ity_I64);
7668 IRTemp newdata = newTemp(Ity_I64);
7679 assign( olddata, loadLE( Ity_I64, mkexpr(addr) ));
7829 tmp64 = newTemp(Ity_I64);
7830 res64 = newTemp(Ity_I64);
7831 rss64 = newTemp(Ity_I64);
7959 t_bitno0 = newTemp(Ity_I64);
7960 t_bitno1 = newTemp(Ity_I64);
7962 t_addr1 = newTemp(Ity_I64);
8001 t_rsp = newTemp(Ity_I64);
8002 t_addr0 = newTemp(Ity_I64);
8128 IRTemp src64 = newTemp(Ity_I64);
8129 IRTemp dst64 = newTemp(Ity_I64);
8276 IRTemp oldflags = newTemp(Ity_I64);
8302 IRTemp flags = newTemp(Ity_I64);
8653 IRTemp t1 = newTemp(Ity_I64);
8654 IRTemp t2 = newTemp(Ity_I64);
8655 IRTemp t3 = newTemp(Ity_I64);
8657 assign(t2, loadLE(Ity_I64,mkexpr(t1)));
8830 loadLE(Ity_I64, mkexpr(addr))) );
8950 loadLE(Ity_I64, mkexpr(addr)) ));
9163 ? unop( Iop_64UtoV128, loadLE(Ity_I64, mkexpr(addr)))
9207 IRTemp amt = newTemp(Ity_I64);
9217 assign( amt, loadLE(Ity_I64, mkexpr(addr)) );
9330 IRExpr_Get( OFFB_SSEROUND, Ity_I64 ),
9348 IRTemp hi64 = newTemp(Ity_I64);
9349 IRTemp lo64 = newTemp(Ity_I64);
9430 *t0 = newTemp(Ity_I64);
9431 *t1 = newTemp(Ity_I64);
9432 *t2 = newTemp(Ity_I64);
9433 *t3 = newTemp(Ity_I64);
9478 *t0 = newTemp(Ity_I64);
9479 *t1 = newTemp(Ity_I64);
9521 IRTemp aa = newTemp(Ity_I64);
9522 IRTemp bb = newTemp(Ity_I64);
9523 IRTemp aahi32s = newTemp(Ity_I64);
9524 IRTemp aalo32s = newTemp(Ity_I64);
9525 IRTemp bbhi32s = newTemp(Ity_I64);
9526 IRTemp bblo32s = newTemp(Ity_I64);
9527 IRTemp rHi = newTemp(Ity_I64);
9528 IRTemp rLo = newTemp(Ity_I64);
9529 IRTemp one32x2 = newTemp(Ity_I64);
9594 IRTemp aa = newTemp(Ity_I64);
9595 IRTemp bb = newTemp(Ity_I64);
9596 IRTemp zero = newTemp(Ity_I64);
9597 IRTemp bbNeg = newTemp(Ity_I64);
9598 IRTemp negMask = newTemp(Ity_I64);
9599 IRTemp posMask = newTemp(Ity_I64);
9636 IRTemp res = newTemp(Ity_I64);
9637 IRTemp zero = newTemp(Ity_I64);
9638 IRTemp aaNeg = newTemp(Ity_I64);
9639 IRTemp negMask = newTemp(Ity_I64);
9640 IRTemp posMask = newTemp(Ity_I64);
9666 IRTemp aaHi = newTemp(Ity_I64);
9667 IRTemp aaLo = newTemp(Ity_I64);
9729 IRTemp sHi = newTemp(Ity_I64);
9730 IRTemp sLo = newTemp(Ity_I64);
9731 IRTemp dHi = newTemp(Ity_I64);
9732 IRTemp dLo = newTemp(Ity_I64);
9733 IRTemp rHi = newTemp(Ity_I64);
9734 IRTemp rLo = newTemp(Ity_I64);
10126 IRTemp hi64 = newTemp(Ity_I64);
10127 IRTemp lo64 = newTemp(Ity_I64);
10128 IRTemp hi64r = newTemp(Ity_I64);
10129 IRTemp lo64r = newTemp(Ity_I64);
10173 IRTemp hi64 = newTemp(Ity_I64);
10174 IRTemp lo64 = newTemp(Ity_I64);
10175 IRTemp hi64r = newTemp(Ity_I64);
10176 IRTemp lo64r = newTemp(Ity_I64);
10811 IRTemp s1 = newTemp(Ity_I64);
10812 IRTemp s0 = newTemp(Ity_I64);
10813 IRTemp d1 = newTemp(Ity_I64);
10814 IRTemp d0 = newTemp(Ity_I64);
10906 IRTemp s1 = newTemp(Ity_I64);
10907 IRTemp s0 = newTemp(Ity_I64);
10908 IRTemp d1 = newTemp(Ity_I64);
10909 IRTemp d0 = newTemp(Ity_I64);
11104 IRTemp resHi = newTemp(Ity_I64);
11105 IRTemp resLo = newTemp(Ity_I64);
11109 assign( resHi, mkIRExprCCall(Ity_I64, 0/*regparms*/,
11113 assign( resLo, mkIRExprCCall(Ity_I64, 0/*regparms*/,
11141 IRTemp a1 = newTemp(Ity_I64);
11142 IRTemp s0 = newTemp(Ity_I64);
11237 sVmut = newTemp(Ity_I64);
11238 dVmut = newTemp(Ity_I64);
11239 sVcon = newTemp(Ity_I64);
11292 dVhi = newTemp(Ity_I64);
11293 dVlo = newTemp(Ity_I64);
11372 IRTemp arg64 = newTemp(Ity_I64);
11382 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
11422 Ity_I64, 0/*regp*/,
11442 IRTemp t64 = newTemp(Ity_I64);
11458 Ity_I64, 0/*regparms*/,
11494 IRTemp halfshift = newTemp(Ity_I64);
11524 mkIRExprCCall(Ity_I64, 0/*regparms*/,
11528 mkIRExprCCall(Ity_I64, 0/*regparms*/,
11557 IRTemp addr = newTemp(Ity_I64);
11791 loadLE(Ity_I64, mkexpr(addr)) );
11929 loadLE(Ity_I64, mkexpr(addr)) );
11951 loadLE(Ity_I64, mkexpr(addr)) );
12067 loadLE(Ity_I64, mkexpr(addr)) );
12088 loadLE(Ity_I64, mkexpr(addr)) );
12254 IRTemp arg64 = newTemp(Ity_I64);
12266 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
12318 IRTemp arg64 = newTemp(Ity_I64);
12326 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
12364 IRTemp arg64 = newTemp(Ity_I64);
12372 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
12391 IRTemp arg64 = newTemp(Ity_I64);
12408 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
12455 IRTemp dst64 = newTemp(Ity_I64);
12541 IRTemp dst64 = newTemp(Ity_I64);
13156 : unop( Iop_64UtoV128,loadLE(Ity_I64, mkexpr(addr)) )
13220 sV = newTemp(Ity_I64);
13221 dV = newTemp(Ity_I64);
13234 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
13407 loadLE(Ity_I64, mkexpr(addr)) );
13770 t5 = newTemp(Ity_I64);
13771 t6 = newTemp(Ity_I64);
13844 IRTemp sV = newTemp(Ity_I64);
14063 t0 = newTemp(Ity_I64);
14433 IRTemp sV = newTemp(Ity_I64);
14434 IRTemp dV = newTemp(Ity_I64);
14449 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
14636 IRTemp d0 = newTemp(Ity_I64);
14648 assign( d0, loadLE(Ity_I64, mkexpr(addr)) );
14665 IRTemp d0 = newTemp(Ity_I64);
14666 IRTemp d1 = newTemp(Ity_I64);
14677 assign( d0, loadLE(Ity_I64, mkexpr(addr)) );
14678 assign( d1, loadLE(Ity_I64, binop(Iop_Add64,
14992 IRTemp sHi = newTemp(Ity_I64);
14993 IRTemp sLo = newTemp(Ity_I64);
14994 IRTemp dHi = newTemp(Ity_I64);
14995 IRTemp dLo = newTemp(Ity_I64);
14996 IRTemp rHi = newTemp(Ity_I64);
14997 IRTemp rLo = newTemp(Ity_I64);
14998 IRTemp sevens = newTemp(Ity_I64);
14999 IRTemp mask0x80hi = newTemp(Ity_I64);
15000 IRTemp mask0x80lo = newTemp(Ity_I64);
15001 IRTemp maskBit3hi = newTemp(Ity_I64);
15002 IRTemp maskBit3lo = newTemp(Ity_I64);
15003 IRTemp sAnd7hi = newTemp(Ity_I64);
15004 IRTemp sAnd7lo = newTemp(Ity_I64);
15005 IRTemp permdHi = newTemp(Ity_I64);
15006 IRTemp permdLo = newTemp(Ity_I64);
15107 IRTemp sHi = newTemp(Ity_I64);
15108 IRTemp sLo = newTemp(Ity_I64);
15109 IRTemp dHi = newTemp(Ity_I64);
15110 IRTemp dLo = newTemp(Ity_I64);
15330 IRTemp sV = newTemp(Ity_I64);
15331 IRTemp dV = newTemp(Ity_I64);
15344 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15409 IRTemp sV = newTemp(Ity_I64);
15410 IRTemp dV = newTemp(Ity_I64);
15438 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15486 IRTemp sV = newTemp(Ity_I64);
15487 IRTemp dV = newTemp(Ity_I64);
15488 IRTemp sVoddsSX = newTemp(Ity_I64);
15489 IRTemp sVevensSX = newTemp(Ity_I64);
15490 IRTemp dVoddsZX = newTemp(Ity_I64);
15491 IRTemp dVevensZX = newTemp(Ity_I64);
15504 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15545 IRTemp sHi = newTemp(Ity_I64);
15546 IRTemp sLo = newTemp(Ity_I64);
15547 IRTemp dHi = newTemp(Ity_I64);
15548 IRTemp dLo = newTemp(Ity_I64);
15594 IRTemp sV = newTemp(Ity_I64);
15595 IRTemp dV = newTemp(Ity_I64);
15617 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15638 IRTemp sHi = newTemp(Ity_I64);
15639 IRTemp sLo = newTemp(Ity_I64);
15640 IRTemp dHi = newTemp(Ity_I64);
15641 IRTemp dLo = newTemp(Ity_I64);
15677 IRTemp sV = newTemp(Ity_I64);
15678 IRTemp dV = newTemp(Ity_I64);
15691 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15747 IRTemp sV = newTemp(Ity_I64);
15768 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15854 IRTemp sV = newTemp(Ity_I64);
15855 IRTemp dV = newTemp(Ity_I64);
15856 IRTemp res = newTemp(Ity_I64);
15871 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
16021 IRTemp src64 = newTemp(Ity_I64);
16022 IRTemp res64 = newTemp(Ity_I64);
16026 IRTemp oszacp = newTemp(Ity_I64);
16082 IRTemp src64 = newTemp(Ity_I64);
16083 IRTemp res64 = newTemp(Ity_I64);
16087 IRTemp oszacp = newTemp(Ity_I64);
16281 IRTemp and64 = newTemp(Ity_I64);
16282 IRTemp andn64 = newTemp(Ity_I64);
16300 IRTemp z64 = newTemp(Ity_I64);
16301 IRTemp c64 = newTemp(Ity_I64);
16316 IRTemp t0 = newTemp(Ity_I64);
16317 IRTemp t1 = newTemp(Ity_I64);
16318 IRTemp t2 = newTemp(Ity_I64);
16347 IRTemp newOSZACP = newTemp(Ity_I64);
16492 unop( Iop_64UtoV128, loadLE( Ity_I64, mkexpr(addr) ) ) );
16576 unop( Iop_64UtoV128, loadLE( Ity_I64, mkexpr(addr) ) ) );
16672 IRTemp srcBytes = newTemp(Ity_I64);
16685 assign( srcBytes, loadLE( Ity_I64, mkexpr(addr) ) );
16756 unop( Iop_64UtoV128, loadLE( Ity_I64, mkexpr(addr) ) ) );
16784 IRTemp srcI64 = newTemp(Ity_I64);
16802 assign( srcI64, loadLE(Ity_I64, mkexpr(addr)) );
16939 unop( Iop_64UtoV128, loadLE( Ity_I64, mkexpr(addr) ) ) );
17139 IRTemp sHi = newTemp(Ity_I64);
17140 IRTemp sLo = newTemp(Ity_I64);
17141 IRTemp dLo = newTemp(Ity_I64);
17159 Ity_I64, 0/*regparms*/,
17807 IRTemp valG0 = newTemp(Ity_I64);
17824 IRTemp valG1 = newTemp(Ity_I64);
17826 mkIRExprCCall(Ity_I64, 0/*regparm*/, nm, fn,
17974 IRTemp src_qword = newTemp(Ity_I64);
18131 IRTemp cc = newTemp(Ity_I64);
18236 IRTemp resT = newTemp(Ity_I64);
18291 IRTemp halfshift = newTemp(Ity_I64);
18531 IRTemp sHi = newTemp(Ity_I64);
18532 IRTemp sLo = newTemp(Ity_I64);
18536 IRTemp dHi = newTemp(Ity_I64);
18537 IRTemp dLo = newTemp(Ity_I64);
18542 IRTemp resHi = newTemp(Ity_I64);
18543 IRTemp resLo = newTemp(Ity_I64);
18552 assign(resHi, mkIRExprCCall( Ity_I64, 0/*regparm*/,
18555 assign(resLo, mkIRExprCCall( Ity_I64, 0/*regparm*/,
18615 IRTemp t0 = newTemp(Ity_I64);
18616 IRTemp t1 = newTemp(Ity_I64);
18622 IRTemp t2 = newTemp(Ity_I64);
18623 IRTemp t3 = newTemp(Ity_I64);
18628 assign(t2, mkIRExprCCall(Ity_I64,0, "amd64g_calculate_pclmul",
18631 assign(t3, mkIRExprCCall(Ity_I64,0, "amd64g_calculate_pclmul",
19106 IRTemp src_u64 = newTemp(Ity_I64);
19120 assign( src_u64, loadLE( Ity_I64, mkexpr(addr) ) );
19617 ty = sz==2 ? Ity_I16 : Ity_I64;
19619 t2 = newTemp(Ity_I64);
19640 t2 = newTemp(Ity_I64);
19698 t1 = newTemp(Ity_I64);
19956 t1 = newTemp(Ity_I64);
19957 t3 = newTemp(Ity_I64);
19959 assign( t3, loadLE(Ity_I64, mkexpr(t1)) );
20055 t1 = newTemp(Ity_I64);
20059 t2 = newTemp(Ity_I64);
20064 t3 = newTemp(Ity_I64);
20068 IRExpr_Get(OFFB_DFLAG,Ity_I64),
20073 t4 = newTemp(Ity_I64);
20077 binop(Iop_Shl64, IRExpr_Get(OFFB_IDFLAG,Ity_I64),
20083 t5 = newTemp(Ity_I64);
20087 binop(Iop_Shl64, IRExpr_Get(OFFB_ACFLAG,Ity_I64),
20110 t1 = newTemp(Ity_I64); t2 = newTemp(Ity_I64);
20188 addr = newTemp(Ity_I64);
20206 addr = newTemp(Ity_I64);
20485 t1 = newTemp(Ity_I64);
20487 t2 = newTemp(Ity_I64);
20504 t1 = newTemp(Ity_I64);
20505 t2 = newTemp(Ity_I64);
20510 assign(t2, loadLE(Ity_I64,mkexpr(t1)));
20706 t1 = newTemp(Ity_I64);
20713 t1 = newTemp(Ity_I64);
20720 t1 = newTemp(Ity_I64);
20727 t1 = newTemp(Ity_I64);
20739 t2 = newTemp(Ity_I64);
20755 t1 = newTemp(Ity_I64);
20762 t1 = newTemp(Ity_I64);
20769 t1 = newTemp(Ity_I64);
20776 t1 = newTemp(Ity_I64);
20806 t1 = newTemp(Ity_I64);
20810 t2 = newTemp(Ity_I64);
20861 t1 = newTemp(Ity_I64);
20862 t2 = newTemp(Ity_I64);
20958 if (ty == Ity_I64) {
20959 IRTemp m8 = newTemp(Ity_I64);
20960 IRTemp s8 = newTemp(Ity_I64);
20961 IRTemp m16 = newTemp(Ity_I64);
20962 IRTemp s16 = newTemp(Ity_I64);
20963 IRTemp m32 = newTemp(Ity_I64);
21207 IRTemp val = newTemp(Ity_I64);
21651 IRType elemTy = sz==4 ? Ity_I32 : Ity_I64;
21658 IRTemp flags_old = newTemp(Ity_I64);
21659 IRTemp flags_new = newTemp(Ity_I64);
21665 IRTemp expdHi64 = newTemp(Ity_I64);
21666 IRTemp expdLo64 = newTemp(Ity_I64);
21807 t1 = newTemp(Ity_I64);
21808 t2 = newTemp(Ity_I64);
21810 t2 = math_BSWAP( t1, Ity_I64 );
22216 IRTemp amt = newTemp(Ity_I64);
22226 assign( amt, loadLE(Ity_I64, mkexpr(addr)) );
22290 IRTemp amt = newTemp(Ity_I64);
22300 assign( amt, loadLE(Ity_I64, mkexpr(addr)) );
22430 res[i] = size == 32 ? newTemp(Ity_I32) : newTemp(Ity_I64);
22607 loadLE(Ity_I64, mkexpr(addr))) );
22637 IRTemp e64 = newTemp(Ity_I64);
22648 assign(e64, loadLE(Ity_I64, mkexpr(addr)));
22815 : sz == 8 ? unop( Iop_64UtoV128, loadLE(Ity_I64, mkexpr(addr)))
23389 putXMMRegLane64( rG, 0, loadLE(Ity_I64, mkexpr(addr)) );
23699 loadLE(Ity_I64, mkexpr(addr))));
23885 loadLE(Ity_I64, mkexpr(addr)),
24108 IRTemp arg64 = newTemp(Ity_I64);
24117 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
24136 IRTemp arg64 = newTemp(Ity_I64);
24145 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
25182 unop( Iop_64UtoV128,loadLE(Ity_I64, mkexpr(addr)))
25703 putXMMRegLane64( rG, 0, loadLE(Ity_I64, mkexpr(addr)) );
27150 IRTemp tem = newTemp(Ity_I64);
27154 tem = newTemp(Ity_I64);
27158 tem = newTemp(Ity_I64);
27247 case Ity_I64:
27273 IRType dstTy = (isYMM && (ty == Ity_I64 || !isVM64x)) ? Ity_V256 : Ity_V128;
27341 if (ty == Ity_I64 || isYMM)
27826 IRTemp t64 = newTemp(Ity_I64);
27843 IRTemp t64 = newTemp(Ity_I64);
27860 IRTemp t64 = newTemp(Ity_I64);
27877 IRTemp t64 = newTemp(Ity_I64);
27897 IRTemp t64 = newTemp(Ity_I64);
27898 assign(t64, loadLE(Ity_I64, mkexpr(addr)));
27912 IRTemp t64 = newTemp(Ity_I64);
28185 /*!isYMM*/False, Ity_I64 );
28192 /*isYMM*/True, Ity_I64 );
28542 IRTemp t64 = newTemp(Ity_I64);
28565 IRTemp t64 = newTemp(Ity_I64);
28580 IRTemp t64 = newTemp(Ity_I64);
28590 assign(t64, loadLE(Ity_I64, mkexpr(addr)));
28601 IRTemp t64 = newTemp(Ity_I64);
28611 assign(t64, loadLE(Ity_I64, mkexpr(addr)));
28658 IRTemp t64 = newTemp(Ity_I64);
28684 IRTemp t64 = newTemp(Ity_I64);
28712 IRTemp t64 = newTemp(Ity_I64);
28736 IRTemp t64 = newTemp(Ity_I64);
28764 /*!isYMM*/False, Ity_I64 );
28771 /*isYMM*/True, Ity_I64 );
28800 /*!isYMM*/False, /*!isVM64x*/False, Ity_I64 );
28809 /*isYMM*/True, /*!isVM64x*/False, Ity_I64 );
28839 /*!isYMM*/False, /*isVM64x*/True, Ity_I64 );
28848 /*isYMM*/True, /*isVM64x*/True, Ity_I64 );
28878 /*!isYMM*/False, /*!isVM64x*/False, Ity_I64 );
28887 /*isYMM*/True, /*!isVM64x*/False, Ity_I64 );
28917 /*!isYMM*/False, /*isVM64x*/True, Ity_I64 );
28926 /*isYMM*/True, /*isVM64x*/True, Ity_I64 );
29292 narrowTo(ty, mkIRExprCCall(Ity_I64, 0/*regparms*/,
29329 narrowTo(ty, mkIRExprCCall(Ity_I64, 0/*regparms*/,
29346 IRTemp res = newTemp(size == 8 ? Ity_I128 : Ity_I64);
29741 IRTemp s1 = newTemp(Ity_I64);
29742 IRTemp s0 = newTemp(Ity_I64);
30591 IRTemp src_u64 = newTemp(Ity_I64);
30603 assign( src_u64, loadLE( Ity_I64, mkexpr(addr) ) );
31183 putIRegRAX(8, IRExpr_Get( OFFB_NRADDR, Ity_I64 ));
31192 t1 = newTemp(Ity_I64);
31194 t2 = newTemp(Ity_I64);
31841 // if (ty == Ity_I64) {