Adding upstream version 124.0.1.upstream/124.0.1

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 100 insertions, 0 deletions

diff --git a/js/src/jit-test/tests/wasm/function-references/call_ref.js b/js/src/jit-test/tests/wasm/function-references/call_ref.js
new file mode 100644
index 0000000000..514c3145d6
--- /dev/null
+++ b/js/src/jit-test/tests/wasm/function-references/call_ref.js
@@ -0,0 +1,100 @@
+// |jit-test| skip-if: !wasmFunctionReferencesEnabled()
+
+let { plusOne } = wasmEvalText(`(module
+  (; forward declaration so that ref.func works ;)
+  (elem declare func $plusOneRef)
+  (type $t (func (param i32) (result i32)))
+
+  (func $plusOneRef (param i32) (result i32)
+    (i32.add
+      local.get 0
+      i32.const 1)
+  )
+
+  (func (export "plusOne") (param i32) (result i32)
+    local.get 0
+    ref.func $plusOneRef
+    call_ref $t
+  )
+)`).exports;
+
+assertEq(plusOne(3), 4);
+
+// pass non-funcref type
+wasmFailValidateText(`(module
+  (type $t (func (param i32)))
+  (func (param $a i32)
+    local.get $a
+    call_ref $t
+  )
+)`, /type mismatch: expression has type i32 but expected \(ref null \d+\)/);
+
+wasmFailValidateText(`(module
+  (type $t (func (param externref)))
+  (func (param $a (ref extern))
+    local.get $a
+    call_ref $t
+  )
+)`, /type mismatch: expression has type \(ref extern\) but expected \(ref null \d+\)/);
+
+// pass (non-subtype of) funcref
+wasmFailValidateText(`(module
+  (type $t (func (param i32) (result i32)))
+  (func (param funcref)
+    local.get 0
+    call_ref $t
+  )
+)`, /type mismatch: expression has type funcref but expected \(ref null \d+\)/);  
+  
+// signature mismatch
+wasmFailValidateText(`(module
+  (type $t (func (param i32) (result i32)))
+  (elem declare func $plusOneRef)
+  (func $plusOneRef (param f32) (result f32)
+    (f32.add
+      local.get 0
+      f32.const 1.0)
+  )
+
+  (func (export "plusOne") (param i32) (result i32)
+    local.get 0
+    ref.func $plusOneRef
+    call_ref $t
+  )
+)`, /type mismatch: expression has type \(ref \d+\) but expected \(ref null \d+\)/);
+
+// Cross-instance calls
+let { loadInt } = wasmEvalText(`(module
+  (memory 1 1)
+  (data (i32.const 0) "\\04\\00\\00\\00")
+  (func (export "loadInt") (result i32)
+    i32.const 0
+    i32.load offset=0
+  )
+)`).exports;
+
+let { callLoadInt } = wasmEvalText(`(module
+  (type $t (func (result i32)))
+  (elem declare func 0)
+  (import "" "loadInt" (func (result i32)))
+  (func (export "callLoadInt") (result i32)
+    ref.func 0
+    call_ref $t
+  )
+)`, {"": { loadInt, }}).exports;
+
+assertEq(loadInt(), 4);
+assertEq(callLoadInt(), 4);
+
+// Null call.
+assertErrorMessage(function() {
+  let { nullCall } = wasmEvalText(`(module
+    (type $t (func (param i32) (result i32)))
+    (func (export "nullCall") (param i32) (result i32)
+      local.get 0
+      ref.null $t
+      call_ref $t
+    )
+  )`).exports;
+  nullCall(3);
+}, WebAssembly.RuntimeError, /dereferencing null pointer/);