On Wed, 2013-05-08 at 16:44 -0400, Torbjorn Granlund wrote: > 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. > This fixes the test failures on our machines. Darin