Home | History | Annotate | Download | only in cctest
      1 // Copyright 2011 the V8 project authors. All rights reserved.
      2 // Redistribution and use in source and binary forms, with or without
      3 // modification, are permitted provided that the following conditions are
      4 // met:
      5 //
      6 //     * Redistributions of source code must retain the above copyright
      7 //       notice, this list of conditions and the following disclaimer.
      8 //     * Redistributions in binary form must reproduce the above
      9 //       copyright notice, this list of conditions and the following
     10 //       disclaimer in the documentation and/or other materials provided
     11 //       with the distribution.
     12 //     * Neither the name of Google Inc. nor the names of its
     13 //       contributors may be used to endorse or promote products derived
     14 //       from this software without specific prior written permission.
     15 //
     16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
     17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
     18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
     19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
     20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
     21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
     22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     27 
     28 #include <stdlib.h>
     29 
     30 #include "v8.h"
     31 
     32 #include "bignum-dtoa.h"
     33 
     34 #include "cctest.h"
     35 #include "double.h"
     36 #include "gay-fixed.h"
     37 #include "gay-precision.h"
     38 #include "gay-shortest.h"
     39 #include "platform.h"
     40 
     41 using namespace v8::internal;
     42 
     43 
     44 // Removes trailing '0' digits.
     45 // Can return the empty string if all digits are 0.
     46 static void TrimRepresentation(Vector<char> representation) {
     47   int len = StrLength(representation.start());
     48   int i;
     49   for (i = len - 1; i >= 0; --i) {
     50     if (representation[i] != '0') break;
     51   }
     52   representation[i + 1] = '\0';
     53 }
     54 
     55 
     56 static const int kBufferSize = 100;
     57 
     58 
     59 TEST(BignumDtoaVariousDoubles) {
     60   char buffer_container[kBufferSize];
     61   Vector<char> buffer(buffer_container, kBufferSize);
     62   int length;
     63   int point;
     64 
     65   BignumDtoa(1.0, BIGNUM_DTOA_SHORTEST, 0, buffer, &length, &point);
     66   CHECK_EQ("1", buffer.start());
     67   CHECK_EQ(1, point);
     68 
     69   BignumDtoa(1.0, BIGNUM_DTOA_FIXED, 3, buffer, &length, &point);
     70   CHECK_GE(3, length - point);
     71   TrimRepresentation(buffer);
     72   CHECK_EQ("1", buffer.start());
     73   CHECK_EQ(1, point);
     74 
     75   BignumDtoa(1.0, BIGNUM_DTOA_PRECISION, 3, buffer, &length, &point);
     76   CHECK_GE(3, length);
     77   TrimRepresentation(buffer);
     78   CHECK_EQ("1", buffer.start());
     79   CHECK_EQ(1, point);
     80 
     81   BignumDtoa(1.5, BIGNUM_DTOA_SHORTEST, 0, buffer, &length, &point);
     82   CHECK_EQ("15", buffer.start());
     83   CHECK_EQ(1, point);
     84 
     85   BignumDtoa(1.5, BIGNUM_DTOA_FIXED, 10, buffer, &length, &point);
     86   CHECK_GE(10, length - point);
     87   TrimRepresentation(buffer);
     88   CHECK_EQ("15", buffer.start());
     89   CHECK_EQ(1, point);
     90 
     91   BignumDtoa(1.5, BIGNUM_DTOA_PRECISION, 10, buffer, &length, &point);
     92   CHECK_GE(10, length);
     93   TrimRepresentation(buffer);
     94   CHECK_EQ("15", buffer.start());
     95   CHECK_EQ(1, point);
     96 
     97   double min_double = 5e-324;
     98   BignumDtoa(min_double, BIGNUM_DTOA_SHORTEST, 0, buffer, &length, &point);
     99   CHECK_EQ("5", buffer.start());
    100   CHECK_EQ(-323, point);
    101 
    102   BignumDtoa(min_double, BIGNUM_DTOA_FIXED, 5, buffer, &length, &point);
    103   CHECK_GE(5, length - point);
    104   TrimRepresentation(buffer);
    105   CHECK_EQ("", buffer.start());
    106 
    107   BignumDtoa(min_double, BIGNUM_DTOA_PRECISION, 5, buffer, &length, &point);
    108   CHECK_GE(5, length);
    109   TrimRepresentation(buffer);
    110   CHECK_EQ("49407", buffer.start());
    111   CHECK_EQ(-323, point);
    112 
    113   double max_double = 1.7976931348623157e308;
    114   BignumDtoa(max_double, BIGNUM_DTOA_SHORTEST, 0, buffer, &length, &point);
    115   CHECK_EQ("17976931348623157", buffer.start());
    116   CHECK_EQ(309, point);
    117 
    118   BignumDtoa(max_double, BIGNUM_DTOA_PRECISION, 7, buffer, &length, &point);
    119   CHECK_GE(7, length);
    120   TrimRepresentation(buffer);
    121   CHECK_EQ("1797693", buffer.start());
    122   CHECK_EQ(309, point);
    123 
    124   BignumDtoa(4294967272.0, BIGNUM_DTOA_SHORTEST, 0, buffer, &length, &point);
    125   CHECK_EQ("4294967272", buffer.start());
    126   CHECK_EQ(10, point);
    127 
    128   BignumDtoa(4294967272.0, BIGNUM_DTOA_FIXED, 5, buffer, &length, &point);
    129   CHECK_EQ("429496727200000", buffer.start());
    130   CHECK_EQ(10, point);
    131 
    132 
    133   BignumDtoa(4294967272.0, BIGNUM_DTOA_PRECISION, 14, buffer, &length, &point);
    134   CHECK_GE(14, length);
    135   TrimRepresentation(buffer);
    136   CHECK_EQ("4294967272", buffer.start());
    137   CHECK_EQ(10, point);
    138 
    139   BignumDtoa(4.1855804968213567e298, BIGNUM_DTOA_SHORTEST, 0,
    140              buffer, &length, &point);
    141   CHECK_EQ("4185580496821357", buffer.start());
    142   CHECK_EQ(299, point);
    143 
    144   BignumDtoa(4.1855804968213567e298, BIGNUM_DTOA_PRECISION, 20,
    145              buffer, &length, &point);
    146   CHECK_GE(20, length);
    147   TrimRepresentation(buffer);
    148   CHECK_EQ("41855804968213567225", buffer.start());
    149   CHECK_EQ(299, point);
    150 
    151   BignumDtoa(5.5626846462680035e-309, BIGNUM_DTOA_SHORTEST, 0,
    152              buffer, &length, &point);
    153   CHECK_EQ("5562684646268003", buffer.start());
    154   CHECK_EQ(-308, point);
    155 
    156   BignumDtoa(5.5626846462680035e-309, BIGNUM_DTOA_PRECISION, 1,
    157              buffer, &length, &point);
    158   CHECK_GE(1, length);
    159   TrimRepresentation(buffer);
    160   CHECK_EQ("6", buffer.start());
    161   CHECK_EQ(-308, point);
    162 
    163   BignumDtoa(2147483648.0, BIGNUM_DTOA_SHORTEST, 0,
    164              buffer, &length, &point);
    165   CHECK_EQ("2147483648", buffer.start());
    166   CHECK_EQ(10, point);
    167 
    168 
    169   BignumDtoa(2147483648.0, BIGNUM_DTOA_FIXED, 2,
    170              buffer, &length, &point);
    171   CHECK_GE(2, length - point);
    172   TrimRepresentation(buffer);
    173   CHECK_EQ("2147483648", buffer.start());
    174   CHECK_EQ(10, point);
    175 
    176   BignumDtoa(2147483648.0, BIGNUM_DTOA_PRECISION, 5,
    177              buffer, &length, &point);
    178   CHECK_GE(5, length);
    179   TrimRepresentation(buffer);
    180   CHECK_EQ("21475", buffer.start());
    181   CHECK_EQ(10, point);
    182 
    183   BignumDtoa(3.5844466002796428e+298, BIGNUM_DTOA_SHORTEST, 0,
    184              buffer, &length, &point);
    185   CHECK_EQ("35844466002796428", buffer.start());
    186   CHECK_EQ(299, point);
    187 
    188   BignumDtoa(3.5844466002796428e+298, BIGNUM_DTOA_PRECISION, 10,
    189              buffer, &length, &point);
    190   CHECK_GE(10, length);
    191   TrimRepresentation(buffer);
    192   CHECK_EQ("35844466", buffer.start());
    193   CHECK_EQ(299, point);
    194 
    195   uint64_t smallest_normal64 = V8_2PART_UINT64_C(0x00100000, 00000000);
    196   double v = Double(smallest_normal64).value();
    197   BignumDtoa(v, BIGNUM_DTOA_SHORTEST, 0, buffer, &length, &point);
    198   CHECK_EQ("22250738585072014", buffer.start());
    199   CHECK_EQ(-307, point);
    200 
    201   BignumDtoa(v, BIGNUM_DTOA_PRECISION, 20, buffer, &length, &point);
    202   CHECK_GE(20, length);
    203   TrimRepresentation(buffer);
    204   CHECK_EQ("22250738585072013831", buffer.start());
    205   CHECK_EQ(-307, point);
    206 
    207   uint64_t largest_denormal64 = V8_2PART_UINT64_C(0x000FFFFF, FFFFFFFF);
    208   v = Double(largest_denormal64).value();
    209   BignumDtoa(v, BIGNUM_DTOA_SHORTEST, 0, buffer, &length, &point);
    210   CHECK_EQ("2225073858507201", buffer.start());
    211   CHECK_EQ(-307, point);
    212 
    213   BignumDtoa(v, BIGNUM_DTOA_PRECISION, 20, buffer, &length, &point);
    214   CHECK_GE(20, length);
    215   TrimRepresentation(buffer);
    216   CHECK_EQ("2225073858507200889", buffer.start());
    217   CHECK_EQ(-307, point);
    218 
    219   BignumDtoa(4128420500802942e-24, BIGNUM_DTOA_SHORTEST, 0,
    220              buffer, &length, &point);
    221   CHECK_EQ("4128420500802942", buffer.start());
    222   CHECK_EQ(-8, point);
    223 
    224   v = 3.9292015898194142585311918e-10;
    225   BignumDtoa(v, BIGNUM_DTOA_SHORTEST, 0, buffer, &length, &point);
    226   CHECK_EQ("39292015898194143", buffer.start());
    227 
    228   v = 4194304.0;
    229   BignumDtoa(v, BIGNUM_DTOA_FIXED, 5, buffer, &length, &point);
    230   CHECK_GE(5, length - point);
    231   TrimRepresentation(buffer);
    232   CHECK_EQ("4194304", buffer.start());
    233 
    234   v = 3.3161339052167390562200598e-237;
    235   BignumDtoa(v, BIGNUM_DTOA_PRECISION, 19, buffer, &length, &point);
    236   CHECK_GE(19, length);
    237   TrimRepresentation(buffer);
    238   CHECK_EQ("3316133905216739056", buffer.start());
    239   CHECK_EQ(-236, point);
    240 
    241   v = 7.9885183916008099497815232e+191;
    242   BignumDtoa(v, BIGNUM_DTOA_PRECISION, 4, buffer, &length, &point);
    243   CHECK_GE(4, length);
    244   TrimRepresentation(buffer);
    245   CHECK_EQ("7989", buffer.start());
    246   CHECK_EQ(192, point);
    247 
    248   v = 1.0000000000000012800000000e+17;
    249   BignumDtoa(v, BIGNUM_DTOA_FIXED, 1, buffer, &length, &point);
    250   CHECK_GE(1, length - point);
    251   TrimRepresentation(buffer);
    252   CHECK_EQ("100000000000000128", buffer.start());
    253   CHECK_EQ(18, point);
    254 }
    255 
    256 
    257 TEST(BignumDtoaGayShortest) {
    258   char buffer_container[kBufferSize];
    259   Vector<char> buffer(buffer_container, kBufferSize);
    260   int length;
    261   int point;
    262 
    263   Vector<const PrecomputedShortest> precomputed =
    264       PrecomputedShortestRepresentations();
    265   for (int i = 0; i < precomputed.length(); ++i) {
    266     const PrecomputedShortest current_test = precomputed[i];
    267     double v = current_test.v;
    268     BignumDtoa(v, BIGNUM_DTOA_SHORTEST, 0, buffer, &length, &point);
    269     CHECK_EQ(current_test.decimal_point, point);
    270     CHECK_EQ(current_test.representation, buffer.start());
    271   }
    272 }
    273 
    274 
    275 TEST(BignumDtoaGayFixed) {
    276   char buffer_container[kBufferSize];
    277   Vector<char> buffer(buffer_container, kBufferSize);
    278   int length;
    279   int point;
    280 
    281   Vector<const PrecomputedFixed> precomputed =
    282       PrecomputedFixedRepresentations();
    283   for (int i = 0; i < precomputed.length(); ++i) {
    284     const PrecomputedFixed current_test = precomputed[i];
    285     double v = current_test.v;
    286     int number_digits = current_test.number_digits;
    287     BignumDtoa(v, BIGNUM_DTOA_FIXED, number_digits, buffer, &length, &point);
    288     CHECK_EQ(current_test.decimal_point, point);
    289     CHECK_GE(number_digits, length - point);
    290     TrimRepresentation(buffer);
    291     CHECK_EQ(current_test.representation, buffer.start());
    292   }
    293 }
    294 
    295 
    296 TEST(BignumDtoaGayPrecision) {
    297   char buffer_container[kBufferSize];
    298   Vector<char> buffer(buffer_container, kBufferSize);
    299   int length;
    300   int point;
    301 
    302   Vector<const PrecomputedPrecision> precomputed =
    303       PrecomputedPrecisionRepresentations();
    304   for (int i = 0; i < precomputed.length(); ++i) {
    305     const PrecomputedPrecision current_test = precomputed[i];
    306     double v = current_test.v;
    307     int number_digits = current_test.number_digits;
    308     BignumDtoa(v, BIGNUM_DTOA_PRECISION, number_digits,
    309                buffer, &length, &point);
    310     CHECK_EQ(current_test.decimal_point, point);
    311     CHECK_GE(number_digits, length);
    312     TrimRepresentation(buffer);
    313     CHECK_EQ(current_test.representation, buffer.start());
    314   }
    315 }
    316