VEX_64IR         2301 lj_asm_x86.h   	emit_mrm(as, VEX_64IR(ir, XV_RORX), dest, left);
VEX_64IR         2316 lj_asm_x86.h       emit_mrm(as, VEX_64IR(ir, xv) ^ (right << 19), dest, left);