Cranelift, Part 3: Correctness in Register Allocation

• wasmtime

  172 14,461 10.0 Rust

  A fast and secure runtime for WebAssembly

  

In a little more detail -- we handle register saves/restores in the ABI implementation which explicitly reasons about caller/callee-saves. The interaction with regalloc is actually kind of elegant IMHO: we just add all of the caller-save registers as defs on the call instruction. Regalloc.rs allows real (physical) registers alongside virtual registers in the VCode, and will see these defs and move other data out of the way.

• reference-types

  9 151 5.3 WebAssembly

  Discontinued Proposal for adding basic reference types (anyref)

  

Re: GC -- yes, indeed, the whole business with safepoints arose from the need to support Wasm reference types as a backend for Wasmtime or Firefox. No safepoints are needed for Rust (or other C-like) code.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project