binaryen [OptimizeInstructions] Simplify floating points with NaN on left side

[OptimizeInstructions] Simplify floating points with NaN on left side

Open MaxGraey opened this issue 1 year ago • 2 comments

It's similar to #4985 but for NaNs on LHS

nan - x    =>    nan'
nan / x    =>    nan'

where nan' is canonicalized nan of lhs

Also add default value for input argument in pure matcher's helper + refactoring.

Sep 20 '22 10:09 MaxGraey

Fuzzed ITERATION: 13279

Sep 20 '22 13:09 MaxGraey

@kripken could you take a look please?

Sep 20 '22 20:09 MaxGraey

@kripken could you take a look please?

Oct 05 '22 08:10 MaxGraey