Changes in flowgraph.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/flowgraph.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/flowgraph.rs

9bd2979e - Enable a few miscellaneous Clippy lints (#9325)

Tue, 01 Oct 2024 19:42:36 +0000

Enable a few miscellaneous Clippy lints (#9325)* Enable `clippy::unnecessary_mut_passed`This looks like it's good at catching refactoring issues where a mutableborrow was once required but is no longer necessary.* Enable `clippy::unnecessary_fallible_conversions` by defaultThis can be useful because `From`-based conversions are typically moreergonomic than fallible ones and additionally it can help make it moreclear that no error is possible in certain contexts.* Enable `clippy:unnecessary_cast`Looks to be useful for helping to clean up after refactorings.* Avoid a transmute in int-to-float conversions* Fix some lints from a rebase List of files: /wasmtime-44.0.1/cranelift/codegen/src/flowgraph.rs

9ce3ffe1 - Update some CI dependencies (#7983)

Thu, 22 Feb 2024 23:54:03 +0000

Update some CI dependencies (#7983)* Update some CI dependencies* Update to the latest nightly toolchain* Update mdbook* Update QEMU for cross-compiled testing* Update `cargo nextest` for usage with MIRIprtest:full* Remove lots of unnecessary imports* Downgrade qemu as 8.2.1 seems to segfault* Remove more imports* Remove unused winch trait method* Fix warnings about unused trait methods* More unused imports* More unused imports List of files: /wasmtime-44.0.1/cranelift/codegen/src/flowgraph.rs

34ec4b4e - Reuse `inst_predicates::visit_block_succs` in more places (#5750)

Wed, 08 Feb 2023 23:42:24 +0000

Reuse `inst_predicates::visit_block_succs` in more places (#5750)Following up from #5730, replace some explicit matching over branch instructions with a use of inst_predicates::visit_block_succs. List of files: /wasmtime-44.0.1/cranelift/codegen/src/flowgraph.rs

b0b3f67c - Move jump tables to the DataFlowGraph (#5745)

Wed, 08 Feb 2023 05:21:35 +0000

Move jump tables to the DataFlowGraph (#5745)Move the storage for jump tables off of FunctionStencil and onto DataFlowGraph. This change is in service of #5731, making it easier to access the jump table data in the context of helpers like inst_values. List of files: /wasmtime-44.0.1/cranelift/codegen/src/flowgraph.rs

3343cf80 - Add assertions for matches that used to use analyze_branch (#5733)

Tue, 07 Feb 2023 22:51:18 +0000

Add assertions for matches that used to use analyze_branch (#5733)Following up from #5730, add debug assertions to ensure that new branch instructions don't slip through matches that used to use analyze_branch. List of files: /wasmtime-44.0.1/cranelift/codegen/src/flowgraph.rs

2c842599 - Refactor matches that used to consume BranchInfo (#5734)

Tue, 07 Feb 2023 21:29:42 +0000

Refactor matches that used to consume BranchInfo (#5734)Explicitly borrow the instruction data, and use a mutable borrow to avoid rematch. List of files: /wasmtime-44.0.1/cranelift/codegen/src/flowgraph.rs

c8a6adf8 - Remove analyze_branch and BranchInfo (#5730)

Tue, 07 Feb 2023 01:06:57 +0000

Remove analyze_branch and BranchInfo (#5730)We don't have overlap in behavior for branch instructions anymore, so we can remove analyze_branch and instead match on the InstructionData directly. Co-authored-by: Jamey Sharp List of files: /wasmtime-44.0.1/cranelift/codegen/src/flowgraph.rs

a5698ced - cranelift: Remove brz and brnz (#5630)

Mon, 30 Jan 2023 20:34:56 +0000

cranelift: Remove brz and brnz (#5630)Remove the brz and brnz instructions, as their behavior is now redundant with brif. List of files: /wasmtime-44.0.1/cranelift/codegen/src/flowgraph.rs

b58a197d - cranelift: Add a conditional branch instruction with two targets (#5446)

Tue, 24 Jan 2023 22:37:16 +0000

cranelift: Add a conditional branch instruction with two targets (#5446)Add a conditional branch instruction with two targets: brif. This instruction will eventually replace brz and brnz, as it encompasses the behavior of both. This PR also changes the InstructionData layout for instruction formats that hold BlockCall values, taking the same approach we use for Value arguments. This allows branch_destination to return a slice to the BlockCall values held in the instruction, rather than requiring that we pattern match on InstructionData to fetch the then/else blocks. Function generation for fuzzing has been updated to generate uses of brif, and I've run the cranelift-fuzzgen target locally for hours without triggering any new failures. List of files: /wasmtime-44.0.1/cranelift/codegen/src/flowgraph.rs

7cea73a8 - Refactor BranchInfo::Table to no longer have an optional default branch (#5593)

Thu, 19 Jan 2023 01:17:03 +0000

Refactor BranchInfo::Table to no longer have an optional default branch (#5593) List of files: /wasmtime-44.0.1/cranelift/codegen/src/flowgraph.rs

1e6c13d8 - cranelift: Rework block instructions to use BlockCall (#5464)

Wed, 18 Jan 2023 00:31:15 +0000

cranelift: Rework block instructions to use BlockCall (#5464)Add a new type BlockCall that represents the pair of a block name with arguments to be passed to it. (The mnemonic here is that it looks a bit like a function call.) Rework the implementation of jump, brz, and brnz to use BlockCall instead of storing the block arguments as varargs in the instruction's ValueList. To ensure that we're processing block arguments from BlockCall values in instructions, three new functions have been introduced on DataFlowGraph that both sets of arguments: inst_values - returns an iterator that traverses values in the instruction and block arguments map_inst_values - applies a function to each value in the instruction and block arguments overwrite_inst_values - overwrite all values in an instruction and block arguments with values from the iterator Co-authored-by: Jamey Sharp List of files: /wasmtime-44.0.1/cranelift/codegen/src/flowgraph.rs

4aa8776a - Skip non-branching blocks now that we're using basic blocks

Tue, 03 Mar 2020 19:34:04 +0000

Skip non-branching blocks now that we're using basic blocksThis is a rebase of [1]. In the long term, we'll want to simplify theseanalysis passes. For now, this is simple and will reduce the number ofinstructions processed in certain cases.[1] https://github.com/bytecodealliance/cranelift/pull/866 List of files: /wasmtime-44.0.1/cranelift/codegen/src/flowgraph.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/flowgraph.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/flowgraph.rs

c7b4b98c - Add a fold_redundant_jumps() pass to the branch relaxation phase. (#887)

Fri, 09 Aug 2019 21:30:11 +0000

Add a fold_redundant_jumps() pass to the branch relaxation phase. (#887) List of files: /wasmtime-44.0.1/cranelift/codegen/src/flowgraph.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/flowgraph.rs