XO_FADDq          952 lj_asm_x86.h       emit_rma(as, XO_FADDq, XOg_FADDq, &as->J->k64[LJ_K64_2P64]);
XO_FADDq          992 lj_asm_x86.h       emit_rma(as, XO_FADDq, XOg_FADDq, &as->J->k64[LJ_K64_M2P64]);