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
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.
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.
28 // Flags: --allow-natives-syntax
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])
36 // Test that both kinds of NaNs (signaling or quiet) do not signal
38 function TestAllModes(f) {
41 f(); // IC second time
42 %OptimizeFunctionOnNextCall(f);
46 function TestDoubleSignalingNan() {
47 // NaN with signal bit set
49 if(isLittleEndian()) {
50 var bytes = new Uint32Array([1, 0x7FF00000]);
52 var bytes = new Uint32Array([0x7FF00000, 1]);
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));
63 TestDoubleSignalingNan();
65 function TestDoubleQuietNan() {
66 // NaN with signal bit cleared
68 if(isLittleEndian()) {
69 var bytes = new Uint32Array([0, 0x7FF80000]);
71 var bytes = new Uint32Array([0x7FF80000, 0]);
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));
84 function TestFloatSignalingNan() {
85 // NaN with signal bit set
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));
97 TestFloatSignalingNan();
99 function TestFloatQuietNan() {
100 // NaN with signal bit cleared
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));