Home | History | Annotate | Download | only in priv

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)));