Home | History | Annotate | Download | only in priv

Lines Matching defs:ts

4135    IRTemp ts = newTemp(Ity_I64);   /* RSI */
4138    assign( ts, getIReg64(R_RSI) );
4140    storeLE( mkexpr(td), loadLE(ty,mkexpr(ts)) );
4143    putIReg64( R_RSI, binop(Iop_Add64, mkexpr(ts), mkexpr(t_inc)) );
4150    IRTemp ts = newTemp(Ity_I64);   /* RSI */
4152    assign( ts, getIReg64(R_RSI) );
4154    putIRegRAX ( sz, loadLE(ty, mkexpr(ts)) );
4156    putIReg64( R_RSI, binop(Iop_Add64, mkexpr(ts), mkexpr(t_inc)) );
4182    IRTemp ts  = newTemp(Ity_I64); /*  RSI  */
4186    assign( ts, getIReg64(R_RSI) );
4190    assign( tsv, loadLE(ty,mkexpr(ts)) );
4196    putIReg64(R_RSI, binop(Iop_Add64, mkexpr(ts), mkexpr(t_inc)) );