diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2019-01-31 09:35:32 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-31 09:35:32 -0800 |
| commit | ddb5acd34238967a2487a70926849c89f38a35e2 (patch) | |
| tree | 35be190a17fc8b1d9a0824dd5a4376f46d53c9a0 /test/passes/metrics_strip-debug_metrics.bin.txt | |
| parent | 5f1afa58d22dce1088c63eff690283d8c615feee (diff) | |
| download | binaryen-ddb5acd34238967a2487a70926849c89f38a35e2.tar.gz binaryen-ddb5acd34238967a2487a70926849c89f38a35e2.tar.bz2 binaryen-ddb5acd34238967a2487a70926849c89f38a35e2.zip | |
Strip the producers section in --strip-producers (#1875)
WebAssembly/tool-conventions#93 has a summary of emscripten's current thinking on this. For Binaryen, we don't want to do anything to the producers section by default, but do want it to be possible to optionally remove it. To achieve that, this PR
* creates a --strip-producers pass that removes that section.
* creates a --strip-debug pass that removes debug info, same as the old --strip, which is still around but deprecated.
A followup in emscripten will use this pass by default.
Diffstat (limited to 'test/passes/metrics_strip-debug_metrics.bin.txt')
| -rw-r--r-- | test/passes/metrics_strip-debug_metrics.bin.txt | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/passes/metrics_strip-debug_metrics.bin.txt b/test/passes/metrics_strip-debug_metrics.bin.txt new file mode 100644 index 000000000..dbb3dcc37 --- /dev/null +++ b/test/passes/metrics_strip-debug_metrics.bin.txt @@ -0,0 +1,17 @@ +total + [funcs] : 1 + [total] : 1 + nop : 1 +total + [funcs] : 1 + [total] : 1 + nop : 1 +(module + (type $0 (func)) + (export "a" (func $0)) + (func $0 (; 0 ;) (type $0) + (nop) + ) + ;; custom section "emscripten_metadata", size 7 + ;; custom section "producers", size 187 +) |