rv_amoadd_w
emit(rv_amoadd_w(RV_REG_ZERO, lo(rs), RV_REG_T0, 0, 0),
rv_amoadd_w(RV_REG_ZERO, rs, rd, 0, 0), ctx);
rv_amoadd_w(rs, rs, rd, 1, 1), ctx);