1 files changed, 331 insertions, 0 deletions
diff --git a/test/passes/remove-unused-nonfunction-module-elements_enable-threads.txt b/test/passes/remove-unused-nonfunction-module-elements_enable-threads.txt
new file mode 100644
index 000000000..2d9609efa
--- /dev/null
+++ b/test/passes/remove-unused-nonfunction-module-elements_enable-threads.txt
@@ -0,0 +1,331 @@
+(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 (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 (; 0 ;) (type $0)
+  (call $called0)
+ )
+ (func $called0 (; 1 ;) (type $0)
+  (call $called1)
+ )
+ (func $called1 (; 2 ;) (type $0)
+  (nop)
+ )
+ (func $called_indirect (; 3 ;) (type $0)
+  (nop)
+ )
+ (func $exported (; 4 ;) (type $0)
+  (call $called2)
+ )
+ (func $called2 (; 5 ;) (type $0)
+  (call $called2)
+  (call $called3)
+ )
+ (func $called3 (; 6 ;) (type $0)
+  (call $called4)
+ )
+ (func $called4 (; 7 ;) (type $0)
+  (call $called3)
+ )
+ (func $remove0 (; 8 ;) (type $0)
+  (call $remove1)
+ )
+ (func $remove1 (; 9 ;) (type $0)
+  (nop)
+ )
+ (func $remove2 (; 10 ;) (type $0)
+  (call $remove2)
+ )
+ (func $remove3 (; 11 ;) (type $0)
+  (call $remove4)
+ )
+ (func $remove4 (; 12 ;) (type $0)
+  (call $remove3)
+ )
+ (func $other1 (; 13 ;) (type $1) (param $0 i32)
+  (call_indirect (type $0)
+   (i32.const 0)
+  )
+  (call_indirect (type $0)
+   (i32.const 0)
+  )
+  (call_indirect (type $0)
+   (i32.const 0)
+  )
+  (call_indirect (type $0)
+   (i32.const 0)
+  )
+  (call_indirect (type $1)
+   (i32.const 0)
+   (i32.const 0)
+  )
+  (call_indirect (type $1)
+   (i32.const 0)
+   (i32.const 0)
+  )
+  (drop
+   (call_indirect (type $2)
+    (i32.const 0)
+    (i32.const 0)
+   )
+  )
+  (drop
+   (call_indirect (type $2)
+    (i32.const 0)
+    (i32.const 0)
+   )
+  )
+  (drop
+   (call_indirect (type $2)
+    (i32.const 0)
+    (i32.const 0)
+   )
+  )
+ )
+ (func $other2 (; 14 ;) (type $1) (param $0 i32)
+  (unreachable)
+ )
+)
+(module
+)
+(module
+)
+(module
+ (import "env" "memory" (memory $0 256))
+ (import "env" "table" (table $0 1 funcref))
+ (export "mem" (memory $0))
+ (export "tab" (table $0))
+)
+(module
+ (type $0 (func))
+ (import "env" "memory" (memory $0 256))
+ (data (i32.const 1) "hello, world!")
+ (import "env" "table" (table $0 1 funcref))
+ (elem (i32.const 0) $waka)
+ (func $waka (; 0 ;) (type $0)
+  (nop)
+ )
+)
+(module
+ (type $0 (func))
+ (import "env" "memory" (memory $0 256))
+ (import "env" "table" (table $0 0 funcref))
+ (export "user" (func $user))
+ (func $user (; 0 ;) (type $0)
+  (drop
+   (i32.load
+    (i32.const 0)
+   )
+  )
+  (call_indirect (type $0)
+   (i32.const 0)
+  )
+ )
+)
+(module
+ (type $0 (func))
+ (memory $0 (shared 23 256))
+ (export "user" (func $user))
+ (func $user (; 0 ;) (type $0)
+  (i32.store
+   (i32.const 0)
+   (i32.const 0)
+  )
+ )
+)
+(module
+ (type $0 (func (result i32)))
+ (memory $0 (shared 23 256))
+ (export "user" (func $user))
+ (func $user (; 0 ;) (type $0) (result i32)
+  (i32.atomic.rmw.add
+   (i32.const 0)
+   (i32.const 0)
+  )
+ )
+)
+(module
+ (type $0 (func (result i32)))
+ (memory $0 (shared 23 256))
+ (export "user" (func $user))
+ (func $user (; 0 ;) (type $0) (result i32)
+  (i32.atomic.rmw8.cmpxchg_u
+   (i32.const 0)
+   (i32.const 0)
+   (i32.const 0)
+  )
+ )
+)
+(module
+ (type $0 (func))
+ (memory $0 (shared 23 256))
+ (export "user" (func $user))
+ (func $user (; 0 ;) (type $0)
+  (local $0 i32)
+  (local $1 i64)
+  (drop
+   (i32.atomic.wait
+    (local.get $0)
+    (local.get $0)
+    (local.get $1)
+   )
+  )
+ )
+)
+(module
+ (type $0 (func (result i32)))
+ (memory $0 (shared 23 256))
+ (export "user" (func $user))
+ (func $user (; 0 ;) (type $0) (result i32)
+  (atomic.notify
+   (i32.const 0)
+   (i32.const 0)
+  )
+ )
+)
+(module
+ (type $0 (func (result i32)))
+ (memory $0 23 256)
+ (export "user" (func $user))
+ (func $user (; 0 ;) (type $0) (result i32)
+  (grow_memory
+   (i32.const 0)
+  )
+ )
+)
+(module
+ (type $0 (func (result i32)))
+ (import "env" "memory" (memory $0 256))
+ (export "user" (func $user))
+ (func $user (; 0 ;) (type $0) (result i32)
+  (grow_memory
+   (i32.const 0)
+  )
+ )
+)
+(module
+ (type $0 (func (result i32)))
+ (memory $0 23 256)
+ (export "user" (func $user))
+ (func $user (; 0 ;) (type $0) (result i32)
+  (current_memory)
+ )
+)
+(module
+ (type $0 (func))
+ (import "env" "memory" (memory $0 256))
+ (data (global.get $memoryBase) "hello, world!")
+ (import "env" "table" (table $0 0 funcref))
+ (elem (global.get $tableBase) $waka)
+ (import "env" "memoryBase" (global $memoryBase i32))
+ (import "env" "tableBase" (global $tableBase i32))
+ (func $waka (; 0 ;) (type $0)
+  (nop)
+ )
+)
+(module
+ (type $FUNCSIG$ii (func (param i32) (result i32)))
+ (type $1 (func (result i32)))
+ (type $2 (func))
+ (import "env" "imported" (global $imported i32))
+ (import "env" "_puts" (func $_puts (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 (; 1 ;) (type $1) (result i32)
+  (call $two)
+ )
+ (func $two (; 2 ;) (type $1) (result i32)
+  (global.get $int)
+ )
+ (func $three (; 3 ;) (type $2)
+  (call $four)
+ )
+ (func $four (; 4 ;) (type $2)
+  (global.set $set
+   (i32.const 200)
+  )
+  (drop
+   (call $_puts
+    (i32.const 300)
+   )
+  )
+ )
+ (func $forget_implemented (; 5 ;) (type $2)
+  (nop)
+ )
+ (func $starter (; 6 ;) (type $2)
+  (nop)
+ )
+)
+(module
+ (type $0 (func))
+ (func $starter (; 0 ;) (type $0)
+  (nop)
+ )
+)
+(module
+ (type $0 (func))
+ (start $starter)
+ (func $starter (; 0 ;) (type $0)
+  (drop
+   (i32.const 0)
+  )
+ )
+)
+(module
+ (type $0 (func (param f64) (result f64)))
+ (func $0 (; 0 ;) (type $0) (param $var$0 f64) (result f64)
+  (if (result f64)
+   (f64.eq
+    (f64.const 1)
+    (f64.const 1)
+   )
+   (f64.const 1)
+   (f64.const 0)
+  )
+ )
+)
+(module
+ (type $0 (func (param f64) (result f64)))
+ (table $0 6 6 funcref)
+ (func $0 (; 0 ;) (type $0) (param $var$0 f64) (result f64)
+  (if (result f64)
+   (f64.eq
+    (f64.const 1)
+    (f64.const 1)
+   )
+   (call_indirect (type $0)
+    (f64.const 1)
+    (i32.const 0)
+   )
+   (f64.const 0)
+  )
+ )
+)
+(module
+ (type $0 (func (param f64) (result f64)))
+ (import "env" "table" (table $0 6 6 funcref))
+ (elem (i32.const 0) $0)
+ (func $0 (; 0 ;) (type $0) (param $var$0 f64) (result f64)
+  (if (result f64)
+   (f64.eq
+    (f64.const 1)
+    (f64.const 1)
+   )
+   (f64.const 1)
+   (f64.const 0)
+  )
+ )
+)