src/v8/test/mjsunit/nans.js

   1 // Copyright 2013 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 // Flags: --allow-natives-syntax
  29
  30 // Helper to determine endian - returns true on little endian platforms
  31 function isLittleEndian() {
  32   return ((new Uint32Array((new Uint8Array([4,3,2,1])).buffer))[0])
  33            == 0x01020304;
  34 }
  35
  36 // Test that both kinds of NaNs (signaling or quiet) do not signal
  37
  38 function TestAllModes(f) {
  39   f(); // Runtime
  40   f(); // IC
  41   f(); // IC second time
  42   %OptimizeFunctionOnNextCall(f);
  43   f(); // hydrogen
  44 }
  45
  46 function TestDoubleSignalingNan() {
  47   // NaN with signal bit set
  48   function f() {
  49     if(isLittleEndian()) {
  50       var bytes = new Uint32Array([1, 0x7FF00000]);
  51     } else {
  52       var bytes = new Uint32Array([0x7FF00000, 1]);
  53     }
  54     var doubles = new Float64Array(bytes.buffer);
  55     assertTrue(isNaN(doubles[0]));
  56     assertTrue(isNaN(doubles[0]*2.0));
  57     assertTrue(isNaN(doubles[0] + 0.5));
  58   }
  59
  60   TestAllModes(f);
  61 }
  62
  63 TestDoubleSignalingNan();
  64
  65 function TestDoubleQuietNan() {
  66   // NaN with signal bit cleared
  67   function f() {
  68     if(isLittleEndian()) {
  69       var bytes = new Uint32Array([0, 0x7FF80000]);
  70     } else {
  71       var bytes = new Uint32Array([0x7FF80000, 0]);
  72     }
  73     var doubles = new Float64Array(bytes.buffer);
  74     assertTrue(isNaN(doubles[0]));
  75     assertTrue(isNaN(doubles[0]*2.0));
  76     assertTrue(isNaN(doubles[0] + 0.5));
  77   }
  78
  79   TestAllModes(f);
  80 }
  81
  82 TestDoubleQuietNan();
  83
  84 function TestFloatSignalingNan() {
  85   // NaN with signal bit set
  86   function f() {
  87     var bytes = new Uint32Array([0x7F800001]);
  88     var floats = new Float32Array(bytes.buffer);
  89     assertTrue(isNaN(floats[0]));
  90     assertTrue(isNaN(floats[0]*2.0));
  91     assertTrue(isNaN(floats[0] + 0.5));
  92   }
  93
  94   TestAllModes(f);
  95 }
  96
  97 TestFloatSignalingNan();
  98
  99 function TestFloatQuietNan() {
 100   // NaN with signal bit cleared
 101   function f() {
 102     var bytes = new Uint32Array([0x7FC00000]);
 103     var floats = new Float32Array(bytes.buffer);
 104     assertTrue(isNaN(floats[0]));
 105     assertTrue(isNaN(floats[0]*2.0));
 106     assertTrue(isNaN(floats[0] + 0.5));
 107   }
 108
 109   TestAllModes(f);
 110 }
 111
 112 TestFloatQuietNan();