Lines Matching refs:Ity_I64
535 Ity_I32 or Ity_I64 only. */
655 case Ity_I64: return ty;
657 case Ity_F64: return Ity_I64;
672 case Ity_I64: return IRExpr_Const(IRConst_U64(0));
738 return assignNew(mce, Ity_I64, binop(Iop_And64, a1, a2));
770 return assignNew(mce, Ity_I64, binop(Iop_Or64, a1, a2));
784 case Ity_I64: return mkUifU64(mce, a1, a2);
858 return assignNew(mce, Ity_I64, binop(Iop_Or64, data, vbits));
914 mce, Ity_I64,
916 assignNew(mce, Ity_I64, unop(Iop_Not64, data)),
956 case Ity_I64:
973 case Ity_I64:
974 return assignNew(mce, Ity_I64, unop(Iop_1Sto64, tmp1));
976 tmp1 = assignNew(mce, Ity_I64, unop(Iop_1Sto64, tmp1));
1485 at = assignNew(mce, Ity_I64, unop(Iop_V128to64, at));
1486 at = mkPCastTo(mce, Ity_I64, at);
1496 at = assignNew(mce, Ity_I64, unop(Iop_V128to64, vatomX));
1497 at = mkPCastTo(mce, Ity_I64, at);
1749 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1771 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1780 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
1785 return assignNew(mce, Ity_I64, binop(op, vatom1, vatom2));
1791 return assignNew(mce, Ity_I64, binop(Iop_32HLto64, vHi32, vLo32));
1855 return assignNew(mce, Ity_I64, binop(op, vatom1, atom2));
1862 and_or_ty = Ity_I64; improve = mkImproveAND64; goto do_And_Or;
1878 and_or_ty = Ity_I64; improve = mkImproveOR64; goto do_And_Or;
1952 return mkPCastTo(mce, Ity_I64, vatom);
1962 return assignNew(mce, Ity_I64, unop(op, vatom));
2025 case Ity_I64: helper = &MC_(helperc_LOADV8);
2048 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2075 case Ity_I64:
2078 v64lo = expr2vbits_LDle_WRK(mce, Ity_I64, addr, bias);
2079 v64hi = expr2vbits_LDle_WRK(mce, Ity_I64, addr, bias+8);
2218 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2247 case Ity_I64: helper = &MC_(helperc_STOREV8);
2268 vdataLo64 = assignNew(mce, Ity_I64, unop(Iop_V128to64, vdata));
2275 vdataHi64 = assignNew(mce, Ity_I64, unop(Iop_V128HIto64, vdata));
2296 if (ty == Ity_I64) {
2326 case 8: return Ity_I64;
2404 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
