Skip to content

Fuzzer: Emit elem.drop instructions - #9201

Open
tlively wants to merge 1 commit into
fuzzer-delegatefrom
fuzzer-elem-drop
Open

tlively wants to merge 1 commit into
fuzzer-delegatefrom
fuzzer-elem-drop

Conversation

@tlively

@tlively tlively commented Oct 3, 2026

Copy link
Copy Markdown
Member

Add makeElemDrop and call it from makeBulkMemory.

Add makeElemDrop and call it from makeBulkMemory.
@tlively
tlively requested a review from a team as a code owner October 3, 2026 18:43
@tlively
tlively requested review from kripken and stevenfontanella and removed request for a team and stevenfontanella October 3, 2026 18:43
Expression* TranslateToFuzzReader::makeBulkMemory(Type type) {
if (!allowMemory) {
return makeTrivial(type);
}

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.

What removed the need for this check?

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.

It turns out that makeMemoryInit, makeMemoryCopy, and makeMemoryFill already do this check. makeDataDrop and makeElemDrop can still make sense to do even when there is no memory.

@tlively

tlively commented Oct 5, 2026

Copy link
Copy Markdown
Member Author

(I will go through and update the fuzz stats tests on each of these PRs once the stack is otherwise ready to merge.)

@kripken kripken 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.

Some of these PRs (like this one) make traps more likely. We should review the trap rate after they all land perhaps.

@tlively

tlively commented Oct 6, 2026

Copy link
Copy Markdown
Member Author

Sure, I can take a look at that.

This branch has not been deployed

No deployments
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