diff options
| author | Alon Zakai <azakai@google.com> | 2024-07-30 14:29:28 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-30 14:29:28 -0700 |
| commit | 5078d4daffb39edb91785e5fd6d28c5ff92478e4 (patch) | |
| tree | 5adbde78501e079d8c2d0a40ea4a52f3046fa822 /test/passes/O3_low-memory-unused_metrics.txt | |
| parent | e2f666adbae7d5d431e3521ede5d9dd828f0cd97 (diff) | |
| download | binaryen-5078d4daffb39edb91785e5fd6d28c5ff92478e4.tar.gz binaryen-5078d4daffb39edb91785e5fd6d28c5ff92478e4.tar.bz2 binaryen-5078d4daffb39edb91785e5fd6d28c5ff92478e4.zip | |
Add a customizable title to Metrics reporting (#6792)
Before the PR:
$ bin/wasm-opt test/hello_world.wat --metrics
total
[exports] : 1
[funcs] : 1
[globals] : 0
[imports] : 0
[memories] : 1
[memory-data] : 0
[tables] : 0
[tags] : 0
[total] : 3
[vars] : 0
Binary : 1
LocalGet : 2
After the PR:
$ bin/wasm-opt test/hello_world.wat --metrics
Metrics
total
[exports] : 1
[funcs] : 1
...
Note the "Metrics" addition at the top. And the title can be customized:
$ bin/wasm-opt test/hello_world.wat --metrics=text
Metrics: text
total
[exports] : 1
[funcs] : 1
The custom title can be helpful when multiple invocations of metrics are used
at once, e.g. --metrics=before -O3 --metrics=after.
Diffstat (limited to 'test/passes/O3_low-memory-unused_metrics.txt')
| -rw-r--r-- | test/passes/O3_low-memory-unused_metrics.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/passes/O3_low-memory-unused_metrics.txt b/test/passes/O3_low-memory-unused_metrics.txt index fd9245adc..8806e9a04 100644 --- a/test/passes/O3_low-memory-unused_metrics.txt +++ b/test/passes/O3_low-memory-unused_metrics.txt @@ -1,3 +1,4 @@ +Metrics total [exports] : 1 [funcs] : 1 |