ARMI_VCMP_D       507 lj_asm_arm.h     emit_dm(as, ARMI_VCMP_D, (tmp & 15), (left & 15));
ARMI_VCMP_D      1644 lj_asm_arm.h     emit_dm(as, ARMI_VCMP_D, left, right);
ARMI_VCMP_D      1720 lj_asm_arm.h       ai = ARMI_VCMP_D;