diff options
Diffstat (limited to 'src/tools/wasm-reduce.cpp')
| -rw-r--r-- | src/tools/wasm-reduce.cpp | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/src/tools/wasm-reduce.cpp b/src/tools/wasm-reduce.cpp index cbe251661..878233c84 100644 --- a/src/tools/wasm-reduce.cpp +++ b/src/tools/wasm-reduce.cpp @@ -37,6 +37,7 @@ #include "support/file.h" #include "support/path.h" #include "support/timing.h" +#include "tool-options.h" #include "wasm-builder.h" #include "wasm-io.h" #include "wasm-validator.h" @@ -1174,9 +1175,9 @@ int main(int argc, const char* argv[]) { std::string binDir = Path::getDirName(argv[0]); bool binary = true, deNan = false, verbose = false, debugInfo = false, force = false; - Options options("wasm-reduce", - "Reduce a wasm file to a smaller one that has the same " - "behavior on a given command"); + ToolOptions options("wasm-reduce", + "Reduce a wasm file to a smaller one that has the same " + "behavior on a given command"); options .add("--command", "-cmd", @@ -1258,6 +1259,10 @@ int main(int argc, const char* argv[]) { [&](Options* o, const std::string& argument) { input = argument; }); options.parse(argc, argv); + if (getTypeSystem() == TypeSystem::Nominal) { + extraFlags += " --nominal"; + } + if (test.size() == 0) { Fatal() << "test file not provided\n"; } |