diff options
author | Alon Zakai <azakai@google.com> | 2020-05-27 09:18:36 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-27 09:18:36 -0700 |
commit | c7f18b7fb34e2464f7a7beb31d8c8363e8597902 (patch) | |
tree | 71e6a0a4d7659f08c1644c22103ec66be4bfdfaa /src/tools/wasm-opt.cpp | |
parent | 616463d1f33804f639d6c32ad284e7280a0a7b71 (diff) | |
download | binaryen-c7f18b7fb34e2464f7a7beb31d8c8363e8597902.tar.gz binaryen-c7f18b7fb34e2464f7a7beb31d8c8363e8597902.tar.bz2 binaryen-c7f18b7fb34e2464f7a7beb31d8c8363e8597902.zip |
DeNaN pass (#2877)
This moves the fuzzer de-NaN logic out into a separate pass. This is
cleaner and also better since the old way would de-NaN once, but then
the reducer could generate code with nans. The new way lets us de-NaN
while reducing.
Diffstat (limited to 'src/tools/wasm-opt.cpp')
-rw-r--r-- | src/tools/wasm-opt.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/tools/wasm-opt.cpp b/src/tools/wasm-opt.cpp index a215aca32..41302eac8 100644 --- a/src/tools/wasm-opt.cpp +++ b/src/tools/wasm-opt.cpp @@ -82,7 +82,6 @@ int main(int argc, const char* argv[]) { std::string extraFuzzCommand; bool translateToFuzz = false; bool fuzzPasses = false; - bool fuzzNaNs = true; bool fuzzMemory = true; bool fuzzOOB = true; std::string emitJSWrapper; @@ -148,12 +147,6 @@ int main(int argc, const char* argv[]) { "on translate-to-fuzz (it picks the passes from the input)", Options::Arguments::Zero, [&](Options* o, const std::string& arguments) { fuzzPasses = true; }) - .add("--no-fuzz-nans", - "", - "don't emit NaNs when fuzzing, and remove them at runtime as well " - "(helps avoid nondeterminism between VMs)", - Options::Arguments::Zero, - [&](Options* o, const std::string& arguments) { fuzzNaNs = false; }) .add("--no-fuzz-memory", "", "don't emit memory ops when fuzzing", @@ -266,7 +259,6 @@ int main(int argc, const char* argv[]) { if (fuzzPasses) { reader.pickPasses(options); } - reader.setAllowNaNs(fuzzNaNs); reader.setAllowMemory(fuzzMemory); reader.setAllowOOB(fuzzOOB); reader.build(); |