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 --no-fold-constants
29
30function add(x, y) {
31  return x + y;
32}
33
34assertEquals(0, add(0, 0));
35assertEquals(0, add(0, 0));
36%OptimizeFunctionOnNextCall(add);
37assertEquals(-0, add(-0, -0));
38
39
40function test(x, y) {
41  assertTrue(%_IsMinusZero(-0));
42  assertTrue(%_IsMinusZero(1/(-Infinity)));
43  assertTrue(%_IsMinusZero(x));
44
45  assertFalse(%_IsMinusZero(0));
46  assertFalse(%_IsMinusZero(1/Infinity));
47  assertFalse(%_IsMinusZero(0.1));
48  assertFalse(%_IsMinusZero(-0.2));
49  assertFalse(%_IsMinusZero({}));
50  assertFalse(%_IsMinusZero(""));
51  assertFalse(%_IsMinusZero("-0"));
52  assertFalse(%_IsMinusZero(function() {}));
53  assertFalse(%_IsMinusZero(y));
54}
55
56test(-0, 1.2);
57test(-0, 1.2);
58%OptimizeFunctionOnNextCall(test);
59test(-0, 1.2);
60assertOptimized(test);
61
62
63function testsin() {
64  assertTrue(%_IsMinusZero(Math.sin(-0)));
65}
66
67testsin();
68testsin();
69%OptimizeFunctionOnNextCall(testsin);
70testsin();
71
72
73function testfloor() {
74  assertTrue(%_IsMinusZero(Math.floor(-0)));
75  assertFalse(%_IsMinusZero(Math.floor(2)));
76}
77
78testfloor();
79testfloor();
80%OptimizeFunctionOnNextCall(testfloor);
81testfloor();
82
83
84var double_one = Math.cos(0);
85
86function add(a, b) {
87  return a + b;
88}
89
90assertEquals(1, 1/add(double_one, 0));
91assertEquals(1, 1/add(0, double_one));
92%OptimizeFunctionOnNextCall(add);
93assertEquals(1/(-0 + -0), 1/add(-0, -0));
94