add --converge option to wasm-opt (#1524)

The option keeps running the passes (that we were told to run) in cycles until we converge in terms of the binary size, that is, keep optimizing until we can't shrink any more.

Also fix a --metrics bug this uncovered: we can't expect the Metrics object to still be around if running passes later in another PassRunner.

2 files changed, 761 insertions, 0 deletions

diff --git a/test/passes/converge_O3_metrics.bin.txt b/test/passes/converge_O3_metrics.bin.txt
new file mode 100644
index 000000000..ab88c57d0
--- /dev/null
+++ b/test/passes/converge_O3_metrics.bin.txt
@@ -0,0 +1,761 @@
+total
+ [funcs]        : 9       
+ [memory-data]  : 28      
+ [table-data]   : 429     
+ [total]        : 145     
+ [vars]         : 5       
+ binary         : 14      
+ block          : 9       
+ break          : 3       
+ call           : 3       
+ call_import    : 1       
+ call_indirect  : 4       
+ const          : 50      
+ drop           : 3       
+ get_global     : 1       
+ get_local      : 20      
+ if             : 3       
+ load           : 16      
+ loop           : 1       
+ set_global     : 1       
+ set_local      : 11      
+ store          : 5       
+(module
+ (type $0 (func (param i32 i32) (result i32)))
+ (type $1 (func (param i32 i32 i32) (result i32)))
+ (type $2 (func (param i32) (result i32)))
+ (type $3 (func (param i32)))
+ (type $6 (func (param i32 i32 i32 i32 i32 i32 i32) (result i32)))
+ (type $7 (func (result i32)))
+ (import "env" "memory" (memory $0 256 256))
+ (import "env" "table" (table 478 478 anyfunc))
+ (import "env" "___syscall146" (func $import$0 (param i32 i32) (result i32)))
+ (global $global$0 (mut i32) (i32.const 1))
+ (elem (i32.const 0) $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $___stdout_write $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $__ZNSt3__211__stdoutbufIcE6xsputnEPKci $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $__ZNSt3__211__stdoutbufIcE8overflowEi)
+ (data (i32.const 2948) "\03")
+ (data (i32.const 6828) "\04")
+ (data (i32.const 7028) "\0d\00\00\00\06")
+ (data (i32.const 10888) "hello, world!")
+ (data (i32.const 18100) "\b8\1a")
+ (data (i32.const 18128) ",I")
+ (data (i32.const 18732) "D\1b")
+ (data (i32.const 18764) "`\0b")
+ (export "_main" (func $_main))
+ (export "_malloc" (func $_malloc))
+ (func $b0 (; 1 ;) (type $6) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32) (param $5 i32) (param $6 i32) (result i32)
+  (i32.const 0)
+ )
+ (func $_malloc (; 2 ;) (type $2) (param $0 i32) (result i32)
+  (i32.const 0)
+ )
+ (func $___stdio_write (; 3 ;) (type $1) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
+  (i32.store
+   (i32.const 8)
+   (get_local $1)
+  )
+  (i32.store
+   (i32.const 12)
+   (get_local $2)
+  )
+  (i32.store
+   (tee_local $1
+    (get_global $global$0)
+   )
+   (i32.const 1)
+  )
+  (i32.store offset=8
+   (get_local $1)
+   (i32.const 2)
+  )
+  (drop
+   (if (result i32)
+    (call $import$0
+     (i32.const 146)
+     (get_local $1)
+    )
+    (i32.const -1)
+    (i32.const 0)
+   )
+  )
+  (i32.const 1)
+ )
+ (func $_main (; 4 ;) (type $7) (result i32)
+  (local $0 i32)
+  (local $1 i32)
+  (call $__ZNSt3__224__put_character_sequenceIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_PKS4_j
+   (block (result i32)
+    (set_local $1
+     (tee_local $0
+      (i32.const 10888)
+     )
+    )
+    (loop $label$3
+     (br_if $label$3
+      (i32.load8_s
+       (tee_local $0
+        (i32.add
+         (get_local $0)
+         (i32.const 1)
+        )
+       )
+      )
+     )
+    )
+    (i32.sub
+     (get_local $0)
+     (i32.const 10888)
+    )
+   )
+  )
+  (call $__ZNSt3__213basic_ostreamIcNS_11char_traitsIcEEE3putEc
+   (i32.const 10)
+  )
+  (i32.const 0)
+ )
+ (func $___stdout_write (; 5 ;) (type $1) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
+  (set_global $global$0
+   (i32.const 32)
+  )
+  (call $___stdio_write
+   (i32.const 1)
+   (get_local $1)
+   (get_local $2)
+  )
+ )
+ (func $__ZNSt3__224__put_character_sequenceIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_PKS4_j (; 6 ;) (type $3) (param $0 i32)
+  (local $1 i32)
+  (set_local $1
+   (i32.load offset=24
+    (i32.add
+     (i32.load
+      (i32.add
+       (i32.load
+        (i32.const 18100)
+       )
+       (i32.const -12)
+      )
+     )
+     (i32.const 18100)
+    )
+   )
+  )
+  (block $label$2
+   (if
+    (tee_local $0
+     (i32.sub
+      (tee_local $0
+       (i32.add
+        (get_local $0)
+        (i32.const 10888)
+       )
+      )
+      (i32.const 10888)
+     )
+    )
+    (br_if $label$2
+     (call_indirect (type $1)
+      (get_local $1)
+      (i32.const 10888)
+      (get_local $0)
+      (i32.add
+       (i32.load offset=48
+        (i32.load
+         (get_local $1)
+        )
+       )
+       (i32.const 8)
+      )
+     )
+    )
+   )
+  )
+ )
+ (func $__ZNSt3__213basic_ostreamIcNS_11char_traitsIcEEE3putEc (; 7 ;) (type $3) (param $0 i32)
+  (local $1 i32)
+  (local $2 i32)
+  (block $label$1
+   (br_if $label$1
+    (if (result i32)
+     (i32.load
+      (i32.add
+       (tee_local $2
+        (tee_local $1
+         (i32.load
+          (i32.add
+           (i32.load
+            (i32.add
+             (i32.load
+              (i32.const 18100)
+             )
+             (i32.const -12)
+            )
+           )
+           (i32.const 18124)
+          )
+         )
+        )
+       )
+       (i32.const 24)
+      )
+     )
+     (i32.const 0)
+     (call_indirect (type $0)
+      (get_local $2)
+      (get_local $0)
+      (i32.add
+       (i32.load offset=52
+        (i32.load
+         (get_local $1)
+        )
+       )
+       (i32.const 422)
+      )
+     )
+    )
+   )
+  )
+ )
+ (func $__ZNSt3__211__stdoutbufIcE8overflowEi (; 8 ;) (type $0) (param $0 i32) (param $1 i32) (result i32)
+  (i32.store8
+   (i32.const 0)
+   (get_local $1)
+  )
+  (drop
+   (call_indirect (type $1)
+    (i32.const 0)
+    (i32.const 0)
+    (i32.const 1)
+    (i32.add
+     (i32.load offset=36
+      (tee_local $0
+       (i32.load
+        (i32.add
+         (get_local $0)
+         (i32.const 32)
+        )
+       )
+      )
+     )
+     (i32.const 8)
+    )
+   )
+  )
+  (i32.const 0)
+ )
+ (func $__ZNSt3__211__stdoutbufIcE6xsputnEPKci (; 9 ;) (type $1) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
+  (drop
+   (call_indirect (type $1)
+    (i32.const 0)
+    (get_local $1)
+    (get_local $2)
+    (i32.add
+     (i32.load offset=36
+      (tee_local $0
+       (i32.load offset=32
+        (get_local $0)
+       )
+      )
+     )
+     (i32.const 8)
+    )
+   )
+  )
+  (i32.const 0)
+ )
+)
+total
+ [funcs]        : 9       
+ [memory-data]  : 28      
+ [table-data]   : 429     
+ [total]        : 136           -9
+ [vars]         : 4             -1
+ binary         : 12            -2
+ block          : 9       
+ break          : 3       
+ call           : 3       
+ call_import    : 1       
+ call_indirect  : 4       
+ const          : 48            -2
+ drop           : 3       
+ get_global     : 1       
+ get_local      : 20      
+ if             : 3       
+ load           : 16      
+ loop           : 1       
+ set_global     : 1       
+ set_local      : 6             -5
+ store          : 5       
+(module
+ (type $0 (func (param i32 i32) (result i32)))
+ (type $1 (func (param i32 i32 i32) (result i32)))
+ (type $2 (func (param i32) (result i32)))
+ (type $3 (func (param i32)))
+ (type $6 (func (param i32 i32 i32 i32 i32 i32 i32) (result i32)))
+ (type $7 (func (result i32)))
+ (import "env" "memory" (memory $0 256 256))
+ (import "env" "table" (table 478 478 anyfunc))
+ (import "env" "___syscall146" (func $import$0 (param i32 i32) (result i32)))
+ (global $global$0 (mut i32) (i32.const 1))
+ (elem (i32.const 0) $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $___stdout_write $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $__ZNSt3__211__stdoutbufIcE6xsputnEPKci $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $__ZNSt3__211__stdoutbufIcE8overflowEi)
+ (data (i32.const 2948) "\03")
+ (data (i32.const 6828) "\04")
+ (data (i32.const 7028) "\0d\00\00\00\06")
+ (data (i32.const 10888) "hello, world!")
+ (data (i32.const 18100) "\b8\1a")
+ (data (i32.const 18128) ",I")
+ (data (i32.const 18732) "D\1b")
+ (data (i32.const 18764) "`\0b")
+ (export "_main" (func $_main))
+ (export "_malloc" (func $_malloc))
+ (func $b0 (; 1 ;) (type $6) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32) (param $5 i32) (param $6 i32) (result i32)
+  (i32.const 0)
+ )
+ (func $_malloc (; 2 ;) (type $2) (param $0 i32) (result i32)
+  (i32.const 0)
+ )
+ (func $___stdio_write (; 3 ;) (type $1) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
+  (i32.store
+   (i32.const 8)
+   (get_local $1)
+  )
+  (i32.store
+   (i32.const 12)
+   (get_local $2)
+  )
+  (i32.store
+   (tee_local $1
+    (get_global $global$0)
+   )
+   (i32.const 1)
+  )
+  (i32.store offset=8
+   (get_local $1)
+   (i32.const 2)
+  )
+  (drop
+   (if (result i32)
+    (call $import$0
+     (i32.const 146)
+     (get_local $1)
+    )
+    (i32.const -1)
+    (i32.const 0)
+   )
+  )
+  (i32.const 1)
+ )
+ (func $_main (; 4 ;) (type $7) (result i32)
+  (local $0 i32)
+  (call $__ZNSt3__224__put_character_sequenceIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_PKS4_j
+   (block (result i32)
+    (set_local $0
+     (i32.const 10888)
+    )
+    (loop $label$3
+     (br_if $label$3
+      (i32.load8_s
+       (tee_local $0
+        (i32.add
+         (get_local $0)
+         (i32.const 1)
+        )
+       )
+      )
+     )
+    )
+    (i32.sub
+     (get_local $0)
+     (i32.const 10888)
+    )
+   )
+  )
+  (call $__ZNSt3__213basic_ostreamIcNS_11char_traitsIcEEE3putEc
+   (i32.const 10)
+  )
+  (i32.const 0)
+ )
+ (func $___stdout_write (; 5 ;) (type $1) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
+  (set_global $global$0
+   (i32.const 32)
+  )
+  (call $___stdio_write
+   (i32.const 1)
+   (get_local $1)
+   (get_local $2)
+  )
+ )
+ (func $__ZNSt3__224__put_character_sequenceIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_PKS4_j (; 6 ;) (type $3) (param $0 i32)
+  (local $1 i32)
+  (set_local $1
+   (i32.load offset=24
+    (i32.add
+     (i32.load
+      (i32.add
+       (i32.load
+        (i32.const 18100)
+       )
+       (i32.const -12)
+      )
+     )
+     (i32.const 18100)
+    )
+   )
+  )
+  (block $label$2
+   (if
+    (get_local $0)
+    (br_if $label$2
+     (call_indirect (type $1)
+      (get_local $1)
+      (i32.const 10888)
+      (get_local $0)
+      (i32.add
+       (i32.load offset=48
+        (i32.load
+         (get_local $1)
+        )
+       )
+       (i32.const 8)
+      )
+     )
+    )
+   )
+  )
+ )
+ (func $__ZNSt3__213basic_ostreamIcNS_11char_traitsIcEEE3putEc (; 7 ;) (type $3) (param $0 i32)
+  (local $1 i32)
+  (local $2 i32)
+  (block $label$1
+   (br_if $label$1
+    (if (result i32)
+     (i32.load
+      (i32.add
+       (tee_local $2
+        (tee_local $1
+         (i32.load
+          (i32.add
+           (i32.load
+            (i32.add
+             (i32.load
+              (i32.const 18100)
+             )
+             (i32.const -12)
+            )
+           )
+           (i32.const 18124)
+          )
+         )
+        )
+       )
+       (i32.const 24)
+      )
+     )
+     (i32.const 0)
+     (call_indirect (type $0)
+      (get_local $2)
+      (get_local $0)
+      (i32.add
+       (i32.load offset=52
+        (i32.load
+         (get_local $1)
+        )
+       )
+       (i32.const 422)
+      )
+     )
+    )
+   )
+  )
+ )
+ (func $__ZNSt3__211__stdoutbufIcE8overflowEi (; 8 ;) (type $0) (param $0 i32) (param $1 i32) (result i32)
+  (i32.store8
+   (i32.const 0)
+   (get_local $1)
+  )
+  (drop
+   (call_indirect (type $1)
+    (i32.const 0)
+    (i32.const 0)
+    (i32.const 1)
+    (i32.add
+     (i32.load offset=36
+      (i32.load
+       (i32.add
+        (get_local $0)
+        (i32.const 32)
+       )
+      )
+     )
+     (i32.const 8)
+    )
+   )
+  )
+  (i32.const 0)
+ )
+ (func $__ZNSt3__211__stdoutbufIcE6xsputnEPKci (; 9 ;) (type $1) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
+  (drop
+   (call_indirect (type $1)
+    (i32.const 0)
+    (get_local $1)
+    (get_local $2)
+    (i32.add
+     (i32.load offset=36
+      (i32.load offset=32
+       (get_local $0)
+      )
+     )
+     (i32.const 8)
+    )
+   )
+  )
+  (i32.const 0)
+ )
+)
+total
+ [funcs]        : 9       
+ [memory-data]  : 28      
+ [table-data]   : 429     
+ [total]        : 136     
+ [vars]         : 4       
+ binary         : 12      
+ block          : 9       
+ break          : 3       
+ call           : 3       
+ call_import    : 1       
+ call_indirect  : 4       
+ const          : 48      
+ drop           : 3       
+ get_global     : 1       
+ get_local      : 20      
+ if             : 3       
+ load           : 16      
+ loop           : 1       
+ set_global     : 1       
+ set_local      : 6       
+ store          : 5       
+(module
+ (type $0 (func (param i32 i32) (result i32)))
+ (type $1 (func (param i32 i32 i32) (result i32)))
+ (type $2 (func (param i32) (result i32)))
+ (type $3 (func (param i32)))
+ (type $6 (func (param i32 i32 i32 i32 i32 i32 i32) (result i32)))
+ (type $7 (func (result i32)))
+ (import "env" "memory" (memory $0 256 256))
+ (import "env" "table" (table 478 478 anyfunc))
+ (import "env" "___syscall146" (func $import$0 (param i32 i32) (result i32)))
+ (global $global$0 (mut i32) (i32.const 1))
+ (elem (i32.const 0) $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $___stdout_write $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $__ZNSt3__211__stdoutbufIcE6xsputnEPKci $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $b0 $__ZNSt3__211__stdoutbufIcE8overflowEi)
+ (data (i32.const 2948) "\03")
+ (data (i32.const 6828) "\04")
+ (data (i32.const 7028) "\0d\00\00\00\06")
+ (data (i32.const 10888) "hello, world!")
+ (data (i32.const 18100) "\b8\1a")
+ (data (i32.const 18128) ",I")
+ (data (i32.const 18732) "D\1b")
+ (data (i32.const 18764) "`\0b")
+ (export "_main" (func $_main))
+ (export "_malloc" (func $_malloc))
+ (func $b0 (; 1 ;) (type $6) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32) (param $5 i32) (param $6 i32) (result i32)
+  (i32.const 0)
+ )
+ (func $_malloc (; 2 ;) (type $2) (param $0 i32) (result i32)
+  (i32.const 0)
+ )
+ (func $___stdio_write (; 3 ;) (type $1) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
+  (i32.store
+   (i32.const 8)
+   (get_local $1)
+  )
+  (i32.store
+   (i32.const 12)
+   (get_local $2)
+  )
+  (i32.store
+   (tee_local $1
+    (get_global $global$0)
+   )
+   (i32.const 1)
+  )
+  (i32.store offset=8
+   (get_local $1)
+   (i32.const 2)
+  )
+  (drop
+   (if (result i32)
+    (call $import$0
+     (i32.const 146)
+     (get_local $1)
+    )
+    (i32.const -1)
+    (i32.const 0)
+   )
+  )
+  (i32.const 1)
+ )
+ (func $_main (; 4 ;) (type $7) (result i32)
+  (local $0 i32)
+  (call $__ZNSt3__224__put_character_sequenceIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_PKS4_j
+   (block (result i32)
+    (set_local $0
+     (i32.const 10888)
+    )
+    (loop $label$3
+     (br_if $label$3
+      (i32.load8_s
+       (tee_local $0
+        (i32.add
+         (get_local $0)
+         (i32.const 1)
+        )
+       )
+      )
+     )
+    )
+    (i32.sub
+     (get_local $0)
+     (i32.const 10888)
+    )
+   )
+  )
+  (call $__ZNSt3__213basic_ostreamIcNS_11char_traitsIcEEE3putEc
+   (i32.const 10)
+  )
+  (i32.const 0)
+ )
+ (func $___stdout_write (; 5 ;) (type $1) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
+  (set_global $global$0
+   (i32.const 32)
+  )
+  (call $___stdio_write
+   (i32.const 1)
+   (get_local $1)
+   (get_local $2)
+  )
+ )
+ (func $__ZNSt3__224__put_character_sequenceIcNS_11char_traitsIcEEEERNS_13basic_ostreamIT_T0_EES7_PKS4_j (; 6 ;) (type $3) (param $0 i32)
+  (local $1 i32)
+  (set_local $1
+   (i32.load offset=24
+    (i32.add
+     (i32.load
+      (i32.add
+       (i32.load
+        (i32.const 18100)
+       )
+       (i32.const -12)
+      )
+     )
+     (i32.const 18100)
+    )
+   )
+  )
+  (block $label$2
+   (if
+    (get_local $0)
+    (br_if $label$2
+     (call_indirect (type $1)
+      (get_local $1)
+      (i32.const 10888)
+      (get_local $0)
+      (i32.add
+       (i32.load offset=48
+        (i32.load
+         (get_local $1)
+        )
+       )
+       (i32.const 8)
+      )
+     )
+    )
+   )
+  )
+ )
+ (func $__ZNSt3__213basic_ostreamIcNS_11char_traitsIcEEE3putEc (; 7 ;) (type $3) (param $0 i32)
+  (local $1 i32)
+  (local $2 i32)
+  (block $label$1
+   (br_if $label$1
+    (if (result i32)
+     (i32.load
+      (i32.add
+       (tee_local $2
+        (tee_local $1
+         (i32.load
+          (i32.add
+           (i32.load
+            (i32.add
+             (i32.load
+              (i32.const 18100)
+             )
+             (i32.const -12)
+            )
+           )
+           (i32.const 18124)
+          )
+         )
+        )
+       )
+       (i32.const 24)
+      )
+     )
+     (i32.const 0)
+     (call_indirect (type $0)
+      (get_local $2)
+      (get_local $0)
+      (i32.add
+       (i32.load offset=52
+        (i32.load
+         (get_local $1)
+        )
+       )
+       (i32.const 422)
+      )
+     )
+    )
+   )
+  )
+ )
+ (func $__ZNSt3__211__stdoutbufIcE8overflowEi (; 8 ;) (type $0) (param $0 i32) (param $1 i32) (result i32)
+  (i32.store8
+   (i32.const 0)
+   (get_local $1)
+  )
+  (drop
+   (call_indirect (type $1)
+    (i32.const 0)
+    (i32.const 0)
+    (i32.const 1)
+    (i32.add
+     (i32.load offset=36
+      (i32.load
+       (i32.add
+        (get_local $0)
+        (i32.const 32)
+       )
+      )
+     )
+     (i32.const 8)
+    )
+   )
+  )
+  (i32.const 0)
+ )
+ (func $__ZNSt3__211__stdoutbufIcE6xsputnEPKci (; 9 ;) (type $1) (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
+  (drop
+   (call_indirect (type $1)
+    (i32.const 0)
+    (get_local $1)
+    (get_local $2)
+    (i32.add
+     (i32.load offset=36
+      (i32.load offset=32
+       (get_local $0)
+      )
+     )
+     (i32.const 8)
+    )
+   )
+  )
+  (i32.const 0)
+ )
+)
diff --git a/test/passes/converge_O3_metrics.wasm b/test/passes/converge_O3_metrics.wasm
new file mode 100644
index 000000000..a1cc9a967
--- /dev/null
+++ b/test/passes/converge_O3_metrics.wasm