Nick Fitzgerald
Nick Fitzgerald
Split out from https://github.com/bytecodealliance/wasmtime/pull/8612
(When using Cranelift.) When I originally implemented `wasmtime explore` we didn't have a good way to get the CLIF. But since then we've added the `--emit-clif` CLI flag, so I...
> I'm having a hard time figuring out the details of s390x here, so I am going to disable support for the `tail` calling convention on s390x (with a loud...
We intend to use this when computing liveness of GC references in `cranelift-frontend` to manually construct safepoints and ultimately remove `r{32,64}` reference types from CLIF, `cranelift-codegen`, and `regalloc2`.
We often see code like this: ```C++ struct JSJitInfo { // ... union { uint16_t protoID; js::jit::InlinableNative inlinableNative; }; // ... }; ``` which generates members and types like `__bindgen_anon_1:...
We should add `Context::with_z3` etc convenience methods for common solvers that pass the usual flags to get that solver in its REPL mode. This way users don't have to remember...
When a block has only a single, unconditional predecessor, we should merge it into its predecessor. We see this relatively frequently due to the way that `cranelift-wasm` creates blocks (which...
When a pure instruction is the *only* use of the result of a side-effectful instruction, we should hoist the pure instruction to just after the side-effectful instruction. For example, given:...
This is a potential alternative to #965 but they aren't necessarily mutually exclusive. The goal here is to create an easy way to see the concrete canonical ABI details for...
It would be useful if each type had its size and alignment, and additionally if each field in a record or whatever should have its offset, etc... Maybe optionally via...