diff options
Diffstat (limited to 'src/tools/optimization-options.h')
| -rw-r--r-- | src/tools/optimization-options.h | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/tools/optimization-options.h b/src/tools/optimization-options.h index 5b6a643e6..f89dab347 100644 --- a/src/tools/optimization-options.h +++ b/src/tools/optimization-options.h @@ -193,7 +193,14 @@ struct OptimizationOptions : public ToolOptions { "-ffm", "Optimize floats without handling corner cases of NaNs and rounding", Options::Arguments::Zero, - [this](Options*, const std::string&) { passOptions.fastMath = true; }); + [this](Options*, const std::string&) { passOptions.fastMath = true; }) + .add("--unmodified-imported-mem", + "-uim", + "Assume that an imported memory will not have been modified", + Options::Arguments::Zero, + [this](Options*, const std::string&) { + passOptions.unmodifiedImportedMemory = true; + }); // add passes in registry for (const auto& p : PassRegistry::get()->getRegisteredNames()) { (*this).add( |