ARM_RSB_I
emit(ARM_RSB_I(tmp2[0], rt, 32), ctx);
emit(ARM_RSB_I(ARM_IP, rt, 32), ctx);
emit(ARM_RSB_I(rd, rd, val), ctx);