Changes in enum.wat

967f4601 - generate precise traps in component adapters (#12215)

Tue, 23 Dec 2025 21:00:39 +0000

generate precise traps in component adapters (#12215)* generate precise traps in component adaptersPreviously, we generated a generic `unreachable` instruction for each trap in afused adapter, plus some metadata to recover the specific kind of trap.However, that metadata was never hooked up to anything, so we only got a generic`unreachable` message at runtime.This commit removes the metadata tracking and instead simply calls a hostintrinsic, passing the trap code as a parameter. This is somewhate pessimalcompared with what we had before, but improves ergonomics and allows us to avoidforking as many tests from the component-model repo.If performance becomes an issue, we can easily add an option to skip the hostcall and only emit an `unreachable` instruction as before.Note that I've removed forked versions of three tests in favor of their upstreamequivalents.Fixes #11683* update `strings.rs` tests* bless disas tests List of files: /wasmtime-44.0.1/tests/disas/component-model/enum.wat

cfc05638 - Make Wasmtime's `FuncKey` one-to-one with Cranelift's `ir::UserExternalName` (#11415)

Tue, 12 Aug 2025 18:38:04 +0000

Make Wasmtime's `FuncKey` one-to-one with Cranelift's `ir::UserExternalName` (#11415)* Make Wasmtime's `FuncKey` one-to-one with Cranelift's `ir::UserExternalName``FuncKey`, which used to be called `CompileKey`, is now one-to-one with`cranelift_codegen::ir::UserExternalName`, and is used for not just identifyingcompilation objects but also relocations and call-graph edges. This allows us todetermine the `StaticModuleIndex` and `DefinedFuncIndex` pair for any`cranelift_codegen::ir::FuncRef`, regardless of inlining depth, which fixes somefuzz bugs on OSS-Fuzz.This continues pushing on the idea that Wasmtime's compilation orchestration andlinking should be relatively agnostic to the kinds of things it is actuallycompiling and linking, allowing us to tweak, add, and remove new kinds of`FuncKey`s more easily. Adding a new `FuncKey` should not require modifyingrelocation resolution, for example, just a little bit of code to run theassociated compilation and optionally some code to extract metadata into ourfinal artifacts for querying at runtime. Everything in between should JustContinue Working. We still aren't all the way there yet, but this does bring usa little bit closer.Finally, in Cranelift's inlining pass, this adds a check that a block isinserted in the layout before attempting to remove it from the layout, whichwould otherwise cause panics. This was triggered by multi-level inlining andnow-unreachable blocks in the inner callees.I'll note that this does update basically all of the disas tests, or at leastnearly all of them that make function calls. This is because the namespace/indexnumbering pair changed slightly to align with `FuncKey`, but that should prettymuch be the only changes.* remove debug info from panic message, it is only available in some `cfg`s* fill out module doc comment* Fix compilation without `component-model` feature* Fix some more cfg compilations* cargo fmt* fix a wrong `&dyn Any` auto coercion; add helpful debug logging and assertions for this kind of thing List of files: /wasmtime-44.0.1/tests/disas/component-model/enum.wat

326795f5 - Make direct calls to statically-known imported functions (#11228)

Tue, 15 Jul 2025 17:39:59 +0000

Make direct calls to statically-known imported functions (#11228)* Make direct calls to statically-known imported functionsThis will allow for their eventual inlining.* address review feedback and fix up some disas tests* Add native code disassembly test* disas: sort `read_dir` entries for deterministic orderBecause we always use namespace 0 for wasm functions when creating CLIFfunctions, sorting the parsed CLIF functions by (namespace, index) does notdifferentiate between the `index`th Wasm function in two different modules inthe same component, meaning we would pass through whatever ordering reading fromthe filesystem gave us, which can be non-deterministic acrossplatforms. Instead, sort the directory entries based on file paths.* fix clippy List of files: /wasmtime-44.0.1/tests/disas/component-model/enum.wat

e5aa4449 - Handle `uextend` in conditional trap lowerings on x64 (#11044)

Mon, 16 Jun 2025 19:24:10 +0000

Handle `uextend` in conditional trap lowerings on x64 (#11044)* Handle uextend in conditional trap lowerings on x64* Logging and rebuilding for test programs and debug tests* Forward srcloc debug info to conditional trap instructions from conditional branches to unconditional traps List of files: /wasmtime-44.0.1/tests/disas/component-model/enum.wat

a252f37e - Remove dead `callee` field of vmctx (#11014)

Wed, 11 Jun 2025 18:16:13 +0000

Remove dead `callee` field of vmctx (#11014)* Remove dead `callee` field of vmctxThis was used long ago but refactorings since then have removed the needfor its existence, so remove it outright.* Update test expectations* Shuffle around some imports List of files: /wasmtime-44.0.1/tests/disas/component-model/enum.wat

a80dd80d - Cranelift: Rewrite conditional branches to unconditional traps into conditional traps during legalization (#10988)

Mon, 09 Jun 2025 20:17:02 +0000

Cranelift: Rewrite conditional branches to unconditional traps into conditional traps during legalization (#10988)* Cranelift: Legalize via a backwards walk, rather than forwardsNote: the test expectation change in `filetests/egraph/misc.clif` is simplybecause we happen to change the order in which we created the legalized`stack_addr` instructions that get GVN'd together, and therefore also changedtheir relative value numbering. We dedupe to the value that occurs first in thefunction, which is the one inserted into the DFG *after* the other now becauseof the backwards traversal, and it therefore has a different value number frombefore. The resulting program is identical, modulo value numbering.* Cranelift: Rewrite conditional branches to unconditional traps into conditional traps during legalizationGiven this instruction:```clifbrif v0, block1, block2```If we know that `block1` does nothing but immediately trap then we can rewritethat `brif` into the following:```cliftrapz v0, jump block2```(And we can do the equivalent with `trapz` if `block2` immediately traps).This transformation allows for the conditional trap instructions to be GVN'd andfor our egraphs mid-end to generally better optimize the program. Weadditionally have better codegen in our backends for `trapz` than branches tounconditional traps.Fixes https://github.com/bytecodealliance/wasmtime/issues/10941* Update CLIF filetests and Wasmtime disas tests List of files: /wasmtime-44.0.1/tests/disas/component-model/enum.wat

ac7729de - Align symbol names with `--emit-clif` (#10947)

Fri, 06 Jun 2025 15:58:17 +0000

Align symbol names with `--emit-clif` (#10947)* Align symbol names with `--emit-clif`This commit fixes two issues: (1) is that `--emit-clif` generates filenames that are different from symbol names and (2) is that `--emit-clif`for components today has collisions on filenames which means that outputfiles can get corrupted. Currently (2) is causing spurious failures inCI due to the test added in #10939 being the first test with a componentand functions in modules where they clash to emit the same file.* Fix typo* Fix tests* Fix tests on WindowsCan't use `:` in filenames on Windowsprtest:full List of files: /wasmtime-44.0.1/tests/disas/component-model/enum.wat

f669c0a7 - Simplify and optimize the way that `enum`s are passed in fused adapters (#10939)

Thu, 05 Jun 2025 22:46:34 +0000

Simplify and optimize the way that `enum`s are passed in fused adapters (#10939)* Simplify and optimize the way that `enum`s are passed in fused adaptersinstead of treating them like variants that don't have payloads, just check thatthe discriminant is in bounds.* cargo +stable fmt List of files: /wasmtime-44.0.1/tests/disas/component-model/enum.wat