Changes in jumptable.rs

0889323a - cranelift-codegen: rename most uses of std to core and alloc (#12237)

Sat, 03 Jan 2026 00:54:48 +0000

cranelift-codegen: rename most uses of std to core and alloc (#12237)* rename most std uses to core and alloc* cargo fmt List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

8a42768f - Update nightly used in CI (#10957)

Fri, 06 Jun 2025 18:06:28 +0000

Update nightly used in CI (#10957)A new lint was added to rustc so this updates the nightly used in CI andthen additionally fixes the lints that are firing. List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.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/cranelift/codegen/src/ir/jumptable.rs

94ec88ea - Cranelift: initial try_call / try_call_indirect (exception) support. (#10510)

Tue, 08 Apr 2025 00:02:16 +0000

Cranelift: initial try_call / try_call_indirect (exception) support. (#10510)* Cranelift: initial try_call / try_call_indirect (exception) support.This PR adds `try_call` and `try_call_indirect` instructions, andlowerings on four of five ISAs (x86-64, aarch64, riscv64, pulley; s390xhas its own non-shared ABI code that will need separate work).It extends CLIF to support these instructions as new kinds of branches,and extends block-calls to accept `retN` and `exnN` block-call args thatcarry the normal return values or exception payloads (respectively) intothe appropriate successor blocks.It wires up the "normal return path" so that it continues to work.It updates the ABI so that unwinding is possible without an initialregister state at throw: specifically, as per our RFC, all registers areclobbered. It also includes metadata in the `MachBuffer` that describesexception-catch destinations. However, no unwinder exists to interpretthese catch-destinations yet, so they are untested.* Add try_call_indirect lowering as well. List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

c510a2b9 - Couple of small improvements for debugging Cranelift (#8885)

Tue, 02 Jul 2024 16:29:16 +0000

Couple of small improvements for debugging Cranelift (#8885)* Print block params and branch args in vcode* Implement Debug for JumpTableData and GlobalValueData List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

9ec02f9d - Decouple `serde` from its `derive` crate (#6917)

Tue, 29 Aug 2023 16:02:06 +0000

Decouple `serde` from its `derive` crate (#6917)By not activating the `derive` feature on `serde`, the compilation speedcan be improved by a lot. This is because `serde` can then compile inparallel to `serde_derive`, allowing it to finish compilation possiblyeven before `serde_derive`, unblocking all the crates waiting for`serde` to start compiling much sooner.As it turns out the main deciding factor for how long the compile time of aproject is, is primarly determined by the depth of dependencies ratherthan the width. In other words, a crate's compile times aren't affectedby how many crates it depends on, but rather by the longest chain ofdependencies that it needs to wait on. In many cases `serde` is part ofthat long chain, as it is part of a long chain if the `derive` featureis active:`proc-macro2` compile build script > `proc-macro2` run build script >`proc-macro2` > `quote` > `syn` > `serde_derive` > `serde` >`serde_json` (or any crate that depends on serde)By decoupling it from `serde_derive`, the chain is shortened and compiletimes get much better.Check this issue for a deeper elaboration:https://github.com/serde-rs/serde/issues/2584For `wasmtime` I'm seeing a reduction from 24.75s to 22.45s whencompiling in `release` mode. This is because wasmtime through `gimli`has a dependency on `indexmap` which can only start compiling when`serde` is finished, which you want to happen as early as possible sosome of wasmtime's dependencies can start compiling.To measure the full effect, the dependencies can't by themselvesactivate the `derive` feature. I've upstreamed a patch for`fxprof-processed-profile` which was the only dependency that activatedit for `wasmtime` (not yet published to crates.io). `wasmtime-cli` andco. may need patches for their dependencies to see a similarimprovement. List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

4053ae9e - Minir typo/Grammar fixes (#6187)

Mon, 10 Apr 2023 19:39:25 +0000

Minir typo/Grammar fixes (#6187)* fix typo* add test to check that Option is twice as large as EntityRef* grammar* grammar* reverse snakecase -- Not sure if folks want this type of change List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

80c147d9 - Rework br_table to use BlockCall (#5731)

Thu, 16 Feb 2023 17:23:27 +0000

Rework br_table to use BlockCall (#5731)Rework br_table to use BlockCall, allowing us to avoid adding new nodes during ssa construction to hold block arguments. Additionally, many places where we previously matched on InstructionData to extract branch destinations can be replaced with a use of branch_destination or branch_destination_mut. List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

19f337e2 - Move the default block to the front of the underlying jump table storage (#5770)

Mon, 13 Feb 2023 20:50:29 +0000

Move the default block to the front of the underlying jump table storage (#5770)The new api on JumpTableData makese it easy to keep the default label first, and that shrinks the diff in #5731 a bit. List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

d99783fc - Move default blocks into jump tables (#5756)

Fri, 10 Feb 2023 16:53:30 +0000

Move default blocks into jump tables (#5756)Move the default block off of the br_table instrution, and into the JumpTable that it references. List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

15fe9c7c - Inline jump tables in parsed br_table instructions (#5755)

Thu, 09 Feb 2023 22:24:04 +0000

Inline jump tables in parsed br_table instructions (#5755)As jump tables are used by at most one br_table instruction, inline their definition in those instructions instead of requiring them to be declared as function-level metadata. List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

766ecb56 - fuzzgen: Always generate reachable blocks (#5034)

Mon, 17 Oct 2022 19:51:20 +0000

fuzzgen: Always generate reachable blocks (#5034)* fuzzgen: Always reachable blocks * fuzzgen: Rename BlockTerminator * fuzzgen: Rename `finalize_block` * fuzzgen: Use `cloned` instead of map clone Thanks @jameysharp! Co-authored-by: Jamey Sharp * fuzzgen: `rustfmt` * fuzzgen: Document paramless targets * fuzzgen: Add `BlockTerminatorKind` * fuzzen: Update BrTable/Switch comment * fuzzgen: Minor cleanup Co-authored-by: Jamey Sharp List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

8a9b1a90 - Implement an incremental compilation cache for Cranelift (#4551)

Fri, 12 Aug 2022 16:47:43 +0000

Implement an incremental compilation cache for Cranelift (#4551)This is the implementation of https://github.com/bytecodealliance/wasmtime/issues/4155, using the "inverted API" approach suggested by @cfallin (thanks!) in Cranelift, and trait object to provide a backend for an all-included experience in Wasmtime. After the suggestion of Chris, `Function` has been split into mostly two parts: - on the one hand, `FunctionStencil` contains all the fields required during compilation, and that act as a compilation cache key: if two function stencils are the same, then the result of their compilation (`CompiledCodeBase`) will be the same. This makes caching trivial, as the only thing to cache is the `FunctionStencil`. - on the other hand, `FunctionParameters` contain the... function parameters that are required to finalize the result of compilation into a `CompiledCode` (aka `CompiledCodeBase`) with proper final relocations etc., by applying fixups and so on. Most changes are here to accomodate those requirements, in particular that `FunctionStencil` should be `Hash`able to be used as a key in the cache: - most source locations are now relative to a base source location in the function, and as such they're encoded as `RelSourceLoc` in the `FunctionStencil`. This required changes so that there's no need to explicitly mark a `SourceLoc` as the base source location, it's automatically detected instead the first time a non-default `SourceLoc` is set. - user-defined external names in the `FunctionStencil` (aka before this patch `ExternalName::User { namespace, index }`) are now references into an external table of `UserExternalNameRef -> UserExternalName`, present in the `FunctionParameters`, and must be explicitly declared using `Function::declare_imported_user_function`. - some refactorings have been made for function names: - `ExternalName` was used as the type for a `Function`'s name; while it thus allowed `ExternalName::Libcall` in this place, this would have been quite confusing to use it there. Instead, a new enum `UserFuncName` is introduced for this name, that's either a user-defined function name (the above `UserExternalName`) or a test case name. - The future of `ExternalName` is likely to become a full reference into the `FunctionParameters`'s mapping, instead of being "either a handle for user-defined external names, or the thing itself for other variants". I'm running out of time to do this, and this is not trivial as it implies touching ISLE which I'm less familiar with. The cache computes a sha256 hash of the `FunctionStencil`, and uses this as the cache key. No equality check (using `PartialEq`) is performed in addition to the hash being the same, as we hope that this is sufficient data to avoid collisions. A basic fuzz target has been introduced that tries to do the bare minimum: - check that a function successfully compiled and cached will be also successfully reloaded from the cache, and returns the exact same function. - check that a trivial modification in the external mapping of `UserExternalNameRef -> UserExternalName` hits the cache, and that other modifications don't hit the cache. - This last check is less efficient and less likely to happen, so probably should be rethought a bit. Thanks to both @alexcrichton and @cfallin for your very useful feedback on Zulip. Some numbers show that for a large wasm module we're using internally, this is a 20% compile-time speedup, because so many `FunctionStencil`s are the same, even within a single module. For a group of modules that have a lot of code in common, we get hit rates up to 70% when they're used together. When a single function changes in a wasm module, every other function is reloaded; that's still slower than I expect (between 10% and 50% of the overall compile time), so there's likely room for improvement. Fixes #4155. List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

48d542d6 - Fix bad jumptable block ref when DCE removes a block.

Tue, 23 Feb 2021 23:01:01 +0000

Fix bad jumptable block ref when DCE removes a block.When a block is unreachable, the `unreachable_code` pass will remove it,which is perfectly sensible. Jump tables factor into unreachability inan expected way: even if a block is listed in a jump table, the blockmight be unreachable if the jump table itself is unused (or used in anunreachable block). Unfortunately, the verifier still expects allblock refs in all jump tables to be valid, even after DCE, which willnot always be the case.This makes a simple change to the pass: after removing blocks, it scansjump tables. Any jump table that refers to an unreachable block mustitself be unused, and so we just clear its entries. We do not botherremoving it (and renumbering all later jumptables), and we do not bothercomputing full unused-ness of all jumptables, as that would be moreexpensive; it's sufficient to clear out the ones that refer tounreachable blocks, which are a subset of all unused jumptables.Fixes #2670. List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

2fc964ea - Add serde serialization support for the full clif ir

Sat, 19 Dec 2020 15:32:46 +0000

Add serde serialization support for the full clif ir List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

832666c4 - Mass rename Ebb and relatives to Block (#1365)

Fri, 07 Feb 2020 16:46:47 +0000

Mass rename Ebb and relatives to Block (#1365)* Manually rename BasicBlock to BlockPredecessor BasicBlock is a pair of (Ebb, Inst) that is used to represent the basic block subcomponent of an Ebb that is a predecessor to an Ebb. Eventually we will be able to remove this struct, but for now it makes sense to give it a non-conflicting name so that we can start to transition Ebb to represent a basic block. I have not updated any comments that refer to BasicBlock, as eventually we will remove BlockPredecessor and replace with Block, which is a basic block, so the comments will become correct. * Manually rename SSABuilder block types to avoid conflict SSABuilder has its own Block and BlockData types. These along with associated identifier will cause conflicts in a later commit, so they are renamed to be more verbose here. * Automatically rename 'Ebb' to 'Block' in *.rs * Automatically rename 'EBB' to 'block' in *.rs * Automatically rename 'ebb' to 'block' in *.rs * Automatically rename 'extended basic block' to 'basic block' in *.rs * Automatically rename 'an basic block' to 'a basic block' in *.rs * Manually update comment for `Block` `Block`'s wikipedia article required an update. * Automatically rename 'an `Block`' to 'a `Block`' in *.rs * Automatically rename 'extended_basic_block' to 'basic_block' in *.rs * Automatically rename 'ebb' to 'block' in *.clif * Manually rename clif constant that contains 'ebb' as substring to avoid conflict * Automatically rename filecheck uses of 'EBB' to 'BB' 'regex: EBB' -> 'regex: BB' '$EBB' -> '$BB' * Automatically rename 'EBB' 'Ebb' to 'block' in *.clif * Automatically rename 'an block' to 'a block' in *.clif * Fix broken testcase when function name length increases Test function names are limited to 16 characters. This causes the new longer name to be truncated and fail a filecheck test. An outdated comment was also fixed. List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

dbdeb788 - Fix jump table comment grammar (#1259)

Wed, 27 Nov 2019 23:41:37 +0000

Fix jump table comment grammar (#1259) List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

bb8fa40e - Rustfmt

Sat, 28 Sep 2019 14:43:00 +0000

Rustfmt List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

10e226f9 - Always use extern crate std in cranelift-codegen

Sat, 28 Sep 2019 13:52:23 +0000

Always use extern crate std in cranelift-codegen List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs

747ad3c4 - moved crates in lib/ to src/, renamed crates, modified some files' text (#660)

Mon, 28 Jan 2019 23:56:54 +0000

moved crates in lib/ to src/, renamed crates, modified some files' text (#660)moved crates in lib/ to src/, renamed crates, modified some files' text (#660) List of files: /wasmtime-44.0.1/cranelift/codegen/src/ir/jumptable.rs