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);
2335 IRExpr_Get(OFFB_FS_CONST, Ity_I64));
2345 IRExpr_Get(OFFB_GS_CONST, 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 t3 = newTemp(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))) );
8959 loadLE(Ity_I64, mkexpr(addr)) ));
9172 ? unop( Iop_64UtoV128, loadLE(Ity_I64, mkexpr(addr)))
9216 IRTemp amt = newTemp(Ity_I64);
9226 assign( amt, loadLE(Ity_I64, mkexpr(addr)) );
9339 IRExpr_Get( OFFB_SSEROUND, Ity_I64 ),
9357 IRTemp hi64 = newTemp(Ity_I64);
9358 IRTemp lo64 = newTemp(Ity_I64);
9439 *t0 = newTemp(Ity_I64);
9440 *t1 = newTemp(Ity_I64);
9441 *t2 = newTemp(Ity_I64);
9442 *t3 = newTemp(Ity_I64);
9487 *t0 = newTemp(Ity_I64);
9488 *t1 = newTemp(Ity_I64);
9530 IRTemp aa = newTemp(Ity_I64);
9531 IRTemp bb = newTemp(Ity_I64);
9532 IRTemp aahi32s = newTemp(Ity_I64);
9533 IRTemp aalo32s = newTemp(Ity_I64);
9534 IRTemp bbhi32s = newTemp(Ity_I64);
9535 IRTemp bblo32s = newTemp(Ity_I64);
9536 IRTemp rHi = newTemp(Ity_I64);
9537 IRTemp rLo = newTemp(Ity_I64);
9538 IRTemp one32x2 = newTemp(Ity_I64);
9603 IRTemp aa = newTemp(Ity_I64);
9604 IRTemp bb = newTemp(Ity_I64);
9605 IRTemp zero = newTemp(Ity_I64);
9606 IRTemp bbNeg = newTemp(Ity_I64);
9607 IRTemp negMask = newTemp(Ity_I64);
9608 IRTemp posMask = newTemp(Ity_I64);
9645 IRTemp res = newTemp(Ity_I64);
9646 IRTemp zero = newTemp(Ity_I64);
9647 IRTemp aaNeg = newTemp(Ity_I64);
9648 IRTemp negMask = newTemp(Ity_I64);
9649 IRTemp posMask = newTemp(Ity_I64);
9675 IRTemp aaHi = newTemp(Ity_I64);
9676 IRTemp aaLo = newTemp(Ity_I64);
9738 IRTemp sHi = newTemp(Ity_I64);
9739 IRTemp sLo = newTemp(Ity_I64);
9740 IRTemp dHi = newTemp(Ity_I64);
9741 IRTemp dLo = newTemp(Ity_I64);
9742 IRTemp rHi = newTemp(Ity_I64);
9743 IRTemp rLo = newTemp(Ity_I64);
10135 IRTemp hi64 = newTemp(Ity_I64);
10136 IRTemp lo64 = newTemp(Ity_I64);
10137 IRTemp hi64r = newTemp(Ity_I64);
10138 IRTemp lo64r = newTemp(Ity_I64);
10182 IRTemp hi64 = newTemp(Ity_I64);
10183 IRTemp lo64 = newTemp(Ity_I64);
10184 IRTemp hi64r = newTemp(Ity_I64);
10185 IRTemp lo64r = newTemp(Ity_I64);
10820 IRTemp s1 = newTemp(Ity_I64);
10821 IRTemp s0 = newTemp(Ity_I64);
10822 IRTemp d1 = newTemp(Ity_I64);
10823 IRTemp d0 = newTemp(Ity_I64);
10915 IRTemp s1 = newTemp(Ity_I64);
10916 IRTemp s0 = newTemp(Ity_I64);
10917 IRTemp d1 = newTemp(Ity_I64);
10918 IRTemp d0 = newTemp(Ity_I64);
11113 IRTemp resHi = newTemp(Ity_I64);
11114 IRTemp resLo = newTemp(Ity_I64);
11118 assign( resHi, mkIRExprCCall(Ity_I64, 0/*regparms*/,
11122 assign( resLo, mkIRExprCCall(Ity_I64, 0/*regparms*/,
11150 IRTemp a1 = newTemp(Ity_I64);
11151 IRTemp s0 = newTemp(Ity_I64);
11246 sVmut = newTemp(Ity_I64);
11247 dVmut = newTemp(Ity_I64);
11248 sVcon = newTemp(Ity_I64);
11301 dVhi = newTemp(Ity_I64);
11302 dVlo = newTemp(Ity_I64);
11381 IRTemp arg64 = newTemp(Ity_I64);
11391 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
11431 Ity_I64, 0/*regp*/,
11451 IRTemp t64 = newTemp(Ity_I64);
11467 Ity_I64, 0/*regparms*/,
11503 IRTemp halfshift = newTemp(Ity_I64);
11533 mkIRExprCCall(Ity_I64, 0/*regparms*/,
11537 mkIRExprCCall(Ity_I64, 0/*regparms*/,
11566 IRTemp addr = newTemp(Ity_I64);
11800 loadLE(Ity_I64, mkexpr(addr)) );
11938 loadLE(Ity_I64, mkexpr(addr)) );
11960 loadLE(Ity_I64, mkexpr(addr)) );
12076 loadLE(Ity_I64, mkexpr(addr)) );
12097 loadLE(Ity_I64, mkexpr(addr)) );
12263 IRTemp arg64 = newTemp(Ity_I64);
12275 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
12327 IRTemp arg64 = newTemp(Ity_I64);
12335 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
12373 IRTemp arg64 = newTemp(Ity_I64);
12381 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
12400 IRTemp arg64 = newTemp(Ity_I64);
12417 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
12464 IRTemp dst64 = newTemp(Ity_I64);
12550 IRTemp dst64 = newTemp(Ity_I64);
13165 : unop( Iop_64UtoV128,loadLE(Ity_I64, mkexpr(addr)) )
13229 sV = newTemp(Ity_I64);
13230 dV = newTemp(Ity_I64);
13243 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
13416 loadLE(Ity_I64, mkexpr(addr)) );
13784 t5 = newTemp(Ity_I64);
13785 t6 = newTemp(Ity_I64);
13858 IRTemp sV = newTemp(Ity_I64);
14077 t0 = newTemp(Ity_I64);
14447 IRTemp sV = newTemp(Ity_I64);
14448 IRTemp dV = newTemp(Ity_I64);
14463 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
14650 IRTemp d0 = newTemp(Ity_I64);
14662 assign( d0, loadLE(Ity_I64, mkexpr(addr)) );
14679 IRTemp d0 = newTemp(Ity_I64);
14680 IRTemp d1 = newTemp(Ity_I64);
14691 assign( d0, loadLE(Ity_I64, mkexpr(addr)) );
14692 assign( d1, loadLE(Ity_I64, binop(Iop_Add64,
15006 IRTemp sHi = newTemp(Ity_I64);
15007 IRTemp sLo = newTemp(Ity_I64);
15008 IRTemp dHi = newTemp(Ity_I64);
15009 IRTemp dLo = newTemp(Ity_I64);
15010 IRTemp rHi = newTemp(Ity_I64);
15011 IRTemp rLo = newTemp(Ity_I64);
15012 IRTemp sevens = newTemp(Ity_I64);
15013 IRTemp mask0x80hi = newTemp(Ity_I64);
15014 IRTemp mask0x80lo = newTemp(Ity_I64);
15015 IRTemp maskBit3hi = newTemp(Ity_I64);
15016 IRTemp maskBit3lo = newTemp(Ity_I64);
15017 IRTemp sAnd7hi = newTemp(Ity_I64);
15018 IRTemp sAnd7lo = newTemp(Ity_I64);
15019 IRTemp permdHi = newTemp(Ity_I64);
15020 IRTemp permdLo = newTemp(Ity_I64);
15121 IRTemp sHi = newTemp(Ity_I64);
15122 IRTemp sLo = newTemp(Ity_I64);
15123 IRTemp dHi = newTemp(Ity_I64);
15124 IRTemp dLo = newTemp(Ity_I64);
15345 IRTemp sV = newTemp(Ity_I64);
15346 IRTemp dV = newTemp(Ity_I64);
15359 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15424 IRTemp sV = newTemp(Ity_I64);
15425 IRTemp dV = newTemp(Ity_I64);
15453 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15501 IRTemp sV = newTemp(Ity_I64);
15502 IRTemp dV = newTemp(Ity_I64);
15503 IRTemp sVoddsSX = newTemp(Ity_I64);
15504 IRTemp sVevensSX = newTemp(Ity_I64);
15505 IRTemp dVoddsZX = newTemp(Ity_I64);
15506 IRTemp dVevensZX = newTemp(Ity_I64);
15519 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15560 IRTemp sHi = newTemp(Ity_I64);
15561 IRTemp sLo = newTemp(Ity_I64);
15562 IRTemp dHi = newTemp(Ity_I64);
15563 IRTemp dLo = newTemp(Ity_I64);
15609 IRTemp sV = newTemp(Ity_I64);
15610 IRTemp dV = newTemp(Ity_I64);
15632 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15653 IRTemp sHi = newTemp(Ity_I64);
15654 IRTemp sLo = newTemp(Ity_I64);
15655 IRTemp dHi = newTemp(Ity_I64);
15656 IRTemp dLo = newTemp(Ity_I64);
15692 IRTemp sV = newTemp(Ity_I64);
15693 IRTemp dV = newTemp(Ity_I64);
15706 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15762 IRTemp sV = newTemp(Ity_I64);
15783 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
15869 IRTemp sV = newTemp(Ity_I64);
15870 IRTemp dV = newTemp(Ity_I64);
15871 IRTemp res = newTemp(Ity_I64);
15886 assign( sV, loadLE(Ity_I64, mkexpr(addr)) );
16036 IRTemp src64 = newTemp(Ity_I64);
16037 IRTemp res64 = newTemp(Ity_I64);
16041 IRTemp oszacp = newTemp(Ity_I64);
16097 IRTemp src64 = newTemp(Ity_I64);
16098 IRTemp res64 = newTemp(Ity_I64);
16102 IRTemp oszacp = newTemp(Ity_I64);
16296 IRTemp and64 = newTemp(Ity_I64);
16297 IRTemp andn64 = newTemp(Ity_I64);
16315 IRTemp z64 = newTemp(Ity_I64);
16316 IRTemp c64 = newTemp(Ity_I64);
16331 IRTemp t0 = newTemp(Ity_I64);
16332 IRTemp t1 = newTemp(Ity_I64);
16333 IRTemp t2 = newTemp(Ity_I64);
16362 IRTemp newOSZACP = newTemp(Ity_I64);
16507 unop( Iop_64UtoV128, loadLE( Ity_I64, mkexpr(addr) ) ) );
16591 unop( Iop_64UtoV128, loadLE( Ity_I64, mkexpr(addr) ) ) );
16687 IRTemp srcBytes = newTemp(Ity_I64);
16700 assign( srcBytes, loadLE( Ity_I64, mkexpr(addr) ) );
16771 unop( Iop_64UtoV128, loadLE( Ity_I64, mkexpr(addr) ) ) );
16799 IRTemp srcI64 = newTemp(Ity_I64);
16817 assign( srcI64, loadLE(Ity_I64, mkexpr(addr)) );
16954 unop( Iop_64UtoV128, loadLE( Ity_I64, mkexpr(addr) ) ) );
17154 IRTemp sHi = newTemp(Ity_I64);
17155 IRTemp sLo = newTemp(Ity_I64);
17156 IRTemp dLo = newTemp(Ity_I64);
17174 Ity_I64, 0/*regparms*/,
17822 IRTemp valG0 = newTemp(Ity_I64);
17839 IRTemp valG1 = newTemp(Ity_I64);
17841 mkIRExprCCall(Ity_I64, 0/*regparm*/, nm, fn,
17989 IRTemp src_qword = newTemp(Ity_I64);
18146 IRTemp cc = newTemp(Ity_I64);
18251 IRTemp resT = newTemp(Ity_I64);
18306 IRTemp halfshift = newTemp(Ity_I64);
18546 IRTemp sHi = newTemp(Ity_I64);
18547 IRTemp sLo = newTemp(Ity_I64);
18551 IRTemp dHi = newTemp(Ity_I64);
18552 IRTemp dLo = newTemp(Ity_I64);
18557 IRTemp resHi = newTemp(Ity_I64);
18558 IRTemp resLo = newTemp(Ity_I64);
18567 assign(resHi, mkIRExprCCall( Ity_I64, 0/*regparm*/,
18570 assign(resLo, mkIRExprCCall( Ity_I64, 0/*regparm*/,
18630 IRTemp t0 = newTemp(Ity_I64);
18631 IRTemp t1 = newTemp(Ity_I64);
18637 IRTemp t2 = newTemp(Ity_I64);
18638 IRTemp t3 = newTemp(Ity_I64);
18643 assign(t2, mkIRExprCCall(Ity_I64,0, "amd64g_calculate_pclmul",
18646 assign(t3, mkIRExprCCall(Ity_I64,0, "amd64g_calculate_pclmul",
19121 IRTemp src_u64 = newTemp(Ity_I64);
19135 assign( src_u64, loadLE( Ity_I64, mkexpr(addr) ) );
19632 ty = sz==2 ? Ity_I16 : Ity_I64;
19634 t2 = newTemp(Ity_I64);
19655 t2 = newTemp(Ity_I64);
19713 Ity_I64);
19971 t1 = newTemp(Ity_I64);
19972 t3 = newTemp(Ity_I64);
19974 assign( t3, loadLE(Ity_I64, mkexpr(t1)) );
20070 t1 = newTemp(Ity_I64);
20074 t2 = newTemp(Ity_I64);
20079 t3 = newTemp(Ity_I64);
20083 IRExpr_Get(OFFB_DFLAG,Ity_I64),
20088 t4 = newTemp(Ity_I64);
20092 binop(Iop_Shl64, IRExpr_Get(OFFB_IDFLAG,Ity_I64),
20098 t5 = newTemp(Ity_I64);
20102 binop(Iop_Shl64, IRExpr_Get(OFFB_ACFLAG,Ity_I64),
20125 t1 = newTemp(Ity_I64); t2 = newTemp(Ity_I64);
20203 addr = newTemp(Ity_I64);
20221 addr = newTemp(Ity_I64);
20500 t1 = newTemp(Ity_I64);
20502 t2 = newTemp(Ity_I64);
20519 t1 = newTemp(Ity_I64);
20520 t2 = newTemp(Ity_I64);
20525 assign(t2, loadLE(Ity_I64,mkexpr(t1)));
20721 t1 = newTemp(Ity_I64);
20728 t1 = newTemp(Ity_I64);
20735 t1 = newTemp(Ity_I64);
20742 t1 = newTemp(Ity_I64);
20754 t2 = newTemp(Ity_I64);
20770 t1 = newTemp(Ity_I64);
20777 t1 = newTemp(Ity_I64);
20784 t1 = newTemp(Ity_I64);
20791 t1 = newTemp(Ity_I64);
20821 t1 = newTemp(Ity_I64);
20825 t2 = newTemp(Ity_I64);
20876 t1 = newTemp(Ity_I64);
20877 t2 = newTemp(Ity_I64);
20973 if (ty == Ity_I64) {
20974 IRTemp m8 = newTemp(Ity_I64);
20975 IRTemp s8 = newTemp(Ity_I64);
20976 IRTemp m16 = newTemp(Ity_I64);
20977 IRTemp s16 = newTemp(Ity_I64);
20978 IRTemp m32 = newTemp(Ity_I64);
21234 IRTemp val = newTemp(Ity_I64);
21698 IRType elemTy = sz==4 ? Ity_I32 : Ity_I64;
21705 IRTemp flags_old = newTemp(Ity_I64);
21706 IRTemp flags_new = newTemp(Ity_I64);
21712 IRTemp expdHi64 = newTemp(Ity_I64);
21713 IRTemp expdLo64 = newTemp(Ity_I64);
21854 t1 = newTemp(Ity_I64);
21855 t2 = newTemp(Ity_I64);
21857 t2 = math_BSWAP( t1, Ity_I64 );
22263 IRTemp amt = newTemp(Ity_I64);
22273 assign( amt, loadLE(Ity_I64, mkexpr(addr)) );
22337 IRTemp amt = newTemp(Ity_I64);
22347 assign( amt, loadLE(Ity_I64, mkexpr(addr)) );
22477 res[i] = size == 32 ? newTemp(Ity_I32) : newTemp(Ity_I64);
22654 loadLE(Ity_I64, mkexpr(addr))) );
22684 IRTemp e64 = newTemp(Ity_I64);
22695 assign(e64, loadLE(Ity_I64, mkexpr(addr)));
22862 : sz == 8 ? unop( Iop_64UtoV128, loadLE(Ity_I64, mkexpr(addr)))
23442 putXMMRegLane64( rG, 0, loadLE(Ity_I64, mkexpr(addr)) );
23752 loadLE(Ity_I64, mkexpr(addr))));
23938 loadLE(Ity_I64, mkexpr(addr)),
24161 IRTemp arg64 = newTemp(Ity_I64);
24170 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
24189 IRTemp arg64 = newTemp(Ity_I64);
24198 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );
25236 unop( Iop_64UtoV128,loadLE(Ity_I64, mkexpr(addr)))
25757 putXMMRegLane64( rG, 0, loadLE(Ity_I64, mkexpr(addr)) );
27204 IRTemp tem = newTemp(Ity_I64);
27208 tem = newTemp(Ity_I64);
27212 tem = newTemp(Ity_I64);
27284 vassert(ty == Ity_I32 || ty == Ity_I64);
27336 IRType dstTy = (isYMM && (ty == Ity_I64 || !isVM64x)) ? Ity_V256 : Ity_V128;
27404 if (ty == Ity_I64 || isYMM)
27889 IRTemp t64 = newTemp(Ity_I64);
27906 IRTemp t64 = newTemp(Ity_I64);
27923 IRTemp t64 = newTemp(Ity_I64);
27940 IRTemp t64 = newTemp(Ity_I64);
27960 Ity_I64);
27961 assign(t64, loadLE(Ity_I64, mkexpr(addr)));
27975 IRTemp t64 = newTemp(Ity_I64);
28251 /*!isYMM*/False, Ity_I64, /*isLoad*/True );
28259 /*isYMM*/True, Ity_I64, /*isLoad*/True );
28289 /*!isYMM*/False, Ity_I64, /*!isLoad*/False );
28297 /*isYMM*/True, Ity_I64, /*!isLoad*/False );
28647 IRTemp t64 = newTemp(Ity_I64);
28670 IRTemp t64 = newTemp(Ity_I64);
28685 IRTemp t64 = newTemp(Ity_I64);
28695 assign(t64, loadLE(Ity_I64, mkexpr(addr)));
28706 IRTemp t64 = newTemp(Ity_I64);
28716 assign(t64, loadLE(Ity_I64, mkexpr(addr)));
28764 IRTemp t64 = newTemp(Ity_I64);
28791 IRTemp t64 = newTemp(Ity_I64);
28820 IRTemp t64 = newTemp(Ity_I64);
28845 IRTemp t64 = newTemp(Ity_I64);
28873 /*!isYMM*/False, Ity_I64, /*isLoad*/True );
28880 /*isYMM*/True, Ity_I64, /*isLoad*/True );
28904 /*!isYMM*/False, Ity_I64, /*!isLoad*/False );
28911 /*isYMM*/True, Ity_I64, /*!isLoad*/False );
28940 /*!isYMM*/False, /*!isVM64x*/False, Ity_I64 );
28949 /*isYMM*/True, /*!isVM64x*/False, Ity_I64 );
28979 /*!isYMM*/False, /*isVM64x*/True, Ity_I64 );
28988 /*isYMM*/True, /*isVM64x*/True, Ity_I64 );
29018 /*!isYMM*/False, /*!isVM64x*/False, Ity_I64 );
29027 /*isYMM*/True, /*!isVM64x*/False, Ity_I64 );
29057 /*!isYMM*/False, /*isVM64x*/True, Ity_I64 );
29066 /*isYMM*/True, /*isVM64x*/True, Ity_I64 );
29432 narrowTo(ty, mkIRExprCCall(Ity_I64, 0/*regparms*/,
29469 narrowTo(ty, mkIRExprCCall(Ity_I64, 0/*regparms*/,
29486 IRTemp res = newTemp(size == 8 ? Ity_I128 : Ity_I64);
29881 IRTemp s1 = newTemp(Ity_I64);
29882 IRTemp s0 = newTemp(Ity_I64);
30731 IRTemp src_u64 = newTemp(Ity_I64);
30743 assign( src_u64, loadLE( Ity_I64, mkexpr(addr) ) );
31323 putIRegRAX(8, IRExpr_Get( OFFB_NRADDR, Ity_I64 ));
31332 t1 = newTemp(Ity_I64);
31334 t2 = newTemp(Ity_I64);
31981 // if (ty == Ity_I64) {
