Lines Matching refs:Ity_I64
587 vassert(tyA == Ity_I32 || tyA == Ity_I64);
759 IRTemp hi64 = newTemp(Ity_I64);
760 IRTemp lo64 = newTemp(Ity_I64);
797 IRTemp hi64 = newTemp(Ity_I64);
798 IRTemp lo64 = newTemp(Ity_I64);
805 *t0 = newTemp(Ity_I64);
806 *t1 = newTemp(Ity_I64);
807 *t2 = newTemp(Ity_I64);
808 *t3 = newTemp(Ity_I64);
824 IRTemp hi64 = newTemp(Ity_I64);
825 IRTemp lo64 = newTemp(Ity_I64);
832 *t0 = newTemp(Ity_I64);
833 *t1 = newTemp(Ity_I64);
834 *t2 = newTemp(Ity_I64);
835 *t3 = newTemp(Ity_I64);
850 IRTemp hi64 = newTemp(Ity_I64);
851 IRTemp lo64 = newTemp(Ity_I64);
888 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
910 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
928 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
929 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
930 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
931 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
945 vassert(typeOfIRExpr(irsb->tyenv, t3) == Ity_I64);
946 vassert(typeOfIRExpr(irsb->tyenv, t2) == Ity_I64);
947 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
948 vassert(typeOfIRExpr(irsb->tyenv, t0) == Ity_I64);
990 static IRExpr* /* :: Ity_I64 */ mk64lo32Sto64 ( IRExpr* src )
992 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
996 static IRExpr* /* :: Ity_I64 */ mk64lo32Uto64 ( IRExpr* src )
998 vassert(typeOfIRExpr(irsb->tyenv, src) == Ity_I64);
1006 ty == Ity_I32 || ty == Ity_I64);
1019 vassert(ty == Ity_I32 || ty == Ity_I64);
1020 return ( ty == Ity_I64 ?
1028 vassert(ty == Ity_I32 || ty == Ity_I64);
1029 return ty == Ity_I64 ? mkU64(imm64) : mkU32((UInt)imm64);
1035 vassert(ty == Ity_I32 || ty == Ity_I64);
1036 return ( ty == Ity_I64 ?
1044 vassert(ty == Ity_I32 || ty == Ity_I64);
1045 return ( ty == Ity_I64 ?
1053 vassert(ty == Ity_I32 || ty == Ity_I64);
1054 return ( ty == Ity_I64 ?
1062 vassert(ty == Ity_I32 || ty == Ity_I64);
1063 return ty == Ity_I64 ? unop(Iop_64to8, src) : unop(Iop_32to8, src);
1068 vassert(ty == Ity_I32 || ty == Ity_I64);
1069 return ty == Ity_I64 ? unop(Iop_64to16, src) : unop(Iop_32to16, src);
1074 vassert(ty == Ity_I32 || ty == Ity_I64);
1075 return ty == Ity_I64 ? unop(Iop_64to32, src) : src;
1082 vassert(ty == Ity_I32 || ty == Ity_I64);
1091 vassert(ty == Ity_I32 || ty == Ity_I64);
1099 vassert(ty == Ity_I32 || ty == Ity_I64);
1154 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1162 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1503 Ity_I32 or Ity_I64 only. */
1518 vassert(ty == Ity_I64 || ty == Ity_I32);
1547 // else, ty == Ity_I64
1551 mask[i] = newTemp( Ity_I64 );
1562 nyu = newTemp( Ity_I64 );
1584 IRTemp retval = newTemp(Ity_I64);
1636 if (typeOfIRExpr(irsb->tyenv,src) == Ity_I64) {
1661 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1670 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1679 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1699 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1712 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1736 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I64);
1775 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I64);
1943 typeOfIRExpr(irsb->tyenv,result) == Ity_I64);
2144 t64 = newTemp(Ity_I64);
2222 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
2223 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
2224 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2495 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I64);
2496 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I64);
2497 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I64);
2498 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I64);
2683 IRType ty = mode64 ? Ity_I64 : Ity_I32;
2858 IRType ty = mode64 ? Ity_I64 : Ity_I32;
2912 vassert( ty_src == Ity_I64 );
2922 vassert( ty_src == Ity_I64 );
2926 vassert( ty_src == Ity_I64 );
2938 IRType ty = mode64 ? Ity_I64 : Ity_I32;
2940 vassert( typeOfIRExpr( irsb->tyenv,src ) == Ity_I64 );
3126 frac_part = newTemp(Ity_I64);
3150 sign_less_part = newTemp(Ity_I64);
3166 IRTemp frac_part = newTemp(Ity_I64);
3232 * Ity_I64 via Iop_ReinterpF64asI64) that was obtained from the "Multip-<op>" part of
3240 IRTemp negatedResult = newTemp(Ity_I64);
3377 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4014 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4072 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
4091 a = b = typeOfIRExpr(irsb->tyenv,a) == Ity_I64
4132 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4434 IRTemp idx_tmp = newTemp( Ity_I64 );
4435 IRTemp perm_bit = newTemp( Ity_I64 );
4438 IRTemp idx_LT64_ity64 = newTemp( Ity_I64 );
4508 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4643 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4692 IRTemp rTmp = newTemp(Ity_I64);
4891 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5067 putIReg( rD_addr, load(Ity_I64, mkexpr(EA)) );
5073 putIReg( rD_addr, load(Ity_I64, mkexpr(EA)) );
5105 Ity_I64, mkexpr(EA)) );
5114 putIReg( rD_addr, load(Ity_I64, mkexpr(EA)) );
5189 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5411 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5465 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5517 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5557 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5654 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5729 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6049 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I64 );
6050 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I64 );
6070 argL = newTemp(Ity_I64);
6071 argR = newTemp(Ity_I64);
6120 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6170 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6222 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6271 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6509 res = newTemp(Ity_I64);
6518 IRTemp rS = newTemp(Ity_I64);
6670 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6810 IRTemp sh_amt = newTemp(Ity_I64);
6935 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6974 ty == Ity_I64 ? mkU64( 4 ) : mkU32( 4 ) );
7000 IRTemp rS = newTemp(Ity_I64);
7044 IRType ty = mode64 ? Ity_I64 : Ity_I32;
7196 IRTemp val = newTemp(Ity_I64);
7442 IRType ty = mode64 ? Ity_I64 : Ity_I32;
7740 IRType ty = mode64 ? Ity_I64 : Ity_I32;
7839 IRTemp dw = newTemp( Ity_I64 );
7879 IRType ty = mode64 ? Ity_I64 : Ity_I32;
8249 IRTemp sign_tmp = newTemp(Ity_I64);
8461 IRTemp frac_part = newTemp(Ity_I64);
8653 IRTemp frac_part = newTemp(Ity_I64);
8719 IRTemp frB_I64 = newTemp(Ity_I64);
8731 IRTemp frA_I64 = newTemp(Ity_I64);
8891 IRTemp r_tmp64 = newTemp(Ity_I64);
9102 IRType ty = mode64 ? Ity_I64 : Ity_I32;
9257 itmpB = newTemp(Ity_I64);
9440 IRTemp rB_64 = newTemp( Ity_I64 );
9895 IRTemp tmplow60 = newTemp( Ity_I64 );
9896 IRTemp tmpmid60 = newTemp( Ity_I64 );
9897 IRTemp tmptop12 = newTemp( Ity_I64 );
9898 IRTemp low_50 = newTemp( Ity_I64 );
9899 IRTemp mid_50 = newTemp( Ity_I64 );
9900 IRTemp top_10 = newTemp( Ity_I64 );
10369 IRTemp tmp = newTemp( Ity_I64 );
10425 IRTemp tmp = newTemp( Ity_I64 );
10573 IRTemp TE_I64 = newTemp( Ity_I64 );
10667 IRTemp TE_I64 = newTemp( Ity_I64 );
10753 IRTemp tmp = newTemp( Ity_I64 );
10799 IRTemp tmp = newTemp( Ity_I64 );
11110 IRTemp frAI64_hi = newTemp( Ity_I64 );
11111 IRTemp frAI64_lo = newTemp( Ity_I64 );
11123 IRTemp exp_min_normal = newTemp( Ity_I64 );
11555 IRTemp frBI64 = newTemp( Ity_I64 );
11556 IRTemp result = newTemp( Ity_I64 );
11558 IRTemp bcd64 = newTemp( Ity_I64 );
11651 IRTemp without_lmd = newTemp( Ity_I64 );
11652 IRTemp tmp64 = newTemp( Ity_I64 );
11653 IRTemp dbcd64 = newTemp( Ity_I64 );
11712 IRTemp tmp = newTemp( Ity_I64 );
11815 IRTemp frBI64_hi = newTemp( Ity_I64 );
11816 IRTemp frBI64_lo = newTemp( Ity_I64 );
11821 IRTemp result_hi = newTemp( Ity_I64 );
11822 IRTemp result_lo = newTemp( Ity_I64 );
11950 IRTemp tmp_hi = newTemp( Ity_I64 );
11951 IRTemp tmp_lo = newTemp( Ity_I64 );
11957 IRTemp bcd_top_8 = newTemp( Ity_I64 );
11958 IRTemp bcd_mid_60 = newTemp( Ity_I64 );
11959 IRTemp bcd_low_60 = newTemp( Ity_I64 );
11961 IRTemp tmptop10 = newTemp( Ity_I64 );
11962 IRTemp tmpmid50 = newTemp( Ity_I64 );
11963 IRTemp tmplow50 = newTemp( Ity_I64 );
12252 IRTemp frBI64 = newTemp( Ity_I64 );
12255 IRTemp tmp64 = newTemp( Ity_I64 );
12289 IRTemp frBI64_hi = newTemp( Ity_I64 );
12290 IRTemp frBI64_lo = newTemp( Ity_I64 );
12556 xB = newTemp(Ity_I64);
12558 xB2 = newTemp(Ity_I64);
12563 xB = newTemp(Ity_I64);
12697 IRTemp hi64 = newTemp(Ity_I64);
12698 IRTemp lo64 = newTemp(Ity_I64);
13062 IRTemp hiResult = newTemp(Ity_I64);
13063 IRTemp loResult = newTemp(Ity_I64);
13078 IRTemp hiResult = newTemp(Ity_I64);
13079 IRTemp loResult = newTemp(Ity_I64);
13139 IRTemp hiResult = newTemp(Ity_I64);
13140 IRTemp loResult = newTemp(Ity_I64);
13172 IRTemp frBHi_I64 = newTemp(Ity_I64);
13173 IRTemp frBLo_I64 = newTemp(Ity_I64);
13205 IRTemp frBHi_I64 = newTemp(Ity_I64);
13206 IRTemp frBLo_I64 = newTemp(Ity_I64);
13207 IRTemp frAHi_I64 = newTemp(Ity_I64);
13208 IRTemp frALo_I64 = newTemp(Ity_I64);
13690 IRType ty = Ity_I64;
13691 IRTemp bits0_63 = newTemp(Ity_I64);
13692 IRTemp bits64_127 = newTemp(Ity_I64);
13693 IRTemp cnt_bits0_63 = newTemp(Ity_I64);
13694 IRTemp cnt_bits64_127 = newTemp(Ity_I64);
13712 IRTemp cnt_bits0_63 = newTemp(Ity_I64);
13713 IRTemp cnt_bits64_127 = newTemp(Ity_I64);
13887 * Arguments: frA and frb are Ity_I64
13888 * Returns Ity_I64 IRExpr that answers the "which is Maxiumum/Minimum" question
13957 IRTemp intermediateResult = newTemp(Ity_I64);
14062 IRTemp frB = newTemp(Ity_I64);
14063 IRTemp frB2 = newTemp(Ity_I64);
14172 IRTemp a0_I64 = newTemp( Ity_I64 );
14173 IRTemp a1_I64 = newTemp( Ity_I64 );
14174 IRTemp a2_I64 = newTemp( Ity_I64 );
14175 IRTemp a3_I64 = newTemp( Ity_I64 );
14176 IRTemp b0_I64 = newTemp( Ity_I64 );
14177 IRTemp b1_I64 = newTemp( Ity_I64 );
14178 IRTemp b2_I64 = newTemp( Ity_I64 );
14179 IRTemp b3_I64 = newTemp( Ity_I64 );
14226 IRTemp frA = newTemp(Ity_I64);
14227 IRTemp frB = newTemp(Ity_I64);
14228 IRTemp frA2 = newTemp(Ity_I64);
14229 IRTemp frB2 = newTemp(Ity_I64);
14244 IRTemp frA = newTemp(Ity_I64);
14245 IRTemp frB = newTemp(Ity_I64);
14246 IRTemp frA2 = newTemp(Ity_I64);
14247 IRTemp frB2 = newTemp(Ity_I64);
14277 IRTemp resHi = newTemp(Ity_I64);
14278 IRTemp resLo = newTemp(Ity_I64);
14410 IRTemp frBHi_I64 = newTemp(Ity_I64);
14411 IRTemp frBLo_I64 = newTemp(Ity_I64);
14465 IRTemp b3_I64 = newTemp(Ity_I64);
14466 IRTemp b2_I64 = newTemp(Ity_I64);
14467 IRTemp b1_I64 = newTemp(Ity_I64);
14468 IRTemp b0_I64 = newTemp(Ity_I64);
14661 IRTemp maddResult = newTemp(Ity_I64);
14681 IRTemp maddResult = newTemp(Ity_I64);
14705 IRTemp msubResult = newTemp(Ity_I64);
14729 IRTemp msubResult = newTemp(Ity_I64);
14796 IRTemp frA_I64 = newTemp(Ity_I64);
14797 IRTemp frB_I64 = newTemp(Ity_I64);
14806 IRTemp frB_I64 = newTemp(Ity_I64);
14886 IRTemp hiResult = newTemp(Ity_I64);
14887 IRTemp loResult = newTemp(Ity_I64);
15089 IRTemp hi64 = newTemp(Ity_I64);
15090 IRTemp lo64 = newTemp(Ity_I64);
15109 IRTemp vecA_signed = newTemp(Ity_I64);
15110 IRTemp vecB_unsigned = newTemp(Ity_I64);
15132 IRTemp BHi_signed = newTemp(Ity_I64);
15145 IRTemp BHi_signed = newTemp(Ity_I64);
15146 IRTemp BHi_unsigned = newTemp(Ity_I64);
15147 IRTemp BHi_negated = newTemp(Ity_I64);
15181 IRTemp frA = newTemp(Ity_I64);
15182 IRTemp frB = newTemp(Ity_I64);
15198 IRTemp frB_I64 = newTemp(Ity_I64);
15385 IRType ty = mode64 ? Ity_I64 : Ity_I32;
15402 exp = unop( Iop_64to32, load( Ity_I64, mkexpr( EA ) ) );
15404 exp = unop( Iop_64HIto32, load( Ity_I64, mkexpr( EA ) ) );
15417 exp = unop( Iop_64to32, load( Ity_I64, mkexpr( EA ) ) );
15419 exp = unop( Iop_64HIto32, load( Ity_I64, mkexpr( EA ) ) );
15446 exp = load( Ity_I64, mkexpr( EA ) );
15455 IROp addOp = ty == Ity_I64 ? Iop_Add64 : Iop_Add32;
15460 high = load( Ity_I64, mkexpr( EA ) );
15461 high_addr = binop( addOp, mkexpr( EA ), ty == Ity_I64 ? mkU64( ea_off )
15463 low = load( Ity_I64, high_addr );
15469 IRTemp data = newTemp(Ity_I64);
15471 assign( data, load( Ity_I64, mkexpr( EA ) ) );
15522 IRType ty = mode64 ? Ity_I64 : Ity_I32;
15575 ty == Ity_I64 ? mkU64( 8 ) : mkU32( 8 ) ), low64 );
15582 IRTemp hi64 = newTemp( Ity_I64 );
15583 IRTemp lo64 = newTemp( Ity_I64 );
15594 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
15598 ty == Ity_I64
15602 ty == Ity_I64 ? mkU64( ea_off ) : mkU32( ea_off ) );
15657 IRTemp hi = newTemp(Ity_I64);
15658 IRTemp lo = newTemp(Ity_I64);
15681 IRTemp a64 = newTemp(Ity_I64);
15684 IRTemp b64 = newTemp(Ity_I64);
15748 IRType ty = mode64 ? Ity_I64 : Ity_I32;
15911 IRType ty = mode64 ? Ity_I64 : Ity_I32;
16010 IRTemp z3 = newTemp(Ity_I64);
16011 IRTemp z2 = newTemp(Ity_I64);
16012 IRTemp z1 = newTemp(Ity_I64);
16013 IRTemp z0 = newTemp(Ity_I64);
16718 IRTemp z3 = newTemp(Ity_I64);
16719 IRTemp z2 = newTemp(Ity_I64);
16720 IRTemp z1 = newTemp(Ity_I64);
16721 IRTemp z0 = newTemp(Ity_I64);
18873 IRType ty = mode64 ? Ity_I64 : Ity_I32;
20369 ty = mode64 ? Ity_I64 : Ity_I32;
