Home | History | Annotate | Download | only in memcheck

Lines Matching refs:Ity_I64

210          Ity_I32 or Ity_I64 only. */
375 case Ity_I64:
379 case Ity_F64: return Ity_I64;
380 case Ity_D64: return Ity_I64;
398 case Ity_I64: return IRExpr_Const(IRConst_U64(0));
511 return assignNew('V', mce, Ity_I64, binop(Iop_And64, a1, a2));
549 return assignNew('V', mce, Ity_I64, binop(Iop_Or64, a1, a2));
556 tmp1 = assignNew('V', mce, Ity_I64, unop(Iop_128to64, a1));
557 tmp2 = assignNew('V', mce, Ity_I64, unop(Iop_128HIto64, a1));
558 tmp3 = assignNew('V', mce, Ity_I64, unop(Iop_128to64, a2));
559 tmp4 = assignNew('V', mce, Ity_I64, unop(Iop_128HIto64, a2));
560 tmp5 = assignNew('V', mce, Ity_I64, binop(Iop_Or64, tmp1, tmp3));
561 tmp6 = assignNew('V', mce, Ity_I64, binop(Iop_Or64, tmp2, tmp4));
583 case Ity_I64: return mkUifU64(mce, a1, a2);
612 return assignNew('V', mce, Ity_I64, unop(Iop_Left64, a1));
649 return assignNew('V', mce, Ity_I64, binop(Iop_Or64, data, vbits));
713 'V', mce, Ity_I64,
715 assignNew('V', mce, Ity_I64, unop(Iop_Not64, data)),
762 if (src_ty == Ity_I64 && dst_ty == Ity_I64)
763 return assignNew('V', mce, Ity_I64, unop(Iop_CmpwNEZ64, vbits));
765 if (src_ty == Ity_I32 && dst_ty == Ity_I64) {
768 return assignNew('V', mce, Ity_I64, binop(Iop_32HLto64, tmp, tmp));
774 tmp = assignNew('V', mce, Ity_I64, binop(Iop_32HLto64, tmp, tmp));
781 tmp = assignNew('V', mce, Ity_I64, binop(Iop_32HLto64, tmp, tmp));
786 if (src_ty == Ity_I64 && dst_ty == Ity_I32) {
789 IRAtom* tmp = assignNew('V', mce, Ity_I64, unop(Iop_CmpwNEZ64, vbits));
809 case Ity_I64:
815 IRAtom* tmp2 = assignNew('V', mce, Ity_I64, unop(Iop_128HIto64, vbits));
816 IRAtom* tmp3 = assignNew('V', mce, Ity_I64, unop(Iop_128to64, vbits));
817 IRAtom* tmp4 = assignNew('V', mce, Ity_I64, binop(Iop_Or64, tmp2, tmp3));
837 case Ity_I64:
838 return assignNew('V', mce, Ity_I64, unop(Iop_1Sto64, tmp1));
840 tmp1 = assignNew('V', mce, Ity_I64, unop(Iop_1Sto64, tmp1));
844 tmp1 = assignNew('V', mce, Ity_I64, unop(Iop_1Sto64, tmp1));
848 tmp1 = assignNew('V', mce, Ity_I64, unop(Iop_1Sto64, tmp1));
938 case Ity_I64:
1035 IRType ty = m64 ? Ity_I64 : Ity_I32;
1184 if (mce->hWordTy == Ity_I64) {
1185 origin = assignNew( 'B', mce, Ity_I64, unop(Iop_32Uto64, origin) );
1520 if (t1 == Ity_I64 && t2 == Ity_I64 && finalVty == Ity_I64) {
1522 at = mkUifU(mce, Ity_I64, va1, va2);
1523 at = mkPCastTo(mce, Ity_I64, at);
1528 if (t1 == Ity_I64 && t2 == Ity_I64 && finalVty == Ity_I32) {
1530 at = mkUifU(mce, Ity_I64, va1, va2);
1572 if (t1 == Ity_I32 && t2 == Ity_I64 && t3 == Ity_I64
1573 && finalVty == Ity_I64) {
1578 at = mkPCastTo(mce, Ity_I64, va1);
1580 at = mkUifU(mce, Ity_I64, at, va2);
1581 at = mkUifU(mce, Ity_I64, at, va3);
1583 at = mkPCastTo(mce, Ity_I64, at);
1588 if (t1 == Ity_I32 && t2 == Ity_I8 && t3 == Ity_I64
1589 && finalVty == Ity_I64) {
1595 IRAtom* at1 = mkPCastTo(mce, Ity_I64, va1);
1596 IRAtom* at2 = mkPCastTo(mce, Ity_I64, va2);
1597 at = mkUifU(mce, Ity_I64, at1, at2); // UifU(PCast(va1), PCast(va2))
1598 at = mkUifU(mce, Ity_I64, at, va3);
1600 at = mkPCastTo(mce, Ity_I64, at);
1605 if (t1 == Ity_I32 && t2 == Ity_I64 && t3 == Ity_I64
1608 at = mkPCastTo(mce, Ity_I64, va1);
1609 at = mkUifU(mce, Ity_I64, at, va2);
1610 at = mkUifU(mce, Ity_I64, at, va3);
1653 IRAtom* at1 = mkPCastTo(mce, Ity_I64, va1);
1654 IRAtom* at2 = mkPCastTo(mce, Ity_I64, va2);
1655 IRAtom* at3 = mkPCastTo(mce, Ity_I64, va3);
1657 at = mkUifU(mce, Ity_I64, at1, at2); // UifU(PCast(va1), PCast(va2))
1658 at = mkUifU(mce, Ity_I64, at, at3); // ... `UifU` PCast(va3)
1708 if (t1 == Ity_I32 && t2 == Ity_I64 && t3 == Ity_I64 && t4 == Ity_I64
1709 && finalVty == Ity_I64) {
1714 at = mkPCastTo(mce, Ity_I64, va1);
1716 at = mkUifU(mce, Ity_I64, at, va2);
1717 at = mkUifU(mce, Ity_I64, at, va3);
1718 at = mkUifU(mce, Ity_I64, at, va4);
1720 at = mkPCastTo(mce, Ity_I64, at);
1778 if (typeOfIRExpr(mce->sb->tyenv, exprvec[i]) != Ity_I64)
1782 mergeTy = mergeTy64 ? Ity_I64 : Ity_I32;
1838 case Ity_I64:
1920 ty = Ity_I64;
2037 return assignNew('V', mce, Ity_I64, unop(Iop_CmpNEZ32x2, at));
2047 return assignNew('V', mce, Ity_I64, unop(Iop_CmpNEZ16x4, at));
2057 return assignNew('V', mce, Ity_I64, unop(Iop_CmpNEZ8x8, at));
2180 at = assignNew('V', mce, Ity_I64, unop(Iop_V128to64, at));
2181 at = mkPCastTo(mce, Ity_I64, at);
2191 at = assignNew('V', mce, Ity_I64, unop(Iop_V128to64, vatomX));
2192 at = mkPCastTo(mce, Ity_I64, at);
2206 at = assignNew('V', mce, Ity_I64, mkPCast32x2(mce, at));
2215 at = assignNew('V', mce, Ity_I64, mkPCast32x2(mce, vatomX));
2456 at1 = assignNew('V', mce, Ity_I64, pcast(mce, vatom1));
2457 at2 = assignNew('V', mce, Ity_I64, pcast(mce, vatom2));
2458 at3 = assignNew('V', mce, Ity_I64, binop(vanilla_narrow, at1, at2));
2475 at1 = assignNew('V', mce, Ity_I64, unop(narrow_op, vatom1));
2496 at2 = assignNew('V', mce, Ity_I64, unop(vanilla_narrow, at1));
2636 at = mkPCastTo(mce, Ity_I64, at);
2694 return mkLazy4(mce, Ity_I64, vatom1, vatom2, vatom3, vatom4);
2763 return mkLazy3(mce, Ity_I64, vatom1, vatom2, vatom3);
2776 return mkLazy3(mce, Ity_I64, vatom1, vatom2, vatom3);
2785 return assignNew('V', mce, Ity_I64, triop(op, vatom1, vatom2, atom3));
2790 return assignNew('V', mce, Ity_I64, triop(op, vatom1, atom2, vatom3));
2889 return assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2));
2998 return assignNew('V', mce, Ity_I64,
3007 return assignNew('V', mce, Ity_I64,
3016 return assignNew('V', mce, Ity_I64,
3024 assignNew('V', mce, Ity_I64,
3031 assignNew('V', mce, Ity_I64,
3037 assignNew('V', mce, Ity_I64,
3046 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
3055 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
3064 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
3083 return assignNew('V', mce, Ity_I64, binop(op, vatom1, vatom2));
3101 assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2)),
3432 return assignNew('V', mce, Ity_I64, binop(op, vatom1, atom2));
3533 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3551 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3557 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3570 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3588 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3628 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3654 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3673 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3684 return assignNew('V', mce, Ity_I64, binop(op, vatom1, vatom2));
3690 IRAtom* vHi64 = mkPCastTo(mce, Ity_I64, vLo64);
3699 return assignNew('V', mce, Ity_I64,
3731 return mkLazy2(mce, Ity_I64, vatom1, vatom2);
3758 return expensiveAddSub(mce,True,Ity_I64,
3764 return expensiveAddSub(mce,False,Ity_I64,
3792 return expensiveCmpEQorNE(mce,Ity_I64, vatom1,vatom2, atom1,atom2 );
3833 return scalarShift( mce, Ity_I64, op, vatom1,vatom2, atom1,atom2 );
3852 and_or_ty = Ity_I64; improve = mkImproveAND64; goto do_And_Or;
3871 and_or_ty = Ity_I64; improve = mkImproveOR64; goto do_And_Or;
4066 return assignNew('V', mce, Ity_I64, unop(Iop_128HIto64, vatom));
4069 return assignNew('V', mce, Ity_I64, unop(Iop_128to64, vatom));
4107 return mkPCastTo(mce, Ity_I64, vatom);
4145 return assignNew('V', mce, Ity_I64, unop(op, vatom));
4242 return mkPCastTo(mce, Ity_I64, vatom);
4276 return mkPCastTo(mce, Ity_I64,
4277 assignNew('V', mce, Ity_I64, unop(op, mkPCast32x2(mce, vatom))));
4282 assignNew('V', mce, Ity_I64, unop(op, mkPCast16x4(mce, vatom))));
4287 assignNew('V', mce, Ity_I64, unop(op, mkPCast8x8(mce, vatom))));
4369 case Ity_I64: helper = &MC_(helperc_LOADV64le);
4394 case Ity_I64: helper = &MC_(helperc_LOADV64be);
4422 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
4484 case Ity_I64:
4700 if (tyH == Ity_I64) {
4748 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
4779 case Ity_I64: c = IRConst_U64 (V_BITS64_DEFINED); break;
4799 case Ity_I64: helper = &MC_(helperc_STOREV64le);
4816 case Ity_I64: helper = &MC_(helperc_STOREV64be);
4855 vdataQ0 = assignNew('V', mce, Ity_I64, unop(Iop_V256to64_0, vdata));
4864 vdataQ1 = assignNew('V', mce, Ity_I64, unop(Iop_V256to64_1, vdata));
4873 vdataQ2 = assignNew('V', mce, Ity_I64, unop(Iop_V256to64_2, vdata));
4882 vdataQ3 = assignNew('V', mce, Ity_I64, unop(Iop_V256to64_3, vdata));
4924 vdataLo64 = assignNew('V', mce, Ity_I64, unop(Iop_V128to64, vdata));
4932 vdataHi64 = assignNew('V', mce, Ity_I64, unop(Iop_V128HIto64, vdata));
4959 if (ty == Ity_I64) {
4994 case 8: return Ity_I64;
5097 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
5468 case Ity_I64: elemSzB = 8; opCasCmpEQ = Iop_CasCmpEQ64; break;
5571 case Ity_I64:
5723 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
5734 tl_assert(dataTy == Ity_I64 || dataTy == Ity_I32
6515 if (mce->hWordTy == Ity_I64) {
6593 if (mce->hWordTy == Ity_I64)
6594 dataB = assignNew( 'B', mce, Ity_I64, unop(Iop_32Uto64, dataB));
6630 if (eTy == Ity_I64)
6640 if (dstTy == Ity_I64)
6641 return assignNew( 'B', mce, Ity_I64, unop(Iop_32Uto64, e) );
6710 tl_assert(mce->hWordTy == Ity_I32 || mce->hWordTy == Ity_I64);
7119 tl_assert(resTy == Ity_I64 || resTy == Ity_I32