duplicate-function-elimination improvements (#1590)

On a codebase with 370K functions, 160K were in fact duplicate (!)... and it took many many passes to figure that out, over 2 minutes in fact (!), as A and B may be identical only after we see that the functions C1, C2 that they call are identical (so there can be long "chains" here).

To avoid this, limit how many passes we do. In -O1, just do one pass - that gets most duplicates. In -O2, do 10 passes - that gets almost all of it on this codebase. And in -O3 (or -Os/-Oz) do as many passes as necessary (i.e., the old behavior). This at least lets iteration builds (-O1) be nice and fast.

This PR also refactors the hashing code used in that pass, moving it to nicer header files for clearer readability. Also some other minor cleanups in hashing code that helped debug this.

1 files changed, 1221 insertions, 0 deletions

diff --git a/test/passes/duplicate-function-elimination_optimize-level=1.wast b/test/passes/duplicate-function-elimination_optimize-level=1.wast
new file mode 100644
index 000000000..b79032155
--- /dev/null
+++ b/test/passes/duplicate-function-elimination_optimize-level=1.wast
@@ -0,0 +1,1221 @@
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (nop)
+  )
+  (func $other (type $0)
+    (nop)
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (i32.const 0)
+    )
+  )
+  (func $other (type $0)
+    (nop)
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (drop
+      (i32.const 0)
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (i32.const 0)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (i32.const 0)
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (i32.const 1)
+    )
+  )
+)
+(module
+  (memory 0)
+  (start $other)
+  (type $0 (func))
+  (export "keep2" $keep2)
+  (export "other" $other)
+  (table 3 3 anyfunc)
+  (elem (i32.const 0) $keep2 $other $caller)
+  (func $keep2 (type $0)
+    (nop)
+  )
+  (func $other (type $0)
+    (nop)
+  )
+  (func $caller (type $0)
+    (call $keep2)
+    (call $other)
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2-after-two-passes (type $0)
+    (nop)
+  )
+  (func $other (type $0)
+    (nop)
+  )
+  (func $keep-caller (type $0)
+    (call $keep2-after-two-passes)
+  )
+  (func $other-caller (type $0)
+    (call $other)
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep-4 (type $0)
+    (nop)
+  )
+  (func $other (type $0)
+    (unreachable)
+  )
+  (func $keep-caller (type $0)
+    (call $keep-4)
+  )
+  (func $other-caller (type $0)
+    (call $other)
+  )
+)
+(module
+  (memory 0)
+  (type $T (func (result i32)))
+  (type $S (func (result i32)))
+  (type $2 (func))
+  (type $3 (func (param i32)))
+  (func $keep4-similar-but-func-sig-differs (type $2)
+    (drop
+      (i32.const 0)
+    )
+  )
+  (func $other1 (type $3) (param $i i32)
+    (drop
+      (i32.const 0)
+    )
+  )
+  (func $other2 (type $T) (result i32)
+    (i32.const 0)
+  )
+  (func $other3 (type $S) (result i32)
+    (i32.const 0)
+  )
+)
+(module
+  (memory 0)
+  (type $S (func (result i32)))
+  (type $1 (func (param i32)))
+  (func $keep2-similar-but-func-sig-differs (type $1) (param $i i32)
+    (drop
+      (i32.const 0)
+    )
+  )
+  (func $other1 (type $1) (param $i i32)
+    (drop
+      (i32.const 0)
+    )
+  )
+  (func $other2 (type $S) (result i32)
+    (i32.const 0)
+  )
+  (func $other3 (type $S) (result i32)
+    (i32.const 0)
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (nop)
+  )
+  (func $other (type $0)
+    (nop)
+    (nop)
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (block $block0
+    )
+  )
+  (func $other (type $0)
+    (block $block0
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (block $block0
+    )
+  )
+  (func $other (type $0)
+    (block $block0
+      (nop)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (block $block0
+      (nop)
+    )
+  )
+  (func $other (type $0)
+    (block $block0
+      (nop)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (block $block0
+      (nop)
+    )
+  )
+  (func $other (type $0)
+    (block $block0
+      (nop)
+      (unreachable)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (block $block0
+      (nop)
+    )
+  )
+  (func $other (type $0)
+    (block $block0
+      (unreachable)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase-since-block-names-do-not-matter (type $0)
+    (block $foo
+    )
+  )
+  (func $other (type $0)
+    (block $bar
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase-since-block-names-do-not-matter (type $0)
+    (block $foo
+      (br $foo)
+      (br_table $foo $foo
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (block $bar
+      (br $bar)
+      (br_table $bar $bar
+        (i32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (block $foo
+      (block
+        (drop
+          (i32.const 0)
+        )
+        (br $foo)
+      )
+    )
+  )
+  (func $other (type $0)
+    (block $bar
+      (block
+        (drop
+          (i32.const 1)
+        )
+        (br $bar)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (block $foo
+      (br_if $foo
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (block $bar
+      (br_if $bar
+        (i32.const 1)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (block $foo
+      (br_if $foo
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (block $bar
+      (br_if $bar
+        (i32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (block $foo
+      (br_table $foo $foo
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (block $bar
+      (br_table $bar $bar
+        (i32.const 1)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (loop $bar
+      (nop)
+    )
+  )
+  (func $other (type $0)
+    (loop $sjc
+      (nop)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (block $foo (result i32)
+        (br_table $foo $foo
+          (i32.const 0)
+          (i32.const 0)
+        )
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (block $bar (result i32)
+        (br_table $bar $bar
+          (i32.const 0)
+          (i32.const 1)
+        )
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (block $foo
+      (block $bar
+        (br_table $foo $bar
+          (i32.const 0)
+        )
+      )
+    )
+  )
+  (func $other (type $0)
+    (block $bar
+      (block $foo
+        (br_table $bar $foo
+          (i32.const 0)
+        )
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (block $foo
+      (block $bar
+        (br_table $foo $bar
+          (i32.const 0)
+        )
+      )
+    )
+  )
+  (func $other (type $0)
+    (block $bar
+      (block $foo
+        (br_table $foo $bar
+          (i32.const 0)
+        )
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (call $erase)
+  )
+  (func $other (type $0)
+    (call $erase)
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2-but-in-theory-we-could-erase (type $0)
+    (call $keep2-but-in-theory-we-could-erase)
+  )
+  (func $other (type $0)
+    (call $other)
+  )
+)
+(module
+  (memory 0)
+  (type $FUNCSIG$v (func))
+  (import $i "env" "i")
+  (import $j "env" "j")
+  (func $erase (type $FUNCSIG$v)
+    (call $i)
+  )
+  (func $other (type $FUNCSIG$v)
+    (call $i)
+  )
+)
+(module
+  (memory 0)
+  (type $FUNCSIG$v (func))
+  (import $i "env" "i")
+  (import $j "env" "j")
+  (func $keep2 (type $FUNCSIG$v)
+    (call $i)
+  )
+  (func $other (type $FUNCSIG$v)
+    (call $j)
+  )
+)
+(module
+  (memory 0)
+  (type $T (func))
+  (table 2 2 anyfunc)
+  (elem (i32.const 0)  $erase $other)
+  (func $erase (type $T)
+    (call_indirect (type $T)
+      (i32.const 0)
+    )
+  )
+  (func $other (type $T)
+    (call_indirect (type $T)
+      (i32.const 0)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $T (func))
+  (table 2 2 anyfunc)
+  (elem (i32.const 0)  $keep2 $other)
+  (func $keep2 (type $T)
+    (call_indirect (type $T)
+      (i32.const 0)
+    )
+  )
+  (func $other (type $T)
+    (call_indirect (type $T)
+      (i32.const 1)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $T (func))
+  (type $S (func))
+  (table 2 2 anyfunc)
+  (elem (i32.const 0)  $keep2 $other)
+  (func $keep2 (type $T)
+    (call_indirect (type $T)
+      (i32.const 0)
+    )
+  )
+  (func $other (type $T)
+    (call_indirect (type $S)
+      (i32.const 0)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase-even-locals-with-different-names (type $0)
+    (local $i i32)
+    (drop
+      (get_local $i)
+    )
+  )
+  (func $other (type $0)
+    (local $j i32)
+    (drop
+      (get_local $j)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (local $i i32)
+    (drop
+      (get_local $i)
+    )
+  )
+  (func $other (type $0)
+    (local $j i64)
+    (drop
+      (get_local $j)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase-even-locals-with-different-names (type $0)
+    (local $i i32)
+    (set_local $i
+      (i32.const 0)
+    )
+  )
+  (func $other (type $0)
+    (local $j i32)
+    (set_local $j
+      (i32.const 0)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (local $i i32)
+    (set_local $i
+      (i32.const 0)
+    )
+  )
+  (func $other (type $0)
+    (local $j i64)
+    (set_local $j
+      (i64.const 0)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (local $i i32)
+    (set_local $i
+      (i32.const 0)
+    )
+  )
+  (func $other (type $0)
+    (local $j i32)
+    (set_local $j
+      (i32.const 1)
+    )
+  )
+)
+(module
+  (memory 10)
+  (type $0 (func))
+  (func $erase (type $0)
+    (drop
+      (i32.load
+        (i32.const 0)
+      )
+    )
+    (drop
+      (i32.load16_s offset=3 align=2
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (i32.load
+        (i32.const 0)
+      )
+    )
+    (drop
+      (i32.load16_s offset=3 align=2
+        (i32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 10)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (i32.load offset=3
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (i32.load16_s offset=3 align=2
+        (i32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 10)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (i32.load16_s offset=3
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (i32.load16_s offset=3 align=1
+        (i32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 10)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (i32.load16_s align=2
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (i32.load16_s offset=3 align=2
+        (i32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 10)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (i32.load16_s offset=3 align=2
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (i32.load16_s offset=3 align=2
+        (i32.const 1)
+      )
+    )
+  )
+)
+(module
+  (memory 10)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (i32.load16_u offset=3 align=2
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (i32.load16_s offset=3 align=2
+        (i32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 10)
+  (type $0 (func))
+  (func $erase (type $0)
+    (i32.store
+      (i32.const 0)
+      (i32.const 100)
+    )
+    (i32.store16 offset=3 align=2
+      (i32.const 0)
+      (i32.const 100)
+    )
+  )
+  (func $other (type $0)
+    (i32.store
+      (i32.const 0)
+      (i32.const 100)
+    )
+    (i32.store16 offset=3 align=2
+      (i32.const 0)
+      (i32.const 100)
+    )
+  )
+)
+(module
+  (memory 10)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (i32.store32 offset=3
+      (i32.const 0)
+      (i32.const 100)
+    )
+  )
+  (func $other (type $0)
+    (i32.store16 offset=3 align=2
+      (i32.const 0)
+      (i32.const 100)
+    )
+  )
+)
+(module
+  (memory 10)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (i32.store16 offset=3
+      (i32.const 0)
+      (i32.const 100)
+    )
+  )
+  (func $other (type $0)
+    (i32.store16 offset=3 align=1
+      (i32.const 0)
+      (i32.const 100)
+    )
+  )
+)
+(module
+  (memory 10)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (i32.store16 align=2
+      (i32.const 0)
+      (i32.const 100)
+    )
+  )
+  (func $other (type $0)
+    (i32.store16 offset=3 align=2
+      (i32.const 0)
+      (i32.const 100)
+    )
+  )
+)
+(module
+  (memory 10)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (i32.store16 offset=3 align=2
+      (i32.const 0)
+      (i32.const 100)
+    )
+  )
+  (func $other (type $0)
+    (i32.store16 offset=3 align=2
+      (i32.const 1)
+      (i32.const 100)
+    )
+  )
+)
+(module
+  (memory 10)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (i32.store16 offset=3 align=2
+      (i32.const 0)
+      (i32.const 100)
+    )
+  )
+  (func $other (type $0)
+    (i32.store16 offset=3 align=2
+      (i32.const 0)
+      (i32.const 101)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (i32.const 0)
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (i64.const 0)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (i32.const 0)
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (f32.const 0)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (i32.const 0)
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (f64.const 0)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (i64.const 0)
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (i64.const 1)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (f32.const 0.10000000149011612)
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (f32.const -0.10000000149011612)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (f64.const 0.1)
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (f64.const 0.2)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (drop
+      (f32.abs
+        (f32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (f32.abs
+        (f32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (f32.abs
+        (f32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (f32.abs
+        (f32.const 1)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (f32.abs
+        (f32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (f32.neg
+        (f32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (drop
+      (f32.add
+        (f32.const 0)
+        (f32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (f32.add
+        (f32.const 0)
+        (f32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (f32.add
+        (f32.const 0)
+        (f32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (f32.add
+        (f32.const 0)
+        (f32.const 1)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (f32.add
+        (f32.const 0)
+        (f32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (f32.add
+        (f32.const 1)
+        (f32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep2 (type $0)
+    (drop
+      (f32.add
+        (f32.const 0)
+        (f32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (f32.sub
+        (f32.const 0)
+        (f32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (drop
+      (select
+        (i32.const 0)
+        (i32.const 0)
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (select
+        (i32.const 0)
+        (i32.const 0)
+        (i32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep (type $0)
+    (drop
+      (select
+        (i32.const 0)
+        (i32.const 0)
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (select
+        (i32.const 1)
+        (i32.const 0)
+        (i32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep (type $0)
+    (drop
+      (select
+        (i32.const 0)
+        (i32.const 0)
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (select
+        (i32.const 0)
+        (i32.const 2)
+        (i32.const 0)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep (type $0)
+    (drop
+      (select
+        (i32.const 0)
+        (i32.const 0)
+        (i32.const 0)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (select
+        (i32.const 0)
+        (i32.const 0)
+        (i32.const 3)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (return)
+  )
+  (func $other (type $0)
+    (return)
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func (result i32)))
+  (func $erase (type $0) (result i32)
+    (return
+      (i32.const 0)
+    )
+  )
+  (func $other (type $0) (result i32)
+    (return
+      (i32.const 0)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func (result i32)))
+  (func $keep (type $0) (result i32)
+    (return
+      (i32.const 0)
+    )
+  )
+  (func $other (type $0) (result i32)
+    (return
+      (i32.const 1)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (drop
+      (current_memory)
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (current_memory)
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $erase (type $0)
+    (drop
+      (grow_memory
+        (i32.const 10)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (grow_memory
+        (i32.const 10)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep (type $0)
+    (drop
+      (grow_memory
+        (i32.const 10)
+      )
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (grow_memory
+        (i32.const 11)
+      )
+    )
+  )
+)
+(module
+  (memory 0)
+  (type $0 (func))
+  (func $keep (type $0)
+    (drop
+      (current_memory)
+    )
+  )
+  (func $other (type $0)
+    (drop
+      (grow_memory
+        (i32.const 10)
+      )
+    )
+  )
+)