MIPSI_SRLV       2018 lj_asm_mips.h  #define asm_bshr(as, ir)	asm_bitshift(as, ir, MIPSI_SRLV, MIPSI_SRL)
MIPSI_SRLV       2036 lj_asm_mips.h        emit_dst(as, MIPSI_SRLV, dest, right, left);