The Tor Browser / file comparison
comparison: js/src/jsapi-tests/testLooselyEqual.cpp
js/src/jsapi-tests/testLooselyEqual.cpp
- branch
- TOR_BUG_9701
- changeset 15
- b8a032363ba2
equal
deleted
inserted
replaced
| -1:000000000000 | 0:e7b8c8a46344 |
|---|---|
| 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/. */ | |
| 4 | |
| 5 #include <limits> | |
| 6 #include <math.h> | |
| 7 | |
| 8 #include "jsapi-tests/tests.h" | |
| 9 | |
| 10 using namespace std; | |
| 11 | |
| 12 struct LooseEqualityFixture : public JSAPITest | |
| 13 { | |
| 14 virtual ~LooseEqualityFixture() {} | |
| 15 | |
| 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 } | |
| 22 | |
| 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 }; | |
| 30 | |
| 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; | |
| 42 | |
| 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 }; | |
| 73 | |
| 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) | |
| 82 | |
| 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) | |
| 91 | |
| 92 // 11.9.3 1ci | |
| 93 BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_nan_nleq_all) | |
| 94 { | |
| 95 LooseEqualityData d(cx); | |
| 96 | |
| 97 CHECK(nleq(d.qNaN, d.qNaN)); | |
| 98 CHECK(nleq(d.qNaN, d.sNaN)); | |
| 99 | |
| 100 CHECK(nleq(d.sNaN, d.sNaN)); | |
| 101 CHECK(nleq(d.sNaN, d.qNaN)); | |
| 102 | |
| 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)); | |
| 108 | |
| 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) | |
| 117 | |
| 118 // 11.9.3 1cii | |
| 119 BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_all_nleq_nan) | |
| 120 { | |
| 121 LooseEqualityData d(cx); | |
| 122 | |
| 123 CHECK(nleq(d.qNaN, d.qNaN)); | |
| 124 CHECK(nleq(d.qNaN, d.sNaN)); | |
| 125 | |
| 126 CHECK(nleq(d.sNaN, d.sNaN)); | |
| 127 CHECK(nleq(d.sNaN, d.qNaN)); | |
| 128 | |
| 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)); | |
| 134 | |
| 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) | |
| 143 | |
| 144 // 11.9.3 1ciii | |
| 145 BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_leq_same_nums) | |
| 146 { | |
| 147 LooseEqualityData d(cx); | |
| 148 | |
| 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) | |
| 156 | |
| 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) | |
| 165 | |
| 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) | |
| 174 | |
| 175 // 1cvi onwards NOT TESTED | |
| 176 | |
| 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) | |
| 185 | |
| 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) | |
| 194 | |
| 195 // 4 onwards NOT TESTED |
