Lines Matching refs:Ity_I32

558          Ity_I32 or Ity_I64 only. */
677 case Ity_I32:
679 case Ity_F32: return Ity_I32;
694 case Ity_I32: return IRExpr_Const(IRConst_U32(0));
755 return assignNew(mce, Ity_I32, binop(Iop_And32, a1, a2));
787 return assignNew(mce, Ity_I32, binop(Iop_Or32, a1, a2));
806 case Ity_I32: return mkUifU32(mce, a1, a2);
840 return assignNew(mce, Ity_I32,
842 assignNew(mce, Ity_I32,
873 return assignNew(mce, Ity_I32, binop(Iop_Or32, data, vbits));
925 mce, Ity_I32,
927 assignNew(mce, Ity_I32, unop(Iop_Not32, data)),
976 case Ity_I32:
994 case Ity_I32:
995 return assignNew(mce, Ity_I32, unop(Iop_1Sto32, tmp1));
1274 at = mkPCastTo(mce, Ity_I32, va1);
1275 at = mkUifU(mce, Ity_I32, at, mkPCastTo(mce, Ity_I32, va2));
1292 IRAtom* curr = definedOfType(Ity_I32);
1305 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, exprvec[i]) );
1334 ty = Ity_I32;
1462 at = assignNew(mce, Ity_I32, unop(Iop_V128to32, at));
1463 at = mkPCastTo(mce, Ity_I32, at);
1473 at = assignNew(mce, Ity_I32, unop(Iop_V128to32, vatomX));
1474 at = mkPCastTo(mce, Ity_I32, at);
1779 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
1797 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
1806 return assignNew(mce, Ity_I32, binop(op, vatom1, vatom2));
1813 IRAtom* vHi32 = mkPCastTo(mce, Ity_I32, vLo32);
1821 return assignNew(mce, Ity_I32, binop(Iop_16HLto32, vHi16, vLo16));
1863 return assignNew(mce, Ity_I32, binop(op, vatom1, atom2));
1888 and_or_ty = Ity_I32; improve = mkImproveAND32; goto do_And_Or;
1904 and_or_ty = Ity_I32; improve = mkImproveOR32; goto do_And_Or;
1979 return mkPCastTo(mce, Ity_I32, vatom);
1994 return assignNew(mce, Ity_I32, unop(op, vatom));
2051 case Ity_I32: helper = &MC_(helperc_LOADV4);
2071 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2072 mkAdd = tyAddr==Ity_I32 ? Iop_Add32 : Iop_Add64;
2073 eBias = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias);
2097 case Ity_I32:
2205 if (tyH == Ity_I32) {
2207 case Ity_I32: return vatom;
2240 mkAdd = tyAddr==Ity_I32 ? Iop_Add32 : Iop_Add64;
2241 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2273 case Ity_I32: helper = &MC_(helperc_STOREV4);
2289 eBias0 = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias);
2296 eBias8 = tyAddr==Ity_I32 ? mkU32(bias+8) : mkU64(bias+8);
2315 eBias = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias);
2348 case 4: return Ity_I32;
2366 curr = definedOfType(Ity_I32);
2373 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, d->args[i]) );
2406 here = mkPCastTo( mce, Ity_I32, src );
2427 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
2438 mce, Ity_I32,
2439 expr2vbits_LDle ( mce, Ity_I32,
2448 mce, Ity_I32,
2505 mkPCastTo( mce, Ity_I32, curr ) );