Changes in basic.rs

8236a075 - `cranelift-frontend`: Refactor how variables are declared (#10965)

Fri, 06 Jun 2025 21:19:39 +0000

`cranelift-frontend`: Refactor how variables are declared (#10965)* cranelift-frontend: Refactor how variables are declaredRather than requiring users to construct a `Variable` entity out of thin airand *then* declare it to the frontend, declaring a new variable now returns thenew `Variable` entity. And instead of having a `SecondaryMap`inside of `FunctionBuilder` we now have a `PrimaryMap`. Usingvariables in `cranelift-frontend` should generally feel a little bit better andmore idiomatic now.* Fix doc test List of files: /wasmtime-44.0.1/cranelift/jit/tests/basic.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/jit/tests/basic.rs

48f4621f - Run the full test suite on 32-bit platforms (#9837)

Wed, 15 Jan 2025 18:43:18 +0000

Run the full test suite on 32-bit platforms (#9837)* Run the full test suite on 32-bit platformsThis commit switches to running the full test suite in its entirety(`./ci/run-tests.sh`) on 32-bit platforms in CI in addition to 64-bitplatforms. This notably adds i686 and armv7 as architectures that aretested in CI.Lots of little fixes here and there were applied to a number of tests.Many tests just don't run on 32-bit platforms or a platform withoutCranelift support, and they've been annotated as such where necessary.Other tests were adjusted to run on all platforms a few minor bug fixesare here as well.prtest:full* Fix clippy warning* Get wasm code working by default on 32-bitDon't require the `pulley` feature opt-in on 32-bit platforms to getwasm code running.* Fix dead code warning* Fix build on armv7* Fix test assertion on armv7* Review comments* Update how tests are skipped* Change how Pulley is defaultedDefault to pulley in `build.rs` rather than in `Cargo.toml` to make iteasier to write down the condition and comment what's happening. Thismeans that the `pulley-interpreter` crate and pulley support inCranelift is always compiled in now and cannot be removed. This shouldhopefully be ok though as the `pulley-interpreter` crate is stillconditionally used (meaning it can get GC'd) and the code-size ofCranelift is not as important as the runtime itself.* pulley: Save/restore callee-save state on traps* Fewer clippy warnings about casts* Use wrapping_add in `g32_addr`, fixing arm test List of files: /wasmtime-44.0.1/cranelift/jit/tests/basic.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/jit/tests/basic.rs

7334ecfc - Fix UB in cranelift-jit when trying to define a zero sized data object (#7945)

Thu, 15 Feb 2024 15:17:06 +0000

Fix UB in cranelift-jit when trying to define a zero sized data object (#7945)And also fix UB when the allocation fails. List of files: /wasmtime-44.0.1/cranelift/jit/tests/basic.rs

e1812b61 - Rename define_function to define_function_with_control_plane (#6165)

Thu, 06 Apr 2023 16:14:13 +0000

Rename define_function to define_function_with_control_plane (#6165)And add a define_function convenience function which uses a defaultcontrol plane. List of files: /wasmtime-44.0.1/cranelift/jit/tests/basic.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/jit/tests/basic.rs

387426e7 - cranelift: improve syscall error/oom handling in JIT module (#5173)

Thu, 03 Nov 2022 23:59:41 +0000

cranelift: improve syscall error/oom handling in JIT module (#5173)* cranelift: improve syscall error/oom handling in JIT module The JIT module has several places where it `expect`s or `panic`s on syscall or allocator errors. For example, `mmap` and `mprotect` can fail if Linux `vm.max_map_count` is not high enough, and some users may wish to handle this error rather than immediately crashing. This commit plumbs these errors upward as new `ModuleError` types, so that callers of jit module functions like `finalize_definitions` and `define_function` can handle them (or just `unwrap()`, as desired). * cranelift: Remove ModuleError::Syscall variant Syscall errors can just be folded into the generic Backend error, which is an anyhow::Error * cranelift-jit: return io::ErrorKind::OutOfMemory for alloc failure Just using `io::Error::last_os_error()` is not correct as global allocator impls are not required to set errno List of files: /wasmtime-44.0.1/cranelift/jit/tests/basic.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/jit/tests/basic.rs

1c014d12 - Cranelift: ensure ISA level needed for SIMD is present when SIMD is enabled. (#3816)

Thu, 17 Feb 2022 01:29:30 +0000

Cranelift: ensure ISA level needed for SIMD is present when SIMD is enabled. (#3816)Addresses #3809: when we are asked to create a Cranelift backend with shared flags that indicate support for SIMD, we should check that the ISA level needed for our SIMD lowerings is present. List of files: /wasmtime-44.0.1/cranelift/jit/tests/basic.rs

b803514d - Remove sink arguments from compile_and_emit

Tue, 11 Jan 2022 17:17:29 +0000

Remove sink arguments from compile_and_emitThe data can be accessed after the fact using context.mach_compile_result List of files: /wasmtime-44.0.1/cranelift/jit/tests/basic.rs

43a86f14 - Remove more old backend ISA concepts (#3402)

Mon, 04 Oct 2021 08:36:12 +0000

Remove more old backend ISA concepts (#3402)This also paves the way for unifying TargetIsa and MachBackend, since now they map one to one. In theory the two traits could be merged, which would be nice to limit the number of total concepts. Also they have quite different responsibilities, so it might be fine to keep them separate. Interestingly, this PR started as removing RegInfo from the TargetIsa trait since the adapter returned a dummy value there. From the fallout, noticed that all Display implementations didn't needed an ISA anymore (since these were only used to render ISA specific registers). Also the whole family of RegInfo / ValueLoc / RegUnit was exclusively used for the old backend, and these could be removed. Notably, some IR instructions needed to be removed, because they were using RegUnit too: this was the oddball of regfill / regmove / regspill / copy_special, which were IR instructions inserted by the old regalloc. Fare thee well! List of files: /wasmtime-44.0.1/cranelift/jit/tests/basic.rs

38926fb1 - cranelift-module: Add support for passing a StackMapSink when defining functions

Thu, 18 Mar 2021 16:49:17 +0000

cranelift-module: Add support for passing a StackMapSink when defining functionsFixes #2738This follows the convention set by the existing method of passing aTrapSink by adding another argument for a StackMapSink. List of files: /wasmtime-44.0.1/cranelift/jit/tests/basic.rs

411ec3a8 - Rename SimpleJIT to JIT as it isn't simple anymore

Fri, 04 Dec 2020 18:28:31 +0000

Rename SimpleJIT to JIT as it isn't simple anymore List of files: /wasmtime-44.0.1/cranelift/jit/tests/basic.rs