diff options
author | Alon Zakai <alonzakai@gmail.com> | 2016-03-20 20:28:05 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2016-03-20 20:28:05 -0700 |
commit | b3f029d8b3be1cfc74a035a6549f4ab2e62e9931 (patch) | |
tree | 0d919138efd26b77c37cc21727c9ae9d68cffeee /src/asm2wasm-main.cpp | |
parent | d802638ea36ce950f260c42e8bc8e2195c625efa (diff) | |
parent | c67c3b8d9b5d09b1f04a602c6248be50ef51569f (diff) | |
download | binaryen-b3f029d8b3be1cfc74a035a6549f4ab2e62e9931.tar.gz binaryen-b3f029d8b3be1cfc74a035a6549f4ab2e62e9931.tar.bz2 binaryen-b3f029d8b3be1cfc74a035a6549f4ab2e62e9931.zip |
Merge pull request #265 from WebAssembly/asm2wasm-opts
asm2wasm opts
Diffstat (limited to 'src/asm2wasm-main.cpp')
-rw-r--r-- | src/asm2wasm-main.cpp | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/asm2wasm-main.cpp b/src/asm2wasm-main.cpp index 73f6853d8..cbcb3b547 100644 --- a/src/asm2wasm-main.cpp +++ b/src/asm2wasm-main.cpp @@ -29,6 +29,8 @@ using namespace cashew; using namespace wasm; int main(int argc, const char *argv[]) { + bool imprecise = false; + Options options("asm2wasm", "Translate asm.js files to .wast files"); options .add("--output", "-o", "Output file (stdout if not specified)", @@ -45,6 +47,10 @@ int main(int argc, const char *argv[]) { [](Options *o, const std::string &argument) { o->extra["total memory"] = argument; }) + .add("--imprecise", "-i", "Imprecise optimizations", Options::Arguments::Zero, + [&imprecise](Options *o, const std::string &) { + imprecise = true; + }) .add_positional("INFILE", Options::Arguments::One, [](Options *o, const std::string &argument) { o->extra["infile"] = argument; @@ -81,7 +87,7 @@ int main(int argc, const char *argv[]) { if (options.debug) std::cerr << "wasming..." << std::endl; AllocatingModule wasm; wasm.memory.initial = wasm.memory.max = totalMemory / Memory::kPageSize; - Asm2WasmBuilder asm2wasm(wasm, pre.memoryGrowth, options.debug); + Asm2WasmBuilder asm2wasm(wasm, pre.memoryGrowth, options.debug, imprecise); asm2wasm.processAsm(asmjs); if (options.debug) std::cerr << "optimizing..." << std::endl; |