test/passes/remove-unused-nonfunction-module-elements_all-features.txt

(module
 (type $0 (func))
 (type $1 (func (param i32)))
 (type $2 (func (param i32) (result i32)))
 (memory $0 0)
 (table $0 1 1 funcref)
 (elem $0 (i32.const 0) $called_indirect)
 (export "memory" (memory $0))
 (export "exported" (func $exported))
 (export "other1" (func $other1))
 (export "other2" (func $other2))
 (start $start)
 (func $start (type $0)
  (call $called0)
 )
 (func $called0 (type $0)
  (call $called1)
 )
 (func $called1 (type $0)
  (nop)
 )
 (func $called_indirect (type $0)
  (nop)
 )
 (func $exported (type $0)
  (call $called2)
 )
 (func $called2 (type $0)
  (call $called2)
  (call $called3)
 )
 (func $called3 (type $0)
  (call $called4)
 )
 (func $called4 (type $0)
  (call $called3)
 )
 (func $remove0 (type $0)
  (call $remove1)
 )
 (func $remove1 (type $0)
  (nop)
 )
 (func $remove2 (type $0)
  (call $remove2)
 )
 (func $remove3 (type $0)
  (call $remove4)
 )
 (func $remove4 (type $0)
  (call $remove3)
 )
 (func $other1 (type $1) (param $0 i32)
  (call_indirect $0 (type $0)
   (i32.const 0)
  )
  (call_indirect $0 (type $0)
   (i32.const 0)
  )
  (call_indirect $0 (type $0)
   (i32.const 0)
  )
  (call_indirect $0 (type $0)
   (i32.const 0)
  )
  (call_indirect $0 (type $1)
   (i32.const 0)
   (i32.const 0)
  )
  (call_indirect $0 (type $1)
   (i32.const 0)
   (i32.const 0)
  )
  (drop
   (call_indirect $0 (type $2)
    (i32.const 0)
    (i32.const 0)
   )
  )
  (drop
   (call_indirect $0 (type $2)
    (i32.const 0)
    (i32.const 0)
   )
  )
  (drop
   (call_indirect $0 (type $2)
    (i32.const 0)
    (i32.const 0)
   )
  )
 )
 (func $other2 (type $1) (param $0 i32)
  (unreachable)
 )
)
(module
)
(module
)
(module
 (import "env" "memory" (memory $0 256))
 (import "env" "table" (table $timport$0 1 funcref))
 (export "mem" (memory $0))
 (export "tab" (table $timport$0))
)
(module
 (type $0 (func))
 (import "env" "memory" (memory $0 256))
 (import "env" "table" (table $timport$0 1 funcref))
 (data $0 (i32.const 1) "hello, world!")
 (elem $0 (i32.const 0) $waka)
 (func $waka (type $0)
 )
)
(module
 (type $0 (func))
 (import "env" "memory" (memory $0 256))
 (import "env" "table" (table $timport$0 0 funcref))
 (export "user" (func $user))
 (func $user (type $0)
  (drop
   (i32.load
    (i32.const 0)
   )
  )
  (call_indirect $timport$0 (type $0)
   (i32.const 0)
  )
 )
)
(module
 (type $0 (func))
 (memory $0 23 256 shared)
 (export "user" (func $user))
 (func $user (type $0)
  (i32.store
   (i32.const 0)
   (i32.const 0)
  )
 )
)
(module
 (type $0 (func (result i32)))
 (memory $0 23 256 shared)
 (export "user" (func $user))
 (func $user (type $0) (result i32)
  (i32.atomic.rmw.add
   (i32.const 0)
   (i32.const 0)
  )
 )
)
(module
 (type $0 (func (result i32)))
 (memory $0 23 256 shared)
 (export "user" (func $user))
 (func $user (type $0) (result i32)
  (i32.atomic.rmw8.cmpxchg_u
   (i32.const 0)
   (i32.const 0)
   (i32.const 0)
  )
 )
)
(module
 (type $0 (func))
 (memory $0 23 256 shared)
 (export "user" (func $user))
 (func $user (type $0)
  (local $0 i32)
  (local $1 i64)
  (drop
   (memory.atomic.wait32
    (local.get $0)
    (local.get $0)
    (local.get $1)
   )
  )
 )
)
(module
 (type $0 (func (result i32)))
 (memory $0 23 256 shared)
 (export "user" (func $user))
 (func $user (type $0) (result i32)
  (memory.atomic.notify
   (i32.const 0)
   (i32.const 0)
  )
 )
)
(module
 (type $0 (func (result i32)))
 (memory $0 23 256)
 (export "user" (func $user))
 (func $user (type $0) (result i32)
  (memory.grow
   (i32.const 0)
  )
 )
)
(module
 (type $0 (func (result i32)))
 (import "env" "memory" (memory $0 256))
 (export "user" (func $user))
 (func $user (type $0) (result i32)
  (memory.grow
   (i32.const 0)
  )
 )
)
(module
 (type $0 (func (result i32)))
 (memory $0 23 256)
 (export "user" (func $user))
 (func $user (type $0) (result i32)
  (memory.size)
 )
)
(module
 (type $0 (func))
 (import "env" "memory" (memory $0 256))
 (import "env" "table" (table $timport$0 0 funcref))
 (import "env" "memoryBase" (global $memoryBase i32))
 (import "env" "tableBase" (global $tableBase i32))
 (data $0 (global.get $memoryBase) "hello, world!")
 (elem $0 (global.get $tableBase) $waka)
 (func $waka (type $0)
 )
)
(module
 (type $0 (func))
 (type $1 (func (result i32)))
 (type $2 (func (param i32) (result i32)))
 (import "env" "imported" (global $imported i32))
 (import "env" "_puts" (func $_puts (type $2) (param i32) (result i32)))
 (global $int (mut i32) (global.get $imported))
 (global $set (mut i32) (i32.const 100))
 (global $exp_glob i32 (i32.const 600))
 (export "one" (func $one))
 (export "three" (func $three))
 (export "exp_glob" (global $exp_glob))
 (func $one (type $1) (result i32)
  (call $two)
 )
 (func $two (type $1) (result i32)
  (global.get $int)
 )
 (func $three (type $0)
  (call $four)
 )
 (func $four (type $0)
  (global.set $set
   (i32.const 200)
  )
  (drop
   (call $_puts
    (i32.const 300)
   )
  )
 )
 (func $forget_implemented (type $0)
  (nop)
 )
 (func $starter (type $0)
  (nop)
 )
)
(module
 (type $0 (func))
 (func $starter (type $0)
  (nop)
 )
)
(module
 (type $0 (func))
 (start $starter)
 (func $starter (type $0)
  (drop
   (i32.const 0)
  )
 )
)
(module
 (type $0 (func (param f64) (result f64)))
 (func $0 (type $0) (param $var$0 f64) (result f64)
  (if (result f64)
   (f64.eq
    (f64.const 1)
    (f64.const 1)
   )
   (then
    (f64.const 1)
   )
   (else
    (f64.const 0)
   )
  )
 )
)
(module
 (type $0 (func (param f64) (result f64)))
 (table $0 6 6 funcref)
 (func $0 (type $0) (param $var$0 f64) (result f64)
  (if (result f64)
   (f64.eq
    (f64.const 1)
    (f64.const 1)
   )
   (then
    (call_indirect $0 (type $0)
     (f64.const 1)
     (i32.const 0)
    )
   )
   (else
    (f64.const 0)
   )
  )
 )
)
(module
 (type $0 (func (param f64) (result f64)))
 (import "env" "table" (table $timport$0 6 6 funcref))
 (elem $0 (i32.const 0) $0)
 (func $0 (type $0) (param $var$0 f64) (result f64)
  (if (result f64)
   (f64.eq
    (f64.const 1)
    (f64.const 1)
   )
   (then
    (f64.const 1)
   )
   (else
    (f64.const 0)
   )
  )
 )
)
(module
 (type $1 (func (param i64)))
 (type $0 (func (param i32)))
 (tag $e1 (type $1) (param i64))
 (export "e1" (tag $e1))
 (func $f (type $0) (param $0 i32)
 )
)