summaryrefslogtreecommitdiff
path: root/src/binaryen-shell.cpp
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2015-11-13 18:44:38 -0800
committerAlon Zakai <alonzakai@gmail.com>2015-11-13 18:44:38 -0800
commit2d141917e87e73e2853cbf2538e7ccacc6095041 (patch)
treeecafeac7d3ff4e94b0ccca37f84c987a01730a5e /src/binaryen-shell.cpp
parent97b943c832dd3389b81c0896826977e0c447de28 (diff)
downloadbinaryen-2d141917e87e73e2853cbf2538e7ccacc6095041.tar.gz
binaryen-2d141917e87e73e2853cbf2538e7ccacc6095041.tar.bz2
binaryen-2d141917e87e73e2853cbf2538e7ccacc6095041.zip
add shell tests
Diffstat (limited to 'src/binaryen-shell.cpp')
-rw-r--r--src/binaryen-shell.cpp9
1 files changed, 6 insertions, 3 deletions
diff --git a/src/binaryen-shell.cpp b/src/binaryen-shell.cpp
index 4ff93cf2b..97f7f1346 100644
--- a/src/binaryen-shell.cpp
+++ b/src/binaryen-shell.cpp
@@ -165,16 +165,19 @@ int main(int argc, char **argv) {
} else if (arg == "-print-after") {
print_after = true;
} else if (arg == "--help") {
+ std::cout << "\n";
std::cout << "binaryen shell\n";
std::cout << "--------------\n\n";
std::cout << "options:\n";
std::cout << " -print-before : print modules before processing them\n";
+ std::cout << " -print-after : print modules after processing them\n";
std::cout << "\n";
std::cout << "passes:\n";
auto allPasses = PassRegistry::get()->getRegisteredNames();
for (auto& name : allPasses) {
std::cout << " -" << name << "\n";
}
+ std::cout << "\n";
exit(0);
} else {
// otherwise, assumed to be a pass
@@ -202,7 +205,7 @@ int main(int argc, char **argv) {
}
if (debug) std::cerr << "loading '" << infile << "'...\n";
- FILE *f = fopen(argv[1], "r");
+ FILE *f = fopen(infile, "r");
if (!f) {
printf("error: could not open input file: %s\n", infile);
exit(1);
@@ -237,7 +240,7 @@ int main(int argc, char **argv) {
auto instance = new ModuleInstance(wasm, interface);
if (print_before) {
- if (debug) std::cerr << "printing...\n";
+ std::cout << "printing before:\n";
std::cout << wasm;
}
@@ -253,7 +256,7 @@ int main(int argc, char **argv) {
}
if (print_after) {
- if (debug) std::cerr << "printing...\n";
+ std::cout << "printing after:\n";
std::cout << wasm;
}