Lines Matching refs:Ity_I64
579 Ity_I32 or Ity_I64 only. */
699 case Ity_I64: return ty;
701 case Ity_F64: return Ity_I64;
716 case Ity_I64: return IRExpr_Const(IRConst_U64(0));
782 return assignNew(mce, Ity_I64, binop(Iop_And64, a1, a2));
814 return assignNew(mce, Ity_I64, binop(Iop_Or64, a1, a2));
828 case Ity_I64: return mkUifU64(mce, a1, a2);
902 return assignNew(mce, Ity_I64, binop(Iop_Or64, data, vbits));
958 mce, Ity_I64,
960 assignNew(mce, Ity_I64, unop(Iop_Not64, data)),
1000 case Ity_I64:
1017 case Ity_I64:
1018 return assignNew(mce, Ity_I64, unop(Iop_1Sto64, tmp1));
1020 tmp1 = assignNew(mce, Ity_I64, unop(Iop_1Sto64, tmp1));
1529 at = assignNew(mce, Ity_I64, unop(Iop_V128to64, at));
1530 at = mkPCastTo(mce, Ity_I64, at);
1540 at = assignNew(mce, Ity_I64, unop(Iop_V128to64, vatomX));
1541 at = mkPCastTo(mce, Ity_I64, at);
1793 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1815 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1824 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1829 return assignNew(mce, Ity_I64, binop(op, vatom1, vatom2));
1835 return assignNew(mce, Ity_I64, binop(Iop_32HLto64, vHi32, vLo32));
1899 return assignNew(mce, Ity_I64, binop(op, vatom1, atom2));
1906 and_or_ty = Ity_I64; improve = mkImproveAND64; goto do_And_Or;
1922 and_or_ty = Ity_I64; improve = mkImproveOR64; goto do_And_Or;
1995 return mkPCastTo(mce, Ity_I64, vatom);
2005 return assignNew(mce, Ity_I64, unop(op, vatom));
2068 case Ity_I64: helper = &MC_(helperc_LOADV8);
2091 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2118 case Ity_I64:
2121 v64lo = expr2vbits_LDle_WRK(mce, Ity_I64, addr, bias);
2122 v64hi = expr2vbits_LDle_WRK(mce, Ity_I64, addr, bias+8);
2261 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2290 case Ity_I64: helper = &MC_(helperc_STOREV8);
2311 vdataLo64 = assignNew(mce, Ity_I64, unop(Iop_V128to64, vdata));
2318 vdataHi64 = assignNew(mce, Ity_I64, unop(Iop_V128HIto64, vdata));
2339 if (ty == Ity_I64) {
2369 case 8: return Ity_I64;
2447 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
