diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2018-10-16 16:36:13 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-16 16:36:13 -0700 |
| commit | 905aea256a3b5114121ef106084a55bad0e3ab1d (patch) | |
| tree | b859a79470521cf64d5acc55f06095a8baf7f870 /src | |
| parent | 021a2b85fb9264d9cb4a21c039682d1f0fddbd1c (diff) | |
| download | binaryen-905aea256a3b5114121ef106084a55bad0e3ab1d.tar.gz binaryen-905aea256a3b5114121ef106084a55bad0e3ab1d.tar.bz2 binaryen-905aea256a3b5114121ef106084a55bad0e3ab1d.zip | |
comment on nondeterminism in precompute pass [ci skip] (#1704)
Diffstat (limited to 'src')
| -rw-r--r-- | src/passes/Precompute.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/passes/Precompute.cpp b/src/passes/Precompute.cpp index b6b7d5097..42127901c 100644 --- a/src/passes/Precompute.cpp +++ b/src/passes/Precompute.cpp @@ -17,6 +17,11 @@ // // Computes code at compile time where possible. // +// Possible nondeterminism: WebAssembly NaN signs are nondeterministic, +// and this pass may optimize e.g. a float 0 / 0 into +nan while a VM may +// emit -nan, which can be a noticeable difference if the bits are +// looked at. +// #include <wasm.h> #include <pass.h> |