1 files changed, 385 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/wasm/spec/spec/endianness.wast.js b/js/src/jit-test/tests/wasm/spec/spec/endianness.wast.js
new file mode 100644
index 0000000000..e408d9e677
--- /dev/null
+++ b/js/src/jit-test/tests/wasm/spec/spec/endianness.wast.js
@@ -0,0 +1,385 @@
+/* Copyright 2021 Mozilla Foundation
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+// ./test/core/endianness.wast
+
+// ./test/core/endianness.wast:1
+let $0 = instantiate(`(module
+  (memory 1)
+
+  ;; Stores an i16 value in little-endian-format
+  (func $$i16_store_little (param $$address i32) (param $$value i32)
+    (i32.store8 (local.get $$address) (local.get $$value))
+    (i32.store8 (i32.add (local.get $$address) (i32.const 1)) (i32.shr_u (local.get $$value) (i32.const 8)))
+  )
+
+  ;; Stores an i32 value in little-endian format
+  (func $$i32_store_little (param $$address i32) (param $$value i32)
+    (call $$i16_store_little (local.get $$address) (local.get $$value))
+    (call $$i16_store_little (i32.add (local.get $$address) (i32.const 2)) (i32.shr_u (local.get $$value) (i32.const 16)))
+  )
+
+  ;; Stores an i64 value in little-endian format
+  (func $$i64_store_little (param $$address i32) (param $$value i64)
+    (call $$i32_store_little (local.get $$address) (i32.wrap_i64 (local.get $$value)))
+    (call $$i32_store_little (i32.add (local.get $$address) (i32.const 4)) (i32.wrap_i64 (i64.shr_u (local.get $$value) (i64.const 32))))
+  )
+
+  ;; Loads an i16 value in little-endian format
+  (func $$i16_load_little (param $$address i32) (result i32)
+    (i32.or
+      (i32.load8_u (local.get $$address))
+      (i32.shl (i32.load8_u (i32.add (local.get $$address) (i32.const 1))) (i32.const 8))
+    )
+  )
+
+  ;; Loads an i32 value in little-endian format
+  (func $$i32_load_little (param $$address i32) (result i32)
+    (i32.or
+      (call $$i16_load_little (local.get $$address))
+      (i32.shl (call $$i16_load_little (i32.add (local.get $$address) (i32.const 2))) (i32.const 16))
+    )
+  )
+
+  ;; Loads an i64 value in little-endian format
+  (func $$i64_load_little (param $$address i32) (result i64)
+    (i64.or
+      (i64.extend_i32_u (call $$i32_load_little (local.get $$address)))
+      (i64.shl (i64.extend_i32_u (call $$i32_load_little (i32.add (local.get $$address) (i32.const 4)))) (i64.const 32))
+    )
+  )
+
+  (func (export "i32_load16_s") (param $$value i32) (result i32)
+    (call $$i16_store_little (i32.const 0) (local.get $$value))
+    (i32.load16_s (i32.const 0))
+  )
+
+  (func (export "i32_load16_u") (param $$value i32) (result i32)
+    (call $$i16_store_little (i32.const 0) (local.get $$value))
+    (i32.load16_u (i32.const 0))
+  )
+
+  (func (export "i32_load") (param $$value i32) (result i32)
+    (call $$i32_store_little (i32.const 0) (local.get $$value))
+    (i32.load (i32.const 0))
+  )
+
+  (func (export "i64_load16_s") (param $$value i64) (result i64)
+    (call $$i16_store_little (i32.const 0) (i32.wrap_i64 (local.get $$value)))
+    (i64.load16_s (i32.const 0))
+  )
+
+  (func (export "i64_load16_u") (param $$value i64) (result i64)
+    (call $$i16_store_little (i32.const 0) (i32.wrap_i64 (local.get $$value)))
+    (i64.load16_u (i32.const 0))
+  )
+
+  (func (export "i64_load32_s") (param $$value i64) (result i64)
+    (call $$i32_store_little (i32.const 0) (i32.wrap_i64 (local.get $$value)))
+    (i64.load32_s (i32.const 0))
+  )
+
+  (func (export "i64_load32_u") (param $$value i64) (result i64)
+    (call $$i32_store_little (i32.const 0) (i32.wrap_i64 (local.get $$value)))
+    (i64.load32_u (i32.const 0))
+  )
+
+  (func (export "i64_load") (param $$value i64) (result i64)
+    (call $$i64_store_little (i32.const 0) (local.get $$value))
+    (i64.load (i32.const 0))
+  )
+
+  (func (export "f32_load") (param $$value f32) (result f32)
+    (call $$i32_store_little (i32.const 0) (i32.reinterpret_f32 (local.get $$value)))
+    (f32.load (i32.const 0))
+  )
+
+  (func (export "f64_load") (param $$value f64) (result f64)
+    (call $$i64_store_little (i32.const 0) (i64.reinterpret_f64 (local.get $$value)))
+    (f64.load (i32.const 0))
+  )
+
+
+  (func (export "i32_store16") (param $$value i32) (result i32)
+    (i32.store16 (i32.const 0) (local.get $$value))
+    (call $$i16_load_little (i32.const 0))
+  )
+
+  (func (export "i32_store") (param $$value i32) (result i32)
+    (i32.store (i32.const 0) (local.get $$value))
+    (call $$i32_load_little (i32.const 0))
+  )
+
+  (func (export "i64_store16") (param $$value i64) (result i64)
+    (i64.store16 (i32.const 0) (local.get $$value))
+    (i64.extend_i32_u (call $$i16_load_little (i32.const 0)))
+  )
+
+  (func (export "i64_store32") (param $$value i64) (result i64)
+    (i64.store32 (i32.const 0) (local.get $$value))
+    (i64.extend_i32_u (call $$i32_load_little (i32.const 0)))
+  )
+
+  (func (export "i64_store") (param $$value i64) (result i64)
+    (i64.store (i32.const 0) (local.get $$value))
+    (call $$i64_load_little (i32.const 0))
+  )
+
+  (func (export "f32_store") (param $$value f32) (result f32)
+    (f32.store (i32.const 0) (local.get $$value))
+    (f32.reinterpret_i32 (call $$i32_load_little (i32.const 0)))
+  )
+
+  (func (export "f64_store") (param $$value f64) (result f64)
+    (f64.store (i32.const 0) (local.get $$value))
+    (f64.reinterpret_i64 (call $$i64_load_little (i32.const 0)))
+  )
+)`);
+
+// ./test/core/endianness.wast:133
+assert_return(() => invoke($0, `i32_load16_s`, [-1]), [value("i32", -1)]);
+
+// ./test/core/endianness.wast:134
+assert_return(() => invoke($0, `i32_load16_s`, [-4242]), [value("i32", -4242)]);
+
+// ./test/core/endianness.wast:135
+assert_return(() => invoke($0, `i32_load16_s`, [42]), [value("i32", 42)]);
+
+// ./test/core/endianness.wast:136
+assert_return(() => invoke($0, `i32_load16_s`, [12816]), [value("i32", 12816)]);
+
+// ./test/core/endianness.wast:138
+assert_return(() => invoke($0, `i32_load16_u`, [-1]), [value("i32", 65535)]);
+
+// ./test/core/endianness.wast:139
+assert_return(() => invoke($0, `i32_load16_u`, [-4242]), [value("i32", 61294)]);
+
+// ./test/core/endianness.wast:140
+assert_return(() => invoke($0, `i32_load16_u`, [42]), [value("i32", 42)]);
+
+// ./test/core/endianness.wast:141
+assert_return(() => invoke($0, `i32_load16_u`, [51966]), [value("i32", 51966)]);
+
+// ./test/core/endianness.wast:143
+assert_return(() => invoke($0, `i32_load`, [-1]), [value("i32", -1)]);
+
+// ./test/core/endianness.wast:144
+assert_return(() => invoke($0, `i32_load`, [-42424242]), [value("i32", -42424242)]);
+
+// ./test/core/endianness.wast:145
+assert_return(() => invoke($0, `i32_load`, [42424242]), [value("i32", 42424242)]);
+
+// ./test/core/endianness.wast:146
+assert_return(() => invoke($0, `i32_load`, [-1414717974]), [value("i32", -1414717974)]);
+
+// ./test/core/endianness.wast:148
+assert_return(() => invoke($0, `i64_load16_s`, [-1n]), [value("i64", -1n)]);
+
+// ./test/core/endianness.wast:149
+assert_return(() => invoke($0, `i64_load16_s`, [-4242n]), [value("i64", -4242n)]);
+
+// ./test/core/endianness.wast:150
+assert_return(() => invoke($0, `i64_load16_s`, [42n]), [value("i64", 42n)]);
+
+// ./test/core/endianness.wast:151
+assert_return(() => invoke($0, `i64_load16_s`, [12816n]), [value("i64", 12816n)]);
+
+// ./test/core/endianness.wast:153
+assert_return(() => invoke($0, `i64_load16_u`, [-1n]), [value("i64", 65535n)]);
+
+// ./test/core/endianness.wast:154
+assert_return(() => invoke($0, `i64_load16_u`, [-4242n]), [value("i64", 61294n)]);
+
+// ./test/core/endianness.wast:155
+assert_return(() => invoke($0, `i64_load16_u`, [42n]), [value("i64", 42n)]);
+
+// ./test/core/endianness.wast:156
+assert_return(() => invoke($0, `i64_load16_u`, [51966n]), [value("i64", 51966n)]);
+
+// ./test/core/endianness.wast:158
+assert_return(() => invoke($0, `i64_load32_s`, [-1n]), [value("i64", -1n)]);
+
+// ./test/core/endianness.wast:159
+assert_return(() => invoke($0, `i64_load32_s`, [-42424242n]), [value("i64", -42424242n)]);
+
+// ./test/core/endianness.wast:160
+assert_return(() => invoke($0, `i64_load32_s`, [42424242n]), [value("i64", 42424242n)]);
+
+// ./test/core/endianness.wast:161
+assert_return(() => invoke($0, `i64_load32_s`, [305419896n]), [value("i64", 305419896n)]);
+
+// ./test/core/endianness.wast:163
+assert_return(() => invoke($0, `i64_load32_u`, [-1n]), [value("i64", 4294967295n)]);
+
+// ./test/core/endianness.wast:164
+assert_return(() => invoke($0, `i64_load32_u`, [-42424242n]), [value("i64", 4252543054n)]);
+
+// ./test/core/endianness.wast:165
+assert_return(() => invoke($0, `i64_load32_u`, [42424242n]), [value("i64", 42424242n)]);
+
+// ./test/core/endianness.wast:166
+assert_return(() => invoke($0, `i64_load32_u`, [2880249322n]), [value("i64", 2880249322n)]);
+
+// ./test/core/endianness.wast:168
+assert_return(() => invoke($0, `i64_load`, [-1n]), [value("i64", -1n)]);
+
+// ./test/core/endianness.wast:169
+assert_return(() => invoke($0, `i64_load`, [-42424242n]), [value("i64", -42424242n)]);
+
+// ./test/core/endianness.wast:170
+assert_return(() => invoke($0, `i64_load`, [2880249322n]), [value("i64", 2880249322n)]);
+
+// ./test/core/endianness.wast:171
+assert_return(
+  () => invoke($0, `i64_load`, [-6075977126246539798n]),
+  [value("i64", -6075977126246539798n)],
+);
+
+// ./test/core/endianness.wast:173
+assert_return(() => invoke($0, `f32_load`, [value("f32", -1)]), [value("f32", -1)]);
+
+// ./test/core/endianness.wast:174
+assert_return(() => invoke($0, `f32_load`, [value("f32", 0.01234)]), [value("f32", 0.01234)]);
+
+// ./test/core/endianness.wast:175
+assert_return(() => invoke($0, `f32_load`, [value("f32", 4242.4243)]), [value("f32", 4242.4243)]);
+
+// ./test/core/endianness.wast:176
+assert_return(
+  () => invoke($0, `f32_load`, [value("f32", 340282350000000000000000000000000000000)]),
+  [value("f32", 340282350000000000000000000000000000000)],
+);
+
+// ./test/core/endianness.wast:178
+assert_return(() => invoke($0, `f64_load`, [value("f64", -1)]), [value("f64", -1)]);
+
+// ./test/core/endianness.wast:179
+assert_return(() => invoke($0, `f64_load`, [value("f64", 1234.56789)]), [value("f64", 1234.56789)]);
+
+// ./test/core/endianness.wast:180
+assert_return(
+  () => invoke($0, `f64_load`, [value("f64", 424242.424242)]),
+  [value("f64", 424242.424242)],
+);
+
+// ./test/core/endianness.wast:181
+assert_return(
+  () => invoke($0, `f64_load`, [
+    value("f64", 179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000),
+  ]),
+  [
+    value("f64", 179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000),
+  ],
+);
+
+// ./test/core/endianness.wast:184
+assert_return(() => invoke($0, `i32_store16`, [-1]), [value("i32", 65535)]);
+
+// ./test/core/endianness.wast:185
+assert_return(() => invoke($0, `i32_store16`, [-4242]), [value("i32", 61294)]);
+
+// ./test/core/endianness.wast:186
+assert_return(() => invoke($0, `i32_store16`, [42]), [value("i32", 42)]);
+
+// ./test/core/endianness.wast:187
+assert_return(() => invoke($0, `i32_store16`, [51966]), [value("i32", 51966)]);
+
+// ./test/core/endianness.wast:189
+assert_return(() => invoke($0, `i32_store`, [-1]), [value("i32", -1)]);
+
+// ./test/core/endianness.wast:190
+assert_return(() => invoke($0, `i32_store`, [-4242]), [value("i32", -4242)]);
+
+// ./test/core/endianness.wast:191
+assert_return(() => invoke($0, `i32_store`, [42424242]), [value("i32", 42424242)]);
+
+// ./test/core/endianness.wast:192
+assert_return(() => invoke($0, `i32_store`, [-559035650]), [value("i32", -559035650)]);
+
+// ./test/core/endianness.wast:194
+assert_return(() => invoke($0, `i64_store16`, [-1n]), [value("i64", 65535n)]);
+
+// ./test/core/endianness.wast:195
+assert_return(() => invoke($0, `i64_store16`, [-4242n]), [value("i64", 61294n)]);
+
+// ./test/core/endianness.wast:196
+assert_return(() => invoke($0, `i64_store16`, [42n]), [value("i64", 42n)]);
+
+// ./test/core/endianness.wast:197
+assert_return(() => invoke($0, `i64_store16`, [51966n]), [value("i64", 51966n)]);
+
+// ./test/core/endianness.wast:199
+assert_return(() => invoke($0, `i64_store32`, [-1n]), [value("i64", 4294967295n)]);
+
+// ./test/core/endianness.wast:200
+assert_return(() => invoke($0, `i64_store32`, [-4242n]), [value("i64", 4294963054n)]);
+
+// ./test/core/endianness.wast:201
+assert_return(() => invoke($0, `i64_store32`, [42424242n]), [value("i64", 42424242n)]);
+
+// ./test/core/endianness.wast:202
+assert_return(() => invoke($0, `i64_store32`, [3735931646n]), [value("i64", 3735931646n)]);
+
+// ./test/core/endianness.wast:204
+assert_return(() => invoke($0, `i64_store`, [-1n]), [value("i64", -1n)]);
+
+// ./test/core/endianness.wast:205
+assert_return(() => invoke($0, `i64_store`, [-42424242n]), [value("i64", -42424242n)]);
+
+// ./test/core/endianness.wast:206
+assert_return(() => invoke($0, `i64_store`, [2880249322n]), [value("i64", 2880249322n)]);
+
+// ./test/core/endianness.wast:207
+assert_return(
+  () => invoke($0, `i64_store`, [-6075977126246539798n]),
+  [value("i64", -6075977126246539798n)],
+);
+
+// ./test/core/endianness.wast:209
+assert_return(() => invoke($0, `f32_store`, [value("f32", -1)]), [value("f32", -1)]);
+
+// ./test/core/endianness.wast:210
+assert_return(() => invoke($0, `f32_store`, [value("f32", 0.01234)]), [value("f32", 0.01234)]);
+
+// ./test/core/endianness.wast:211
+assert_return(() => invoke($0, `f32_store`, [value("f32", 4242.4243)]), [value("f32", 4242.4243)]);
+
+// ./test/core/endianness.wast:212
+assert_return(
+  () => invoke($0, `f32_store`, [value("f32", 340282350000000000000000000000000000000)]),
+  [value("f32", 340282350000000000000000000000000000000)],
+);
+
+// ./test/core/endianness.wast:214
+assert_return(() => invoke($0, `f64_store`, [value("f64", -1)]), [value("f64", -1)]);
+
+// ./test/core/endianness.wast:215
+assert_return(() => invoke($0, `f64_store`, [value("f64", 1234.56789)]), [value("f64", 1234.56789)]);
+
+// ./test/core/endianness.wast:216
+assert_return(
+  () => invoke($0, `f64_store`, [value("f64", 424242.424242)]),
+  [value("f64", 424242.424242)],
+);
+
+// ./test/core/endianness.wast:217
+assert_return(
+  () => invoke($0, `f64_store`, [
+    value("f64", 179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000),
+  ]),
+  [
+    value("f64", 179769313486231570000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000),
+  ],
+);