Skip to content

Fuzz wide arithmetic instructions#8661

Open
stevenfontanella wants to merge 2 commits into
mainfrom
wide-arithmetic-fuzzer
Open

Fuzz wide arithmetic instructions#8661
stevenfontanella wants to merge 2 commits into
mainfrom
wide-arithmetic-fuzzer

Conversation

@stevenfontanella
Copy link
Copy Markdown
Member

@stevenfontanella stevenfontanella commented Apr 29, 2026

Part of #8544.

Drive-by fix: ensure that tuples aren't generated with a size larger than TUPLE_MAX_SIZE:

-  size_t maxElements = 2 + upTo(fuzzParams->MAX_TUPLE_SIZE - 1);
+  size_t maxElements = 2 + upTo(fuzzParams->MAX_TUPLE_SIZE - 2);

After increasing the seed file size, the wide arithmetic instructions were generated (ctrl + f "wideint"), but fails in CI due to #8770. For now I leave the seed file unchanged without showing that the wide arithmetic instructions are generated in the golden file.

Base automatically changed from wide-arithmetic-mul to main May 4, 2026 18:17
@stevenfontanella stevenfontanella force-pushed the wide-arithmetic-fuzzer branch 2 times, most recently from 9e05b99 to de26241 Compare May 4, 2026 22:56
@stevenfontanella stevenfontanella changed the title Fuzzer Fuzz wide arithmetic instructions May 4, 2026
@stevenfontanella stevenfontanella force-pushed the wide-arithmetic-fuzzer branch 2 times, most recently from bbdf5da to ab7f200 Compare May 22, 2026 18:33
@stevenfontanella stevenfontanella force-pushed the wide-arithmetic-fuzzer branch from ab7f200 to c0a9e8f Compare May 22, 2026 23:32
@stevenfontanella stevenfontanella marked this pull request as ready for review May 23, 2026 19:03
@stevenfontanella stevenfontanella requested a review from a team as a code owner May 23, 2026 19:03
@stevenfontanella stevenfontanella requested review from kripken and removed request for a team May 23, 2026 19:03
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.

1 participant