Lines Matching refs:Ity_I64
532 vassert(tyA == Ity_I32 || tyA == Ity_I64);
688 IRTemp hi64 = newTemp(Ity_I64);
689 IRTemp lo64 = newTemp(Ity_I64);
726 IRTemp hi64 = newTemp(Ity_I64);
727 IRTemp lo64 = newTemp(Ity_I64);
734 *t0 = newTemp(Ity_I64);
735 *t1 = newTemp(Ity_I64);
736 *t2 = newTemp(Ity_I64);
737 *t3 = newTemp(Ity_I64);
753 IRTemp hi64 = newTemp(Ity_I64);
754 IRTemp lo64 = newTemp(Ity_I64);
761 *t0 = newTemp(Ity_I64);
762 *t1 = newTemp(Ity_I64);
763 *t2 = newTemp(Ity_I64);
764 *t3 = newTemp(Ity_I64);
779 IRTemp hi64 = newTemp(Ity_I64);
780 IRTemp lo64 = newTemp(Ity_I64);
817 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
839 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
857 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
858 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
859 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
860 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
874 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
875 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
876 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
877 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
919 static IRExpr* /* :: Ity_I64 */ mk64lo32Sto64 ( IRExpr* src )
921 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
925 static IRExpr* /* :: Ity_I64 */ mk64lo32Uto64 ( IRExpr* src )
927 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
935 ty == Ity_I32 || ty == Ity_I64);
948 vassert(ty == Ity_I32 || ty == Ity_I64);
949 return ( ty == Ity_I64 ?
957 vassert(ty == Ity_I32 || ty == Ity_I64);
958 return ty == Ity_I64 ? mkU64(imm64) : mkU32((UInt)imm64);
964 vassert(ty == Ity_I32 || ty == Ity_I64);
965 return ( ty == Ity_I64 ?
973 vassert(ty == Ity_I32 || ty == Ity_I64);
974 return ( ty == Ity_I64 ?
982 vassert(ty == Ity_I32 || ty == Ity_I64);
983 return ( ty == Ity_I64 ?
991 vassert(ty == Ity_I32 || ty == Ity_I64);
992 return ty == Ity_I64 ? unop(Iop_64to8, src) : unop(Iop_32to8, src);
997 vassert(ty == Ity_I32 || ty == Ity_I64);
998 return ty == Ity_I64 ? unop(Iop_64to16, src) : unop(Iop_32to16, src);
1003 vassert(ty == Ity_I32 || ty == Ity_I64);
1004 return ty == Ity_I64 ? unop(Iop_64to32, src) : src;
1011 vassert(ty == Ity_I32 || ty == Ity_I64);
1020 vassert(ty == Ity_I32 || ty == Ity_I64);
1028 vassert(ty == Ity_I32 || ty == Ity_I64);
1084 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1092 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1395 Ity_I32 or Ity_I64 only. */
1410 vassert(ty == Ity_I64 || ty == Ity_I32);
1439 // else, ty == Ity_I64
1443 mask[i] = newTemp( Ity_I64 );
1454 nyu = newTemp( Ity_I64 );
1476 IRTemp retval = newTemp(Ity_I64);
1528 if (typeOfIRExpr(irsb->tyenv,src) == Ity_I64) {
1553 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1562 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1571 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1591 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1604 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1628 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I64);
1667 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
1835 typeOfIRExpr(irsb->tyenv,result) == Ity_I64);
2036 t64 = newTemp(Ity_I64);
2114 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
2115 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
2116 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2387 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
2388 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
2389 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2390 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I64);
2575 IRType ty = mode64 ? Ity_I64 : Ity_I32;
2747 IRType ty = mode64 ? Ity_I64 : Ity_I32;
2801 vassert( ty_src == Ity_I64 );
2805 vassert( ty_src == Ity_I64 );
2809 vassert( ty_src == Ity_I64 );
2821 IRType ty = mode64 ? Ity_I64 : Ity_I32;
2823 vassert( typeOfIRExpr( irsb->tyenv,src ) == Ity_I64 );
2971 frac_part = newTemp(Ity_I64);
2995 sign_less_part = newTemp(Ity_I64);
3011 IRTemp frac_part = newTemp(Ity_I64);
3077 * Ity_I64 via Iop_ReinterpF64asI64) that was obtained from the "Multip-<op>" part of
3085 IRTemp negatedResult = newTemp(Ity_I64);
3221 IRType ty = mode64 ? Ity_I64 : Ity_I32;
3858 IRType ty = mode64 ? Ity_I64 : Ity_I32;
3916 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
3935 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
3976 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4278 IRTemp idx_tmp = newTemp( Ity_I64 );
4279 IRTemp perm_bit = newTemp( Ity_I64 );
4282 IRTemp idx_LT64_ity64 = newTemp( Ity_I64
4352 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4487 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4536 IRTemp rTmp = newTemp(Ity_I64);
4735 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4911 putIReg( rD_addr, loadBE(Ity_I64, mkexpr(EA)) );
4917 putIReg( rD_addr, loadBE(Ity_I64, mkexpr(EA)) );
4949 putIReg( rD_addr, loadBE(Ity_I64, mkexpr(EA)) );
4958 putIReg( rD_addr, loadBE(Ity_I64, mkexpr(EA)) );
5026 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5241 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5295 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5346 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5386 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5483 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5558 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5878 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I64 );
5879 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I64 );
5899 argL = newTemp(Ity_I64);
5900 argR = newTemp(Ity_I64);
5949 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5999 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6051 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6102 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6240 res = newTemp(Ity_I64);
6249 IRTemp rS = newTemp(Ity_I64);
6386 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6526 IRTemp sh_amt = newTemp(Ity_I64);
6651 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6690 ty == Ity_I64 ? mkU64( 4 ) : mkU32( 4 ) );
6713 IRTemp rS = newTemp(Ity_I64);
6756 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6904 IRTemp val = newTemp(Ity_I64);
7150 IRType ty = mode64 ? Ity_I64 : Ity_I32;
7448 IRType ty = mode64 ? Ity_I64 : Ity_I32;
7547 IRTemp dw = newTemp( Ity_I64 );
7587 IRType ty = mode64 ? Ity_I64 : Ity_I32;
7960 IRTemp sign_tmp = newTemp(Ity_I64);
8172 IRTemp frac_part = newTemp(Ity_I64);
8364 IRTemp frac_part = newTemp(Ity_I64);
8430 IRTemp frB_I64 = newTemp(Ity_I64);
8442 IRTemp frA_I64 = newTemp(Ity_I64);
8602 IRTemp r_tmp64 = newTemp(Ity_I64);
8813 IRType ty = mode64 ? Ity_I64 : Ity_I32;
8968 itmpB = newTemp(Ity_I64);
9151 IRTemp rB_64 = newTemp( Ity_I64 );
9606 IRTemp tmplow60 = newTemp( Ity_I64 );
9607 IRTemp tmpmid60 = newTemp( Ity_I64 );
9608 IRTemp tmptop12 = newTemp( Ity_I64 );
9609 IRTemp low_50 = newTemp( Ity_I64 );
9610 IRTemp mid_50 = newTemp( Ity_I64 );
9611 IRTemp top_10 = newTemp( Ity_I64 );
10080 IRTemp tmp = newTemp( Ity_I64 );
10136 IRTemp tmp = newTemp( Ity_I64 );
10284 IRTemp TE_I64 = newTemp( Ity_I64 );
10378 IRTemp TE_I64 = newTemp( Ity_I64 );
10464 IRTemp tmp = newTemp( Ity_I64 );
10510 IRTemp tmp = newTemp( Ity_I64 );
10821 IRTemp frAI64_hi = newTemp( Ity_I64 );
10822 IRTemp frAI64_lo = newTemp( Ity_I64 );
10834 IRTemp exp_min_normal = newTemp( Ity_I64 );
11266 IRTemp frBI64 = newTemp( Ity_I64 );
11267 IRTemp result = newTemp( Ity_I64 );
11269 IRTemp bcd64 = newTemp( Ity_I64 );
11362 IRTemp without_lmd = newTemp( Ity_I64 );
11363 IRTemp tmp64 = newTemp( Ity_I64 );
11364 IRTemp dbcd64 = newTemp( Ity_I64 );
11423 IRTemp tmp = newTemp( Ity_I64 );
11526 IRTemp frBI64_hi = newTemp( Ity_I64 );
11527 IRTemp frBI64_lo = newTemp( Ity_I64 );
11532 IRTemp result_hi = newTemp( Ity_I64 );
11533 IRTemp result_lo = newTemp( Ity_I64 );
11661 IRTemp tmp_hi = newTemp( Ity_I64 );
11662 IRTemp tmp_lo = newTemp( Ity_I64 );
11668 IRTemp bcd_top_8 = newTemp( Ity_I64 );
11669 IRTemp bcd_mid_60 = newTemp( Ity_I64 );
11670 IRTemp bcd_low_60 = newTemp( Ity_I64 );
11672 IRTemp tmptop10 = newTemp( Ity_I64 );
11673 IRTemp tmpmid50 = newTemp( Ity_I64 );
11674 IRTemp tmplow50 = newTemp( Ity_I64 );
11963 IRTemp frBI64 = newTemp( Ity_I64 );
11966 IRTemp tmp64 = newTemp( Ity_I64 );
12000 IRTemp frBI64_hi = newTemp( Ity_I64 );
12001 IRTemp frBI64_lo = newTemp( Ity_I64 );
12267 xB = newTemp(Ity_I64);
12269 xB2 = newTemp(Ity_I64);
12274 xB = newTemp(Ity_I64);
12408 IRTemp hi64 = newTemp(Ity_I64);
12409 IRTemp lo64 = newTemp(Ity_I64);
12773 IRTemp hiResult = newTemp(Ity_I64);
12774 IRTemp loResult = newTemp(Ity_I64);
12789 IRTemp hiResult = newTemp(Ity_I64);
12790 IRTemp loResult = newTemp(Ity_I64);
12850 IRTemp hiResult = newTemp(Ity_I64);
12851 IRTemp loResult = newTemp(Ity_I64);
12883 IRTemp frBHi_I64 = newTemp(Ity_I64);
12884 IRTemp frBLo_I64 = newTemp(Ity_I64);
12916 IRTemp frBHi_I64 = newTemp(Ity_I64);
12917 IRTemp frBLo_I64 = newTemp(Ity_I64);
12918 IRTemp frAHi_I64 = newTemp(Ity_I64);
12919 IRTemp frALo_I64 = newTemp(Ity_I64);
13401 IRType ty = Ity_I64;
13402 IRTemp bits0_63 = newTemp(Ity_I64);
13403 IRTemp bits64_127 = newTemp(Ity_I64);
13404 IRTemp cnt_bits0_63 = newTemp(Ity_I64);
13405 IRTemp cnt_bits64_127 = newTemp(Ity_I64);
13423 IRTemp cnt_bits0_63 = newTemp(Ity_I64);
13424 IRTemp cnt_bits64_127 = newTemp(Ity_I64);
13598 * Arguments: frA and frb are Ity_I64
13599 * Returns Ity_I64 IRExpr that answers the "which is Maxiumum/Minimum" question
13668 IRTemp intermediateResult = newTemp(Ity_I64);
13773 IRTemp frB = newTemp(Ity_I64);
13774 IRTemp frB2 = newTemp(Ity_I64);
13883 IRTemp a0_I64 = newTemp( Ity_I64 );
13884 IRTemp a1_I64 = newTemp( Ity_I64 );
13885 IRTemp a2_I64 = newTemp( Ity_I64 );
13886 IRTemp a3_I64 = newTemp( Ity_I64 );
13887 IRTemp b0_I64 = newTemp( Ity_I64 );
13888 IRTemp b1_I64 = newTemp( Ity_I64 );
13889 IRTemp b2_I64 = newTemp( Ity_I64 );
13890 IRTemp b3_I64 = newTemp( Ity_I64 );
13937 IRTemp frA = newTemp(Ity_I64);
13938 IRTemp frB = newTemp(Ity_I64);
13939 IRTemp frA2 = newTemp(Ity_I64);
13940 IRTemp frB2 = newTemp(Ity_I64);
13955 IRTemp frA = newTemp(Ity_I64);
13956 IRTemp frB = newTemp(Ity_I64);
13957 IRTemp frA2 = newTemp(Ity_I64);
13958 IRTemp frB2 = newTemp(Ity_I64);
13988 IRTemp resHi = newTemp(Ity_I64);
13989 IRTemp resLo = newTemp(Ity_I64);
14121 IRTemp frBHi_I64 = newTemp(Ity_I64);
14122 IRTemp frBLo_I64 = newTemp(Ity_I64);
14176 IRTemp b3_I64 = newTemp(Ity_I64);
14177 IRTemp b2_I64 = newTemp(Ity_I64);
14178 IRTemp b1_I64 = newTemp(Ity_I64);
14179 IRTemp b0_I64 = newTemp(Ity_I64);
14372 IRTemp maddResult = newTemp(Ity_I64);
14392 IRTemp maddResult = newTemp(Ity_I64);
14416 IRTemp msubResult = newTemp(Ity_I64);
14440 IRTemp msubResult = newTemp(Ity_I64);
14507 IRTemp frA_I64 = newTemp(Ity_I64);
14508 IRTemp frB_I64 = newTemp(Ity_I64);
14517 IRTemp frB_I64 = newTemp(Ity_I64);
14597 IRTemp hiResult = newTemp(Ity_I64);
14598 IRTemp loResult = newTemp(Ity_I64);
14856 IRTemp frA = newTemp(Ity_I64);
14857 IRTemp frB = newTemp(Ity_I64);
14873 IRTemp frB_I64 = newTemp(Ity_I64);
15060 IRType ty = mode64 ? Ity_I64 : Ity_I32;
15075 exp = unop( Iop_64HIto32, loadBE( Ity_I64, mkexpr( EA ) ) );
15085 exp = unop( Iop_64HIto32, loadBE( Ity_I64, mkexpr( EA ) ) );
15103 loadBE( Ity_I64, mkexpr( EA ) ) ) ) ) );
15112 exp = loadBE( Ity_I64, mkexpr( EA ) );
15121 IROp addOp = ty == Ity_I64 ? Iop_Add64 : Iop_Add32;
15126 high = loadBE( Ity_I64, mkexpr( EA ) );
15127 high_addr = binop( addOp, mkexpr( EA ), ty == Ity_I64 ? mkU64( ea_off )
15129 low = loadBE( Ity_I64, high_addr );
15135 IRTemp data = newTemp(Ity_I64);
15137 assign( data, loadBE( Ity_I64, mkexpr( EA ) ) );
15151 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
15155 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
15159 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
15187 IRType ty = mode64 ? Ity_I64 : Ity_I32;
15239 storeBE( binop( mkSzOp( ty, Iop_Add8 ), mkexpr( EA ), ty == Ity_I64 ? mkU64( 8 )
15247 IRTemp hi64 = newTemp( Ity_I64 );
15248 IRTemp lo64 = newTemp( Ity_I64 );
15260 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
15264 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
15268 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
15323 IRTemp hi = newTemp(Ity_I64);
15324 IRTemp lo = newTemp(Ity_I64);
15347 IRTemp a64 = newTemp(Ity_I64);
15350 IRTemp b64 = newTemp(Ity_I64);
15414 IRType ty = mode64 ? Ity_I64 : Ity_I32;
15546 IRType ty = mode64 ? Ity_I64 : Ity_I32;
15633 IRTemp z3 = newTemp(Ity_I64);
15634 IRTemp z2 = newTemp(Ity_I64);
15635 IRTemp z1 = newTemp(Ity_I64);
15636 IRTemp z0 = newTemp(Ity_I64);
16341 IRTemp z3 = newTemp(Ity_I64);
16342 IRTemp z2 = newTemp(Ity_I64);
16343 IRTemp z1 = newTemp(Ity_I64);
16344 IRTemp z0 = newTemp(Ity_I64);
18496 IRType ty = mode64 ? Ity_I64 : Ity_I32;
19958 ty = mode64 ? Ity_I64 : Ity_I32;