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 31 // Test that both kinds of NaNs (signaling or quiet) do not signal 32 33 function TestAllModes(f) { 34 f(); // Runtime 35 f(); // IC 36 f(); // IC second time 37 %OptimizeFunctionOnNextCall(f); 38 f(); // hydrogen 39 } 40 41 function TestDoubleSignalingNan() { 42 // NaN with signal bit set 43 function f() { 44 var bytes = new Uint32Array([1, 0x7FF00000]); 45 var doubles = new Float64Array(bytes.buffer); 46 assertTrue(isNaN(doubles[0])); 47 assertTrue(isNaN(doubles[0]*2.0)); 48 assertTrue(isNaN(doubles[0] + 0.5)); 49 } 50 51 TestAllModes(f); 52 } 53 54 TestDoubleSignalingNan(); 55 56 function TestDoubleQuietNan() { 57 // NaN with signal bit cleared 58 function f() { 59 var bytes = new Uint32Array([0, 0x7FF80000]); 60 var doubles = new Float64Array(bytes.buffer); 61 assertTrue(isNaN(doubles[0])); 62 assertTrue(isNaN(doubles[0]*2.0)); 63 assertTrue(isNaN(doubles[0] + 0.5)); 64 } 65 66 TestAllModes(f); 67 } 68 69 TestDoubleQuietNan(); 70 71 function TestFloatSignalingNan() { 72 // NaN with signal bit set 73 function f() { 74 var bytes = new Uint32Array([0x7F800001]); 75 var floats = new Float32Array(bytes.buffer); 76 assertTrue(isNaN(floats[0])); 77 assertTrue(isNaN(floats[0]*2.0)); 78 assertTrue(isNaN(floats[0] + 0.5)); 79 } 80 81 TestAllModes(f); 82 } 83 84 TestFloatSignalingNan(); 85 86 function TestFloatQuietNan() { 87 // NaN with signal bit cleared 88 function f() { 89 var bytes = new Uint32Array([0x7FC00000]); 90 var floats = new Float32Array(bytes.buffer); 91 assertTrue(isNaN(floats[0])); 92 assertTrue(isNaN(floats[0]*2.0)); 93 assertTrue(isNaN(floats[0] + 0.5)); 94 } 95 96 TestAllModes(f); 97 } 98 99 TestFloatQuietNan(); 100
