gmp 5.1.1 tests failures on 64 bin windows with AMD processors

[Torbjorn Granlund]

I think I now have a fix for the bug.  The file mpn/x86_64/bd1/mul_1.asm
really never ever worked properly for DOS64.

*** /tmp/extdiff.8kgEx_/gmp-main.6e8878f722f0/mpn/x86_64/bd1/mul_1.asm	Wed May  8 22:42:33 2013
--- /home/tege/prec/gmp-main/mpn/x86_64/bd1/mul_1.asm	Wed May  8 22:41:49 2013
***************
*** 54,58 ****
  IFDOS(`	define(`r9', ``rdi'')	') dnl
  IFDOS(`	define(`n',  ``%r8'')	') dnl
! IFDOS(`	define(`r8', ``r11'')	') dnl
  
  ASM_START()
--- 54,58 ----
  IFDOS(`	define(`r9', ``rdi'')	') dnl
  IFDOS(`	define(`n',  ``%r8'')	') dnl
! IFDOS(`	define(`r8', ``rbx'')	') dnl
  
  ASM_START()


  I am building gmp for 64 bit Windows using cygwin's x86_64-w64-mingw32
  packages, (gcc version 4.5.3).  The machine is an AMD
  Opteron 6272 running Windows Server 2008 R2 64 bit.
  
  Building gmp 5.1.1 using
  
  ./configure --host=x86_64-w64-mingw32
  
That's a quite bogus configuration, basically disabling CPU
optimisation.  This sent me chasing the bug in the wrong direction,
since I assumed you where using a bulldozer config here.

-- 
Torbjörn