1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/js/src/jsapi-tests/testLooselyEqual.cpp Wed Dec 31 06:09:35 2014 +0100
1.3 @@ -0,0 +1,195 @@
1.4 +/* This Source Code Form is subject to the terms of the Mozilla Public
1.5 + * License, v. 2.0. If a copy of the MPL was not distributed with this
1.6 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
1.7 +
1.8 +#include <limits>
1.9 +#include <math.h>
1.10 +
1.11 +#include "jsapi-tests/tests.h"
1.12 +
1.13 +using namespace std;
1.14 +
1.15 +struct LooseEqualityFixture : public JSAPITest
1.16 +{
1.17 + virtual ~LooseEqualityFixture() {}
1.18 +
1.19 + bool leq(JS::HandleValue x, JS::HandleValue y) {
1.20 + bool equal;
1.21 + CHECK(JS_LooselyEqual(cx, x, y, &equal) && equal);
1.22 + CHECK(JS_LooselyEqual(cx, y, x, &equal) && equal);
1.23 + return true;
1.24 + }
1.25 +
1.26 + bool nleq(JS::HandleValue x, JS::HandleValue y) {
1.27 + bool equal;
1.28 + CHECK(JS_LooselyEqual(cx, x, y, &equal) && !equal);
1.29 + CHECK(JS_LooselyEqual(cx, y, x, &equal) && !equal);
1.30 + return true;
1.31 + }
1.32 +};
1.33 +
1.34 +struct LooseEqualityData
1.35 +{
1.36 + JS::RootedValue qNaN;
1.37 + JS::RootedValue sNaN;
1.38 + JS::RootedValue d42;
1.39 + JS::RootedValue i42;
1.40 + JS::RootedValue undef;
1.41 + JS::RootedValue null;
1.42 + JS::RootedValue obj;
1.43 + JS::RootedValue poszero;
1.44 + JS::RootedValue negzero;
1.45 +
1.46 + LooseEqualityData(JSContext *cx)
1.47 + : qNaN(cx),
1.48 + sNaN(cx),
1.49 + d42(cx),
1.50 + i42(cx),
1.51 + undef(cx),
1.52 + null(cx),
1.53 + obj(cx),
1.54 + poszero(cx),
1.55 + negzero(cx)
1.56 + {
1.57 + qNaN = DOUBLE_TO_JSVAL(numeric_limits<double>::quiet_NaN());
1.58 + sNaN = DOUBLE_TO_JSVAL(numeric_limits<double>::signaling_NaN());
1.59 + d42 = DOUBLE_TO_JSVAL(42.0);
1.60 + i42 = INT_TO_JSVAL(42);
1.61 + undef = JSVAL_VOID;
1.62 + null = JSVAL_NULL;
1.63 + obj = OBJECT_TO_JSVAL(JS::CurrentGlobalOrNull(cx));
1.64 + poszero = DOUBLE_TO_JSVAL(0.0);
1.65 + negzero = DOUBLE_TO_JSVAL(-0.0);
1.66 +#ifdef XP_WIN
1.67 +# define copysign _copysign
1.68 +#endif
1.69 + JS_ASSERT(copysign(1.0, JSVAL_TO_DOUBLE(poszero)) == 1.0);
1.70 + JS_ASSERT(copysign(1.0, JSVAL_TO_DOUBLE(negzero)) == -1.0);
1.71 +#ifdef XP_WIN
1.72 +# undef copysign
1.73 +#endif
1.74 + }
1.75 +};
1.76 +
1.77 +// 11.9.3 1a
1.78 +BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_undef_leq_undef)
1.79 +{
1.80 + LooseEqualityData d(cx);
1.81 + CHECK(leq(d.undef, d.undef));
1.82 + return true;
1.83 +}
1.84 +END_FIXTURE_TEST(LooseEqualityFixture, test_undef_leq_undef)
1.85 +
1.86 +// 11.9.3 1b
1.87 +BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_null_leq_null)
1.88 +{
1.89 + LooseEqualityData d(cx);
1.90 + CHECK(leq(d.null, d.null));
1.91 + return true;
1.92 +}
1.93 +END_FIXTURE_TEST(LooseEqualityFixture, test_null_leq_null)
1.94 +
1.95 +// 11.9.3 1ci
1.96 +BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_nan_nleq_all)
1.97 +{
1.98 + LooseEqualityData d(cx);
1.99 +
1.100 + CHECK(nleq(d.qNaN, d.qNaN));
1.101 + CHECK(nleq(d.qNaN, d.sNaN));
1.102 +
1.103 + CHECK(nleq(d.sNaN, d.sNaN));
1.104 + CHECK(nleq(d.sNaN, d.qNaN));
1.105 +
1.106 + CHECK(nleq(d.qNaN, d.d42));
1.107 + CHECK(nleq(d.qNaN, d.i42));
1.108 + CHECK(nleq(d.qNaN, d.undef));
1.109 + CHECK(nleq(d.qNaN, d.null));
1.110 + CHECK(nleq(d.qNaN, d.obj));
1.111 +
1.112 + CHECK(nleq(d.sNaN, d.d42));
1.113 + CHECK(nleq(d.sNaN, d.i42));
1.114 + CHECK(nleq(d.sNaN, d.undef));
1.115 + CHECK(nleq(d.sNaN, d.null));
1.116 + CHECK(nleq(d.sNaN, d.obj));
1.117 + return true;
1.118 +}
1.119 +END_FIXTURE_TEST(LooseEqualityFixture, test_nan_nleq_all)
1.120 +
1.121 +// 11.9.3 1cii
1.122 +BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_all_nleq_nan)
1.123 +{
1.124 + LooseEqualityData d(cx);
1.125 +
1.126 + CHECK(nleq(d.qNaN, d.qNaN));
1.127 + CHECK(nleq(d.qNaN, d.sNaN));
1.128 +
1.129 + CHECK(nleq(d.sNaN, d.sNaN));
1.130 + CHECK(nleq(d.sNaN, d.qNaN));
1.131 +
1.132 + CHECK(nleq(d.d42, d.qNaN));
1.133 + CHECK(nleq(d.i42, d.qNaN));
1.134 + CHECK(nleq(d.undef, d.qNaN));
1.135 + CHECK(nleq(d.null, d.qNaN));
1.136 + CHECK(nleq(d.obj, d.qNaN));
1.137 +
1.138 + CHECK(nleq(d.d42, d.sNaN));
1.139 + CHECK(nleq(d.i42, d.sNaN));
1.140 + CHECK(nleq(d.undef, d.sNaN));
1.141 + CHECK(nleq(d.null, d.sNaN));
1.142 + CHECK(nleq(d.obj, d.sNaN));
1.143 + return true;
1.144 +}
1.145 +END_FIXTURE_TEST(LooseEqualityFixture, test_all_nleq_nan)
1.146 +
1.147 +// 11.9.3 1ciii
1.148 +BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_leq_same_nums)
1.149 +{
1.150 + LooseEqualityData d(cx);
1.151 +
1.152 + CHECK(leq(d.d42, d.d42));
1.153 + CHECK(leq(d.i42, d.i42));
1.154 + CHECK(leq(d.d42, d.i42));
1.155 + CHECK(leq(d.i42, d.d42));
1.156 + return true;
1.157 +}
1.158 +END_FIXTURE_TEST(LooseEqualityFixture, test_leq_same_nums)
1.159 +
1.160 +// 11.9.3 1civ
1.161 +BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_pz_leq_nz)
1.162 +{
1.163 + LooseEqualityData d(cx);
1.164 + CHECK(leq(d.poszero, d.negzero));
1.165 + return true;
1.166 +}
1.167 +END_FIXTURE_TEST(LooseEqualityFixture, test_pz_leq_nz)
1.168 +
1.169 +// 11.9.3 1cv
1.170 +BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_nz_leq_pz)
1.171 +{
1.172 + LooseEqualityData d(cx);
1.173 + CHECK(leq(d.negzero, d.poszero));
1.174 + return true;
1.175 +}
1.176 +END_FIXTURE_TEST(LooseEqualityFixture, test_nz_leq_pz)
1.177 +
1.178 +// 1cvi onwards NOT TESTED
1.179 +
1.180 +// 11.9.3 2
1.181 +BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_null_leq_undef)
1.182 +{
1.183 + LooseEqualityData d(cx);
1.184 + CHECK(leq(d.null, d.undef));
1.185 + return true;
1.186 +}
1.187 +END_FIXTURE_TEST(LooseEqualityFixture, test_null_leq_undef)
1.188 +
1.189 +// 11.9.3 3
1.190 +BEGIN_FIXTURE_TEST(LooseEqualityFixture, test_undef_leq_null)
1.191 +{
1.192 + LooseEqualityData d(cx);
1.193 + CHECK(leq(d.undef, d.null));
1.194 + return true;
1.195 +}
1.196 +END_FIXTURE_TEST(LooseEqualityFixture, test_undef_leq_null)
1.197 +
1.198 +// 4 onwards NOT TESTED
