Home | History | Annotate | Download | only in priv

Lines Matching full:r1p1

8602    IRTemp r1p1 = newTemp(Ity_I32);   /* contents of r1 + 1 */
8609 assign(r1p1, get_gpr_w1(r1 + 1));
8610 assign(len1, binop(Iop_And32, mkexpr(r1p1), mkU32(0x00ffffff)));
8655 binop(Iop_And32, mkexpr(r1p1), mkU32(0xFF000000u)),
8656 binop(Iop_Sub32, mkexpr(r1p1), mkU32(1))));
9399 IRTemp r1p1 = newTemp(Ity_I32); /* contents of r1 + 1 */
9407 assign(r1p1, get_gpr_w1(r1 + 1));
9408 assign(len1, binop(Iop_And32, mkexpr(r1p1), mkU32(0x00ffffff)));
9457 put_gpr_w1(r1 + 1, binop(Iop_Sub32, mkexpr(r1p1), mkU32(1)));