rv_divuw
emit(is64 ? rv_divu(rd, rd, rs) : rv_divuw(rd, rd, rs), ctx);
rv_divuw(rd, rd, RV_REG_T1), ctx);