Lines Matching refs:r1p1
10597 IRTemp r1p1 = newTemp(Ity_I32); /* contents of r1 + 1 */
10604 assign(r1p1, get_gpr_w1(r1 + 1));
10605 assign(len1, binop(Iop_And32, mkexpr(r1p1), mkU32(0x00ffffff)));
10648 binop(Iop_And32, mkexpr(r1p1), mkU32(0xFF000000u)),
10649 binop(Iop_Sub32, mkexpr(r1p1), mkU32(1))));
11388 IRTemp r1p1 = newTemp(Ity_I32); /* contents of r1 + 1 */
11396 assign(r1p1, get_gpr_w1(r1 + 1));
11397 assign(len1, binop(Iop_And32, mkexpr(r1p1), mkU32(0x00ffffff)));
11444 put_gpr_w1(r1 + 1, binop(Iop_Sub32, mkexpr(r1p1), mkU32(1)));