Skip to content

Fix TypeMapper::getNewHeapType() on types being rebuilt#8499

Merged
kripken merged 2 commits into
WebAssembly:mainfrom
kripken:merge.cont
Mar 20, 2026
Merged

Fix TypeMapper::getNewHeapType() on types being rebuilt#8499
kripken merged 2 commits into
WebAssembly:mainfrom
kripken:merge.cont

Conversation

@kripken

@kripken kripken commented Mar 19, 2026

Copy link
Copy Markdown
Member

When we find a type in the mapping, we still need to get its temp type,
as it may be in the process of being rebuilt.

Not sure why it took continuations to find this bug, but something in
their shape I guess..?

@kripken kripken requested a review from tlively March 19, 2026 20:44
@kripken kripken requested a review from a team as a code owner March 19, 2026 20:44
Comment thread test/lit/passes/type-merging-cont.wast Outdated
;; CHECK-NEXT: (local $t (ref null $contD))
;; CHECK-NEXT: )
(func $use-rec-group
(local $t (ref null $contD))

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.

It would be good to add a use for each original type so we can see in the output exactly what type it was merged with, if any.

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

Good idea, done.

@kripken kripken merged commit 2579fa3 into WebAssembly:main Mar 20, 2026
16 checks passed
@kripken kripken deleted the merge.cont branch March 20, 2026 19:33
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