| ;; Test that we can pass an optional title to metrics instances. |
| ;; |
| ;; RUN: wasm-opt %s --metrics --metrics=second --remove-unused-module-elements --metrics=third --metrics -q | filecheck %s |
| ;; |
| ;; The number of functions decreases to 0 after --remove-unused-module-elements, |
| ;; showing that we display the proper metrics at each point in time. |
| ;; |
| ;; CHECK: Metrics |
| ;; CHECK-NEXT: total |
| ;; CHECK-NEXT: [exports] : 0 |
| ;; CHECK-NEXT: [funcs] : 1 |
| ;; |
| ;; CHECK: Metrics: second |
| ;; CHECK-NEXT: total |
| ;; CHECK-NEXT: [exports] : 0 |
| ;; CHECK-NEXT: [funcs] : 1 |
| ;; |
| ;; CHECK: Metrics: third |
| ;; CHECK-NEXT: total |
| ;; CHECK-NEXT: [exports] : 0 |
| ;; CHECK-NEXT: [funcs] : 0 -1 |
| ;; |
| ;; CHECK: Metrics |
| ;; CHECK-NEXT: total |
| ;; CHECK-NEXT: [exports] : 0 |
| ;; CHECK-NEXT: [funcs] : 0 |
| |
| (module |
| (func $foo) |
| ) |