Hi,
On Tue, Apr 02, 2013 at 02:42:34PM -0700, Richard Henderson wrote:
> Broken in b5a73f8d8a57e940f9bbeb399a9e47897522ee9a, the carry itself was
> fixed in 79482e5ab38a05ca8869040b0d8b8f451f16ff62. But we still need to
> produce the full 64-bit addition.
>
> Cc: Aurelien Jarno
> Signed-off-by:
Broken in b5a73f8d8a57e940f9bbeb399a9e47897522ee9a, the carry itself was
fixed in 79482e5ab38a05ca8869040b0d8b8f451f16ff62. But we still need to
produce the full 64-bit addition.
Cc: Aurelien Jarno
Signed-off-by: Richard Henderson
---
Aurelien, you reported this bug, but I'm unable to reproduce