XO_ADDSD          689 lj_asm_x86.h     emit_mrm(as, XO_ADDSD, tmp, right);
XO_ADDSD          725 lj_asm_x86.h   	emit_rma(as, XO_ADDSD, dest, k);  /* Add 2^64 to compensate. */
XO_ADDSD          754 lj_asm_x86.h   	  emit_rma(as, XO_ADDSD, tmp, lj_ir_k64_find(as->J,
XO_ADDSD         1956 lj_asm_x86.h       asm_fparith(as, ir, XO_ADDSD);