Skip to content

gen-headers: Generate assertions of layout from witx#149

Merged
sunfishcode merged 6 commits into
masterfrom
pch/assert_memory_layout
Feb 7, 2020
Merged

gen-headers: Generate assertions of layout from witx#149
sunfishcode merged 6 commits into
masterfrom
pch/assert_memory_layout

Conversation

@pchickey
Copy link
Copy Markdown
Collaborator

Serves as evidence that WebAssembly/WASI#181 is correct

@pchickey pchickey force-pushed the pch/assert_memory_layout branch from 28f0c0e to f18d9f7 Compare December 19, 2019 01:33
@pchickey
Copy link
Copy Markdown
Collaborator Author

The CI doesn't actually build the libc. I tested locally with wasi-sdk 7:

/opt/wasi-sdk/bin/clang -c libc-bottom-half/headers/public/wasi/api.h

Copy link
Copy Markdown
Member

@sunfishcode sunfishcode left a comment

Choose a reason for hiding this comment

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

Cool!

Comment thread libc-bottom-half/headers/public/wasi/api.h
Comment thread tools/wasi-headers/src/c_header.rs
Copy link
Copy Markdown
Member

@sbc100 sbc100 left a comment

Choose a reason for hiding this comment

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

Sweet!

Comment thread libc-bottom-half/headers/public/wasi/api.h Outdated
Copy link
Copy Markdown
Member

@sbc100 sbc100 left a comment

Choose a reason for hiding this comment

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

Output: lgtm
Rust code: i have not idea what i'm doing

Copy link
Copy Markdown
Member

@sunfishcode sunfishcode left a comment

Choose a reason for hiding this comment

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

Looks good to me too!

@pchickey pchickey force-pushed the pch/assert_memory_layout branch from b31f958 to 4c110bc Compare December 20, 2019 00:43
@pchickey pchickey marked this pull request as ready for review December 28, 2019 18:29
@pchickey pchickey force-pushed the pch/assert_memory_layout branch from e89609a to ad230b4 Compare February 7, 2020 20:40
@pchickey
Copy link
Copy Markdown
Collaborator Author

pchickey commented Feb 7, 2020

Well, apparently I forgot to merge this right after returning for the new year, and it got out-of-date. I just rebased on master, pointed at the current wasi master, and regenerated header.

@pchickey pchickey requested a review from sunfishcode February 7, 2020 20:43
@sunfishcode sunfishcode merged commit c6f2c05 into master Feb 7, 2020
@sunfishcode sunfishcode deleted the pch/assert_memory_layout branch February 7, 2020 21:21
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.

3 participants