Home | History | Annotate | Download | only in memcheck

Lines Matching refs:Ity_I32

217          Ity_I32 or Ity_I64 only. */
381 case Ity_I32:
385 case Ity_F32: return Ity_I32;
386 case Ity_D32: return Ity_I32;
405 case Ity_I32: return IRExpr_Const(IRConst_U32(0));
513 return assignNew('V', mce, Ity_I32, binop(Iop_And32, a1, a2));
551 return assignNew('V', mce, Ity_I32, binop(Iop_Or32, a1, a2));
590 case Ity_I32: return mkUifU32(mce, a1, a2);
615 return assignNew('V', mce, Ity_I32, unop(Iop_Left32, a1));
649 return assignNew('V', mce, Ity_I32, binop(Iop_Or32, data, vbits));
709 'V', mce, Ity_I32,
711 assignNew('V', mce, Ity_I32, unop(Iop_Not32, data)),
767 if (src_ty == Ity_I32 && dst_ty == Ity_I32)
768 return assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits));
773 if (src_ty == Ity_I32 && dst_ty == Ity_I64) {
775 IRAtom* tmp = assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits));
779 if (src_ty == Ity_I32 && dst_ty == Ity_V128) {
781 IRAtom* tmp = assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits));
786 if (src_ty == Ity_I32 && dst_ty == Ity_V256) {
788 IRAtom* tmp = assignNew('V', mce, Ity_I32, unop(Iop_CmpwNEZ32, vbits));
794 if (src_ty == Ity_I64 && dst_ty == Ity_I32) {
798 return assignNew('V', mce, Ity_I32, unop(Iop_64to32, tmp));
839 case Ity_I32:
868 case Ity_I32:
869 return assignNew('V', mce, Ity_I32, unop(Iop_1Sto32, tmp1));
998 case Ity_I32:
1104 IRType ty = m64 ? Ity_I64 : Ity_I32;
1350 IRAtom *g1 = assignNew('V', mce, Ity_I32, unop(Iop_1Uto32, di->guard));
1351 IRAtom *g2 = assignNew('V', mce, Ity_I32, unop(Iop_1Uto32, guard));
1352 IRAtom *e = assignNew('V', mce, Ity_I32, binop(Iop_And32, g1, g2));
1597 if (t1 == Ity_I64 && t2 == Ity_I64 && finalVty == Ity_I32) {
1600 at = mkPCastTo(mce, Ity_I32, at);
1615 at = mkPCastTo(mce, Ity_I32, va1);
1616 at = mkUifU(mce, Ity_I32, at, mkPCastTo(mce, Ity_I32, va2));
1641 if (t1 == Ity_I32 && t2 == Ity_I64 && t3 == Ity_I64
1657 if (t1 == Ity_I32 && t2 == Ity_I8 && t3 == Ity_I64
1674 if (t1 == Ity_I32 && t2 == Ity_I64 && t3 == Ity_I64
1675 && finalVty == Ity_I32) {
1680 at = mkPCastTo(mce, Ity_I32, at);
1686 if (t1 == Ity_I32 && t2 == Ity_I32 && t3 == Ity_I32
1687 && finalVty == Ity_I32) {
1690 at = mkUifU(mce, Ity_I32, at, va2);
1691 at = mkUifU(mce, Ity_I32, at, va3);
1692 at = mkPCastTo(mce, Ity_I32, at);
1698 if (t1 == Ity_I32 && t2 == Ity_I128 && t3 == Ity_I128
1715 if (t1 == Ity_I32 && t2 == Ity_I8 && t3 == Ity_I128
1747 at = mkPCastTo(mce, Ity_I32, va1);
1748 at = mkUifU(mce, Ity_I32, at, mkPCastTo(mce, Ity_I32, va2));
1749 at = mkUifU(mce, Ity_I32, at, mkPCastTo(mce, Ity_I32, va3));
1777 if (t1 == Ity_I32 && t2 == Ity_I64 && t3 == Ity_I64 && t4 == Ity_I64
1794 if (t1 == Ity_I32 && t2 == Ity_I32 && t3 == Ity_I32 && t4 == Ity_I32
1795 && finalVty == Ity_I32) {
1799 at = mkUifU(mce, Ity_I32, at, va2);
1800 at = mkUifU(mce, Ity_I32, at, va3);
1801 at = mkUifU(mce, Ity_I32, at, va4);
1802 at = mkPCastTo(mce, Ity_I32, at);
1851 mergeTy = mergeTy64 ? Ity_I64 : Ity_I32;
1899 case Ity_I32:
1982 ty = Ity_I32;
2131 return assignNew('V', mce, Ity_I32, unop(Iop_CmpNEZ16x2, at));
2136 return assignNew('V', mce, Ity_I32, unop(Iop_CmpNEZ8x4, at));
2203 at = assignNew('V', mce, Ity_I32, unop(Iop_V128to32, at));
2204 at = mkPCastTo(mce, Ity_I32, at);
2214 at = assignNew('V', mce, Ity_I32, unop(Iop_V128to32, vatomX));
2215 at = mkPCastTo(mce, Ity_I32, at);
2797 return mkLazy4(mce, Ity_I32, vatom1, vatom2, vatom3, vatom4);
2865 return mkLazy3(mce, Ity_I32, vatom1, vatom2, vatom3);
2871 return mkLazy3(mce, Ity_I32, vatom1, vatom2, vatom3);
3193 return assignNew('V', mce, Ity_I32, binop(op, vatom1, atom2));
3651 return assignNew('V', mce, Ity_I32, binop(op, vatom1, atom2));
3759 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3802 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3826 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3837 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3849 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3871 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3875 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3896 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3911 return assignNew('V', mce, Ity_I32, binop(op, vatom1, vatom2));
3927 IRAtom* vHi32 = mkPCastTo(mce, Ity_I32, vLo32);
3936 return assignNew('V', mce, Ity_I32,
3954 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
3964 return expensiveAddSub(mce,True,Ity_I32,
3970 return expensiveAddSub(mce,False,Ity_I32,
4037 return expensiveCmpEQorNE(mce,Ity_I32, vatom1,vatom2, atom1,atom2 );
4065 return scalarShift( mce, Ity_I32, op, vatom1,vatom2, atom1,atom2 );
4084 and_or_ty = Ity_I32; improve = mkImproveAND32; goto do_And_Or;
4103 and_or_ty = Ity_I32; improve = mkImproveOR32; goto do_And_Or;
4407 return mkPCastTo(mce, Ity_I32, vatom);
4447 return assignNew('V', mce, Ity_I32, unop(op, vatom));
4531 return mkPCastTo(mce, Ity_I32, vatom);
4652 case Ity_I32: helper = &MC_(helperc_LOADV32le);
4677 case Ity_I32: helper = &MC_(helperc_LOADV32be);
4702 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
4703 mkAdd = tyAddr==Ity_I32 ? Iop_Add32 : Iop_Add64;
4704 eBias = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias);
4763 case Ity_I32:
4800 tyWide = Ity_I32;
4968 if (tyH == Ity_I32) {
4970 case Ity_I32:
4982 case Ity_I32:
4986 assignNew('V', mce, Ity_I32, unop(Iop_16Uto32, vatom))));
4989 assignNew('V', mce, Ity_I32, unop(Iop_8Uto32, vatom))));
5027 mkAdd = tyAddr==Ity_I32 ? Iop_Add32 : Iop_Add64;
5028 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
5060 case Ity_I32: c = IRConst_U32 (V_BITS32_DEFINED); break;
5082 case Ity_I32: helper = &MC_(helperc_STOREV32le);
5099 case Ity_I32: helper = &MC_(helperc_STOREV32be);
5133 eBiasQ0 = tyAddr==Ity_I32 ? mkU32(bias+offQ0) : mkU64(bias+offQ0);
5142 eBiasQ1 = tyAddr==Ity_I32 ? mkU32(bias+offQ1) : mkU64(bias+offQ1);
5151 eBiasQ2 = tyAddr==Ity_I32 ? mkU32(bias+offQ2) : mkU64(bias+offQ2);
5160 eBiasQ3 = tyAddr==Ity_I32 ? mkU32(bias+offQ3) : mkU64(bias+offQ3);
5202 eBiasLo64 = tyAddr==Ity_I32 ? mkU32(bias+offLo64) : mkU64(bias+offLo64);
5210 eBiasHi64 = tyAddr==Ity_I32 ? mkU32(bias+offHi64) : mkU64(bias+offHi64);
5235 IRAtom* eBias = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias);
5273 case 4: return Ity_I32;
5301 curr = definedOfType(Ity_I32);
5311 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, arg) );
5356 here = mkPCastTo( mce, Ity_I32, src );
5377 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
5390 mce, Ity_I32,
5392 mce, end, Ity_I32, d->mAddr, d->mSize - toDo, d->guard )
5400 mce, Ity_I32,
5410 mce, Ity_I32,
5473 mkPCastTo( mce, Ity_I32, curr ),
5747 case Ity_I32: elemSzB = 4; opCasCmpEQ = Iop_CasCmpEQ32; break;
5759 = assignNew('B', mce, Ity_I32, schemeE(mce, cas->dataLo));
5770 = assignNew('B', mce, Ity_I32, schemeE(mce, cas->expdLo));
5788 = assignNew('B', mce, Ity_I32,
5847 case Ity_I32:
5870 = assignNew('B', mce, Ity_I32, schemeE(mce, cas->dataHi));
5872 = assignNew('B', mce, Ity_I32, schemeE(mce, cas->dataLo));
5888 = assignNew('B', mce, Ity_I32, schemeE(mce, cas->expdHi));
5890 = assignNew('B', mce, Ity_I32, schemeE(mce, cas->expdLo));
5926 = assignNew('B', mce, Ity_I32,
5930 = assignNew('B', mce, Ity_I32,
6003 tl_assert(resTy == Ity_I64 || resTy == Ity_I32
6014 tl_assert(dataTy == Ity_I64 || dataTy == Ity_I32
6077 case ILGop_Ident32: loadedTy = Ity_I32; vwiden = Iop_INVALID; break;
6391 tl_assert(typeOfIRTemp(sb_out->tyenv, tmp_b) == Ity_I32);
6715 = newTemp( mce, Ity_I32, BSh );
6728 return assignNew( 'B', mce, Ity_I32, binop(Iop_Max32U, b1, b2) );
6749 IROp opAdd = aTy == Ity_I32 ? Iop_Add32 : Iop_Add64;
6752 IRAtom* off = aTy == Ity_I32 ? mkU32( offset )
6799 IRTemp bTmp32 = newTemp(mce, Ity_I32, BSh);
6838 = assignNew('B', mce, Ity_I32,
6850 return assignNew('B', mce, Ity_I32, IRExpr_ITE(cond, iftrue, iffalse));
6864 IROp opAdd = aTy == Ity_I32 ? Iop_Add32 : Iop_Add64;
6871 IRAtom* off = aTy == Ity_I32 ? mkU32( offset )
6913 return assignNew( 'B', mce, Ity_I32, unop(Iop_64to32, e) );
6914 if (eTy == Ity_I32)
6921 tl_assert(eTy == Ity_I32);
6992 tl_assert(mce->hWordTy == Ity_I32 || mce->hWordTy == Ity_I64);
7052 Ity_I32 );
7126 iftrue = assignNew( 'B', mce, Ity_I32,
7129 Ity_I32));
7130 here = assignNew( 'B', mce, Ity_I32,
7225 iffalse = assignNew('B', mce, Ity_I32,
7228 Ity_I32));
7229 curr = assignNew('V', mce, Ity_I32,
7313 case ILGop_Ident32: loadedTy = Ity_I32; break;
7402 tl_assert(resTy == Ity_I64 || resTy == Ity_I32