diff options
author | Alon Zakai <alonzakai@gmail.com> | 2017-04-18 11:54:32 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-18 11:54:32 -0700 |
commit | 0dc8efbf7f5ac474fadff934eb78cd5f8551d0bb (patch) | |
tree | 51307b4607fe0789f8d14567198134e20496d848 /src/tools/wasm-opt.cpp | |
parent | 0c850464aa7f6466dba6bf975bf40f14c9d6d55e (diff) | |
download | binaryen-0dc8efbf7f5ac474fadff934eb78cd5f8551d0bb.tar.gz binaryen-0dc8efbf7f5ac474fadff934eb78cd5f8551d0bb.tar.bz2 binaryen-0dc8efbf7f5ac474fadff934eb78cd5f8551d0bb.zip |
Fix bustage (#975)
* support -g in wasm-opt, which makes it easier to upgrade binaries for bustage
* upgrade binaries in test/merge to new names section format
Diffstat (limited to 'src/tools/wasm-opt.cpp')
-rw-r--r-- | src/tools/wasm-opt.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/tools/wasm-opt.cpp b/src/tools/wasm-opt.cpp index 93d8f5baa..a663b1a04 100644 --- a/src/tools/wasm-opt.cpp +++ b/src/tools/wasm-opt.cpp @@ -41,6 +41,7 @@ int main(int argc, const char* argv[]) { bool runOptimizationPasses = false; PassOptions passOptions; bool emitBinary = true; + bool debugInfo = false; Options options("wasm-opt", "Optimize .wast files"); options @@ -54,6 +55,9 @@ int main(int argc, const char* argv[]) { .add("--emit-text", "-S", "Emit text instead of binary for the output file", Options::Arguments::Zero, [&](Options *o, const std::string &argument) { emitBinary = false; }) + .add("--debuginfo", "-g", "Emit names section and debug info", + Options::Arguments::Zero, + [&](Options *o, const std::string &arguments) { debugInfo = true; }) .add_positional("INFILE", Options::Arguments::One, [](Options* o, const std::string& argument) { o->extra["infile"] = argument; @@ -113,6 +117,7 @@ int main(int argc, const char* argv[]) { ModuleWriter writer; writer.setDebug(options.debug); writer.setBinary(emitBinary); + writer.setDebugInfo(debugInfo); writer.write(wasm, options.extra["output"]); } } |