XO_ADDSD          803 lj_asm_x86.h     emit_mrm(as, XO_ADDSD, tmp, right);
XO_ADDSD          839 lj_asm_x86.h   	emit_rma(as, XO_ADDSD, dest, k);  /* Add 2^64 to compensate. */
XO_ADDSD          865 lj_asm_x86.h   	  emit_rma(as, XO_ADDSD, tmp, &as->J->k64[LJ_K64_M2P64_31]);
XO_ADDSD         2181 lj_asm_x86.h       asm_fparith(as, ir, XO_ADDSD);