rv_srai
emit(rv_srai(rd, rs, imm), ctx);
emit(rv_srai(lo(rd), hi(rd), imm - 32), ctx);
emit(rv_srai(hi(rd), hi(rd), 31), ctx);
emit(rv_srai(hi(rd), hi(rd), imm), ctx);
emit(rv_srai(lo(rd), lo(rd), imm), ctx);
emit(rv_srai(hi(rd), hi(rd), 31), ctx);