зеркало из https://github.com/mozilla/gecko-dev.git
58 строки
2.0 KiB
Python
58 строки
2.0 KiB
Python
# -*- Mode: python; indent-tabs-mode: nil; tab-width: 40 -*-
|
|
# vim: set filetype=python:
|
|
# This Source Code Form is subject to the terms of the Mozilla Public
|
|
# License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
|
|
|
|
@template
|
|
def RLBoxLibrary(name):
|
|
WASM_SOURCES += [
|
|
"/memory/mozalloc/mozalloc.cpp",
|
|
"/third_party/rlbox_wasm2c_sandbox/c_src/wasm2c_sandbox_wrapper.c",
|
|
]
|
|
|
|
SOURCES += [f"!{name}.wasm.c"]
|
|
SOURCES += ["/third_party/wasm2c/wasm2c/wasm-rt-impl.c"]
|
|
|
|
# Configuration for the wasm2c runtime used by RLBox
|
|
|
|
# Enable SIMD autovectorization
|
|
if CONFIG["WASM_CC_VERSION"] and int(CONFIG["WASM_CC_VERSION"].split(".")[0]) >= 11:
|
|
WASM_CXXFLAGS += ["-msimd128"]
|
|
|
|
# Use a mmap style allocation
|
|
DEFINES["WASM_RT_USE_MMAP"] = 1
|
|
|
|
# Don't use internal signal handler as Firefox already provides one
|
|
DEFINES["WASM_RT_SKIP_SIGNAL_RECOVERY"] = 1
|
|
|
|
# We provide a custom trap handler that calls MOZ_CRASH
|
|
DEFINES["WASM_RT_TRAP_HANDLER"] = "moz_wasm2c_trap_handler"
|
|
|
|
# Don't limit the nested call depth
|
|
DEFINES["WASM_RT_USE_STACK_DEPTH_COUNT"] = 0
|
|
|
|
# Configure the wasm runtime to invoke a callback when a Wasm memory growth
|
|
# fails inside the sandbox. This information is used to annotate crash reports.
|
|
DEFINES["WASM_RT_GROW_FAILED_HANDLER"] = "moz_wasm2c_memgrow_failed"
|
|
|
|
SOURCES[f"!{name}.wasm.c"].flags += [
|
|
"-Wno-unused",
|
|
]
|
|
|
|
WASM_DEFINES["MOZ_IN_WASM_SANDBOX"] = True
|
|
if CONFIG["ENABLE_CLANG_PLUGIN"]:
|
|
WASM_DEFINES["MOZ_CLANG_PLUGIN"] = True
|
|
|
|
SANDBOXED_WASM_LIBRARY_NAME = f"{name}.wasm"
|
|
|
|
# Ideally we'd also list {name}.wasm.h as an output, but that would put the
|
|
# generation in export rather than pre-compile, and we prefer the latter.
|
|
GeneratedFile(
|
|
f"{name}.wasm.c",
|
|
script="/config/wasm2c.py",
|
|
entry_point="wasm2c",
|
|
inputs=["!/dist/host/bin/wasm2c" + CONFIG["HOST_BIN_SUFFIX"], f"!{name}.wasm"],
|
|
)
|