Changes in bugpoint.rs

e5aa9983 - Remove indicatif dependency from bugpoint (#12048)

Wed, 19 Nov 2025 18:26:04 +0000

Remove indicatif dependency from bugpoint (#12048)This has fallen pretty far behind the development of upstream, it nowhas unmaintained dependencies, and AFAIK it's not a load-bearingdependency at this time. Remove it in favor of simple prints for now.Closes #12045 List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.rs

778771d2 - Update nightly rust used in CI (#11856)

Wed, 15 Oct 2025 15:47:02 +0000

Update nightly rust used in CI (#11856)* Update nightly rust used in CIA few more warnings are cropping up so squash them.* Frob the `unreachable_code` lintLooks like nightly rust has gotten much more aggressive about linting onunreachable code.prtest:full* Allow some more warnings... List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.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/src/bugpoint.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/src/bugpoint.rs

4f52f294 - Enable some more 2024 migration lints (#9962)

Thu, 09 Jan 2025 18:17:44 +0000

Enable some more 2024 migration lints (#9962)Most don't produce many warnings except for `rust-2024-incompatible-pat`which required removal of a number of `ref` and `ref mut` keywordsthroughout the workspace. List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.rs

45b60bd6 - Start using `#[expect]` instead of `#[allow]` (#9696)

Mon, 02 Dec 2024 17:19:20 +0000

Start using `#[expect]` instead of `#[allow]` (#9696)* Start using `#[expect]` instead of `#[allow]`In Rust 1.81, our new MSRV, a new feature was added to Rust to use`#[expect]` to control lint levels. This new lint annotation willsilence a lint but will itself cause a lint if it doesn't actuallysilence anything. This is quite useful to ensure that annotations don'tget stale over time.Another feature is the ability to use a `reason` directive on theattribute with a string explaining why the attribute is there. Thisstring is then rendered in compiler messages if a warning or errorhappens.This commit migrates applies a few changes across the workspace:* Some `#[allow]` are changed to `#[expect]` with a `reason`.* Some `#[allow]` have a `reason` added if the lint conditionally fires (mostly related to macros).* Some `#[allow]` are removed since the lint doesn't actually fire.* The workspace configures `clippy::allow_attributes_without_reason = 'warn'` as a "ratchet" to prevent future regressions.* Many crates are annotated to allow `allow_attributes_without_reason` during this transitionary period.The end-state is that all crates should use`#[expect(..., reason = "...")]` for any lint that unconditionally firesbut is expected. The `#[allow(..., reason = "...")]` lint should be usedfor conditionally firing lints, primarily in macro-related code.The `allow_attributes_without_reason = 'warn'` level is intended to bepermanent but the transitionary`#[expect(clippy::allow_attributes_without_reason)]` crate annotationsto go away over time.* Fix adapter buildprtest:full* Fix one-core build of icache coherence* Use `allow` for missing_docsWork around rust-lang/rust#130021 which was fixed in Rust 1.83 and isn'tfixed for our MSRV at this time.* More MSRV compat List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.rs

9fc41bae - Convert `TrapCode` to a single byte (#9338)

Tue, 01 Oct 2024 18:06:33 +0000

Convert `TrapCode` to a single byte (#9338)* Convert `TrapCode` to a single byteThis commit refactors the representation of`cranelift_codegen::ir::TrapCode` to be a single byte. The previousenumeration is replaced with an opaque byte-sized structure. Previousvariants that Cranelift uses internally are now associated `const`values on `TrapCode` itself. For example `TrapCode::IntegerOverflow` isnow `TrapCode::INTEGER_OVERFLOW`. All non-Cranelift traps are nowremoved and exclusively live in the `wasmtime-cranelift` crate now.The representation of a `TrapCode` is now:* 0 - invalid, used in `MemFlags` for "no trap code"* 1..256-N - user traps* 256-N..256 - built-in Cranelift traps (it uses N of these)This enables embedders to have 255-N trap codes which is more thanenough for Wasmtime for example. Cranelift reserves a few built-in codesfor itself which shouldn't eat too much into the trap space.Additionally if Cranelift needs to grow a new trap it can do so prettyeasily too.The overall intent of this commit is to reduce the coupling of Wasmtimeand Cranelift further and generally refactor Wasmtime to use user trapsmore often. This additionally shrinks the size of `TrapCode` for storagein various locations, notably it can now infallibly be representedinside of a `MemFlags`.Closes #9310* Fix some more tests* Fix more tests* Fix even more tests* Review comments* Fix tests* Fix rebase conflict* Update test expectations List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.rs

f96aac79 - Deprecate Context::compile_and_emit (#9281)

Thu, 19 Sep 2024 15:18:01 +0000

Deprecate Context::compile_and_emit (#9281)The only thing it does over Context::compile is writing the machine codeto a Vec specified by the user. Every user of Context::compile_and_emitin Cranelift didn't actually need ownership over the machine code bytesand thus would have been able to use Context::compile instead to avoidan unnecessary allocation. This commit moves all in-tree users ofcompile_and_emit to compile and additionally to avoid other users addingan unnecessary allocation as they though it to be necessary, this commitadditionally deprecates compile_and_emit. List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.rs

b81ef46c - Remove reference types (`r32` and `r64`) from Cranelift (#9164)

Thu, 22 Aug 2024 21:39:26 +0000

Remove reference types (`r32` and `r64`) from Cranelift (#9164)* Remove reference types (`r32` and `r64`) from Cranelift* restore fuzz regression test List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.rs

a0442ea0 - Enforce `uninlined_format_args` for the workspace (#9065)

Mon, 05 Aug 2024 09:59:59 +0000

Enforce `uninlined_format_args` for the workspace (#9065)* Enforce `uninlined_format_args` for the workspace* fix: failing `Monolith Checks` job* fix: formatting List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.rs

81eab489 - closes #2827: remove srclocs from bugpoint (#8883)

Mon, 08 Jul 2024 19:33:31 +0000

closes #2827: remove srclocs from bugpoint (#8883)* closes #2827: remove srclocs from bugpoint* cranelift(fix): bugpoint only removes sourcelocs if function still crashes* fix formatting---------Co-authored-by: zleyyij List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.rs

7ad36677 - cranelift: Add DFG helper for resolving all value aliases (#8238)

Tue, 26 Mar 2024 00:31:40 +0000

cranelift: Add DFG helper for resolving all value aliases (#8238)And demonstrate its use in bugpoint. That doesn't have much impact onanything, which I hope makes this easier to review than changing moreimportant things right away.There are other places we would probably be better off doing awhole-function rewrite once rather than calling `resolve_aliases` abunch of times, such as the disas tests, the egraph pass, and lowering.I have not changed those in this PR. List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.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/src/bugpoint.rs

f9f8a4df - Replace clap attributes with command and arg (#7658)

Fri, 08 Dec 2023 16:19:10 +0000

Replace clap attributes with command and arg (#7658) List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.rs

62fdafa1 - Remove clippy configuration from repo and crates (#6927)

Tue, 29 Aug 2023 21:07:27 +0000

Remove clippy configuration from repo and crates (#6927)Wasmtime's CI does not run clippy so there's no enforcement of thisconfiguration. Additionally the configuration per-crate is not uniformlyapplied across all of the Wasmtime workspace and is only on somehistorical crates. Because we don't run clippy in CI this commit removesall of the clippy annotations for allow/warn/deny from the source. List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.rs

7eb89140 - Chaos mode MVP: Skip branch optimization in MachBuffer (#6039)

Wed, 05 Apr 2023 19:28:46 +0000

Chaos mode MVP: Skip branch optimization in MachBuffer (#6039)* fuzz: Add chaos mode control planeCo-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Moritz Waser * fuzz: Skip branch optimization with chaos modeCo-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Moritz Waser * fuzz: Rename chaos engine -> control planeCo-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Moritz Waser * chaos mode: refactoring ControlPlane to be passed through the call stack by referenceCo-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Remo Senekowitsch * fuzz: annotate chaos todosCo-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Moritz Waser * fuzz: cleanup control planeCo-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Moritz Waser * fuzz: remove control plane from compiler contextCo-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Moritz Waser * fuzz: move control plane into emit stateCo-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Moritz Waser * fuzz: fix remaining compiler errorsCo-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Moritz Waser * fix tests* refactor emission state ctrl plane accessorsCo-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Moritz Waser * centralize conditional compilation of chaos modeAlso cleanup a few straggling dependencies on cranelift-controlthat aren't needed anymore.Co-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Moritz Waser * add cranelift-control to published cratesprtest:fullCo-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Moritz Waser * add cranelift-control to public cratesCo-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Moritz Waser ---------Co-authored-by: Falk Zwimpfer <24669719+FalkZ@users.noreply.github.com>Co-authored-by: Moritz Waser Co-authored-by: Remo Senekowitsch List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.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/src/bugpoint.rs

aba239e9 - Fix handling of jumps in bugpoint (#5794)

Wed, 15 Feb 2023 23:07:03 +0000

Fix handling of jumps in bugpoint (#5794)Fixes #5792 List of files: /wasmtime-44.0.1/cranelift/src/bugpoint.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/src/bugpoint.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/src/bugpoint.rs