Skip to content

RR #3:Flat type computation for interface types for RR#12981

Open
arjunr2 wants to merge 1 commit intobytecodealliance:mainfrom
arjunr2:main
Open

RR #3:Flat type computation for interface types for RR#12981
arjunr2 wants to merge 1 commit intobytecodealliance:mainfrom
arjunr2:main

Conversation

@arjunr2
Copy link
Copy Markdown
Contributor

@arjunr2 arjunr2 commented Apr 7, 2026

This provides methods to compute the exact core wasm ABI encoding of param/result interface types for precise recording/replaying.

@arjunr2 arjunr2 requested a review from a team as a code owner April 7, 2026 14:20
@arjunr2 arjunr2 requested review from dicej and removed request for a team April 7, 2026 14:20
Copy link
Copy Markdown
Member

@alexcrichton alexcrichton left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think that the code here will end up duplicating some functionality elsewhere already in Wasmtime, especially around handling per-type flat ABIs. An example is that crates/environ/src/fact/signature.rs contains a lot of flattening already for function signatures, although not of the exact same shape and form of here. Notably as well TypeInformation already has various helpers and such to push in more flat information. Would it be possible to reuse/refactor the existing implementations instead of adding another?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants