uses-memory.js - mozsearch

Enable keyboard shortcuts

// |jit-test| --setpref=wasm_moz_intgemm=true; skip-if: !newGlobal({newCompartment: true, systemPrincipal: true}).wasmMozIntGemmEnabled()

const wat = `(module

  ;; This builtin requires a memory, but no memory is declared, so we should

  ;; fail to validate the module.

  (import "wasm_gemm" "int8_prepare_b" (func $f (param i32 f32 f32 i32 i32 i32)))

  ;; For good measure, we also attempt to call the function. This shouldn't

  ;; even validate because the module should be rejected before the code

  ;; section, but it gives us a fuller picture of validation.

  (func (export "g")

    (call $f (i32.const 0) (f32.const 0) (f32.const 0) (i32.const 64) (i32.const 64) (i32.const 0))

)`;

// new WebAssembly.Module

  const g = newGlobal({ newCompartment: true, systemPrincipal: true });

  assertErrorMessage(() => g.eval(`

    const mod = new WebAssembly.Module(wasmTextToBinary(\`${wat}\`), { mozIntGemm: true });

  `), g.WebAssembly.CompileError, /builtin function that requires a memory/);

// WebAssembly.instantiate

  const g = newGlobal({ newCompartment: true, systemPrincipal: true });

  assertErrorMessage(() => g.eval(`

    let caught;

    WebAssembly.instantiate(wasmTextToBinary(\`${wat}\`), {}, { mozIntGemm: true })

      .then(() => {}, e => { caught = e; });

    drainJobQueue();

    if (caught) {

      throw caught;

  `), g.WebAssembly.CompileError, /builtin function that requires a memory/);

// WebAssembly.validate

  const g = newGlobal({ newCompartment: true, systemPrincipal: true });

  assertEq(g.eval(`

    WebAssembly.validate(wasmTextToBinary(\`${wat}\`), { mozIntGemm: true });

  `), false);