Achievements in the past four months
Almost all integer tests and float tests of portable-simd (formerly stdsimd) now pass. A couple of operations are not yet implemented, but other than that it now works just fine.
In addition @shamatar implemented the
llvm.x86.subborrow.64 instrinsics as their first contribution. They are used by some of the
core::arch SIMD intrinsics that the
num-bigint crate uses.
AArch64 support on Linux
It is now possible to cross-compile to AArch64 Linux. Native compilation should work too, but isn’t tested. At the moment there does seem to be an ABI incompatibility around proc-macros though, so those don’t work when using native compilation.
- #1183: AArch64 support on Linux
@mominul it is now possible to use
-Ctarget-cpu with cg_clif. The given value is passed directly to Cranelift, so not every target cpu supported by LLVM is allowed, but
-Ctarget-cpu=native works fine as well as the list of target cpus supported by Cranelift.
- #1163: Support
Rust build system
The most important parts of the build system have been rewritten from bash scripts to rust code. This allows it to run on systems that don’t have bash like Windows. It is still necessary for git to be available though.
- #1180: Rewrite part of the build system in rust
Multithreading support for the JIT mode
@eggyal implemented multithreading support for the lazy-jit mode. When a function is called that still needs to be lazily compiled, this compilation happens on the main rustc thread. This blocks compilation of other functions, but doesn’t interrupt other threads if they don’t need any function to be compiled.
- #1166: Multithreading support for lazy-jit
- bytecodealliance/wasmtime#2786: Atomic hotswapping in JIT mode
While there are several important things currently missing, I am confident that I will be able to implement the most important ones in 2021.
Windows support with the MSVC toolchain
Cranelift doesn’t yet support TLS for COFF/PE object files. This means that unlike MinGW which uses pthread keys for implementing TLS, it is not currently possible to compile for MSVC.
Many vendor intrinsics remain unimplemented. The new portable SIMD project will however likely exclusively use so called “platform intrinsics” of which there are much fewer, compared to the LLVM intrinsics used to implement all vendor intrinsics in
core::arch. In addition “platform intrinsics” are the common denominator between platforms supported by rustc, so they only have to be implemented once in cg_clif itself and in fact most have already been implemented. Cranelift does need a definition for each platform when native SIMD is used, but emulating “platform intrinsics” using scalar instructions is pretty easy.
- issue #171: std::arch SIMD intrinsics
Cleanup during stack unwinding on panics
Cranelift currently doesn’t have support for cleanup during stack unwinding.
- issue wasmtime#1677: Support cleanup during unwinding
Contributions are always appreciated. Feel free to take a look at good first issues and ping me (@bjorn3) for help on either the relevant github issue or preferably on the rust lang zulip if you get stuck.
Thanks to @cfallin for giving feedback on this progress report.