Skip to content

Update spec test suite submodule - #2667

Merged
alexcrichton merged 2 commits into
bytecodealliance:mainfrom
alexcrichton:update-spec-test-suiet
Sep 17, 2026
Merged

alexcrichton merged 2 commits into
bytecodealliance:mainfrom
alexcrichton:update-spec-test-suiet

Conversation

@alexcrichton

Copy link
Copy Markdown
Member

This commit updates both the core wasm and the component model spec test suites. This drops a number of FAIL directives for component-model tests now that the upstream tests have updated. This then additionally fills out some various corners/holes for core wasm such as

  • The extended-name-section proposal's tests are new and now run here. The main test added, though, is marked as expected to fail for now. Most of the test passes but there's a few minor ones that don't round-trip correctly just yet.

  • Parsing of name sections, subsections, and maps now all have extra validation applied while parsing. Namely subsections must be ordered and maps-of-names must all be ordered correctly.

  • Validation for the custom-descriptors proposal has been adjusted to handle new tests that are added.

  • The assert_malformed_custom directive now actually parses all custom sections to look for an error. Previously it just encoded into bytes but this was an insufficient check.

  • Roundtripping modules with invalid custom sections is disabled because the name section, when invalid, doesn't roundtrip.

This commit updates both the core wasm and the component model spec test
suites. This drops a number of FAIL directives for component-model tests
now that the upstream tests have updated. This then additionally fills
out some various corners/holes for core wasm such as

* The `extended-name-section` proposal's tests are new and now run
  here. The main test added, though, is marked as expected to fail for
  now. Most of the test passes but there's a few minor ones that don't
  round-trip correctly just yet.

* Parsing of `name` sections, subsections, and maps now all have extra
  validation applied while parsing. Namely subsections must be ordered
  and maps-of-names must all be ordered correctly.

* Validation for the `custom-descriptors` proposal has been adjusted to
  handle new tests that are added.

* The `assert_malformed_custom` directive now actually parses all custom
  sections to look for an error. Previously it just encoded into bytes
  but this was an insufficient check.

* Roundtripping modules with invalid custom sections is disabled because
  the `name` section, when invalid, doesn't roundtrip.
@alexcrichton
alexcrichton requested a review from a team as a code owner September 16, 2026 22:10
@alexcrichton
alexcrichton requested review from fitzgen and removed request for a team September 16, 2026 22:10

@fitzgen fitzgen left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Seems reasonable to me

* Be sure to sort names by index
* Don't duplicate-ly name a function
@alexcrichton
alexcrichton added this pull request to the merge queue Sep 17, 2026
Merged via the queue into bytecodealliance:main with commit d565f26 Sep 17, 2026
37 checks passed
@alexcrichton
alexcrichton deleted the update-spec-test-suiet branch September 17, 2026 14:54
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