ARMI_VMOV_S_R     443 lj_asm_arm.h   	  emit_dn(as, ARMI_VMOV_S_R, RID_RET, dest);
ARMI_VMOV_S_R     560 lj_asm_arm.h         emit_dn(as, ARMI_VMOV_S_R, left, (dest & 15));
ARMI_VMOV_S_R    1228 lj_asm_arm.h   	emit_dn(as, ARMI_VMOV_S_R, tmp, (dest & 15));