bug2042769.js - mozsearch

Enable keyboard shortcuts

// |jit-test| skip-if: !wasmStackSwitchingEnabled()

// Regression test for bug 2042769: cont.new on a cross-module imported funcref

// (initial callee in instance A, resume from instance B) must propagate traps

// from A correctly without corrupting trap unwinding state.

const A = wasmEvalText(`(module

  (type $ft (func))

  (type $gt (func (param i32) (result i32)))

  (type $wrong (func (param i32 i32) (result i32)))

  (func $g (type $gt) (param i32) (result i32) local.get 0)

  (table 1 funcref)

  (elem (i32.const 0) $g)

  (func $f (export "f") (type $ft)

    i32.const 1 i32.const 2 i32.const 0

    (call_indirect (type $wrong))

    drop)

  (elem declare func $f)

)`).exports;

const B = wasmEvalText(`(module

  (type $ft (func))

  (type $ct (cont $ft))

  (import "a" "f" (func $f (type $ft)))

  (elem declare func $f)

  (func (export "run")

    ref.func $f

    cont.new $ct

    resume $ct)

)`, { a: A }).exports;

assertErrorMessage(() => B.run(), WebAssembly.RuntimeError, /indirect call signature mismatch/);