Lines Matching refs:Ity_I64
558 Ity_I32 or Ity_I64 only. */
678 case Ity_I64: return ty;
680 case Ity_F64: return Ity_I64;
695 case Ity_I64: return IRExpr_Const(IRConst_U64(0));
761 return assignNew(mce, Ity_I64, binop(Iop_And64, a1, a2));
793 return assignNew(mce, Ity_I64, binop(Iop_Or64, a1, a2));
807 case Ity_I64: return mkUifU64(mce, a1, a2);
881 return assignNew(mce, Ity_I64, binop(Iop_Or64, data, vbits));
937 mce, Ity_I64,
939 assignNew(mce, Ity_I64, unop(Iop_Not64, data)),
979 case Ity_I64:
996 case Ity_I64:
997 return assignNew(mce, Ity_I64, unop(Iop_1Sto64, tmp1));
999 tmp1 = assignNew(mce, Ity_I64, unop(Iop_1Sto64, tmp1));
1508 at = assignNew(mce, Ity_I64, unop(Iop_V128to64, at));
1509 at = mkPCastTo(mce, Ity_I64, at);
1519 at = assignNew(mce, Ity_I64, unop(Iop_V128to64, vatomX));
1520 at = mkPCastTo(mce, Ity_I64, at);
1772 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1794 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1803 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1808 return assignNew(mce, Ity_I64, binop(op, vatom1, vatom2));
1814 return assignNew(mce, Ity_I64, binop(Iop_32HLto64, vHi32, vLo32));
1878 return assignNew(mce, Ity_I64, binop(op, vatom1, atom2));
1885 and_or_ty = Ity_I64; improve = mkImproveAND64; goto do_And_Or;
1901 and_or_ty = Ity_I64; improve = mkImproveOR64; goto do_And_Or;
1975 return mkPCastTo(mce, Ity_I64, vatom);
1985 return assignNew(mce, Ity_I64, unop(op, vatom));
2048 case Ity_I64: helper = &MC_(helperc_LOADV8);
2071 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2098 case Ity_I64:
2101 v64lo = expr2vbits_LDle_WRK(mce, Ity_I64, addr, bias);
2102 v64hi = expr2vbits_LDle_WRK(mce, Ity_I64, addr, bias+8);
2241 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2270 case Ity_I64: helper = &MC_(helperc_STOREV8);
2291 vdataLo64 = assignNew(mce, Ity_I64, unop(Iop_V128to64, vdata));
2298 vdataHi64 = assignNew(mce, Ity_I64, unop(Iop_V128HIto64, vdata));
2319 if (ty == Ity_I64) {
2349 case 8: return Ity_I64;
2427 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
