rv_srli
emit(rv_srli(rd, rs, imm), ctx);
emit(rv_srli(lo(rd), lo(rd), 16), ctx);
emit(rv_srli(RV_REG_T0, lo(rd), 32 - imm), ctx);
emit(rv_srli(lo(rd), hi(rd), imm - 32), ctx);
emit(rv_srli(lo(rd), lo(rd), imm), ctx);
emit(rv_srli(hi(rd), hi(rd), imm), ctx);
emit(rv_srli(lo(rd), lo(rd), imm), ctx);
emit(rv_srli(lo(rd), lo(rd), imm), ctx);
emit(rv_srli(RV_REG_T0, lo(rd), 31), ctx);
emit(rv_srli(RV_REG_T0, lo(rd), 1), ctx);
emit(rv_srli(rd, rd, 8), ctx);
emit(rv_srli(rd, RV_REG_T1, 16), ctx);
emit(rv_srli(rd, rd, 8), ctx);
emit(rv_srli(rd, rd, 8), ctx);
emit(rv_srli(rd, rd, 8), ctx);