Lines Matching refs:r1p1
10688 IRTemp r1p1 = newTemp(Ity_I32); /* contents of r1 + 1 */
10695 assign(r1p1, get_gpr_w1(r1 + 1));
10696 assign(len1, binop(Iop_And32, mkexpr(r1p1), mkU32(0x00ffffff)));
10739 binop(Iop_And32, mkexpr(r1p1), mkU32(0xFF000000u)),
10740 binop(Iop_Sub32, mkexpr(r1p1), mkU32(1))));
11479 IRTemp r1p1 = newTemp(Ity_I32); /* contents of r1 + 1 */
11487 assign(r1p1, get_gpr_w1(r1 + 1));
11488 assign(len1, binop(Iop_And32, mkexpr(r1p1), mkU32(0x00ffffff)));
11535 put_gpr_w1(r1 + 1, binop(Iop_Sub32, mkexpr(r1p1), mkU32(1)));