js/src/jsapi-tests/testLooselyEqual.cpp@b8a032363ba2
js/src/jsapi-tests/testLooselyEqual.cpp
Thu, 22 Jan 2015 13:21:57 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 22 Jan 2015 13:21:57 +0100
- branch
- TOR_BUG_9701
- changeset 15
- b8a032363ba2
- permissions
- -rw-r--r--
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
1 /* This Source Code Form is subject to the terms of the Mozilla Public
2 * License, v. 2.0. If a copy of the MPL was not distributed with this
3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
5 #include <limits>
6 #include <math.h>
8 #include "jsapi-tests/tests.h"
10 using namespace std;
12 struct LooseEqualityFixture : public JSAPITest
13 {
14 virtual ~LooseEqualityFixture() {}
16 bool leq(JS::HandleValue x, JS::HandleValue y) {
17 bool equal;
18 CHECK(JS_LooselyEqual(cx, x, y, &equal) && equal);
19 CHECK(JS_LooselyEqual(cx, y, x, &equal) && equal);
20 return true;
21 }
23 bool nleq(JS::HandleValue x, JS::HandleValue y) {
24 bool equal;
25 CHECK(JS_LooselyEqual(cx, x, y, &equal) && !equal);
26 CHECK(JS_LooselyEqual(cx, y, x, &equal) && !equal);
27 return true;
28 }
29 };
31 struct LooseEqualityData
32 {
33 JS::RootedValue qNaN;
34 JS::RootedValue sNaN;
35 JS::RootedValue d42;
36 JS::RootedValue i42;
37 JS::RootedValue undef;
38 JS::RootedValue null;
39 JS::RootedValue obj;
40 JS::RootedValue poszero;
41 JS::RootedValue negzero;
43 LooseEqualityData(JSContext *cx)
44 : qNaN(cx),
45 sNaN(cx),
46 d42(cx),
47 i42(cx),
48 undef(cx),
49 null(cx),
50 obj(cx),
51 poszero(cx),
52 negzero(cx)
53 {
54 qNaN = DOUBLE_TO_JSVAL(numeric_limits<double>::quiet_NaN());
55 sNaN = DOUBLE_TO_JSVAL(numeric_limits<double>::signaling_NaN());
56 d42 = DOUBLE_TO_JSVAL(42.0);
57 i42 = INT_TO_JSVAL(42);
58 undef = JSVAL_VOID;
59 null = JSVAL_NULL;
60 obj = OBJECT_TO_JSVAL(JS::CurrentGlobalOrNull(cx));
61 poszero = DOUBLE_TO_JSVAL(0.0);
62 negzero = DOUBLE_TO_JSVAL(-0.0);
63 #ifdef XP_WIN
64 # define copysign _copysign
65 #endif
66 JS_ASSERT(copysign(1.0, JSVAL_TO_DOUBLE(poszero)) == 1.0);
67 JS_ASSERT(copysign(1.0, JSVAL_TO_DOUBLE(negzero)) == -1.0);
68 #ifdef XP_WIN
69 # undef copysign
70 #endif
71 }
72 };
74 // 11.9.3 1a
75 BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_undef_leq_undef)
76 {
77 LooseEqualityData d(cx);
78 CHECK(leq(d.undef, d.undef));
79 return true;
80 }
81 END_FIXTURE_TEST(LooseEqualityFixture, test_undef_leq_undef)
83 // 11.9.3 1b
84 BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_null_leq_null)
85 {
86 LooseEqualityData d(cx);
87 CHECK(leq(d.null, d.null));
88 return true;
89 }
90 END_FIXTURE_TEST(LooseEqualityFixture, test_null_leq_null)
92 // 11.9.3 1ci
93 BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_nan_nleq_all)
94 {
95 LooseEqualityData d(cx);
97 CHECK(nleq(d.qNaN, d.qNaN));
98 CHECK(nleq(d.qNaN, d.sNaN));
100 CHECK(nleq(d.sNaN, d.sNaN));
101 CHECK(nleq(d.sNaN, d.qNaN));
103 CHECK(nleq(d.qNaN, d.d42));
104 CHECK(nleq(d.qNaN, d.i42));
105 CHECK(nleq(d.qNaN, d.undef));
106 CHECK(nleq(d.qNaN, d.null));
107 CHECK(nleq(d.qNaN, d.obj));
109 CHECK(nleq(d.sNaN, d.d42));
110 CHECK(nleq(d.sNaN, d.i42));
111 CHECK(nleq(d.sNaN, d.undef));
112 CHECK(nleq(d.sNaN, d.null));
113 CHECK(nleq(d.sNaN, d.obj));
114 return true;
115 }
116 END_FIXTURE_TEST(LooseEqualityFixture, test_nan_nleq_all)
118 // 11.9.3 1cii
119 BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_all_nleq_nan)
120 {
121 LooseEqualityData d(cx);
123 CHECK(nleq(d.qNaN, d.qNaN));
124 CHECK(nleq(d.qNaN, d.sNaN));
126 CHECK(nleq(d.sNaN, d.sNaN));
127 CHECK(nleq(d.sNaN, d.qNaN));
129 CHECK(nleq(d.d42, d.qNaN));
130 CHECK(nleq(d.i42, d.qNaN));
131 CHECK(nleq(d.undef, d.qNaN));
132 CHECK(nleq(d.null, d.qNaN));
133 CHECK(nleq(d.obj, d.qNaN));
135 CHECK(nleq(d.d42, d.sNaN));
136 CHECK(nleq(d.i42, d.sNaN));
137 CHECK(nleq(d.undef, d.sNaN));
138 CHECK(nleq(d.null, d.sNaN));
139 CHECK(nleq(d.obj, d.sNaN));
140 return true;
141 }
142 END_FIXTURE_TEST(LooseEqualityFixture, test_all_nleq_nan)
144 // 11.9.3 1ciii
145 BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_leq_same_nums)
146 {
147 LooseEqualityData d(cx);
149 CHECK(leq(d.d42, d.d42));
150 CHECK(leq(d.i42, d.i42));
151 CHECK(leq(d.d42, d.i42));
152 CHECK(leq(d.i42, d.d42));
153 return true;
154 }
155 END_FIXTURE_TEST(LooseEqualityFixture, test_leq_same_nums)
157 // 11.9.3 1civ
158 BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_pz_leq_nz)
159 {
160 LooseEqualityData d(cx);
161 CHECK(leq(d.poszero, d.negzero));
162 return true;
163 }
164 END_FIXTURE_TEST(LooseEqualityFixture, test_pz_leq_nz)
166 // 11.9.3 1cv
167 BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_nz_leq_pz)
168 {
169 LooseEqualityData d(cx);
170 CHECK(leq(d.negzero, d.poszero));
171 return true;
172 }
173 END_FIXTURE_TEST(LooseEqualityFixture, test_nz_leq_pz)
175 // 1cvi onwards NOT TESTED
177 // 11.9.3 2
178 BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_null_leq_undef)
179 {
180 LooseEqualityData d(cx);
181 CHECK(leq(d.null, d.undef));
182 return true;
183 }
184 END_FIXTURE_TEST(LooseEqualityFixture, test_null_leq_undef)
186 // 11.9.3 3
187 BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_undef_leq_null)
188 {
189 LooseEqualityData d(cx);
190 CHECK(leq(d.undef, d.null));
191 return true;
192 }
193 END_FIXTURE_TEST(LooseEqualityFixture, test_undef_leq_null)
195 // 4 onwards NOT TESTED
