Replace CraneStation by bytecodealliance everywhere; (#1221)

This commit is contained in:
Benjamin Bouvier
2019-11-12 19:09:31 +01:00
committed by Dan Gohman
parent f4b021c072
commit 9080a02e10
35 changed files with 66 additions and 66 deletions

View File

@@ -13,12 +13,12 @@ is reflected in the code or documentation yet. If you see things that seem
missing or that don't make sense, or even that just don't work the way you
expect them to, we're interested to hear about it!
We have a [CraneStation chat on Gitter], and questions are also welcome as issues
We have a [chat room on Gitter], and questions are also welcome as issues
in the [Cranelift issue tracker]. Some folks also hang out in the #cranelift
IRC channel on [irc.mozilla.org].
[CraneStation chat on Gitter]: https://gitter.im/CraneStation/Lobby
[Cranelift issue tracker]: https://github.com/CraneStation/cranelift/issues/new
[chat room on Gitter]: https://gitter.im/CraneStation/Lobby
[Cranelift issue tracker]: https://github.com/bytecodealliance/cranelift/issues/new
[irc.mozilla.org]: https://wiki.mozilla.org/IRC
### Mentoring
@@ -41,10 +41,10 @@ interested in. This a good time to get involved, as there aren't a lot of
things set in stone yet.
[Rust's issue tags]: https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md#issue-triage
[E-easy]: https://github.com/CraneStation/cranelift/labels/E-easy
[E-rust]: https://github.com/CraneStation/cranelift/labels/E-rust
[E-compiler-easy]: https://github.com/CraneStation/cranelift/labels/E-compiler-easy
[full list of labels]: https://github.com/CraneStation/cranelift/labels
[E-easy]: https://github.com/bytecodealliance/cranelift/labels/E-easy
[E-rust]: https://github.com/bytecodealliance/cranelift/labels/E-rust
[E-compiler-easy]: https://github.com/bytecodealliance/cranelift/labels/E-compiler-easy
[full list of labels]: https://github.com/bytecodealliance/cranelift/labels
### Code of Conduct
@@ -73,7 +73,7 @@ which may be convenient when there are multiple versions installed.
[rustfmt-preview]: https://github.com/rust-lang/rustfmt
[rustfmt quickstart]: https://github.com/rust-lang/rustfmt#quick-start
[format-all.sh]: https://github.com/CraneStation/cranelift/blob/master/format-all.sh
[format-all.sh]: https://github.com/bytecodealliance/cranelift/blob/master/format-all.sh
### Rustc version support
@@ -150,4 +150,4 @@ review, although it is always preferred to have one.
[issues]: https://guides.github.com/features/issues/
[pull requests]: https://help.github.com/articles/about-pull-requests/
[issue keywords]: https://help.github.com/articles/closing-issues-using-keywords/
[Core Team]: https://github.com/orgs/CraneStation/people/
[Core Team]: https://github.com/orgs/bytecodealliance/people/

View File

@@ -5,7 +5,7 @@ version = "0.49.0"
description = "Binaries for testing the Cranelift libraries"
license = "Apache-2.0 WITH LLVM-exception"
documentation = "https://cranelift.readthedocs.io/"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
publish = false
edition = "2018"

View File

@@ -10,9 +10,9 @@ into executable machine code.
[BA]: https://bytecodealliance.org/
[![Documentation Status](https://readthedocs.org/projects/cranelift/badge/?version=latest)](https://cranelift.readthedocs.io/en/latest/?badge=latest)
[![Travis Status](https://travis-ci.org/CraneStation/cranelift.svg?branch=master)](https://travis-ci.org/CraneStation/cranelift)
[![Fuzzit Status](https://app.fuzzit.dev/badge?org_id=CraneStation)](https://app.fuzzit.dev/orgs/CraneStation/dashboard)
[![Gitter chat](https://badges.gitter.im/CraneStation/CraneStation.svg)](https://gitter.im/CraneStation/Lobby)
[![Travis Status](https://travis-ci.org/bytecodealliance/cranelift.svg?branch=master)](https://travis-ci.org/bytecodealliance/cranelift)
[![Fuzzit Status](https://app.fuzzit.dev/badge?org_id=bytecodealliance)](https://app.fuzzit.dev/orgs/bytecodealliance/dashboard)
[![Gitter chat](https://badges.gitter.im/bytecodealliance/bytecodealliance.svg)](https://gitter.im/CraneStation/Lobby)
![Minimum rustc 1.37](https://img.shields.io/badge/rustc-1.37+-green.svg)
For more information, see [the
@@ -21,12 +21,12 @@ documentation](https://cranelift.readthedocs.io/en/latest/?badge=latest).
For an example of how to use the JIT, see the [SimpleJIT Demo], which
implements a toy language.
[SimpleJIT Demo]: https://github.com/CraneStation/simplejit-demo
[SimpleJIT Demo]: https://github.com/bytecodealliance/simplejit-demo
For an example of how to use Cranelift to run WebAssembly code, see
[Wasmtime], which implements a standalone, embeddable, VM using Cranelift.
[Wasmtime]: https://github.com/CraneStation/wasmtime
[Wasmtime]: https://github.com/bytecodealliance/wasmtime
Status
------
@@ -70,7 +70,7 @@ affected its design are:
- [Backend for the IonMonkey JavaScript JIT compiler in
Firefox](spidermonkey.md#phase-2-ionmonkey).
- [Debug build backend for the Rust compiler](rustc.md).
- [Wasmtime non-Web wasm engine](https://github.com/CraneStation/wasmtime).
- [Wasmtime non-Web wasm engine](https://github.com/bytecodealliance/wasmtime).
Building Cranelift
------------------
@@ -173,4 +173,4 @@ Editor Support
Editor support for working with Cranelift IR (clif) files:
- Vim: https://github.com/CraneStation/cranelift.vim
- Vim: https://github.com/bytecodealliance/cranelift.vim

View File

@@ -5,7 +5,7 @@ version = "0.49.0"
description = "A forest of B+-trees"
license = "Apache-2.0 WITH LLVM-exception"
documentation = "https://cranelift.readthedocs.io/"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
categories = ["no-std"]
readme = "README.md"
keywords = ["btree", "forest", "set", "map"]
@@ -16,4 +16,4 @@ cranelift-entity = { path = "../cranelift-entity", version = "0.49.0", default-f
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -5,7 +5,7 @@ version = "0.49.0"
description = "Low-level code generator library"
license = "Apache-2.0 WITH LLVM-exception"
documentation = "https://cranelift.readthedocs.io/"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
categories = ["no-std"]
readme = "README.md"
keywords = ["compile", "compiler", "jit"]
@@ -70,4 +70,4 @@ basic-blocks = []
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -4,7 +4,7 @@ authors = ["The Cranelift Project Developers"]
version = "0.49.0"
description = "Metaprogram for cranelift-codegen code generator library"
license = "Apache-2.0 WITH LLVM-exception"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
readme = "README.md"
edition = "2018"
@@ -14,7 +14,7 @@ cranelift-entity = { path = "../../cranelift-entity", version = "0.49.0" }
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }
[package.metadata.docs.rs]
rustdoc-args = [ "--document-private-items" ]

View File

@@ -1879,7 +1879,7 @@ pub(crate) fn define(
// SIMD register movement: store, load, spill, fill, regmove. All of these use encodings of
// MOVUPS and MOVAPS from SSE (TODO ideally all of these would either use MOVAPS when we have
// alignment or type-specific encodings, see https://github.com/CraneStation/cranelift/issues/1039).
// alignment or type-specific encodings, see https://github.com/bytecodealliance/cranelift/issues/1039).
for ty in ValueType::all_lane_types().filter(allowed_simd_type) {
// Store
let bound_store = store.bind(vector(ty, sse_vector_size)).bind(Any);
@@ -2003,7 +2003,7 @@ pub(crate) fn define(
// allows SIMD shifts to be legalized more easily. TODO ideally this would be typed as an
// I128x1 but restrictions on the type builder prevent this; the general idea here is that
// the upper bits are all zeroed and do not form parts of any separate lane. See
// https://github.com/CraneStation/cranelift/issues/1146.
// https://github.com/bytecodealliance/cranelift/issues/1146.
e.enc_both(
bitcast.bind(vector(I64, sse_vector_size)).bind(I32),
rec_frurm.opcodes(&MOVD_LOAD_XMM),

View File

@@ -349,7 +349,7 @@ pub(crate) fn define(shared: &mut SharedDefinitions, x86_instructions: &Instruct
def!(y = splat_any8x16(x)),
vec![
def!(a = scalar_to_vector(x)), // move into the lowest 8 bits of an XMM register
// TODO replace the following two instructions with `vconst(0)` when this is possible; see https://github.com/CraneStation/cranelift/issues/1052
// TODO replace the following two instructions with `vconst(0)` when this is possible; see https://github.com/bytecodealliance/cranelift/issues/1052
def!(b = f64const(ieee64_zero)), // zero out a different XMM register; the shuffle mask for moving the lowest byte to all other byte lanes is 0x0
def!(c = bitcast_f64_to_any8x16(b)), // no instruction emitted; informs the SSA that the 0 in b can be used as a vector of this type
def!(y = x86_pshufb(a, c)), // PSHUFB takes two XMM operands, one of which is a shuffle mask (i.e. b)

View File

@@ -4,7 +4,7 @@ name = "cranelift-codegen-shared"
version = "0.49.0"
description = "For code shared between cranelift-codegen-meta and cranelift-codegen"
license = "Apache-2.0 WITH LLVM-exception"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
readme = "README.md"
edition = "2018"

View File

@@ -66,7 +66,7 @@
//! Our current implementation uses a sorted array of compressed intervals, represented by their
//! boundaries (Ebb, Inst), sorted by Ebb. This is a simple data structure, enables coalescing of
//! intervals easily, and shows some nice performance behavior. See
//! https://github.com/CraneStation/cranelift/issues/1084 for benchmarks against using a
//! https://github.com/bytecodealliance/cranelift/issues/1084 for benchmarks against using a
//! bforest::Map<Ebb, Inst>.
//!
//! ## EBB ordering
@@ -112,7 +112,7 @@
//! the necessary API to make coalescing easy, nor does it optimize for our types' sizes.
//!
//! Even the specialized `bforest::Map<Ebb, Inst>` implementation is slower than a plain sorted
//! array, see https://github.com/CraneStation/cranelift/issues/1084 for details.
//! array, see https://github.com/bytecodealliance/cranelift/issues/1084 for details.
use crate::entity::SparseMapValue;
use crate::ir::{Ebb, ExpandedProgramPoint, Inst, Layout, ProgramOrder, ProgramPoint, Value};

View File

@@ -5,7 +5,7 @@ version = "0.49.0"
description = "Data structures using entity references as mapping keys"
license = "Apache-2.0 WITH LLVM-exception"
documentation = "https://cranelift.readthedocs.io/"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
categories = ["no-std"]
readme = "README.md"
keywords = ["entity", "set", "map"]
@@ -19,4 +19,4 @@ enable-serde = ["serde"]
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -3,7 +3,7 @@ name = "cranelift-faerie"
version = "0.49.0"
authors = ["The Cranelift Project Developers"]
description = "Emit Cranelift output to native object files with Faerie"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
documentation = "https://cranelift.readthedocs.io/"
license = "Apache-2.0 WITH LLVM-exception"
readme = "README.md"
@@ -24,4 +24,4 @@ features = ["std"]
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -5,7 +5,7 @@ version = "0.49.0"
description = "Test driver and implementations of the filetest commands"
license = "Apache-2.0 WITH LLVM-exception"
documentation = "https://cranelift.readthedocs.io/en/latest/testing.html#file-tests"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
publish = false
edition = "2018"

View File

@@ -1,7 +1,7 @@
test run
target x86_64
; this verifies that returning b64 immediates does not result in a segmentation fault, see https://github.com/CraneStation/cranelift/issues/911
; this verifies that returning b64 immediates does not result in a segmentation fault, see https://github.com/bytecodealliance/cranelift/issues/911
function %test_b64() -> b64 {
ebb0:
[-, %r10] v0 = bconst.b64 true

View File

@@ -1,7 +1,7 @@
test regalloc
target x86_64 haswell
; Reported as https://github.com/CraneStation/cranelift/issues/207
; Reported as https://github.com/bytecodealliance/cranelift/issues/207
;
; The coalescer creates a virtual register with two interfering values.
function %pr207(i64 vmctx, i32, i32) -> i32 system_v {

View File

@@ -1,7 +1,7 @@
test regalloc
target x86_64 haswell
; Reported as https://github.com/CraneStation/cranelift/issues/216 from the Binaryen fuzzer.
; Reported as https://github.com/bytecodealliance/cranelift/issues/216 from the Binaryen fuzzer.
;
; The (old) coalescer creates a virtual register with two identical values.
function %pr216(i32 [%rdi], i64 vmctx [%rsi]) -> i64 [%rax] system_v {

View File

@@ -5,7 +5,7 @@ feature "basic-blocks"
; regex: V=v\d+
; regex: EBB=ebb\d+
; Filed as https://github.com/CraneStation/cranelift/issues/208
; Filed as https://github.com/bytecodealliance/cranelift/issues/208
;
; The verifier complains about a branch argument that is not in the same virtual register as the
; corresponding EBB argument.

View File

@@ -4,7 +4,7 @@ feature !"basic-blocks"
; regex: V=v\d+
; Filed as https://github.com/CraneStation/cranelift/issues/208
; Filed as https://github.com/bytecodealliance/cranelift/issues/208
;
; The verifier complains about a branch argument that is not in the same virtual register as the
; corresponding EBB argument.

View File

@@ -1,7 +1,7 @@
test compile
target x86_64
; Filed as https://github.com/CraneStation/cranelift/issues/779
; Filed as https://github.com/bytecodealliance/cranelift/issues/779
;
; The copy_nop optimisation to reload (see Issue 773) was creating
; copy_nop instructions for types for which there were no encoding.

View File

@@ -4,7 +4,7 @@ set enable_pinned_reg=true
target x86_64 haswell
feature !"basic-blocks"
;; Test for the issue #1123; https://github.com/CraneStation/cranelift/issues/1123
;; Test for the issue #1123; https://github.com/bytecodealliance/cranelift/issues/1123
function u0:0(i32, i32, i32, i64 vmctx) -> i64 uext system_v {
ebb0(v0: i32, v1: i32, v2: i32, v3: i64):

View File

@@ -6,7 +6,7 @@ description = "Cranelift IR builder helper"
license = "Apache-2.0 WITH LLVM-exception"
documentation = "https://cranelift.readthedocs.io/"
categories = ["no-std"]
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
readme = "README.md"
edition = "2018"
@@ -27,4 +27,4 @@ basic-blocks = ["cranelift-codegen/basic-blocks"]
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -3,7 +3,7 @@ name = "cranelift-module"
version = "0.49.0"
authors = ["The Cranelift Project Developers"]
description = "Support for linking functions and data with Cranelift"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
documentation = "https://cranelift.readthedocs.io/"
categories = ["no-std"]
license = "Apache-2.0 WITH LLVM-exception"
@@ -24,4 +24,4 @@ core = ["hashbrown", "cranelift-codegen/core"]
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -3,7 +3,7 @@ name = "cranelift-native"
version = "0.49.0"
authors = ["The Cranelift Project Developers"]
description = "Support for targeting the host with Cranelift"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
categories = ["no-std"]
license = "Apache-2.0 WITH LLVM-exception"
readme = "README.md"
@@ -26,4 +26,4 @@ core = ["cranelift-codegen/core", "raw-cpuid/nightly"]
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -3,7 +3,7 @@ name = "cranelift-object"
version = "0.49.0"
authors = ["The Cranelift Project Developers"]
description = "Emit Cranelift output to native object files with `object`"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
documentation = "https://cranelift.readthedocs.io/"
license = "Apache-2.0 WITH LLVM-exception"
readme = "README.md"
@@ -22,4 +22,4 @@ features = ["std"]
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -5,7 +5,7 @@ version = "0.49.0"
description = "Support for optimizations in Cranelift"
license = "Apache-2.0 WITH LLVM-exception"
documentation = "https://cranelift.readthedocs.io/"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
categories = ["no-std"]
readme = "README.md"
keywords = ["optimize", "compile", "compiler", "jit"]
@@ -25,4 +25,4 @@ core = ["cranelift-codegen/core"]
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -5,7 +5,7 @@ version = "0.49.0"
description = "Cranelift textual IR reader"
license = "Apache-2.0 WITH LLVM-exception"
documentation = "https://cranelift.readthedocs.io/"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
readme = "README.md"
edition = "2018"
@@ -15,4 +15,4 @@ target-lexicon = "0.9"
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -22,7 +22,7 @@ There's plenty of work to do to achieve these goals, and if we achieve
them, we'll have enabled a Rust compiler written entirely in Rust, and
enabled faster Rust compile times for important use cases.
See [issues tagged "rustc"](https://github.com/CraneStation/cranelift/labels/goal%3Arustc)
See [issues tagged "rustc"](https://github.com/bytecodealliance/cranelift/labels/goal%3Arustc)
for a list of some of the things that will be needed.
With all that said, there is a potential goal beyond that, which is to

View File

@@ -3,7 +3,7 @@ name = "cranelift-serde"
version = "0.49.0"
authors = ["The Cranelift Project Developers"]
description = "Serializer/Deserializer for Cranelift IR"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
license = "Apache-2.0 WITH LLVM-exception"
readme = "README.md"
keywords = ["webassembly", "serde"]
@@ -23,4 +23,4 @@ cranelift-reader = { path = "../cranelift-reader", version = "0.49.0" }
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -3,7 +3,7 @@ name = "cranelift-simplejit"
version = "0.49.0"
authors = ["The Cranelift Project Developers"]
description = "A simple JIT library backed by Cranelift"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
documentation = "https://cranelift.readthedocs.io/"
license = "Apache-2.0 WITH LLVM-exception"
readme = "README.md"
@@ -38,4 +38,4 @@ cranelift-entity = { path = "../cranelift-entity", version = "0.49.0" }
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -5,4 +5,4 @@ This crate is extremely experimental.
See the [example program] for a brief overview of how to use this.
[example program]: https://github.com/CraneStation/cranelift/tree/master/cranelift-simplejit/examples/simplejit-minimal.rs
[example program]: https://github.com/bytecodealliance/cranelift/tree/master/cranelift-simplejit/examples/simplejit-minimal.rs

View File

@@ -5,7 +5,7 @@ version = "0.49.0"
description = "Umbrella for commonly-used cranelift crates"
license = "Apache-2.0 WITH LLVM-exception"
documentation = "https://cranelift.readthedocs.io/"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
categories = ["no-std"]
readme = "README.md"
keywords = ["compile", "compiler", "jit"]
@@ -22,4 +22,4 @@ core = ["cranelift-codegen/core", "cranelift-frontend/core"]
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -3,7 +3,7 @@ name = "cranelift-wasm"
version = "0.49.0"
authors = ["The Cranelift Project Developers"]
description = "Translator from WebAssembly to Cranelift IR"
repository = "https://github.com/CraneStation/cranelift"
repository = "https://github.com/bytecodealliance/cranelift"
license = "Apache-2.0 WITH LLVM-exception"
categories = ["no-std", "wasm"]
readme = "README.md"
@@ -35,4 +35,4 @@ basic-blocks = ["cranelift-codegen/basic-blocks", "cranelift-frontend/basic-bloc
[badges]
maintenance = { status = "experimental" }
travis-ci = { repository = "CraneStation/cranelift" }
travis-ci = { repository = "bytecodealliance/cranelift" }

View File

@@ -4,5 +4,5 @@ in-memory form of the [Cranelift IR].
If you're looking for a complete WebAssembly implementation that uses this
library, see [Wasmtime].
[Wasmtime]: https://github.com/CraneStation/wasmtime
[Wasmtime]: https://github.com/bytecodealliance/wasmtime
[Cranelift IR]: https://cranelift.readthedocs.io/en/latest/ir.html

View File

@@ -3,7 +3,7 @@
//! `FuncEnvironment`, see [wasmtime-environ] in [Wasmtime].
//!
//! [wasmtime-environ]: https://crates.io/crates/wasmtime-environ
//! [Wasmtime]: https://github.com/CraneStation/wasmtime
//! [Wasmtime]: https://github.com/bytecodealliance/wasmtime
use crate::environ::{FuncEnvironment, GlobalVariable, ModuleEnvironment, ReturnMode, WasmResult};
use crate::func_translator::FuncTranslator;

View File

@@ -4,7 +4,7 @@
//! There are skeleton implementations of these traits in the `dummy` module, and complete
//! implementations in [Wasmtime].
//!
//! [Wasmtime]: https://github.com/CraneStation/wasmtime
//! [Wasmtime]: https://github.com/bytecodealliance/wasmtime
use crate::state::{FuncTranslationState, ModuleTranslationState};
use crate::translation_utils::{