ARMI_VADD_D       521 lj_asm_arm.h     emit_dnm(as, ARMI_VADD_D, (tmp & 15), (left & 15), (right & 15));
ARMI_VADD_D      1460 lj_asm_arm.h         asm_fparith(as, ir, ARMI_VADD_D);