disallow-codegen.js 4.58 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
// Copyright 2017 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

// Flags: --expose-wasm --allow-natives-syntax

load("test/mjsunit/wasm/wasm-constants.js");
load("test/mjsunit/wasm/wasm-module-builder.js");

let kReturnValue = 19;

let buffer = (function CreateBuffer() {
  let builder = new WasmModuleBuilder();
  builder.addMemory(1, 1, true);
  builder.addFunction('main', kSig_i_v)
      .addBody([kExprI32Const, kReturnValue])
      .exportFunc();

  return builder.toBuffer();
})();

%DisallowCodegenFromStrings(true);
23
%DisallowWasmCodegen(true);
24 25 26 27

async function SyncTestOk() {
  print('sync module compile (ok)...');
  %DisallowCodegenFromStrings(false);
28
  %DisallowWasmCodegen(false);
29 30 31 32 33 34 35
  let module = new WebAssembly.Module(buffer);
  assertInstanceof(module, WebAssembly.Module);
}

async function SyncTestFail() {
  print('sync module compile (fail)...');
  %DisallowCodegenFromStrings(true);
36 37 38 39 40 41 42 43 44 45 46 47 48 49
  %DisallowWasmCodegen(false);
  try {
    let module = new WebAssembly.Module(buffer);
    assertUnreachable();
  } catch (e) {
    print("  " + e);
    assertInstanceof(e, WebAssembly.CompileError);
  }
}

async function SyncTestWasmFail(disallow_codegen) {
  print('sync wasm module compile (fail)...');
  %DisallowCodegenFromStrings(disallow_codegen);
  %DisallowWasmCodegen(true);
50 51 52 53 54 55 56 57 58 59 60 61
  try {
    let module = new WebAssembly.Module(buffer);
    assertUnreachable();
  } catch (e) {
    print("  " + e);
    assertInstanceof(e, WebAssembly.CompileError);
  }
}

async function AsyncTestOk() {
  print('async module compile (ok)...');
  %DisallowCodegenFromStrings(false);
62
  %DisallowWasmCodegen(false);
63
  let promise = WebAssembly.compile(buffer);
64 65
  assertPromiseResult(
    promise, module => assertInstanceof(module, WebAssembly.Module));
66 67 68 69 70
}

async function AsyncTestFail() {
  print('async module compile (fail)...');
  %DisallowCodegenFromStrings(true);
71 72 73 74 75 76 77 78 79 80 81 82 83 84
  %DisallowWasmCodegen(false);
  try {
    let m = await WebAssembly.compile(buffer);
    assertUnreachable();
  } catch (e) {
    print("  " + e);
    assertInstanceof(e, WebAssembly.CompileError);
  }
}

async function AsyncTestWasmFail(disallow_codegen) {
  print('async wasm module compile (fail)...');
  %DisallowCodegenFromStrings(disallow_codegen);
  %DisallowWasmCodegen(true);
85 86 87 88 89 90 91 92 93 94 95 96 97 98
  try {
    let m = await WebAssembly.compile(buffer);
    assertUnreachable();
  } catch (e) {
    print("  " + e);
    assertInstanceof(e, WebAssembly.CompileError);
  }
}

async function StreamingTestOk() {
  print('streaming module compile (ok)...');
  // TODO(titzer): compileStreaming must be supplied by embedder.
  // (and it takes a response, not a buffer)
  %DisallowCodegenFromStrings(false);
99
  %DisallowWasmCodegen(false);
100 101 102 103 104
  if ("Function" != typeof WebAssembly.compileStreaming) {
    print("  no embedder for streaming compilation");
    return;
  }
  let promise = WebAssembly.compileStreaming(buffer);
105 106
  assertPromiseResult(
    promise, module => assertInstanceof(module, WebAssembly.Module));
107 108 109 110 111
}

async function StreamingTestFail() {
  print('streaming module compile (fail)...');
  %DisallowCodegenFromStrings(true);
112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132
  %DisallowWasmCodegen(false);
  // TODO(titzer): compileStreaming must be supplied by embedder.
  // (and it takes a response, not a buffer)
  if ("Function" != typeof WebAssembly.compileStreaming) {
    print("  no embedder for streaming compilation");
    return;
  }
  try {
    let m = await WebAssembly.compileStreaming(buffer);
    assertUnreachable();
  } catch (e) {
    print("  " + e);
    assertInstanceof(e, WebAssembly.CompileError);
  }
}


async function StreamingTestWasmFail(disallow_codegen) {
  print('streaming wasm module compile (fail)...');
  %DisallowCodegenFromStrings(disallow_codegen);
  %DisallowWasmCodegen(true);
133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154
  // TODO(titzer): compileStreaming must be supplied by embedder.
  // (and it takes a response, not a buffer)
  if ("Function" != typeof WebAssembly.compileStreaming) {
    print("  no embedder for streaming compilation");
    return;
  }
  try {
    let m = await WebAssembly.compileStreaming(buffer);
    assertUnreachable();
  } catch (e) {
    print("  " + e);
    assertInstanceof(e, WebAssembly.CompileError);
  }
}

async function RunAll() {
  await SyncTestOk();
  await SyncTestFail();
  await AsyncTestOk();
  await AsyncTestFail();
  await StreamingTestOk();
  await StreamingTestFail();
155 156 157 158 159 160 161 162

  disallow_codegen = false;
  for (count = 0; count < 2; ++count) {
    SyncTestWasmFail(disallow_codegen);
    AsyncTestWasmFail(disallow_codegen);
    StreamingTestWasmFail(disallow_codegen)
    disallow_codegen = true;
  }
163 164
}

165
assertPromiseResult(RunAll());