summaryrefslogtreecommitdiff
path: root/src/tools/wasm-opt.cpp
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2017-04-18 11:54:32 -0700
committerGitHub <noreply@github.com>2017-04-18 11:54:32 -0700
commit0dc8efbf7f5ac474fadff934eb78cd5f8551d0bb (patch)
tree51307b4607fe0789f8d14567198134e20496d848 /src/tools/wasm-opt.cpp
parent0c850464aa7f6466dba6bf975bf40f14c9d6d55e (diff)
downloadbinaryen-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.cpp5
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"]);
}
}