Changes in decode.rs

1d738975 - Use `core::convert::Infallible` instead of our own `Uninhabited` type (#12115)

Wed, 03 Dec 2025 21:32:48 +0000

Use `core::convert::Infallible` instead of our own `Uninhabited` type (#12115)* Use `core::convert::Infallible` instead of our own `Uninhabited` typeI didn't realize that the standard library already had an uninhabited typeavailable for us to reuse.* Actually remove the uninhabited module and its re-exports List of files: /wasmtime-44.0.1/pulley/src/decode.rs

90ac295e - Update Wasmtime to the 2024 Rust Edition (#10806)

Mon, 19 May 2025 16:40:55 +0000

Update Wasmtime to the 2024 Rust Edition (#10806)* Update Wasmtime to the 2024 Rust EditionNow that our MSRV supports the 2024 edition it's possible to make thisswitch. This commit moves Wasmtime to the 2024 Edition to keepup-to-date with Rust idioms and access many of the edition featuresexclusive to the 2024 edition.prtest:full* Reformat with the 2024 edition List of files: /wasmtime-44.0.1/pulley/src/decode.rs

073aedab - Enable the `unsafe-op-in-unsafe-fn` lint (#10559)

Wed, 09 Apr 2025 21:06:59 +0000

Enable the `unsafe-op-in-unsafe-fn` lint (#10559)* Enable the `unsafe-op-in-unsafe-fn` lintThis commit enables the `unsafe-op-in-unsafe-fn` lint in rustc for theentire workspace. This lint will be warn-by-default in the 2024 editionso this is intended to smooth the future migration to the new edition.Many `unsafe` blocks were added in places the lint warned about, withtwo major exceptions. The `wasmtime` and `wasmtime-c-api` crates simplyexpect this lint to fire and effectively disable the lint. They're toobig at this time to do through this PR. My hope is that one day in thefuture they'll be migrated, but more realistically that probably won'thappen so these crates just won't benefit from this lint.* Fix nostd fiber buildprtest:full* Fix build on Windows* Fix asan build List of files: /wasmtime-44.0.1/pulley/src/decode.rs

c3aa6a53 - Change `allow(missing_docs)` to `expect(..)` (#10384)

Wed, 12 Mar 2025 18:58:45 +0000

Change `allow(missing_docs)` to `expect(..)` (#10384)This wasn't possible when `expect` was first introduced due to a changebeing required in upstream rust-lang/rust. That changerust-lang/rust#130025) has now rode enough trains to be in our MSRV, sowe can expect missing docs now instead of just allowing it. List of files: /wasmtime-44.0.1/pulley/src/decode.rs

9260ce47 - pulley: Reimplement wasm loads/stores & memory opcodes (#10154)

Mon, 10 Feb 2025 18:05:03 +0000

pulley: Reimplement wasm loads/stores & memory opcodes (#10154)* pulley: Reimplement wasm loads/stores & memory opcodesThis commit is a large refactoring to reimplement how WebAssemblyloads/stores are translated to Pulley opcodes when using theinterpreter. Additionally the functionality related to memory supporthas changed quite a bit with the interpreter as well. This is all basedoff comments on #10102 with the end goal of folding the two Pulleyopcodes today of "do the bounds check" and "do the load" into oneopcode. This is intended to reduce the number of opcodes and overallimprove interpreter throughput by minimizing turns of the interpreterloop.The basic idea behind this PR is that a new basic suite of loads/storesare added to Pulley which trap if the address is zero. This provides aroute to translate trapping loads/stores in CLIF to Pulley bytecodewithout actually causing segfaults at runtime. WebAssembly translationto CLIF is then updated to use the `select` trick for wasm loads/storeswhere either 0 is loaded from or the actual address is loaded from.Basic support for translation and such is added for this everywhere, andthis ensures that all loads/stores for wasm will be translatedsuccessfully with Pulley.The next step was to extend the "g32" addressing mode preexisting inPulley to support a bounds check as well. New pattern-matches were addedto ISLE to search for a bounds check in the address of a trappingload/store. If found then the entire chain of operations necessary tocompute the address are folded into a single "g32" opcode which ends upbeing a fallible load/store at runtime.To fit all this into Pulley this commit contains a number ofrefactorings to shuffle around existing opcodes related to memory andextend various pieces of functionality here and there:* Pulley now uses a `AddrFoo` types to represent addressing modes as a single immediate rather than splitting it up into pieces for each method. For example `AddrO32` represents "base + offset32". `AddrZ` represents the same thing but traps if the address is zero. The `AddrG32` mode represents a bounds-checked 32-bit linear memory access on behalf of wasm.* Pulley loads/stores were reduced to always using an `AddrFoo` immediate. This means that the old `offset8` addressing mode was removed without replacement here (to be added in the future if necessary). Additionally the suite of sign-extension modes supported were trimmed down to remove 8-to-64, 16-to-64, and 32-to-64 extensions folded as part of the opcode. These can of course always be re-added later but probably want to be added just for the `G32` addressing mode as opposed to all addressing modes.* The interpreter itself was refactored to have an `AddressingMode` trait to ensure that all memory accesses, regardless of addressing modes, are largely just copy/pastes of each other. In the future it might make sense to implement these methods with a macro, but for now it's copy/paste.* In ISLE the `XLoad` generic instruction removed its `ext` field to have extensions handled exclusively in ISLE instead of partly in `emit.rs`.* Float/vector loads/stores now have "g32" addressing (in addition to the "z" that's required for wasm) since it was easy to add them.* Translation of 1-byte accesses on Pulley from WebAssembly to CLIF no longer has a special case for using `a >= b` instead of `a > b - 1` to ensure that the same bounds-check instruction can be used for all sizes of loads/stores.* The bounds-check which folded a load-of-the-bound into the opcode is now present as a "g32bne" addressing mode. with its of suite of instructions to boo.Overall this PR is not a 1:1 replacement of all previous opcodes withexactly one opcode. For example loading 8 bits sign-extended to 64-bitsis now two opcodes instead of one. Additionally some previous opcodeshave expanded in size where for example the 8-bit offset mode was removein favor of only having 32-bit offsets. The goal of this PR is to reboothow memory is handled in Pulley. All loads/stores now use a specificaddressing mode and currently all operations supported across addressingmodes are consistently supported. In the future it's expected that somefeatures will be added to some addressing modes and not others asnecessary, for example extending the "g32" addressing mode only insteadof all addressing modes.For an evaluation of this PR:* Code size: `spidermonkey.cwasm` file is reduced from 19M to 16M.* Sightglass: `pulldown-cmark` is improved by 15%* Sightglass: `bz2` is improved by 20%* Sightglass: `spidermonkey` is improved by 22%* Coremark: score improved by 40%Overall this PR and new design looks to be a large win. This is alldriven by the reduction in opcodes both for compiled code size andexecution speed by minimizing turns of the interpreter loop. In the endI'm also pretty happy with how this turned out and I think therefactorings are well worth it.* Use new `is_pulley` helper more* Improve `addrz` helper, tighten up `memory-inbounds.wat` a bit* Improve codegen in a few `memory-inbounds.wat` cases* Fix test expectation List of files: /wasmtime-44.0.1/pulley/src/decode.rs

c59e0a39 - pulley: Remove `unwrap_uninhabited` helper function (#10174)

Tue, 04 Feb 2025 15:22:32 +0000

pulley: Remove `unwrap_uninhabited` helper function (#10174)No longer needed on our MSRV any more. List of files: /wasmtime-44.0.1/pulley/src/decode.rs

505b3c6f - Require lint reasons in `pulley-interpreter` (#10173)

Mon, 03 Feb 2025 19:16:25 +0000

Require lint reasons in `pulley-interpreter` (#10173)* Require lint reasons in `pulley-interpreter`Continuing work originally started in #9696* Add more pulley #[cfg] List of files: /wasmtime-44.0.1/pulley/src/decode.rs

e4fd50d1 - pulley: Shrink frame save/restore instructions (#9999)

Tue, 14 Jan 2025 01:28:53 +0000

pulley: Shrink frame save/restore instructions (#9999)* pulley: Shrink frame save/restore instructionsThis commit shrinks the size of the `PushFrameSave` and`PopFrameRestore` functions which are used in almost all wasm functions.Previously these instructions allowed for 32-bits of stack space inaddition to saving/restoring all 32 X-registers. In reality though it'squite uncommon to need more than 16-bits of stack space and ABI-wise themost commonly saved registers are the upper 16 registers of the Xregister set.This commit therefore shrinks the frame size to 16 bits and only has theability to save/restore the upper 16 X-registers. Note that anyclobbered registers and frame sizes are still supported, they'll justuse more pessimal encodings which aren't a single opcode. If a functionuses >64KiB of stack space though it's probably not too important whatthe dispatch cost is at the beginning.The overall result of this change is that each instruction shaves of 4bytes (2 from the frame size and 2 from the registers beingsaved/restored). This results in a 4% faster execution time on the bz2Sightglass benchmark, ~1% on pulldown-cmark, and while it shrinks`spidermonkey.cwasm` slightly it's not significant.* Remove no-longer-applicable test* Fix clippy error* Update test expectations List of files: /wasmtime-44.0.1/pulley/src/decode.rs

1e4c470a - pulley: Add immediate payloads to more opcodes (#9861)

Thu, 19 Dec 2024 02:23:49 +0000

pulley: Add immediate payloads to more opcodes (#9861)* pulley: Add immediate payloads to more opcodesThis commit adds immediate payloads to the following instructions:* `xmul32` - `xmul32_s8` / `xmul32_s32`* `xmul64` - `xmul64_s8` / `xmul64_s32`* `xband32` - `xband32_s8` / `xband32_s32`* `xband64` - `xband64_s8` / `xband64_s32`* `xbor32` - `xbor32_s8` / `xbor32_s32`* `xbor64` - `xbor64_s8` / `xbor64_s32`* `xbxor32` - `xbxor32_s8` / `xbxor32_s32`* `xbxor64` - `xbxor64_s8` / `xbxor64_s32`* `xshl32` - `xshl32_u6`* `xshl64` - `xshl64_u6`* `xshr32_u` - `xshl32_u_u6`* `xshr64_u` - `xshl64_u_u6`* `xshr32_s` - `xshl32_s_u6`* `xshr64_s` - `xshl64_s_u6`For shifts there's no need to have 32-bit immediates (or even 8-bit)since 6 bits is enough to encode all the immediates. This means that the6-bit immediate is packed within `BinaryOperands` as a new `U6` type.This commit unfortunately does not shrink `spidermonkey.cwasm`significantly beyond the prior 29M. This is nevertheless expected to berelatively important for performance.* Fix test expectations List of files: /wasmtime-44.0.1/pulley/src/decode.rs

128decdd - pulley: Initial scaffold of SIMD support (#9820)

Sat, 14 Dec 2024 22:33:08 +0000

pulley: Initial scaffold of SIMD support (#9820)* pulley: Initial scaffold of SIMD supportThis commit fills out some of the initial infrastructure necessary forsupporting the SIMD proposal to WebAssembly in the Pulley interpreter,namely 128-bit simd. The `VRegVal` union has been filled out withvarious types, endianness questions are settled, and initialimplementations of a suite of opcodes are added to get a basic set oftests working throughout the backend.cc #9783* Avoid dealing with big-endian vectors* Change wasm `global`s to store `v128` in little-endian format.* Change pulley stack loads/stores to work with vectors in little-endian format. List of files: /wasmtime-44.0.1/pulley/src/decode.rs

623a8218 - Pulley: tail calls (#9251)

Mon, 07 Oct 2024 19:33:06 +0000

Pulley: tail calls (#9251)* Document host return address and extract to constCopyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * Replace `Continutation` with `ControlFlow`Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * Tail recursive interpreter loopCopyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * Delete visitor based interpreter implementationCopyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * Move pulley tail call CI step to a job that uses nightly rust* Record the PC at which a trap occurredNot the initial PC passed into `run`---------Signed-off-by: Karl Meakin Co-authored-by: Nick Fitzgerald List of files: /wasmtime-44.0.1/pulley/src/decode.rs

b0ffce1a - Use `NonNull` for `pc` instead of `*mut u8` (#9274)

Thu, 19 Sep 2024 17:56:42 +0000

c09b412c - Use `split_first_chunk` instead of splitting manually (#9273)

Wed, 18 Sep 2024 00:37:23 +0000

ff92e7af - pulley: superinstructions for pushing/popping list of registers (#9099)

Thu, 22 Aug 2024 17:22:32 +0000

pulley: superinstructions for pushing/popping list of registers (#9099)* pulley: add `push` and `pop` instructionsAdd `xpush{32, 64}` and `xpop{32, 64}` for pushing/popping XRegs from the stack,and `push_frame`/`pop_frame` for saving/restoring LR and FP in functionprologue/epilogue.Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * cranelift-bitset: more impls for `ScalarBitset`Implement `Arbitrary` for `ScalarBitset`.Also implement `DoubleEndedIterator` and `ExactSizeIterator` for `Iter`.The `pop_min` method was added to help implement `DoubleEndedIterator`,and `pop` was renamed to `pop_max` for consistency.Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * pulley: add instructions for pushing/popping list of registersAdd `xpush{32,64}_many` and `xpop{32,64}_many` for pushing/popping anycombination of all 32 XRegs.Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin ---------Signed-off-by: Karl Meakin List of files: /wasmtime-44.0.1/pulley/src/decode.rs

7059c570 - pulley: pack `dst`, `src1` and `src2` registers into 2 bytes (#9088)

Mon, 19 Aug 2024 20:10:16 +0000

pulley: pack `dst`, `src1` and `src2` registers into 2 bytes (#9088)* pulley: use enums for `{X,F,V}Reg`Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * pulley: add `BinaryOperands`Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * pulley: use `BinaryOperands` for binary operatorsCopyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin ---------Signed-off-by: Karl Meakin List of files: /wasmtime-44.0.1/pulley/src/decode.rs

36963d21 - CI: Test Pulley on 32-bit and `no_std` targets (#9013)

Thu, 25 Jul 2024 23:35:35 +0000

CI: Test Pulley on 32-bit and `no_std` targets (#9013)* CI: Check that Pulley builds for `no_std` targets* CI: Test Pulley on 32-bit targetsThis adds CI testing for Pulley on the following 32-bit targets:* `i686-unknown-linux-gnu`* `armv7-unknown-linux-gnueabihf`The previous commit added checks that Pulley builds for `no_std` targets.Our existing test sharding means that it is already tested on a big-endianplatform (`s390x-unknown-linux-gnu`) as well as on different OSes (Linux,Windows, and macOS).So altogether we are now testing a pretty wide range of portability dimensionsfor Pulley in CI:* 32- vs. 64-bit architectures* `std` vs. `no_std`* Little- vs. big-endian* Linux vs. Windows vs. macOSI think our CI coverage for Pulley is in a pretty good place now!Co-Authored-By: Alex Crichton ---------Co-authored-by: Alex Crichton List of files: /wasmtime-44.0.1/pulley/src/decode.rs

4ac1bedf - Introduce the `pulley-interpreter` crate (#9008)

Thu, 25 Jul 2024 21:49:26 +0000

Introduce the `pulley-interpreter` crate (#9008)* Introduce the `pulley-interpreter` crateThis commit is the first step towards implementinghttps://github.com/bytecodealliance/rfcs/pull/35This commit introduces the `pulley-interpreter` crate which contains the Pulleybytecode definition, encoder, decoder, disassembler, and interpreter.This is still very much a work in progress! It is expected that we will tweakencodings and bytecode definitions, that we will overhaul the interpreter (to,for example, optionally support the unstable Rust `explicit_tail_calls`feature), and otherwise make large changes. This is just a starting point to getthe ball rolling.Subsequent commits and pull requests will do things like add the Craneliftbackend to produce Pulley bytecode from Wasm as well as the runtime integrationto run the Pulley interpreter inside Wasmtime.* remove stray fn main* Add small tests for special x registers* Remove now-unused import* always generate 0 pc rel offsets in arbitrary* Add doc_auto_cfg feature for docs.rs* enable all optional features for docs.rs* Consolidate `BytecodeStream::{advance,get1,get2,...}` into `BytecodeStream::read`* fix fuzz targets build* inherit workspace lints in pulley's fuzz crate* Merge fuzz targets into one target; fix a couple small fuzz bugs* Add Pulley to our cargo vet config* Add pulley as a crate to publish* Move Pulley fuzz target into top level fuzz directory List of files: /wasmtime-44.0.1/pulley/src/decode.rs