Lines Matching refs:Ity_I64
513 vassert(tyA == Ity_I32 || tyA == Ity_I64);
669 IRTemp hi64 = newTemp(Ity_I64);
670 IRTemp lo64 = newTemp(Ity_I64);
707 IRTemp hi64 = newTemp(Ity_I64);
708 IRTemp lo64 = newTemp(Ity_I64);
715 *t0 = newTemp(Ity_I64);
716 *t1 = newTemp(Ity_I64);
717 *t2 = newTemp(Ity_I64);
718 *t3 = newTemp(Ity_I64);
734 IRTemp hi64 = newTemp(Ity_I64);
735 IRTemp lo64 = newTemp(Ity_I64);
742 *t0 = newTemp(Ity_I64);
743 *t1 = newTemp(Ity_I64);
744 *t2 = newTemp(Ity_I64);
745 *t3 = newTemp(Ity_I64);
760 IRTemp hi64 = newTemp(Ity_I64);
761 IRTemp lo64 = newTemp(Ity_I64);
788 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
811 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
829 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
830 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
831 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
832 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
846 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
847 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
848 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
849 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
880 static IRExpr* /* :: Ity_I64 */ mk64lo32Sto64 ( IRExpr* src )
882 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
886 static IRExpr* /* :: Ity_I64 */ mk64lo32Uto64 ( IRExpr* src )
888 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
896 ty == Ity_I32 || ty == Ity_I64);
909 vassert(ty == Ity_I32 || ty == Ity_I64);
910 return ( ty == Ity_I64 ?
918 vassert(ty == Ity_I32 || ty == Ity_I64);
919 return ty == Ity_I64 ? mkU64(imm64) : mkU32((UInt)imm64);
925 vassert(ty == Ity_I32 || ty == Ity_I64);
926 return ( ty == Ity_I64 ?
934 vassert(ty == Ity_I32 || ty == Ity_I64);
935 return ( ty == Ity_I64 ?
943 vassert(ty == Ity_I32 || ty == Ity_I64);
944 return ( ty == Ity_I64 ?
952 vassert(ty == Ity_I32 || ty == Ity_I64);
953 return ty == Ity_I64 ? unop(Iop_64to8, src) : unop(Iop_32to8, src);
958 vassert(ty == Ity_I32 || ty == Ity_I64);
959 return ty == Ity_I64 ? unop(Iop_64to16, src) : unop(Iop_32to16, src);
964 vassert(ty == Ity_I32 || ty == Ity_I64);
965 return ty == Ity_I64 ? unop(Iop_64to32, src) : src;
972 vassert(ty == Ity_I32 || ty == Ity_I64);
981 vassert(ty == Ity_I32 || ty == Ity_I64);
989 vassert(ty == Ity_I32 || ty == Ity_I64);
1045 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1053 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1295 Ity_I32 or Ity_I64 only. */
1303 vassert(ty == Ity_I64 || ty == Ity_I32);
1330 // else, ty == Ity_I64
1332 mask[i] = newTemp( Ity_I64 );
1343 nyu = newTemp( Ity_I64 );
1363 if (typeOfIRExpr(irsb->tyenv,src) == Ity_I64) {
1387 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1396 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1405 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1425 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1438 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1462 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I64);
1501 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
1669 typeOfIRExpr(irsb->tyenv,result) == Ity_I64);
1870 t64 = newTemp(Ity_I64);
1948 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
1949 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
1950 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2205 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
2206 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
2207 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2208 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I64);
2393 IRType ty = mode64 ? Ity_I64 : Ity_I32;
2524 IRType ty = mode64 ? Ity_I64 : Ity_I32;
2586 IRType ty = mode64 ? Ity_I64 : Ity_I32;
2729 frac_part = newTemp(Ity_I64);
2753 sign_less_part = newTemp(Ity_I64);
2769 IRTemp frac_part = newTemp(Ity_I64);
2805 * Ity_I64 via Iop_ReinterpF64asI64) that was obtained from the "Multip-<op>" part of
2813 IRTemp negatedResult = newTemp(Ity_I64);
2905 IRType ty = mode64 ? Ity_I64 : Ity_I32;
3542 IRType ty = mode64 ? Ity_I64 : Ity_I32;
3600 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
3619 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
3660 IRType ty = mode64 ? Ity_I64 : Ity_I32;
3942 IRTemp idx_tmp = newTemp( Ity_I64 );
3943 IRTemp perm_bit = newTemp( Ity_I64 );
3946 IRTemp idx_LT64_ity64 = newTemp( Ity_I64 );
4016 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4151 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4200 IRTemp rTmp = newTemp(Ity_I64);
4399 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4568 putIReg( rD_addr, loadBE(Ity_I64, mkexpr(EA)) );
4574 putIReg( rD_addr, loadBE(Ity_I64, mkexpr(EA)) );
4606 putIReg( rD_addr, loadBE(Ity_I64, mkexpr(EA)) );
4615 putIReg( rD_addr, loadBE(Ity_I64, mkexpr(EA)) );
4656 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4841 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4894 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4945 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4985 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5082 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5157 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5476 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I64 );
5477 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I64 );
5496 argL = newTemp(Ity_I64);
5497 argR = newTemp(Ity_I64);
5545 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5595 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5647 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5698 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5836 res = newTemp(Ity_I64);
5845 IRTemp rS = newTemp(Ity_I64);
5907 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6049 IRTemp sh_amt = newTemp(Ity_I64);
6176 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6215 ty == Ity_I64 ? mkU64( 4 ) : mkU32( 4 ) );
6238 IRTemp rS = newTemp(Ity_I64);
6281 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6414 IRTemp val = newTemp(Ity_I64);
6528 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6712 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6811 IRTemp dw = newTemp( Ity_I64 );
6851 IRType ty = mode64 ? Ity_I64 : Ity_I32;
7422 IRTemp frac_part = newTemp(Ity_I64);
7614 IRTemp frac_part = newTemp(Ity_I64);
7680 IRTemp frB_I64 = newTemp(Ity_I64);
7692 IRTemp frA_I64 = newTemp(Ity_I64);
7852 IRTemp r_tmp64 = newTemp(Ity_I64);
8055 IRType ty = mode64 ? Ity_I64 : Ity_I32;
8156 itmpB = newTemp(Ity_I64);
8513 xB = newTemp(Ity_I64);
8515 xB2 = newTemp(Ity_I64);
8520 xB = newTemp(Ity_I64);
8619 IRTemp hi64 = newTemp(Ity_I64);
8620 IRTemp lo64 = newTemp(Ity_I64);
8961 IRTemp hiResult = newTemp(Ity_I64);
8962 IRTemp loResult = newTemp(Ity_I64);
8977 IRTemp hiResult = newTemp(Ity_I64);
8978 IRTemp loResult = newTemp(Ity_I64);
9038 IRTemp hiResult = newTemp(Ity_I64);
9039 IRTemp loResult = newTemp(Ity_I64);
9071 IRTemp frBHi_I64 = newTemp(Ity_I64);
9072 IRTemp frBLo_I64 = newTemp(Ity_I64);
9104 IRTemp frBHi_I64 = newTemp(Ity_I64);
9105 IRTemp frBLo_I64 = newTemp(Ity_I64);
9106 IRTemp frAHi_I64 = newTemp(Ity_I64);
9107 IRTemp frALo_I64 = newTemp(Ity_I64);
9615 * Arguments: frA and frb are Ity_I64
9616 * Returns Ity_I64 IRExpr that answers the "which is Maxiumum/Minimum" question
9667 IRTemp intermediateResult = newTemp(Ity_I64);
9769 IRTemp frB = newTemp(Ity_I64);
9770 IRTemp frB2 = newTemp(Ity_I64);
9879 IRTemp a0_I64 = newTemp( Ity_I64 );
9880 IRTemp a1_I64 = newTemp( Ity_I64 );
9881 IRTemp a2_I64 = newTemp( Ity_I64 );
9882 IRTemp a3_I64 = newTemp( Ity_I64 );
9883 IRTemp b0_I64 = newTemp( Ity_I64 );
9884 IRTemp b1_I64 = newTemp( Ity_I64 );
9885 IRTemp b2_I64 = newTemp( Ity_I64 );
9886 IRTemp b3_I64 = newTemp( Ity_I64 );
9933 IRTemp frA = newTemp(Ity_I64);
9934 IRTemp frB = newTemp(Ity_I64);
9935 IRTemp frA2 = newTemp(Ity_I64);
9936 IRTemp frB2 = newTemp(Ity_I64);
9951 IRTemp frA = newTemp(Ity_I64);
9952 IRTemp frB = newTemp(Ity_I64);
9953 IRTemp frA2 = newTemp(Ity_I64);
9954 IRTemp frB2 = newTemp(Ity_I64);
9984 IRTemp resHi = newTemp(Ity_I64);
9985 IRTemp resLo = newTemp(Ity_I64);
10117 IRTemp frBHi_I64 = newTemp(Ity_I64);
10118 IRTemp frBLo_I64 = newTemp(Ity_I64);
10173 IRTemp b3_I64 = newTemp(Ity_I64);
10174 IRTemp b2_I64 = newTemp(Ity_I64);
10175 IRTemp b1_I64 = newTemp(Ity_I64);
10176 IRTemp b0_I64 = newTemp(Ity_I64);
10297 IRTemp maddResult = newTemp(Ity_I64);
10315 IRTemp msubResult = newTemp(Ity_I64);
10360 IRTemp frA_I64 = newTemp(Ity_I64);
10361 IRTemp frB_I64 = newTemp(Ity_I64);
10370 IRTemp frB_I64 = newTemp(Ity_I64);
10450 IRTemp hiResult = newTemp(Ity_I64);
10451 IRTemp loResult = newTemp(Ity_I64);
10709 IRTemp frA = newTemp(Ity_I64);
10710 IRTemp frB = newTemp(Ity_I64);
10726 IRTemp frB_I64 = newTemp(Ity_I64);
10843 IRType ty = mode64 ? Ity_I64 : Ity_I32;
10858 exp = loadBE( Ity_I64, mkexpr( EA ) );
10867 IROp addOp = ty == Ity_I64 ? Iop_Add64 : Iop_Add32;
10872 high = loadBE( Ity_I64, mkexpr( EA ) );
10873 high_addr = binop( addOp, mkexpr( EA ), ty == Ity_I64 ? mkU64( ea_off )
10875 low = loadBE( Ity_I64, high_addr );
10881 IRTemp data = newTemp(Ity_I64);
10883 assign( data, loadBE( Ity_I64, mkexpr( EA ) ) );
10897 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
10901 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
10905 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
10933 IRType ty = mode64 ? Ity_I64 : Ity_I32;
10960 storeBE( binop( mkSzOp( ty, Iop_Add8 ), mkexpr( EA ), ty == Ity_I64 ? mkU64( 8 )
10968 IRTemp hi64 = newTemp( Ity_I64 );
10969 IRTemp lo64 = newTemp( Ity_I64 );
10981 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
10985 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
10989 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
11044 IRTemp hi = newTemp(Ity_I64);
11045 IRTemp lo = newTemp(Ity_I64);
11068 IRTemp a64 = newTemp(Ity_I64);
11071 IRTemp b64 = newTemp(Ity_I64);
11135 IRType ty = mode64 ? Ity_I64 : Ity_I32;
11265 IRType ty = mode64 ? Ity_I64 : Ity_I32;
11352 IRTemp z3 = newTemp(Ity_I64);
11353 IRTemp z2 = newTemp(Ity_I64);
11354 IRTemp z1 = newTemp(Ity_I64);
11355 IRTemp z0 = newTemp(Ity_I64);
11968 IRTemp z3 = newTemp(Ity_I64);
11969 IRTemp z2 = newTemp(Ity_I64);
11970 IRTemp z1 = newTemp(Ity_I64);
11971 IRTemp z0 = newTemp(Ity_I64);
13331 IRType ty = mode64 ? Ity_I64 : Ity_I32;
14359 ty = mode64 ? Ity_I64 : Ity_I32;
