Home | History | Annotate | Download | only in useful

Lines Matching refs:Ity_I32

579          Ity_I32 or Ity_I64 only. */
698 case Ity_I32:
700 case Ity_F32: return Ity_I32;
715 case Ity_I32: return IRExpr_Const(IRConst_U32(0));
776 return assignNew(mce, Ity_I32, binop(Iop_And32, a1, a2));
808 return assignNew(mce, Ity_I32, binop(Iop_Or32, a1, a2));
827 case Ity_I32: return mkUifU32(mce, a1, a2);
861 return assignNew(mce, Ity_I32,
863 assignNew(mce, Ity_I32,
894 return assignNew(mce, Ity_I32, binop(Iop_Or32, data, vbits));
946 mce, Ity_I32,
948 assignNew(mce, Ity_I32, unop(Iop_Not32, data)),
997 case Ity_I32:
1015 case Ity_I32:
1016 return assignNew(mce, Ity_I32, unop(Iop_1Sto32, tmp1));
1295 at = mkPCastTo(mce, Ity_I32, va1);
1296 at = mkUifU(mce, Ity_I32, at, mkPCastTo(mce, Ity_I32, va2));
1313 IRAtom* curr = definedOfType(Ity_I32);
1326 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, exprvec[i]) );
1355 ty = Ity_I32;
1483 at = assignNew(mce, Ity_I32, unop(Iop_V128to32, at));
1484 at = mkPCastTo(mce, Ity_I32, at);
1494 at = assignNew(mce, Ity_I32, unop(Iop_V128to32, vatomX));
1495 at = mkPCastTo(mce, Ity_I32, at);
1800 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
1818 return mkLazy2(mce, Ity_I32, vatom1, vatom2);
1827 return assignNew(mce, Ity_I32, binop(op, vatom1, vatom2));
1834 IRAtom* vHi32 = mkPCastTo(mce, Ity_I32, vLo32);
1842 return assignNew(mce, Ity_I32, binop(Iop_16HLto32, vHi16, vLo16));
1884 return assignNew(mce, Ity_I32, binop(op, vatom1, atom2));
1909 and_or_ty = Ity_I32; improve = mkImproveAND32; goto do_And_Or;
1925 and_or_ty = Ity_I32; improve = mkImproveOR32; goto do_And_Or;
1999 return mkPCastTo(mce, Ity_I32, vatom);
2014 return assignNew(mce, Ity_I32, unop(op, vatom));
2071 case Ity_I32: helper = &MC_(helperc_LOADV4);
2091 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2092 mkAdd = tyAddr==Ity_I32 ? Iop_Add32 : Iop_Add64;
2093 eBias = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias);
2117 case Ity_I32:
2225 if (tyH == Ity_I32) {
2227 case Ity_I32: return vatom;
2260 mkAdd = tyAddr==Ity_I32 ? Iop_Add32 : Iop_Add64;
2261 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );
2293 case Ity_I32: helper = &MC_(helperc_STOREV4);
2309 eBias0 = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias);
2316 eBias8 = tyAddr==Ity_I32 ? mkU32(bias+8) : mkU64(bias+8);
2335 eBias = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias);
2368 case 4: return Ity_I32;
2386 curr = definedOfType(Ity_I32);
2393 here = mkPCastTo( mce, Ity_I32, expr2vbits(mce, d->args[i]) );
2426 here = mkPCastTo( mce, Ity_I32, src );
2447 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
2458 mce, Ity_I32,
2459 expr2vbits_LDle ( mce, Ity_I32,
2468 mce, Ity_I32,
2525 mkPCastTo( mce, Ity_I32, curr ) );