Changes in diff_wasmi.rs

666d3377 - Update the Wasmi differential fuzzing oracle to v1.0 (#12312)

Mon, 12 Jan 2026 15:53:34 +0000

Update the Wasmi differential fuzzing oracle to v1.0 (#12312)* update the wasmi fuzzing oracle to v1.0.7* make wasmi oracle impl compile again* apply rustfmt List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

93d22fcd - Migrate fuzzing to `wasmtime::error` (#12263)

Wed, 07 Jan 2026 21:51:23 +0000

Migrate fuzzing to `wasmtime::error` (#12263)* Migrate fuzzing to `wasmtime::error`* fix List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

b900d746 - Add a case for wasmi trap code on error (#11984)

Wed, 05 Nov 2025 16:01:21 +0000

Add a case for wasmi trap code on error (#11984)Looks like the crate itself doesn't handle this in `as_trap_code`, sohandle it manually. List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

1ec5a225 - fuzz: Update `wasmi` to v0.51.1 (#11946)

Mon, 27 Oct 2025 21:31:32 +0000

fuzz: Update `wasmi` to v0.51.1 (#11946)* fuzz: Update `wasmi` to v0.51.1We had to disable some of Wasm proposals in wasmi due to bugscaught by the fuzzer, however these bugs were fixed a while ago;everything is working as expected on v0.51.1* Use non-deprecated APIs insteadAnd fix value representation for `FuncRef` / `ExternRef` List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

a631d20a - cranelift: stack-switching support (#11003)

Thu, 04 Sep 2025 21:58:01 +0000

cranelift: stack-switching support (#11003)* cranelift: stack-switching supportThis initial commit represents the "pr2" base commit withminimal merge conflicts resolved. Due to OOB conflicts, thiscommit is not functional as-is, but using it as a base inorder to allow for easier reviewing of the delta fromthis commit to what will be used for the PR against upstream.Co-authored-by: Daniel Hillerström Co-authored-by: Paul Osborne * cranelift: stack-switching updates pass 1This first set of changes updates the base pr in order tocompiled and pass basic checks (compile, clippy, fmt) withthe biggest part of the change being to eliminate injectionof tracing/assertions in JIT'ed code.* cranelift: stack-switching: restore original visibility for a few func_environ members* cranelift: stack-switching conditional compilationAt this point, the only bit we really branch on is what wedo in order to avoid problems tying into wasmtime_environ.This is basd on the approach and macro used by the gc code forconverting presence/absence of the cranelift feature flag tocranelift compile time. This is a bit of a half-measure for nowas we still compile most stack-switching code in cranelift, butthis does enough to avoid causing problems with missing definitionsin wasmtime_environ.* cranelift: avoid "as" casts in stack-switchingReplace either with infallible From or fallible, panicingTryFrom alternatives where required.* cranelift: cleanup stack-switching control_effect signaturesAfter removing emission of runtime trace logging and assertions,there were several unused parameters. Remove those from theControlEffect signatures completely.* cranelift: rename stack-switching VMArray to VMHostArrayThis matches a change to the mirrored runtime type inthe upstream changes.* stack-switching: fix typoCo-authored-by: Daniel Hillerström * stack-switching: used Index impl for get_stack_slot_data* stack-switching: use smallvec over vec in several cases* stack-switching: avoid resumetable naming confusion* stack-switching: cleanup unused params from unchecked_get_continuationThe extra parameters here used to be used for emitting runtimeassertions, but with those gone we just had unused paramsand lifetimes, clean those out.* stack_switching: simplify store_data_entries assertion* stack-switching: simplify translate_table_{grow,fill} control flow* stack-switching: remove translate_resume_throw stubThere's already a stub elsewhere and this is not called, whenexceptions are added and it is time to revisit, this methodcan be restored.* stack-switching: compute control_context_size based on target triple* stack-switching: VMHostArrayRef updatesRename VMHostArray -> VMHostArrayRefChange impl to compute address with offset upfront rather thanon each load.* stack-switching: move cranelift code to live under func_environThis matches the directory structure for gc and aids in visibilityfor a few members required by stack-switching code in cranelift.* stack-switching: formatting fix* stack-switching: reduce visibility on a few additional items* stack-switching: simplify contobj fatptr con/de-struction* stack-switching: add disas tests to cover new instructions* stack-switching: fix layout of VMContObjIn the course of the various runtime updates, the layout of theruntime VMContObj got switched around. This resulted in failureswhen doing certain table operations on continuations.This change fixes that layout problem and adds some tests withoffsets to avoid the problem. Due to the way that we interactwith the VMContObj in cranelift, we don't use these offsets outsideof the tests.* Fix formatting of merge conflict resolution* cranelift: remove ir::function::get_stack_slot_dataThis method isn't required as sized_stack_slots is already pub.* stack-switching: reduce visibility of a couple func_environ methods* stack-switching: define VMContObj as two wordsThis change migrates VMContObj and its usages in cranelift and runtimeto work with the VMContObj fat pointer as two words in order to bettertarget different architectures (still gated to x86_64 for now).To support this, a size type was plumbed into the builtins functionsignature types (as is done for component types) that maps tousize.* fixup! stack-switching: define VMContObj as two words* stack-switching: add stub Val::ContRefThis type is not fully complete until continuation/gc integrationis revisited (#10248) but without these changes, test cases arenow failing on panics as we need some representation ofcontinuation references in the runtime Val enumeration.Runtime errors with TODO notes are added for the stubbedcode paths to revisit later.* fixup! stack-switching: add stub Val::ContRef* fixup! stack-switching: add stub Val::ContRef* fixup! stack-switching: define VMContObj as two wordsprtest:full* stack-switching: don't conflate host and target pointer sizesDisas tests were failing on i686 targeting x86_64 as the size of thehost pointer was leaking into what we were using to do codegenin a few paths. This patch is a bit of a hack as it seems likeusing a generic for T: *mut u8 (as an example) is a bitquestionable. To keep things small, I do a hacky typecheck to mappointers to the target pointer size here.* stack-switching: VMHostArray entry sizes based off env PtrSizeRevisiting the previous commit with an approach that should beless brittle.---------Co-authored-by: Frank Emrich Co-authored-by: Daniel Hillerström List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

eaa4632e - Implement exception objects. (#11230)

Tue, 15 Jul 2025 17:15:35 +0000

Implement exception objects. (#11230)* WIP: Working exception objects* Clean build with gc disabled (`cargo check -p wasmtime --no-default-features --features runtime`).* Review feedback.* Stub out C-API support.* Fix Clippy complaints.* Fix dead-code warning in c-api build.* Actually fix 27->26 reserved bit rename and test.* Fix exnref doc-test.* fix fuzzing build* fix feature-flagging on Instance::id* Bless disas test diff due to reserved-bits change.* Review feedback. List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

57dab9d3 - fuzzing: Temporarily disable `wide_arithmetic` in Wasmi (#11079)

Thu, 19 Jun 2025 20:01:51 +0000

fuzzing: Temporarily disable `wide_arithmetic` in Wasmi (#11079)The differential fuzzer found an incosistency between Wasmtime/Wasmi,related to the `wide_arithmetic` proposal. I've reported the issueupstream (https://github.com/wasmi-labs/wasmi/issues/1544) List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

2bc0c799 - Disable memory64 fuzzing in wasmi temporarily (#10907)

Tue, 03 Jun 2025 14:36:46 +0000

Disable memory64 fuzzing in wasmi temporarily (#10907)Until it's updated to include wasmi-labs/wasmi#1531 List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

7719c1c9 - Temporarily disable simd differential fuzzing with wasmi (#10700)

Wed, 30 Apr 2025 18:20:26 +0000

Temporarily disable simd differential fuzzing with wasmi (#10700)OSS-Fuzz has found a differential execution with wasmi/wasmtime whichrelates to simd which I've reported, so in the meantime to let thefuzzers keep making progress this disables simd when using wasmi as adifferential fuzzer. List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

c68dbc2f - Update Wasmi to v0.43.0 and enable its `simd` feature (#10480)

Fri, 28 Mar 2025 04:21:19 +0000

Update Wasmi to v0.43.0 and enable its `simd` feature (#10480)* update Wasmi to v0.43.0 and enable its `simd` featureThis allows to differentially fuzz the Wasm `simd` proposal support in Wasmtime against Wasmi's `simd` proposal implementation.* Update vets---------Co-authored-by: Alex Crichton List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

b927a773 - Update wasmi in fuzzing, re-enable wide-arithmetic (#10430)

Thu, 20 Mar 2025 18:59:10 +0000

Update wasmi in fuzzing, re-enable wide-arithmetic (#10430)cc #10418 List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

ead1c741 - Disable wide-arithmetic fuzzing in wasmi (#10419)

Tue, 18 Mar 2025 14:45:21 +0000

Disable wide-arithmetic fuzzing in wasmi (#10419)Due to #10418 I believe there's a bug in wasmi for now, so disabletemporarily until it's updated with a fix.Closes #10418 List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

9da52ede - Update Wasmi fuzzing oracle to v0.42 (#10386)

Wed, 12 Mar 2025 23:06:59 +0000

Update Wasmi fuzzing oracle to v0.42 (#10386)* update Wasmi fuzzing oracle to v0.42* update Wasm proposals supported by Wasmi* Add vets---------Co-authored-by: Alex Crichton List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

5b9e8765 - Enable the GC proposal during general fuzzing (#10332)

Wed, 12 Mar 2025 18:35:54 +0000

Enable the GC proposal during general fuzzing (#10332)* Enable the GC proposal during general fuzzingThis allows us to fuzz Wasm GC in our fuzz targets that use the commonconfig-generation infrastructure, such as the differential fuzz target.Fixes #10328* Make handling of non-deterministic errors more robust in differential fuzzer* remove logging from functions that can be called from signal handlers List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

b3b50943 - Improve some logging in the differential fuzzer (#9982)

Mon, 13 Jan 2025 17:54:31 +0000

Improve some logging in the differential fuzzer (#9982)Clearly show "lhs" and "rhs" more often and then also swap the order ofthe arguments in `assert_error_match` to match the "lhs" and "rhs"terminology of the original execution. List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

3aac2af4 - Update extended-const fuzzing (#9605)

Fri, 15 Nov 2024 05:07:42 +0000

Update extended-const fuzzing (#9605)* Remove the one-off configuration option for this which now duplicates what's in `wasm-smith`.* Reach whether or not the feature is enabled from `wasm-smith`.* Update docs of wasm proposals for some recent changes (e.g. `extended-const` is fuzzed. List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

edad0bbc - Add general fuzzing support for custom page sizes (#9462)

Wed, 16 Oct 2024 19:04:06 +0000

Add general fuzzing support for custom page sizes (#9462)* Add general fuzzing support for custom page sizes* Add custom-page-sizes as an expected feature for module generation List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

460a4c0a - Update wasmi used during fuzzing (#9458)

Fri, 11 Oct 2024 23:06:08 +0000

Update wasmi used during fuzzing (#9458)* Fix differential fuzzing with multi-memory and poolingFix an issue found during fuzzing where when multi-memory and thepooling allocator are enabled then if MPK is detected and found thetotal number of memories needs to be increased because stores belong ina single stripe.* Update wasmi used in fuzzingPulls in differential fuzzing support for multi-memory List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

72ded108 - Implement the wide-arithmetic proposal (#9403)

Tue, 08 Oct 2024 21:51:40 +0000

Implement the wide-arithmetic proposal (#9403)This commit implements the [wide-arithmetic] proposal in Wasmtime. Thisis a pretty easy proposal to implement due to Cranelift already havingsupport for all the various instructions. The features implemented hereare:* Cranelift support for the four new instructions.* A new `Config::wasm_wide_arithmetic` option.* A new `-Wwide-arithmetic` CLI flag.* A new `wasmtime_config_wasm_wide_arithmetic_set` C API function.* Support for fuzzing this proposal * Generation is implemented in `wasm-smith` . * While it's off-by-default in `wasm-smith` it's enabled-by-default here. * Differential execution is only possible against Wasmtime right now. * Single-instruction module support was added for these new instructions.* Tests for some simple cases plus randomly-generated tests.* Example disassemblies for new instructions on Cranelift architectures.[wide-arithmetic]: https://github.com/WebAssembly/wide-arithmetic List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs

c49a1038 - Fix some fuzz issues from updating wasm-tools (#9345)

Tue, 01 Oct 2024 16:06:37 +0000

Fix some fuzz issues from updating wasm-tools (#9345)This commit fixes some fuzz-related issues from the update of the`wasm-tools` family of crates in #9336:* Fuzzing with wasmi disables the GC proposal* The exceptions proposal is always disabled for Wasmtime* Wasmtime conditionally enables the GC/reference-types proposal* Fully disable the GC proposal for now in Wasmtime as its implementation is not complete and fuzzing needs more support.* Log wasm module config before generating to help debug issues like bytecodealliance/wasm-tools#1834 List of files: /wasmtime-44.0.1/crates/fuzzing/src/oracles/diff_wasmi.rs