sebastienros.jint/Jint/Native/Number/Dtoa/DoubleHelper.cs

// Copyright 2010 the V8 project authors. All rights reserved.
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are
// met:
//
//     * Redistributions of source code must retain the above copyright
//       notice, this list of conditions and the following disclaimer.
//     * Redistributions in binary form must reproduce the above
//       copyright notice, this list of conditions and the following
//       disclaimer in the documentation and/or other materials provided
//       with the distribution.
//     * Neither the name of Google Inc. nor the names of its
//       contributors may be used to endorse or promote products derived
//       from this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

// Ported to Java from Mozilla's version of V8-dtoa by Hannes Wallnoefer.
// The original revision was 67d1049b0bf9 from the mozilla-central tree.

using System.Diagnostics;

namespace Jint.Native.Number.Dtoa
{

// Helper functions for doubles.
    public class DoubleHelper
    {

        private const long KExponentMask = 0x7FF0000000000000L;
        private const long KSignificandMask = 0x000FFFFFFFFFFFFFL;
        private const long KHiddenBit = 0x0010000000000000L;

        private static DiyFp AsDiyFp(long d64)
        {
            Debug.Assert(!IsSpecial(d64));
            return new DiyFp(Significand(d64), Exponent(d64));
        }

        // this->Significand() must not be 0.
        internal static DiyFp AsNormalizedDiyFp(long d64)
        {
            long f = Significand(d64);
            int e = Exponent(d64);

            Debug.Assert(f != 0);

            // The current double could be a denormal.
            while ((f & KHiddenBit) == 0)
            {
                f <<= 1;
                e--;
            }
            // Do the final shifts in one go. Don't forget the hidden bit (the '-1').
            f <<= DiyFp.KSignificandSize - KSignificandSize - 1;
            e -= DiyFp.KSignificandSize - KSignificandSize - 1;
            return new DiyFp(f, e);
        }

        private static int Exponent(long d64)
        {
            if (IsDenormal(d64)) return KDenormalExponent;

            int biasedE = (int) ((d64 & KExponentMask).UnsignedShift(KSignificandSize) & 0xffffffffL);
            return biasedE - KExponentBias;
        }

        private static long Significand(long d64)
        {
            long significand = d64 & KSignificandMask;
            if (!IsDenormal(d64))
            {
                return significand + KHiddenBit;
            }
            else
            {
                return significand;
            }
        }

        // Returns true if the double is a denormal.
        private static bool IsDenormal(long d64)
        {
            return (d64 & KExponentMask) == 0L;
        }

        // We consider denormals not to be special.
        // Hence only Infinity and NaN are special.
        private static bool IsSpecial(long d64)
        {
            return (d64 & KExponentMask) == KExponentMask;
        }

        // Returns the two boundaries of first argument.
        // The bigger boundary (m_plus) is normalized. The lower boundary has the same
        // exponent as m_plus.
        internal static void NormalizedBoundaries(long d64, DiyFp mMinus, DiyFp mPlus)
        {
            DiyFp v = AsDiyFp(d64);
            bool significandIsZero = (v.F == KHiddenBit);
            mPlus.F = (v.F << 1) + 1;
            mPlus.E = v.E - 1;
            mPlus.Normalize();
            if (significandIsZero && v.E != KDenormalExponent)
            {
                // The boundary is closer. Think of v = 1000e10 and v- = 9999e9.
                // Then the boundary (== (v - v-)/2) is not just at a distance of 1e9 but
                // at a distance of 1e8.
                // The only exception is for the smallest normal: the largest denormal is
                // at the same distance as its successor.
                // Note: denormals have the same exponent as the smallest normals.
                mMinus.F = (v.F << 2) - 1;
                mMinus.E = v.E - 2;
            }
            else
            {
                mMinus.F = (v.F << 1) - 1;
                mMinus.E = v.E - 1;
            }
            mMinus.F = mMinus.F << (mMinus.E - mPlus.E);
            mMinus.E = mPlus.E;
        }

        private const int KSignificandSize = 52; // Excludes the hidden bit.
        private const int KExponentBias = 0x3FF + KSignificandSize;
        private const int KDenormalExponent = -KExponentBias + 1;
    }
}