summaryrefslogtreecommitdiff
path: root/src/tools/wasm-opt.cpp
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2020-05-27 09:18:36 -0700
committerGitHub <noreply@github.com>2020-05-27 09:18:36 -0700
commitc7f18b7fb34e2464f7a7beb31d8c8363e8597902 (patch)
tree71e6a0a4d7659f08c1644c22103ec66be4bfdfaa /src/tools/wasm-opt.cpp
parent616463d1f33804f639d6c32ad284e7280a0a7b71 (diff)
downloadbinaryen-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.cpp8
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();