Home | History | Annotate | Download | only in priv

Lines Matching full:r2p1

10689    IRTemp r2p1 = newTemp(Ity_I32);   /* contents of r2 + 1 */
10698    assign(r2p1, get_gpr_w1(r2 + 1));
10699    assign(len2, binop(Iop_And32, mkexpr(r2p1), mkU32(0x00ffffff)));
10751                     binop(Iop_And32, mkexpr(r2p1), mkU32(0xFF000000u)),
10752                     binop(Iop_Sub32, mkexpr(r2p1), mkU32(1))));
11480    IRTemp r2p1 = newTemp(Ity_I32);   /* contents of r2 + 1 */
11490    assign(r2p1, get_gpr_w1(r2 + 1));
11491    assign(len2, binop(Iop_And32, mkexpr(r2p1), mkU32(0x00ffffff)));
11546                     binop(Iop_And32, mkexpr(r2p1), mkU32(0xFF000000u)),
11547                     binop(Iop_Sub32, mkexpr(r2p1), mkU32(1))));