Skip to content

GC: Fuzzing support for i31, assuming i31.new is constant #3169

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 7 commits into from
Sep 29, 2020

Conversation

dcodeIO
Copy link
Contributor

@dcodeIO dcodeIO commented Sep 24, 2020

Integrates i31ref types and instructions into the fuzzer, by assuming that (i31.new (i32.const N)) is constant [1] [2]. Might make sense to delay landing this until we know more.

@dcodeIO
Copy link
Contributor Author

dcodeIO commented Sep 24, 2020

Invocations so far:
   FuzzExec: 12024
   CompareVMs: 3277
   CheckDeterminism: 1030
   Wasm2JS: 2870
   Asyncify: 3052

ITERATION: 14108

Going to do more fuzzing tomorrow.

Another run that unfortunately hit #3149 early on and I didn't notice:

Invocations so far:
   FuzzExec: 6658
   CompareVMs: 1771
   CheckDeterminism: 573
   Wasm2JS: 1533
   Asyncify: 1643

ITERATION: 7808

Another:

Invocations so far:
   FuzzExec: 15288
   CompareVMs: 4240
   CheckDeterminism: 1318
   Wasm2JS: 3549
   Asyncify: 3858

ITERATION: 17977

@tlively
Copy link
Member

tlively commented Sep 29, 2020

Thanks! LGTM

@dcodeIO
Copy link
Contributor Author

dcodeIO commented Sep 29, 2020

Invocations so far:
   FuzzExec: 20829
   CompareVMs: 5655
   CheckDeterminism: 1773
   Wasm2JS: 4884
   Asyncify: 5214

ITERATION: 24375

@dcodeIO dcodeIO merged commit a629dc2 into WebAssembly:master Sep 29, 2020
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