Fix coding nit in x86amd64g_calculate_FXTRACT.

The current code "return getExp ? posInf : posInf;" looks like a typo.
But when the argument is positive infinity then both the significand
and the exponent are positive infinity (there is a fxtract testcase that
checks that). So no need to check getExp. Just always return posInf
if arg == posInf, but add a comment explaining why.

diff --git a/VEX/priv/guest_generic_x87.c b/VEX/priv/guest_generic_x87.c
index 1e76395d524fc58b297e0eac9abca1b42cd079a3..85ebebdc77ed557f6027b6cc225272f0e908bd50 100644 (file)
--- a/VEX/priv/guest_generic_x87.c
+++ b/VEX/priv/guest_generic_x87.c
@@ -453,7 +453,7 @@ ULong x86amd64g_calculate_FXTRACT ( ULong arg, HWord getExp )
 
    /* Mimic Core i5 behaviour for special cases. */
    if (arg == posInf)
-      return getExp ? posInf : posInf;
+      return posInf; /* Both significand and exponent are posInf. */
    if (arg == negInf)
       return getExp ? posInf : negInf;
    if ((arg & nanMask) == nanMask)