about summary refs log tree commit diff
path: root/library/stdarch/ci/docker
diff options
context:
space:
mode:
authorAlex Crichton <alex@alexcrichton.com>2023-02-15 08:12:12 -0800
committerAmanieu d'Antras <amanieu@gmail.com>2023-03-19 16:08:18 +0100
commitbe861579df8968f28517c017aa2b185804f9163d (patch)
treefe991a5bebbaf373f4cdc96035891c79075103f1 /library/stdarch/ci/docker
parent1f0116fea95d42ec02a1927c69aabc7305969dcf (diff)
wasm32: Add relaxed simd instructions
This commit adds intrinsics to the `wasm32` to support the [relaxed SIMD
proposal][proposal]. These are added with the same naming conventions of
existing simd-related intrinsics for wasm which is similar to the
instruction name but matches sign in a few places.

This additionally updates Wasmtime to execute tests with support for the
relaxed simd proposal. No release has been made yet so this uses the
`dev` release, and I can make a PR in April when the support in Wasmtime
has been released to an official release. The `wasmprinter` crate is
also updated to understand these instruction opcodes as well.

Documentation has been added for all intrinsics, but tests have only
been added for some of them so far. I hope to follow-up later with more
tests.

[proposal]: https://github.com/WebAssembly/relaxed-simd
Diffstat (limited to 'library/stdarch/ci/docker')
-rw-r--r--library/stdarch/ci/docker/wasm32-wasi/Dockerfile7
1 files changed, 3 insertions, 4 deletions
diff --git a/library/stdarch/ci/docker/wasm32-wasi/Dockerfile b/library/stdarch/ci/docker/wasm32-wasi/Dockerfile
index 3e250f8b50e..e8aa8e0b467 100644
--- a/library/stdarch/ci/docker/wasm32-wasi/Dockerfile
+++ b/library/stdarch/ci/docker/wasm32-wasi/Dockerfile
@@ -7,11 +7,10 @@ RUN apt-get update -y && apt-get install -y --no-install-recommends \
   xz-utils \
   clang
 
-RUN curl -L https://github.com/bytecodealliance/wasmtime/releases/download/v0.29.0/wasmtime-v0.29.0-x86_64-linux.tar.xz | tar xJf -
-ENV PATH=$PATH:/wasmtime-v0.29.0-x86_64-linux
+RUN curl -L https://github.com/bytecodealliance/wasmtime/releases/download/dev/wasmtime-dev-$(arch)-linux.tar.xz | tar xJf -
+ENV PATH=$PATH:/wasmtime-dev-$(arch)-linux
 
 ENV CARGO_TARGET_WASM32_WASI_RUNNER="wasmtime \
-  --enable-simd \
-  --enable-threads \
+  --wasm-features=threads,relaxed-simd \
   --mapdir .::/checkout/target/wasm32-wasi/release/deps \
   --"