ARMI_VCMP_D       516 lj_asm_arm.h     emit_dm(as, ARMI_VCMP_D, (tmp & 15), (left & 15));
ARMI_VCMP_D      1689 lj_asm_arm.h     emit_dm(as, ARMI_VCMP_D, left, right);
ARMI_VCMP_D      1762 lj_asm_arm.h       ai = ARMI_VCMP_D;