Lines Matching defs:t32
4998 IRTemp t32 = newTemp(Ity_I32);
4999 assign( t32, e32 );
5005 binop(Iop_Add32, mkexpr(t32), mkU32(32768))),
5008 unop(Iop_32to16, mkexpr(t32
24849 IRTemp t32 = newTemp(Ity_I32);
24850 assign(t32, loadLE(Ity_I32, mkexpr(addr)));
24852 assign(t64, binop(Iop_32HLto64, mkexpr(t32), mkexpr(t32)));
24866 IRTemp t32 = newTemp(Ity_I32);
24867 assign(t32, loadLE(Ity_I32, mkexpr(addr)));
24869 assign(t64, binop(Iop_32HLto64, mkexpr(t32), mkexpr(t32)));