summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/dataview/nan-canonicalization.js
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--js/src/jit-test/tests/dataview/nan-canonicalization.js168
1 files changed, 168 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/dataview/nan-canonicalization.js b/js/src/jit-test/tests/dataview/nan-canonicalization.js
new file mode 100644
index 0000000000..3e5d724cae
--- /dev/null
+++ b/js/src/jit-test/tests/dataview/nan-canonicalization.js
@@ -0,0 +1,168 @@
+// Test NaN canonicalisation when reading from a DataView.
+
+load(libdir + "dataview.js");
+
+// Float32
+function testF32() {
+ function writeBE(ui32, value) {
+ let ui8 = new Uint8Array(ui32.buffer);
+
+ ui8[0] = (value >> 24) & 0xff;
+ ui8[1] = (value >> 16) & 0xff;
+ ui8[2] = (value >> 8) & 0xff;
+ ui8[3] = (value >> 0) & 0xff;
+ }
+
+ function writeLE(ui32, value) {
+ let ui8 = new Uint8Array(ui32.buffer);
+
+ ui8[0] = (value >> 0) & 0xff;
+ ui8[1] = (value >> 8) & 0xff;
+ ui8[2] = (value >> 16) & 0xff;
+ ui8[3] = (value >> 24) & 0xff;
+ }
+
+ // Smallest and largest SNaNs and QNaNs, with and without sign-bit set.
+ const NaNs = [
+ 0x7F80_0001, 0x7FBF_FFFF, 0x7FC0_0000, 0x7FFF_FFFF,
+ 0xFF80_0001, 0xFFBF_FFFF, 0xFFC0_0000, 0xFFFF_FFFF,
+ ];
+
+ const canonicalNaN = new Uint32Array(new Float32Array([NaN]).buffer)[0];
+
+ // Load from array so that Ion doesn't treat as constants.
+ const True = [true, 1];
+ const False = [false, 0];
+
+ function f() {
+ let src_ui32 = new Uint32Array(1);
+
+ let dst_f32 = new Float32Array(1);
+ let dst_ui32 = new Uint32Array(dst_f32.buffer);
+
+ let dv = new DataView(src_ui32.buffer);
+
+ for (let i = 0; i < 100; ++i) {
+ let nan = NaNs[i % NaNs.length];
+
+ // Write to typed array, implicitly using native endian.
+ src_ui32[0] = nan;
+ dst_f32[0] = dv.getFloat32(0, nativeIsLittleEndian);
+ assertEq(dst_ui32[0], canonicalNaN);
+
+ // Write and read using big endian. |isLittleEndian| parameter is absent.
+ writeBE(src_ui32, nan);
+ dst_f32[0] = dv.getFloat32(0);
+ assertEq(dst_ui32[0], canonicalNaN);
+
+ // Write and read using big endian. |isLittleEndian| parameter is a constant.
+ writeBE(src_ui32, nan);
+ dst_f32[0] = dv.getFloat32(0, false);
+ assertEq(dst_ui32[0], canonicalNaN);
+
+ // Write and read using little endian. |isLittleEndian| parameter is a constant.
+ writeLE(src_ui32, nan);
+ dst_f32[0] = dv.getFloat32(0, true);
+ assertEq(dst_ui32[0], canonicalNaN);
+
+ // Write and read using big endian.
+ writeBE(src_ui32, nan);
+ dst_f32[0] = dv.getFloat32(0, False[i & 1]);
+ assertEq(dst_ui32[0], canonicalNaN);
+
+ // Write and read using little endian.
+ writeLE(src_ui32, nan);
+ dst_f32[0] = dv.getFloat32(0, True[i & 1]);
+ assertEq(dst_ui32[0], canonicalNaN);
+ }
+ }
+
+ for (let i = 0; i < 2; ++i) f();
+}
+testF32();
+
+// Float64
+function testF64() {
+ function writeBE(ui64, value) {
+ let ui8 = new Uint8Array(ui64.buffer);
+
+ ui8[0] = Number((value >> 56n) & 0xffn);
+ ui8[1] = Number((value >> 48n) & 0xffn);
+ ui8[2] = Number((value >> 40n) & 0xffn);
+ ui8[3] = Number((value >> 32n) & 0xffn);
+ ui8[4] = Number((value >> 24n) & 0xffn);
+ ui8[5] = Number((value >> 16n) & 0xffn);
+ ui8[6] = Number((value >> 8n) & 0xffn);
+ ui8[7] = Number((value >> 0n) & 0xffn);
+ }
+
+ function writeLE(ui64, value) {
+ let ui8 = new Uint8Array(ui64.buffer);
+
+ ui8[0] = Number((value >> 0n) & 0xffn);
+ ui8[1] = Number((value >> 8n) & 0xffn);
+ ui8[2] = Number((value >> 16n) & 0xffn);
+ ui8[3] = Number((value >> 24n) & 0xffn);
+ ui8[4] = Number((value >> 32n) & 0xffn);
+ ui8[5] = Number((value >> 40n) & 0xffn);
+ ui8[6] = Number((value >> 48n) & 0xffn);
+ ui8[7] = Number((value >> 56n) & 0xffn);
+ }
+
+ // Smallest and largest SNaNs and QNaNs, with and without sign-bit set.
+ const NaNs = [
+ 0x7FF0_0000_0000_0001n, 0x7FF7_FFFF_FFFF_FFFFn, 0x7FF8_0000_0000_0000n, 0x7FFF_FFFF_FFFF_FFFFn,
+ 0xFFF0_0000_0000_0001n, 0xFFF7_FFFF_FFFF_FFFFn, 0xFFF8_0000_0000_0000n, 0xFFFF_FFFF_FFFF_FFFFn,
+ ];
+
+ const canonicalNaN = new BigUint64Array(new Float64Array([NaN]).buffer)[0];
+
+ // Load from array so that Ion doesn't treat as constants.
+ const True = [true, 1];
+ const False = [false, 0];
+
+ function f() {
+ let src_ui64 = new BigUint64Array(1);
+
+ let dst_f64 = new Float64Array(1);
+ let dst_ui64 = new BigUint64Array(dst_f64.buffer);
+
+ let dv = new DataView(src_ui64.buffer);
+
+ for (let i = 0; i < 100; ++i) {
+ let nan = NaNs[i % NaNs.length];
+
+ src_ui64[0] = nan;
+ dst_f64[0] = dv.getFloat64(0, nativeIsLittleEndian);
+ assertEq(dst_ui64[0], canonicalNaN);
+
+ // Write and read using big endian. |isLittleEndian| parameter is absent.
+ writeBE(src_ui64, nan);
+ dst_f64[0] = dv.getFloat64(0);
+ assertEq(dst_ui64[0], canonicalNaN);
+
+ // Write and read using big endian. |isLittleEndian| parameter is a constant.
+ writeBE(src_ui64, nan);
+ dst_f64[0] = dv.getFloat64(0, false);
+ assertEq(dst_ui64[0], canonicalNaN);
+
+ // Write and read using little endian. |isLittleEndian| parameter is a constant.
+ writeLE(src_ui64, nan);
+ dst_f64[0] = dv.getFloat64(0, true);
+ assertEq(dst_ui64[0], canonicalNaN);
+
+ // Write and read using big endian.
+ writeBE(src_ui64, nan);
+ dst_f64[0] = dv.getFloat64(0, False[i & 1]);
+ assertEq(dst_ui64[0], canonicalNaN);
+
+ // Write and read using little endian.
+ writeLE(src_ui64, nan);
+ dst_f64[0] = dv.getFloat64(0, True[i & 1]);
+ assertEq(dst_ui64[0], canonicalNaN);
+ }
+ }
+
+ for (let i = 0; i < 2; ++i) f();
+}
+testF64();