summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rwxr-xr-xauto_update_tests.py2
-rwxr-xr-xcheck.py2
-rw-r--r--src/passes/Print.cpp21
-rw-r--r--src/tools/wasm-emscripten-finalize.cpp7
-rw-r--r--src/tools/wasm-metadce.cpp1
-rw-r--r--src/tools/wasm-opt.cpp15
-rw-r--r--src/wasm-binary.h6
-rw-r--r--src/wasm-io.h10
-rw-r--r--src/wasm.h7
-rw-r--r--src/wasm/CMakeLists.txt1
-rw-r--r--src/wasm/wasm-binary.cpp51
-rw-r--r--src/wasm/wasm-io.cpp7
-rw-r--r--test/passes/print.bin.txt182
-rw-r--r--test/passes/print.wasmbin0 -> 895 bytes
-rw-r--r--test/passes/print_g.bin.txt260
-rw-r--r--test/passes/print_g.wasmbin0 -> 895 bytes
-rw-r--r--test/passes/print_g_metrics.bin.txt151
-rw-r--r--test/passes/print_g_metrics.wasmbin0 -> 176 bytes
-rw-r--r--test/passes/print_g_strip-dwarf.bin.txt178
-rw-r--r--test/passes/print_g_strip-dwarf.wasmbin0 -> 895 bytes
20 files changed, 891 insertions, 10 deletions
diff --git a/auto_update_tests.py b/auto_update_tests.py
index dafc1e30b..6a3904569 100755
--- a/auto_update_tests.py
+++ b/auto_update_tests.py
@@ -103,7 +103,7 @@ def update_wasm_opt_tests():
passes_file = os.path.join(shared.get_test_dir('passes'), passname + '.passes')
if os.path.exists(passes_file):
passname = open(passes_file).read().strip()
- opts = [('--' + p if not p.startswith('O') else '-' + p) for p in passname.split('_')]
+ opts = [('--' + p if not p.startswith('O') and p != 'g' else '-' + p) for p in passname.split('_')]
actual = ''
for module, asserts in support.split_wast(t):
assert len(asserts) == 0
diff --git a/check.py b/check.py
index d1c676b41..377d41918 100755
--- a/check.py
+++ b/check.py
@@ -99,7 +99,7 @@ def run_wasm_opt_tests():
passes_file = os.path.join(shared.get_test_dir('passes'), passname + '.passes')
if os.path.exists(passes_file):
passname = open(passes_file).read().strip()
- opts = [('--' + p if not p.startswith('O') else '-' + p) for p in passname.split('_')]
+ opts = [('--' + p if not p.startswith('O') and p != 'g' else '-' + p) for p in passname.split('_')]
actual = ''
for module, asserts in support.split_wast(t):
assert len(asserts) == 0
diff --git a/src/passes/Print.cpp b/src/passes/Print.cpp
index 1704e0145..cbf3c5a24 100644
--- a/src/passes/Print.cpp
+++ b/src/passes/Print.cpp
@@ -1392,6 +1392,7 @@ struct PrintSExpression : public OverriddenVisitor<PrintSExpression> {
Module* currModule = nullptr;
Function* currFunction = nullptr;
Function::DebugLocation lastPrintedLocation;
+ bool debugInfo;
std::unordered_map<Name, Index> functionIndexes;
@@ -1421,6 +1422,16 @@ struct PrintSExpression : public OverriddenVisitor<PrintSExpression> {
if (iter != debugLocations.end()) {
printDebugLocation(iter->second);
}
+ // show a binary position, if there is one
+ if (debugInfo) {
+ auto iter = currFunction->binaryLocations.find(curr);
+ if (iter != currFunction->binaryLocations.end()) {
+ Colors::grey(o);
+ o << ";; code offset: 0x" << iter->second << '\n';
+ restoreNormalColor(o);
+ doIndent(o, indent);
+ }
+ }
}
}
@@ -1437,6 +1448,10 @@ struct PrintSExpression : public OverriddenVisitor<PrintSExpression> {
void setFull(bool full_) { full = full_; }
+ void setPrintStackIR(bool printStackIR_) { printStackIR = printStackIR_; }
+
+ void setDebugInfo(bool debugInfo_) { debugInfo = debugInfo_; }
+
void incIndent() {
if (minify) {
return;
@@ -2321,6 +2336,7 @@ public:
void run(PassRunner* runner, Module* module) override {
PrintSExpression print(o);
+ print.setDebugInfo(runner->options.debugInfo);
print.visitModule(module);
}
};
@@ -2337,6 +2353,7 @@ public:
void run(PassRunner* runner, Module* module) override {
PrintSExpression print(o);
print.setMinify(true);
+ print.setDebugInfo(runner->options.debugInfo);
print.visitModule(module);
}
};
@@ -2353,6 +2370,7 @@ public:
void run(PassRunner* runner, Module* module) override {
PrintSExpression print(o);
print.setFull(true);
+ print.setDebugInfo(runner->options.debugInfo);
print.visitModule(module);
}
};
@@ -2368,7 +2386,8 @@ public:
void run(PassRunner* runner, Module* module) override {
PrintSExpression print(o);
- print.printStackIR = true;
+ print.setDebugInfo(runner->options.debugInfo);
+ print.setPrintStackIR(true);
print.visitModule(module);
}
};
diff --git a/src/tools/wasm-emscripten-finalize.cpp b/src/tools/wasm-emscripten-finalize.cpp
index b45b61b8f..a32a265cd 100644
--- a/src/tools/wasm-emscripten-finalize.cpp
+++ b/src/tools/wasm-emscripten-finalize.cpp
@@ -49,6 +49,7 @@ int main(int argc, const char* argv[]) {
std::string dataSegmentFile;
bool emitBinary = true;
bool debugInfo = false;
+ bool DWARF = false;
bool isSideModule = false;
bool legalizeJavaScriptFFI = true;
bool checkStackOverflow = false;
@@ -71,6 +72,11 @@ int main(int argc, const char* argv[]) {
"Emit names section in wasm binary (or full debuginfo in wast)",
Options::Arguments::Zero,
[&debugInfo](Options*, const std::string&) { debugInfo = true; })
+ .add("--dwarf",
+ "",
+ "Update DWARF debug info",
+ Options::Arguments::Zero,
+ [&DWARF](Options*, const std::string&) { DWARF = true; })
.add("--emit-text",
"-S",
"Emit text instead of binary for the output file",
@@ -164,6 +170,7 @@ int main(int argc, const char* argv[]) {
Module wasm;
ModuleReader reader;
+ reader.setDWARF(DWARF);
try {
reader.read(infile, wasm, inputSourceMapFilename);
} catch (ParseException& p) {
diff --git a/src/tools/wasm-metadce.cpp b/src/tools/wasm-metadce.cpp
index 7d91b3e6f..3b889b984 100644
--- a/src/tools/wasm-metadce.cpp
+++ b/src/tools/wasm-metadce.cpp
@@ -498,6 +498,7 @@ int main(int argc, const char* argv[]) {
std::cerr << "reading...\n";
}
ModuleReader reader;
+ reader.setDWARF(debugInfo);
try {
reader.read(options.extra["infile"], wasm);
} catch (ParseException& p) {
diff --git a/src/tools/wasm-opt.cpp b/src/tools/wasm-opt.cpp
index 7b04f5449..2fd78a3da 100644
--- a/src/tools/wasm-opt.cpp
+++ b/src/tools/wasm-opt.cpp
@@ -43,7 +43,7 @@
using namespace wasm;
// runs a command and returns its output TODO: portability, return code checking
-std::string runCommand(std::string command) {
+static std::string runCommand(std::string command) {
#ifdef __linux__
std::string output;
const int MAX_BUFFER = 1024;
@@ -59,6 +59,15 @@ std::string runCommand(std::string command) {
#endif
}
+static bool willRemoveDebugInfo(const std::vector<std::string>& passes) {
+ for (auto& pass : passes) {
+ if (pass == "strip" || pass == "strip-debug" || pass == "strip-dwarf") {
+ return true;
+ }
+ }
+ return false;
+}
+
//
// main
//
@@ -210,6 +219,10 @@ int main(int argc, const char* argv[]) {
if (!translateToFuzz) {
ModuleReader reader;
+ // Enable DWARF parsing if we were asked for debug info, and were not
+ // asked to remove it.
+ reader.setDWARF(options.passOptions.debugInfo &&
+ !willRemoveDebugInfo(options.passes));
try {
reader.read(options.extra["infile"], wasm, inputSourceMapFilename);
} catch (ParseException& p) {
diff --git a/src/wasm-binary.h b/src/wasm-binary.h
index 36e3ab3d8..1c3a430fc 100644
--- a/src/wasm-binary.h
+++ b/src/wasm-binary.h
@@ -1053,10 +1053,12 @@ class WasmBinaryBuilder {
const std::vector<char>& input;
std::istream* sourceMap;
std::pair<uint32_t, Function::DebugLocation> nextDebugLocation;
+ bool DWARF = false;
size_t pos = 0;
Index startIndex = -1;
std::set<Function::DebugLocation> debugLocation;
+ size_t codeSectionLocation;
std::set<BinaryConsts::Section> seenSections;
@@ -1068,6 +1070,7 @@ public:
: wasm(wasm), allocator(wasm.allocator), input(input), sourceMap(nullptr),
nextDebugLocation(0, {0, 0, 0}), debugLocation() {}
+ void setDWARF(bool value) { DWARF = value; }
void read();
void readUserSection(size_t payloadLen);
@@ -1275,6 +1278,9 @@ public:
void visitBrOnExn(BrOnExn* curr);
void throwError(std::string text);
+
+private:
+ bool hasDWARFSections();
};
} // namespace wasm
diff --git a/src/wasm-io.h b/src/wasm-io.h
index ad6b358fd..77d2506c4 100644
--- a/src/wasm-io.h
+++ b/src/wasm-io.h
@@ -29,6 +29,10 @@ namespace wasm {
class ModuleReader {
public:
+ // If DWARF support is enabled, we track the locations of all IR nodes in
+ // the binary, so that we can update DWARF sections later when writing.
+ void setDWARF(bool DWARF_) { DWARF = DWARF_; }
+
// read text
void readText(std::string filename, Module& wasm);
// read binary
@@ -43,7 +47,13 @@ public:
bool isBinaryFile(std::string filename);
private:
+ bool DWARF = false;
+
void readStdin(Module& wasm, std::string sourceMapFilename);
+
+ void readBinaryData(std::vector<char>& input,
+ Module& wasm,
+ std::string sourceMapFilename);
};
class ModuleWriter {
diff --git a/src/wasm.h b/src/wasm.h
index f98e3031a..bfa0c8947 100644
--- a/src/wasm.h
+++ b/src/wasm.h
@@ -1154,6 +1154,7 @@ public:
std::map<Index, Name> localNames;
std::map<Name, Index> localIndices;
+ // Source maps debugging info: map expression nodes to their file, line, col.
struct DebugLocation {
uint32_t fileIndex, lineNumber, columnNumber;
bool operator==(const DebugLocation& other) const {
@@ -1175,6 +1176,10 @@ public:
std::set<DebugLocation> prologLocation;
std::set<DebugLocation> epilogLocation;
+ // General debugging info: map every instruction to its original position in
+ // the binary, relative to the beginning of the code section.
+ std::unordered_map<Expression*, uint32_t> binaryLocations;
+
size_t getNumParams();
size_t getNumVars();
size_t getNumLocals();
@@ -1344,6 +1349,8 @@ public:
Name start;
std::vector<UserSection> userSections;
+
+ // Source maps debug info.
std::vector<std::string> debugInfoFileNames;
// `features` are the features allowed to be used in this module and should be
diff --git a/src/wasm/CMakeLists.txt b/src/wasm/CMakeLists.txt
index 38bbc97fb..916fbfb63 100644
--- a/src/wasm/CMakeLists.txt
+++ b/src/wasm/CMakeLists.txt
@@ -2,6 +2,7 @@ set(wasm_SOURCES
literal.cpp
wasm.cpp
wasm-binary.cpp
+ wasm-debug.cpp
wasm-emscripten.cpp
wasm-debug.cpp
wasm-interpreter.cpp
diff --git a/src/wasm/wasm-binary.cpp b/src/wasm/wasm-binary.cpp
index 77bdc23bb..71dd0fc21 100644
--- a/src/wasm/wasm-binary.cpp
+++ b/src/wasm/wasm-binary.cpp
@@ -21,6 +21,7 @@
#include "support/bits.h"
#include "support/debug.h"
#include "wasm-binary.h"
+#include "wasm-debug.h"
#include "wasm-stack.h"
#define DEBUG_TYPE "binary"
@@ -731,7 +732,42 @@ void WasmBinaryWriter::finishUp() {
// reader
+bool WasmBinaryBuilder::hasDWARFSections() {
+ assert(pos == 0);
+ getInt32(); // magic
+ getInt32(); // version
+ bool has = false;
+ while (more()) {
+ uint32_t sectionCode = getU32LEB();
+ uint32_t payloadLen = getU32LEB();
+ if (uint64_t(pos) + uint64_t(payloadLen) > input.size()) {
+ throwError("Section extends beyond end of input");
+ }
+ auto oldPos = pos;
+ if (sectionCode == BinaryConsts::Section::User) {
+ auto sectionName = getInlineString();
+ if (Debug::isDWARFSection(sectionName)) {
+ has = true;
+ break;
+ }
+ }
+ pos = oldPos + payloadLen;
+ }
+ pos = 0;
+ return has;
+}
+
void WasmBinaryBuilder::read() {
+ if (DWARF) {
+ // In order to update dwarf, we must store info about each IR node's
+ // binary position. This has noticeable memory overhead, so we don't do it
+ // by default: the user must request it by setting "DWARF", and even if so
+ // we scan ahead to see that there actually *are* DWARF sections, so that
+ // we don't do unnecessary work.
+ if (!hasDWARFSections()) {
+ DWARF = false;
+ }
+ }
readHeader();
readSourceMapHeader();
@@ -740,7 +776,7 @@ void WasmBinaryBuilder::read() {
while (more()) {
uint32_t sectionCode = getU32LEB();
uint32_t payloadLen = getU32LEB();
- if (pos + payloadLen > input.size()) {
+ if (uint64_t(pos) + uint64_t(payloadLen) > input.size()) {
throwError("Section extends beyond end of input");
}
@@ -1252,6 +1288,9 @@ void WasmBinaryBuilder::readFunctionSignatures() {
void WasmBinaryBuilder::readFunctions() {
BYN_TRACE("== readFunctions\n");
+ if (DWARF) {
+ codeSectionLocation = pos;
+ }
size_t total = getU32LEB();
if (total != functionSignatures.size()) {
throwError("invalid function section size, must equal types");
@@ -1972,6 +2011,7 @@ BinaryConsts::ASTNodes WasmBinaryBuilder::readExpression(Expression*& curr) {
if (debugLocation.size()) {
currDebugLocation.insert(*debugLocation.begin());
}
+ size_t startPos = pos;
uint8_t code = getInt8();
BYN_TRACE("readExpression seeing " << (int)code << std::endl);
switch (code) {
@@ -2165,8 +2205,13 @@ BinaryConsts::ASTNodes WasmBinaryBuilder::readExpression(Expression*& curr) {
break;
}
}
- if (curr && currDebugLocation.size()) {
- currFunction->debugLocations[curr] = *currDebugLocation.begin();
+ if (curr) {
+ if (currDebugLocation.size()) {
+ currFunction->debugLocations[curr] = *currDebugLocation.begin();
+ }
+ if (DWARF && currFunction) {
+ currFunction->binaryLocations[curr] = startPos - codeSectionLocation;
+ }
}
BYN_TRACE("zz recurse from " << depth-- << " at " << pos << std::endl);
return BinaryConsts::ASTNodes(code);
diff --git a/src/wasm/wasm-io.cpp b/src/wasm/wasm-io.cpp
index d874494c0..8fa714d9c 100644
--- a/src/wasm/wasm-io.cpp
+++ b/src/wasm/wasm-io.cpp
@@ -45,11 +45,12 @@ void ModuleReader::readText(std::string filename, Module& wasm) {
readTextData(input, wasm);
}
-static void readBinaryData(std::vector<char>& input,
- Module& wasm,
- std::string sourceMapFilename) {
+void ModuleReader::readBinaryData(std::vector<char>& input,
+ Module& wasm,
+ std::string sourceMapFilename) {
std::unique_ptr<std::ifstream> sourceMapStream;
WasmBinaryBuilder parser(wasm, input);
+ parser.setDWARF(DWARF);
if (sourceMapFilename.size()) {
sourceMapStream = make_unique<std::ifstream>();
sourceMapStream->open(sourceMapFilename);
diff --git a/test/passes/print.bin.txt b/test/passes/print.bin.txt
new file mode 100644
index 000000000..ce29777a7
--- /dev/null
+++ b/test/passes/print.bin.txt
@@ -0,0 +1,182 @@
+(module
+ (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $none_=>_none (func))
+ (type $i32_=>_none (func (param i32)))
+ (type $none_=>_i32 (func (result i32)))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (import "env" "memory" (memory $0 256 256))
+ (global $global$0 (mut i32) (i32.const 5243904))
+ (global $global$1 i32 (i32.const 1024))
+ (export "__wasm_call_ctors" (func $__wasm_call_ctors))
+ (export "main" (func $main))
+ (export "__data_end" (global $global$1))
+ (export "stackSave" (func $stackSave))
+ (export "stackAlloc" (func $stackAlloc))
+ (export "stackRestore" (func $stackRestore))
+ (export "__growWasmMemory" (func $__growWasmMemory))
+ (func $__wasm_call_ctors (; 0 ;)
+ (nop)
+ )
+ (func $main (; 1 ;) (param $0 i32) (param $1 i32) (result i32)
+ (if
+ (i32.ne
+ (i32.rem_s
+ (local.get $0)
+ (i32.const 120)
+ )
+ (i32.const 55)
+ )
+ (loop $label$2
+ (br_if $label$2
+ (i32.ne
+ (i32.rem_s
+ (local.tee $0
+ (i32.add
+ (i32.add
+ (i32.mul
+ (i32.mul
+ (local.get $0)
+ (local.get $0)
+ )
+ (local.get $0)
+ )
+ (i32.div_s
+ (local.get $0)
+ (i32.const -2)
+ )
+ )
+ (i32.const 13)
+ )
+ )
+ (i32.const 120)
+ )
+ (i32.const 55)
+ )
+ )
+ )
+ )
+ (local.get $0)
+ )
+ (func $stackSave (; 2 ;) (result i32)
+ (global.get $global$0)
+ )
+ (func $stackAlloc (; 3 ;) (param $0 i32) (result i32)
+ (global.set $global$0
+ (local.tee $0
+ (i32.and
+ (i32.sub
+ (global.get $global$0)
+ (local.get $0)
+ )
+ (i32.const -16)
+ )
+ )
+ )
+ (local.get $0)
+ )
+ (func $stackRestore (; 4 ;) (param $0 i32)
+ (global.set $global$0
+ (local.get $0)
+ )
+ )
+ (func $__growWasmMemory (; 5 ;) (param $0 i32) (result i32)
+ (memory.grow
+ (local.get $0)
+ )
+ )
+ ;; custom section ".debug_info", size 105
+ ;; custom section ".debug_abbrev", size 73
+ ;; custom section ".debug_line", size 92
+ ;; custom section ".debug_str", size 205
+)
+(module
+ (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $none_=>_none (func))
+ (type $i32_=>_none (func (param i32)))
+ (type $none_=>_i32 (func (result i32)))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (import "env" "memory" (memory $0 256 256))
+ (global $global$0 (mut i32) (i32.const 5243904))
+ (global $global$1 i32 (i32.const 1024))
+ (export "__wasm_call_ctors" (func $__wasm_call_ctors))
+ (export "main" (func $main))
+ (export "__data_end" (global $global$1))
+ (export "stackSave" (func $stackSave))
+ (export "stackAlloc" (func $stackAlloc))
+ (export "stackRestore" (func $stackRestore))
+ (export "__growWasmMemory" (func $__growWasmMemory))
+ (func $__wasm_call_ctors (; 0 ;)
+ (nop)
+ )
+ (func $main (; 1 ;) (param $0 i32) (param $1 i32) (result i32)
+ (if
+ (i32.ne
+ (i32.rem_s
+ (local.get $0)
+ (i32.const 120)
+ )
+ (i32.const 55)
+ )
+ (loop $label$2
+ (br_if $label$2
+ (i32.ne
+ (i32.rem_s
+ (local.tee $0
+ (i32.add
+ (i32.add
+ (i32.mul
+ (i32.mul
+ (local.get $0)
+ (local.get $0)
+ )
+ (local.get $0)
+ )
+ (i32.div_s
+ (local.get $0)
+ (i32.const -2)
+ )
+ )
+ (i32.const 13)
+ )
+ )
+ (i32.const 120)
+ )
+ (i32.const 55)
+ )
+ )
+ )
+ )
+ (local.get $0)
+ )
+ (func $stackSave (; 2 ;) (result i32)
+ (global.get $global$0)
+ )
+ (func $stackAlloc (; 3 ;) (param $0 i32) (result i32)
+ (global.set $global$0
+ (local.tee $0
+ (i32.and
+ (i32.sub
+ (global.get $global$0)
+ (local.get $0)
+ )
+ (i32.const -16)
+ )
+ )
+ )
+ (local.get $0)
+ )
+ (func $stackRestore (; 4 ;) (param $0 i32)
+ (global.set $global$0
+ (local.get $0)
+ )
+ )
+ (func $__growWasmMemory (; 5 ;) (param $0 i32) (result i32)
+ (memory.grow
+ (local.get $0)
+ )
+ )
+ ;; custom section ".debug_info", size 105
+ ;; custom section ".debug_abbrev", size 73
+ ;; custom section ".debug_line", size 92
+ ;; custom section ".debug_str", size 205
+)
diff --git a/test/passes/print.wasm b/test/passes/print.wasm
new file mode 100644
index 000000000..c88fb54bd
--- /dev/null
+++ b/test/passes/print.wasm
Binary files differ
diff --git a/test/passes/print_g.bin.txt b/test/passes/print_g.bin.txt
new file mode 100644
index 000000000..f3a91ae98
--- /dev/null
+++ b/test/passes/print_g.bin.txt
@@ -0,0 +1,260 @@
+(module
+ (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $none_=>_none (func))
+ (type $i32_=>_none (func (param i32)))
+ (type $none_=>_i32 (func (result i32)))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (import "env" "memory" (memory $0 256 256))
+ (global $global$0 (mut i32) (i32.const 5243904))
+ (global $global$1 i32 (i32.const 1024))
+ (export "__wasm_call_ctors" (func $__wasm_call_ctors))
+ (export "main" (func $main))
+ (export "__data_end" (global $global$1))
+ (export "stackSave" (func $stackSave))
+ (export "stackAlloc" (func $stackAlloc))
+ (export "stackRestore" (func $stackRestore))
+ (export "__growWasmMemory" (func $__growWasmMemory))
+ (func $__wasm_call_ctors (; 0 ;)
+ ;; code offset: 0x3
+ (nop)
+ )
+ (func $main (; 1 ;) (param $0 i32) (param $1 i32) (result i32)
+ ;; code offset: 0x16
+ (if
+ ;; code offset: 0x15
+ (i32.ne
+ ;; code offset: 0x12
+ (i32.rem_s
+ ;; code offset: 0x7
+ (local.get $0)
+ ;; code offset: 0x9
+ (i32.const 120)
+ )
+ ;; code offset: 0x13
+ (i32.const 55)
+ )
+ ;; code offset: 0x18
+ (loop $label$2
+ ;; code offset: 0x46
+ (br_if $label$2
+ ;; code offset: 0x45
+ (i32.ne
+ ;; code offset: 0x42
+ (i32.rem_s
+ ;; code offset: 0x37
+ (local.tee $0
+ ;; code offset: 0x36
+ (i32.add
+ ;; code offset: 0x33
+ (i32.add
+ ;; code offset: 0x27
+ (i32.mul
+ ;; code offset: 0x24
+ (i32.mul
+ ;; code offset: 0x20
+ (local.get $0)
+ ;; code offset: 0x22
+ (local.get $0)
+ )
+ ;; code offset: 0x25
+ (local.get $0)
+ )
+ ;; code offset: 0x32
+ (i32.div_s
+ ;; code offset: 0x28
+ (local.get $0)
+ ;; code offset: 0x30
+ (i32.const -2)
+ )
+ )
+ ;; code offset: 0x34
+ (i32.const 13)
+ )
+ )
+ ;; code offset: 0x39
+ (i32.const 120)
+ )
+ ;; code offset: 0x43
+ (i32.const 55)
+ )
+ )
+ )
+ )
+ ;; code offset: 0x50
+ (local.get $0)
+ )
+ (func $stackSave (; 2 ;) (result i32)
+ ;; code offset: 0x55
+ (global.get $global$0)
+ )
+ (func $stackAlloc (; 3 ;) (param $0 i32) (result i32)
+ ;; code offset: 0x70
+ (global.set $global$0
+ ;; code offset: 0x68
+ (local.tee $0
+ ;; code offset: 0x67
+ (i32.and
+ ;; code offset: 0x64
+ (i32.sub
+ ;; code offset: 0x60
+ (global.get $global$0)
+ ;; code offset: 0x62
+ (local.get $0)
+ )
+ ;; code offset: 0x65
+ (i32.const -16)
+ )
+ )
+ )
+ ;; code offset: 0x72
+ (local.get $0)
+ )
+ (func $stackRestore (; 4 ;) (param $0 i32)
+ ;; code offset: 0x79
+ (global.set $global$0
+ ;; code offset: 0x77
+ (local.get $0)
+ )
+ )
+ (func $__growWasmMemory (; 5 ;) (param $0 i32) (result i32)
+ ;; code offset: 0x86
+ (memory.grow
+ ;; code offset: 0x84
+ (local.get $0)
+ )
+ )
+ ;; custom section ".debug_info", size 105
+ ;; custom section ".debug_abbrev", size 73
+ ;; custom section ".debug_line", size 92
+ ;; custom section ".debug_str", size 205
+)
+(module
+ (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $none_=>_none (func))
+ (type $i32_=>_none (func (param i32)))
+ (type $none_=>_i32 (func (result i32)))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (import "env" "memory" (memory $0 256 256))
+ (global $global$0 (mut i32) (i32.const 5243904))
+ (global $global$1 i32 (i32.const 1024))
+ (export "__wasm_call_ctors" (func $__wasm_call_ctors))
+ (export "main" (func $main))
+ (export "__data_end" (global $global$1))
+ (export "stackSave" (func $stackSave))
+ (export "stackAlloc" (func $stackAlloc))
+ (export "stackRestore" (func $stackRestore))
+ (export "__growWasmMemory" (func $__growWasmMemory))
+ (func $__wasm_call_ctors (; 0 ;)
+ ;; code offset: 0x3
+ (nop)
+ )
+ (func $main (; 1 ;) (param $0 i32) (param $1 i32) (result i32)
+ ;; code offset: 0x16
+ (if
+ ;; code offset: 0x15
+ (i32.ne
+ ;; code offset: 0x12
+ (i32.rem_s
+ ;; code offset: 0x7
+ (local.get $0)
+ ;; code offset: 0x9
+ (i32.const 120)
+ )
+ ;; code offset: 0x13
+ (i32.const 55)
+ )
+ ;; code offset: 0x18
+ (loop $label$2
+ ;; code offset: 0x46
+ (br_if $label$2
+ ;; code offset: 0x45
+ (i32.ne
+ ;; code offset: 0x42
+ (i32.rem_s
+ ;; code offset: 0x37
+ (local.tee $0
+ ;; code offset: 0x36
+ (i32.add
+ ;; code offset: 0x33
+ (i32.add
+ ;; code offset: 0x27
+ (i32.mul
+ ;; code offset: 0x24
+ (i32.mul
+ ;; code offset: 0x20
+ (local.get $0)
+ ;; code offset: 0x22
+ (local.get $0)
+ )
+ ;; code offset: 0x25
+ (local.get $0)
+ )
+ ;; code offset: 0x32
+ (i32.div_s
+ ;; code offset: 0x28
+ (local.get $0)
+ ;; code offset: 0x30
+ (i32.const -2)
+ )
+ )
+ ;; code offset: 0x34
+ (i32.const 13)
+ )
+ )
+ ;; code offset: 0x39
+ (i32.const 120)
+ )
+ ;; code offset: 0x43
+ (i32.const 55)
+ )
+ )
+ )
+ )
+ ;; code offset: 0x50
+ (local.get $0)
+ )
+ (func $stackSave (; 2 ;) (result i32)
+ ;; code offset: 0x55
+ (global.get $global$0)
+ )
+ (func $stackAlloc (; 3 ;) (param $0 i32) (result i32)
+ ;; code offset: 0x70
+ (global.set $global$0
+ ;; code offset: 0x68
+ (local.tee $0
+ ;; code offset: 0x67
+ (i32.and
+ ;; code offset: 0x64
+ (i32.sub
+ ;; code offset: 0x60
+ (global.get $global$0)
+ ;; code offset: 0x62
+ (local.get $0)
+ )
+ ;; code offset: 0x65
+ (i32.const -16)
+ )
+ )
+ )
+ ;; code offset: 0x72
+ (local.get $0)
+ )
+ (func $stackRestore (; 4 ;) (param $0 i32)
+ ;; code offset: 0x79
+ (global.set $global$0
+ ;; code offset: 0x77
+ (local.get $0)
+ )
+ )
+ (func $__growWasmMemory (; 5 ;) (param $0 i32) (result i32)
+ ;; code offset: 0x86
+ (memory.grow
+ ;; code offset: 0x84
+ (local.get $0)
+ )
+ )
+ ;; custom section ".debug_info", size 105
+ ;; custom section ".debug_abbrev", size 73
+ ;; custom section ".debug_line", size 92
+ ;; custom section ".debug_str", size 205
+)
diff --git a/test/passes/print_g.wasm b/test/passes/print_g.wasm
new file mode 100644
index 000000000..c88fb54bd
--- /dev/null
+++ b/test/passes/print_g.wasm
Binary files differ
diff --git a/test/passes/print_g_metrics.bin.txt b/test/passes/print_g_metrics.bin.txt
new file mode 100644
index 000000000..ea2dc7e31
--- /dev/null
+++ b/test/passes/print_g_metrics.bin.txt
@@ -0,0 +1,151 @@
+(module
+ (type $none_=>_none (func))
+ (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (global $global$0 (mut i32) (i32.const 5243904))
+ (export "a" (func $__wasm_call_ctors))
+ (export "b" (func $main))
+ (export "c" (func $stackAlloc))
+ (func $stackAlloc (; 0 ;) (param $0 i32) (result i32)
+ (global.set $global$0
+ (local.tee $0
+ (i32.and
+ (i32.sub
+ (global.get $global$0)
+ (local.get $0)
+ )
+ (i32.const -16)
+ )
+ )
+ )
+ (local.get $0)
+ )
+ (func $main (; 1 ;) (param $0 i32) (param $1 i32) (result i32)
+ (if
+ (i32.ne
+ (i32.rem_s
+ (local.get $0)
+ (i32.const 120)
+ )
+ (i32.const 55)
+ )
+ (loop $label$2
+ (br_if $label$2
+ (i32.ne
+ (i32.rem_s
+ (local.tee $0
+ (i32.add
+ (i32.add
+ (i32.mul
+ (i32.mul
+ (local.get $0)
+ (local.get $0)
+ )
+ (local.get $0)
+ )
+ (i32.div_s
+ (local.get $0)
+ (i32.const -2)
+ )
+ )
+ (i32.const 13)
+ )
+ )
+ (i32.const 120)
+ )
+ (i32.const 55)
+ )
+ )
+ )
+ )
+ (local.get $0)
+ )
+ (func $__wasm_call_ctors (; 2 ;)
+ (nop)
+ )
+)
+total
+ [events] : 0
+ [exports] : 3
+ [funcs] : 3
+ [globals] : 1
+ [imports] : 0
+ [total] : 37
+ [vars] : 0
+ binary : 11
+ block : 2
+ break : 1
+ const : 8
+ global.get : 1
+ global.set : 1
+ if : 1
+ local.get : 8
+ local.set : 2
+ loop : 1
+ nop : 1
+(module
+ (type $none_=>_none (func))
+ (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (global $global$0 (mut i32) (i32.const 5243904))
+ (export "a" (func $__wasm_call_ctors))
+ (export "b" (func $main))
+ (export "c" (func $stackAlloc))
+ (func $stackAlloc (; 0 ;) (param $0 i32) (result i32)
+ (global.set $global$0
+ (local.tee $0
+ (i32.and
+ (i32.sub
+ (global.get $global$0)
+ (local.get $0)
+ )
+ (i32.const -16)
+ )
+ )
+ )
+ (local.get $0)
+ )
+ (func $main (; 1 ;) (param $0 i32) (param $1 i32) (result i32)
+ (if
+ (i32.ne
+ (i32.rem_s
+ (local.get $0)
+ (i32.const 120)
+ )
+ (i32.const 55)
+ )
+ (loop $label$2
+ (br_if $label$2
+ (i32.ne
+ (i32.rem_s
+ (local.tee $0
+ (i32.add
+ (i32.add
+ (i32.mul
+ (i32.mul
+ (local.get $0)
+ (local.get $0)
+ )
+ (local.get $0)
+ )
+ (i32.div_s
+ (local.get $0)
+ (i32.const -2)
+ )
+ )
+ (i32.const 13)
+ )
+ )
+ (i32.const 120)
+ )
+ (i32.const 55)
+ )
+ )
+ )
+ )
+ (local.get $0)
+ )
+ (func $__wasm_call_ctors (; 2 ;)
+ (nop)
+ )
+)
diff --git a/test/passes/print_g_metrics.wasm b/test/passes/print_g_metrics.wasm
new file mode 100644
index 000000000..8dadc573b
--- /dev/null
+++ b/test/passes/print_g_metrics.wasm
Binary files differ
diff --git a/test/passes/print_g_strip-dwarf.bin.txt b/test/passes/print_g_strip-dwarf.bin.txt
new file mode 100644
index 000000000..6596f7d34
--- /dev/null
+++ b/test/passes/print_g_strip-dwarf.bin.txt
@@ -0,0 +1,178 @@
+(module
+ (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $none_=>_none (func))
+ (type $i32_=>_none (func (param i32)))
+ (type $none_=>_i32 (func (result i32)))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (import "env" "memory" (memory $0 256 256))
+ (global $global$0 (mut i32) (i32.const 5243904))
+ (global $global$1 i32 (i32.const 1024))
+ (export "__wasm_call_ctors" (func $__wasm_call_ctors))
+ (export "main" (func $main))
+ (export "__data_end" (global $global$1))
+ (export "stackSave" (func $stackSave))
+ (export "stackAlloc" (func $stackAlloc))
+ (export "stackRestore" (func $stackRestore))
+ (export "__growWasmMemory" (func $__growWasmMemory))
+ (func $__wasm_call_ctors (; 0 ;)
+ (nop)
+ )
+ (func $main (; 1 ;) (param $0 i32) (param $1 i32) (result i32)
+ (if
+ (i32.ne
+ (i32.rem_s
+ (local.get $0)
+ (i32.const 120)
+ )
+ (i32.const 55)
+ )
+ (loop $label$2
+ (br_if $label$2
+ (i32.ne
+ (i32.rem_s
+ (local.tee $0
+ (i32.add
+ (i32.add
+ (i32.mul
+ (i32.mul
+ (local.get $0)
+ (local.get $0)
+ )
+ (local.get $0)
+ )
+ (i32.div_s
+ (local.get $0)
+ (i32.const -2)
+ )
+ )
+ (i32.const 13)
+ )
+ )
+ (i32.const 120)
+ )
+ (i32.const 55)
+ )
+ )
+ )
+ )
+ (local.get $0)
+ )
+ (func $stackSave (; 2 ;) (result i32)
+ (global.get $global$0)
+ )
+ (func $stackAlloc (; 3 ;) (param $0 i32) (result i32)
+ (global.set $global$0
+ (local.tee $0
+ (i32.and
+ (i32.sub
+ (global.get $global$0)
+ (local.get $0)
+ )
+ (i32.const -16)
+ )
+ )
+ )
+ (local.get $0)
+ )
+ (func $stackRestore (; 4 ;) (param $0 i32)
+ (global.set $global$0
+ (local.get $0)
+ )
+ )
+ (func $__growWasmMemory (; 5 ;) (param $0 i32) (result i32)
+ (memory.grow
+ (local.get $0)
+ )
+ )
+ ;; custom section ".debug_info", size 105
+ ;; custom section ".debug_abbrev", size 73
+ ;; custom section ".debug_line", size 92
+ ;; custom section ".debug_str", size 205
+)
+(module
+ (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $none_=>_none (func))
+ (type $i32_=>_none (func (param i32)))
+ (type $none_=>_i32 (func (result i32)))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (import "env" "memory" (memory $0 256 256))
+ (global $global$0 (mut i32) (i32.const 5243904))
+ (global $global$1 i32 (i32.const 1024))
+ (export "__wasm_call_ctors" (func $__wasm_call_ctors))
+ (export "main" (func $main))
+ (export "__data_end" (global $global$1))
+ (export "stackSave" (func $stackSave))
+ (export "stackAlloc" (func $stackAlloc))
+ (export "stackRestore" (func $stackRestore))
+ (export "__growWasmMemory" (func $__growWasmMemory))
+ (func $__wasm_call_ctors (; 0 ;)
+ (nop)
+ )
+ (func $main (; 1 ;) (param $0 i32) (param $1 i32) (result i32)
+ (if
+ (i32.ne
+ (i32.rem_s
+ (local.get $0)
+ (i32.const 120)
+ )
+ (i32.const 55)
+ )
+ (loop $label$2
+ (br_if $label$2
+ (i32.ne
+ (i32.rem_s
+ (local.tee $0
+ (i32.add
+ (i32.add
+ (i32.mul
+ (i32.mul
+ (local.get $0)
+ (local.get $0)
+ )
+ (local.get $0)
+ )
+ (i32.div_s
+ (local.get $0)
+ (i32.const -2)
+ )
+ )
+ (i32.const 13)
+ )
+ )
+ (i32.const 120)
+ )
+ (i32.const 55)
+ )
+ )
+ )
+ )
+ (local.get $0)
+ )
+ (func $stackSave (; 2 ;) (result i32)
+ (global.get $global$0)
+ )
+ (func $stackAlloc (; 3 ;) (param $0 i32) (result i32)
+ (global.set $global$0
+ (local.tee $0
+ (i32.and
+ (i32.sub
+ (global.get $global$0)
+ (local.get $0)
+ )
+ (i32.const -16)
+ )
+ )
+ )
+ (local.get $0)
+ )
+ (func $stackRestore (; 4 ;) (param $0 i32)
+ (global.set $global$0
+ (local.get $0)
+ )
+ )
+ (func $__growWasmMemory (; 5 ;) (param $0 i32) (result i32)
+ (memory.grow
+ (local.get $0)
+ )
+ )
+)
diff --git a/test/passes/print_g_strip-dwarf.wasm b/test/passes/print_g_strip-dwarf.wasm
new file mode 100644
index 000000000..c88fb54bd
--- /dev/null
+++ b/test/passes/print_g_strip-dwarf.wasm
Binary files differ
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-07 01:48:07 +0000