MIPSI_SRLV       1426 lj_asm_mips.h        emit_dst(as, MIPSI_SRLV, dest, right, left);
MIPSI_SRLV       1803 lj_asm_mips.h    case IR_BSHR: asm_bitshift(as, ir, MIPSI_SRLV, MIPSI_SRL); break;