Skip to content

Conversation

@dcodeIO
Copy link
Contributor

@dcodeIO dcodeIO commented Sep 12, 2020

  • ExpressionAnalyzer: Fix ref.null ht equality check to include ht.
  • Precompute: Fix ref.null ht expression reuse to also update ht.
  • Fuzzing: Fix ref.null func becoming canonicalized to ref.func $funcref
    when evaluating execution results, by adding a check for isNull.
  • Fuzzing: Print actual and expected execution results when aborting.
  • Tests: Update if-arms-subtype test in optimize-instructions to check
    that identical if arms become folded while not identical arms are kept.

Fixes #3119

@dcodeIO
Copy link
Contributor Author

dcodeIO commented Sep 12, 2020

Invocations so far:
   FuzzExec: 44857
   CompareVMs: 12290
   CheckDeterminism: 3898
   Wasm2JS: 10750
   Asyncify: 11362

ITERATION: 52628

Copy link
Member

@tlively tlively left a comment

Choose a reason for hiding this comment

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

LGTM with @aheejin's comment about the test addressed.

@dcodeIO dcodeIO merged commit 643facd into WebAssembly:master Sep 13, 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.

Issue found by fuzzer

3 participants