diff options
3 files changed, 572 insertions, 585 deletions
diff --git a/test/lit/passes/remove-unused-module-elements_all-features.wast b/test/lit/passes/remove-unused-module-elements_all-features.wast new file mode 100644 index 000000000..d441406f9 --- /dev/null +++ b/test/lit/passes/remove-unused-module-elements_all-features.wast @@ -0,0 +1,572 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. +;; NOTE: This test was ported using port_passes_tests_to_lit.py and could be cleaned up. + +;; RUN: foreach %s %t wasm-opt --remove-unused-module-elements --all-features -S -o - | filecheck %s + +(module + (memory 0) + ;; CHECK: (type $0 (func)) + + ;; CHECK: (type $1 (func (param i32))) + + ;; CHECK: (type $2 (func (param i32) (result i32))) + + ;; CHECK: (memory $0 0) + + ;; CHECK: (table $0 1 1 funcref) + + ;; CHECK: (elem (i32.const 0) $called_indirect) + + ;; CHECK: (export "memory" (memory $0)) + + ;; CHECK: (export "exported" (func $exported)) + + ;; CHECK: (export "other1" (func $other1)) + + ;; CHECK: (export "other2" (func $other2)) + + ;; CHECK: (start $start) + (start $start) + (type $0 (func)) + (type $0-dupe (func)) + (type $1 (func (param i32))) + (type $1-dupe (func (param i32))) + (type $2 (func (param i32) (result i32))) + (type $2-dupe (func (param i32) (result i32))) + (type $2-thrupe (func (param i32) (result i32))) + (export "memory" (memory $0)) + (export "exported" $exported) + (export "other1" $other1) + (export "other2" $other2) + (table 1 1 funcref) + (elem (i32.const 0) $called_indirect) + ;; CHECK: (func $start (type $0) + ;; CHECK-NEXT: (call $called0) + ;; CHECK-NEXT: ) + (func $start (type $0) + (call $called0) + ) + ;; CHECK: (func $called0 (type $0) + ;; CHECK-NEXT: (call $called1) + ;; CHECK-NEXT: ) + (func $called0 (type $0) + (call $called1) + ) + ;; CHECK: (func $called1 (type $0) + ;; CHECK-NEXT: (nop) + ;; CHECK-NEXT: ) + (func $called1 (type $0) + (nop) + ) + ;; CHECK: (func $called_indirect (type $0) + ;; CHECK-NEXT: (nop) + ;; CHECK-NEXT: ) + (func $called_indirect (type $0) + (nop) + ) + ;; CHECK: (func $exported (type $0) + ;; CHECK-NEXT: (call $called2) + ;; CHECK-NEXT: ) + (func $exported (type $0-dupe) + (call $called2) + ) + ;; CHECK: (func $called2 (type $0) + ;; CHECK-NEXT: (call $called2) + ;; CHECK-NEXT: (call $called3) + ;; CHECK-NEXT: ) + (func $called2 (type $0-dupe) + (call $called2) + (call $called3) + ) + ;; CHECK: (func $called3 (type $0) + ;; CHECK-NEXT: (call $called4) + ;; CHECK-NEXT: ) + (func $called3 (type $0-dupe) + (call $called4) + ) + ;; CHECK: (func $called4 (type $0) + ;; CHECK-NEXT: (call $called3) + ;; CHECK-NEXT: ) + (func $called4 (type $0-dupe) + (call $called3) + ) + (func $remove0 (type $0-dupe) + (call $remove1) + ) + (func $remove1 (type $0-dupe) + (nop) + ) + (func $remove2 (type $0-dupe) + (call $remove2) + ) + (func $remove3 (type $0) + (call $remove4) + ) + (func $remove4 (type $0) + (call $remove3) + ) + ;; CHECK: (func $other1 (type $1) (param $0 i32) + ;; CHECK-NEXT: (call_indirect $0 (type $0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call_indirect $0 (type $0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call_indirect $0 (type $0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call_indirect $0 (type $0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call_indirect $0 (type $1) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call_indirect $0 (type $1) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call_indirect $0 (type $2) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call_indirect $0 (type $2) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call_indirect $0 (type $2) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $other1 (type $1) (param i32) + (call_indirect (type $0) (i32.const 0)) + (call_indirect (type $0) (i32.const 0)) + (call_indirect (type $0-dupe) (i32.const 0)) + (call_indirect (type $0-dupe) (i32.const 0)) + (call_indirect (type $1) (i32.const 0) (i32.const 0)) + (call_indirect (type $1-dupe) (i32.const 0) (i32.const 0)) + (drop (call_indirect (type $2) (i32.const 0) (i32.const 0))) + (drop (call_indirect (type $2-dupe) (i32.const 0) (i32.const 0))) + (drop (call_indirect (type $2-thrupe) (i32.const 0) (i32.const 0))) + ) + ;; CHECK: (func $other2 (type $1) (param $0 i32) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + (func $other2 (type $1-dupe) (param i32) + (unreachable) + ) +) +(module ;; remove the table and memory + (import "env" "memory" (memory $0 256)) + (import "env" "table" (table 0 funcref)) +) +(module ;; remove all tables and the memory + (import "env" "memory" (memory $0 256)) + (import "env" "table" (table 0 funcref)) + (import "env" "table2" (table $1 1 2 funcref)) + (elem (table $1) (offset (i32.const 0)) func) + (elem (table $1) (offset (i32.const 1)) func) +) +(module ;; remove the first table and memory, but not the second one + ;; CHECK: (type $none_=>_none (func)) + + ;; CHECK: (import "env" "table2" (table $1 1 1 funcref)) + (import "env" "memory" (memory $0 256)) + (import "env" "table" (table 0 funcref)) + (import "env" "table2" (table $1 1 1 funcref)) + (elem (table $1) (offset (i32.const 0)) func) + (elem (table $1) (offset (i32.const 0)) func $f) + ;; CHECK: (elem (i32.const 0) $f) + + ;; CHECK: (func $f (type $none_=>_none) + ;; CHECK-NEXT: (nop) + ;; CHECK-NEXT: ) + (func $f) +) +(module ;; also when not imported + (memory 256) + (table 1 funcref) +) +(module ;; also with multiple tables + (memory 256) + (table $0 1 funcref) + (table $1 1 funcref) + (elem (table $1) (i32.const 0) func) +) +(module ;; but not when exported + ;; CHECK: (import "env" "memory" (memory $0 256)) + (import "env" "memory" (memory $0 256)) + ;; CHECK: (import "env" "table" (table $timport$0 1 funcref)) + (import "env" "table" (table 1 funcref)) + ;; CHECK: (export "mem" (memory $0)) + (export "mem" (memory 0)) + ;; CHECK: (export "tab" (table $timport$0)) + (export "tab" (table 0)) +) +(module ;; and not when there are segments + ;; CHECK: (type $none_=>_none (func)) + + ;; CHECK: (import "env" "memory" (memory $0 256)) + (import "env" "memory" (memory $0 256)) + ;; CHECK: (import "env" "table" (table $timport$0 1 funcref)) + (import "env" "table" (table 1 funcref)) + (data (i32.const 1) "hello, world!") + (elem (i32.const 0) $waka) + ;; CHECK: (data (i32.const 1) "hello, world!") + + ;; CHECK: (elem (i32.const 0) $waka) + + ;; CHECK: (func $waka (type $none_=>_none) + ;; CHECK-NEXT: (nop) + ;; CHECK-NEXT: ) + (func $waka) +) +(module ;; and not when used + ;; CHECK: (type $0 (func)) + (type $0 (func)) + ;; CHECK: (import "env" "memory" (memory $0 256)) + (import "env" "memory" (memory $0 256)) + ;; CHECK: (import "env" "table" (table $timport$0 0 funcref)) + (import "env" "table" (table 0 funcref)) + ;; CHECK: (export "user" (func $user)) + (export "user" $user) + ;; CHECK: (func $user (type $0) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.load + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call_indirect $timport$0 (type $0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $user + (drop (i32.load (i32.const 0))) + (call_indirect (type $0) (i32.const 0)) + ) +) +(module ;; more use checks + ;; CHECK: (type $none_=>_none (func)) + + ;; CHECK: (memory $0 (shared 23 256)) + (memory $0 (shared 23 256)) + ;; CHECK: (export "user" (func $user)) + (export "user" $user) + ;; CHECK: (func $user (type $none_=>_none) + ;; CHECK-NEXT: (i32.store + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $user + (i32.store (i32.const 0) (i32.const 0)) + ) +) +(module ;; more use checks + ;; CHECK: (type $none_=>_i32 (func (result i32))) + + ;; CHECK: (memory $0 (shared 23 256)) + (memory $0 (shared 23 256)) + ;; CHECK: (export "user" (func $user)) + (export "user" $user) + ;; CHECK: (func $user (type $none_=>_i32) (result i32) + ;; CHECK-NEXT: (i32.atomic.rmw.add + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $user (result i32) + (i32.atomic.rmw.add (i32.const 0) (i32.const 0)) + ) +) +(module ;; more use checks + ;; CHECK: (type $none_=>_i32 (func (result i32))) + + ;; CHECK: (memory $0 (shared 23 256)) + (memory $0 (shared 23 256)) + ;; CHECK: (export "user" (func $user)) + (export "user" $user) + ;; CHECK: (func $user (type $none_=>_i32) (result i32) + ;; CHECK-NEXT: (i32.atomic.rmw8.cmpxchg_u + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $user (result i32) + (i32.atomic.rmw8.cmpxchg_u (i32.const 0) (i32.const 0) (i32.const 0)) + ) +) +(module ;; more use checks + ;; CHECK: (type $none_=>_none (func)) + + ;; CHECK: (memory $0 (shared 23 256)) + (memory $0 (shared 23 256)) + ;; CHECK: (export "user" (func $user)) + (export "user" $user) + ;; CHECK: (func $user (type $none_=>_none) + ;; CHECK-NEXT: (local $0 i32) + ;; CHECK-NEXT: (local $1 i64) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (memory.atomic.wait32 + ;; CHECK-NEXT: (local.get $0) + ;; CHECK-NEXT: (local.get $0) + ;; CHECK-NEXT: (local.get $1) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $user + (local $0 i32) + (local $1 i64) + (drop + (memory.atomic.wait32 + (local.get $0) + (local.get $0) + (local.get $1) + ) + ) + ) +) +(module ;; more use checks + ;; CHECK: (type $none_=>_i32 (func (result i32))) + + ;; CHECK: (memory $0 (shared 23 256)) + (memory $0 (shared 23 256)) + ;; CHECK: (export "user" (func $user)) + (export "user" $user) + ;; CHECK: (func $user (type $none_=>_i32) (result i32) + ;; CHECK-NEXT: (memory.atomic.notify + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $user (result i32) + (memory.atomic.notify (i32.const 0) (i32.const 0)) + ) +) +(module ;; more use checks + ;; CHECK: (type $none_=>_i32 (func (result i32))) + + ;; CHECK: (memory $0 23 256) + (memory $0 23 256) + ;; CHECK: (export "user" (func $user)) + (export "user" $user) + ;; CHECK: (func $user (type $none_=>_i32) (result i32) + ;; CHECK-NEXT: (memory.grow + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $user (result i32) + (memory.grow (i32.const 0)) + ) +) +(module ;; more use checks + ;; CHECK: (type $none_=>_i32 (func (result i32))) + + ;; CHECK: (import "env" "memory" (memory $0 256)) + (import "env" "memory" (memory $0 256)) + ;; CHECK: (export "user" (func $user)) + (export "user" $user) + ;; CHECK: (func $user (type $none_=>_i32) (result i32) + ;; CHECK-NEXT: (memory.grow + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $user (result i32) + (memory.grow (i32.const 0)) + ) +) +(module ;; more use checks + ;; CHECK: (type $none_=>_i32 (func (result i32))) + + ;; CHECK: (memory $0 23 256) + (memory $0 23 256) + ;; CHECK: (export "user" (func $user)) + (export "user" $user) + ;; CHECK: (func $user (type $none_=>_i32) (result i32) + ;; CHECK-NEXT: (memory.size) + ;; CHECK-NEXT: ) + (func $user (result i32) + (memory.size) + ) +) +(module + ;; CHECK: (type $none_=>_none (func)) + + ;; CHECK: (import "env" "memory" (memory $0 256)) + (import "env" "memory" (memory $0 256)) + ;; CHECK: (import "env" "table" (table $timport$0 0 funcref)) + (import "env" "table" (table 0 funcref)) + ;; CHECK: (import "env" "memoryBase" (global $memoryBase i32)) + (import "env" "memoryBase" (global $memoryBase i32)) ;; used in init + ;; CHECK: (import "env" "tableBase" (global $tableBase i32)) + (import "env" "tableBase" (global $tableBase i32)) ;; used in init + (data (global.get $memoryBase) "hello, world!") + (elem (global.get $tableBase) $waka) + ;; CHECK: (data (global.get $memoryBase) "hello, world!") + + ;; CHECK: (elem (global.get $tableBase) $waka) + + ;; CHECK: (func $waka (type $none_=>_none) + ;; CHECK-NEXT: (nop) + ;; CHECK-NEXT: ) + (func $waka) ;; used in table +) +(module ;; one is exported, and one->two->int global, whose init->imported + ;; CHECK: (type $none_=>_i32 (func (result i32))) + + ;; CHECK: (type $none_=>_none (func)) + + ;; CHECK: (type $i32_=>_i32 (func (param i32) (result i32))) + + ;; CHECK: (import "env" "imported" (global $imported i32)) + (import "env" "imported" (global $imported i32)) + ;; CHECK: (import "env" "_puts" (func $_puts (param i32) (result i32))) + (import "env" "forgetme" (global $forgetme i32)) + (import "env" "_puts" (func $_puts (param i32) (result i32))) + (import "env" "forget_puts" (func $forget_puts (param i32) (result i32))) + ;; CHECK: (global $int (mut i32) (global.get $imported)) + (global $int (mut i32) (global.get $imported)) + ;; CHECK: (global $set (mut i32) (i32.const 100)) + (global $set (mut i32) (i32.const 100)) + (global $forglobal.get (mut i32) (i32.const 500)) + ;; CHECK: (global $exp_glob i32 (i32.const 600)) + (global $exp_glob i32 (i32.const 600)) + ;; CHECK: (export "one" (func $one)) + (export "one" (func $one)) + ;; CHECK: (export "three" (func $three)) + (export "three" (func $three)) + ;; CHECK: (export "exp_glob" (global $exp_glob)) + (export "exp_glob" (global $exp_glob)) + (start $starter) + ;; CHECK: (func $one (type $none_=>_i32) (result i32) + ;; CHECK-NEXT: (call $two) + ;; CHECK-NEXT: ) + (func $one (result i32) + (call $two) + ) + ;; CHECK: (func $two (type $none_=>_i32) (result i32) + ;; CHECK-NEXT: (global.get $int) + ;; CHECK-NEXT: ) + (func $two (result i32) + (global.get $int) + ) + ;; CHECK: (func $three (type $none_=>_none) + ;; CHECK-NEXT: (call $four) + ;; CHECK-NEXT: ) + (func $three + (call $four) + ) + ;; CHECK: (func $four (type $none_=>_none) + ;; CHECK-NEXT: (global.set $set + ;; CHECK-NEXT: (i32.const 200) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (call $_puts + ;; CHECK-NEXT: (i32.const 300) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $four + (global.set $set (i32.const 200)) + (drop (call $_puts (i32.const 300))) + ) + (func $forget_implemented + (nop) + ) + (func $starter + (nop) + ) +) +(module ;; empty start being removed + (start $starter) + (func $starter + (nop) + ) +) +(module ;; non-empty start being kept + ;; CHECK: (type $none_=>_none (func)) + + ;; CHECK: (start $starter) + (start $starter) + ;; CHECK: (func $starter (type $none_=>_none) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $starter + (drop (i32.const 0)) + ) +) +(module ;; imported start cannot be removed + ;; CHECK: (type $none_=>_none (func)) + + ;; CHECK: (import "env" "start" (func $start)) + (import "env" "start" (func $start)) + ;; CHECK: (start $start) + (start $start) +) +(module ;; the function and the table can be removed + (type $0 (func (param f64) (result f64))) + (table 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) + ) + (f64.const 1) + (f64.const 0) + ) + ) +) +(module ;; the function uses the table, but all are removeable + (type $0 (func (param f64) (result f64))) + (table 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 ;; the table is imported - we can't remove it + ;; CHECK: (type $0 (func (param f64) (result f64))) + (type $0 (func (param f64) (result f64))) + ;; CHECK: (import "env" "table" (table $timport$0 6 6 funcref)) + (import "env" "table" (table 6 6 funcref)) + (elem (i32.const 0) $0) + ;; CHECK: (elem (i32.const 0) $0) + + ;; CHECK: (func $0 (type $0) (param $var$0 f64) (result f64) + ;; CHECK-NEXT: (if (result f64) + ;; CHECK-NEXT: (f64.eq + ;; CHECK-NEXT: (f64.const 1) + ;; CHECK-NEXT: (f64.const 1) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (f64.const 1) + ;; CHECK-NEXT: (f64.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (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) + ) + ) +) diff --git a/test/passes/remove-unused-module-elements_all-features.txt b/test/passes/remove-unused-module-elements_all-features.txt deleted file mode 100644 index 5cebb721e..000000000 --- a/test/passes/remove-unused-module-elements_all-features.txt +++ /dev/null @@ -1,297 +0,0 @@ -(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 (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 $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 - (type $none_=>_none (func)) - (import "env" "table2" (table $1 1 1 funcref)) - (elem (i32.const 0) $f) - (func $f (type $none_=>_none) - (nop) - ) -) -(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 $none_=>_none (func)) - (import "env" "memory" (memory $0 256)) - (import "env" "table" (table $timport$0 1 funcref)) - (data (i32.const 1) "hello, world!") - (elem (i32.const 0) $waka) - (func $waka (type $none_=>_none) - (nop) - ) -) -(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 $none_=>_none (func)) - (memory $0 (shared 23 256)) - (export "user" (func $user)) - (func $user (type $none_=>_none) - (i32.store - (i32.const 0) - (i32.const 0) - ) - ) -) -(module - (type $none_=>_i32 (func (result i32))) - (memory $0 (shared 23 256)) - (export "user" (func $user)) - (func $user (type $none_=>_i32) (result i32) - (i32.atomic.rmw.add - (i32.const 0) - (i32.const 0) - ) - ) -) -(module - (type $none_=>_i32 (func (result i32))) - (memory $0 (shared 23 256)) - (export "user" (func $user)) - (func $user (type $none_=>_i32) (result i32) - (i32.atomic.rmw8.cmpxchg_u - (i32.const 0) - (i32.const 0) - (i32.const 0) - ) - ) -) -(module - (type $none_=>_none (func)) - (memory $0 (shared 23 256)) - (export "user" (func $user)) - (func $user (type $none_=>_none) - (local $0 i32) - (local $1 i64) - (drop - (memory.atomic.wait32 - (local.get $0) - (local.get $0) - (local.get $1) - ) - ) - ) -) -(module - (type $none_=>_i32 (func (result i32))) - (memory $0 (shared 23 256)) - (export "user" (func $user)) - (func $user (type $none_=>_i32) (result i32) - (memory.atomic.notify - (i32.const 0) - (i32.const 0) - ) - ) -) -(module - (type $none_=>_i32 (func (result i32))) - (memory $0 23 256) - (export "user" (func $user)) - (func $user (type $none_=>_i32) (result i32) - (memory.grow - (i32.const 0) - ) - ) -) -(module - (type $none_=>_i32 (func (result i32))) - (import "env" "memory" (memory $0 256)) - (export "user" (func $user)) - (func $user (type $none_=>_i32) (result i32) - (memory.grow - (i32.const 0) - ) - ) -) -(module - (type $none_=>_i32 (func (result i32))) - (memory $0 23 256) - (export "user" (func $user)) - (func $user (type $none_=>_i32) (result i32) - (memory.size) - ) -) -(module - (type $none_=>_none (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 (global.get $memoryBase) "hello, world!") - (elem (global.get $tableBase) $waka) - (func $waka (type $none_=>_none) - (nop) - ) -) -(module - (type $none_=>_i32 (func (result i32))) - (type $none_=>_none (func)) - (type $i32_=>_i32 (func (param i32) (result i32))) - (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 (type $none_=>_i32) (result i32) - (call $two) - ) - (func $two (type $none_=>_i32) (result i32) - (global.get $int) - ) - (func $three (type $none_=>_none) - (call $four) - ) - (func $four (type $none_=>_none) - (global.set $set - (i32.const 200) - ) - (drop - (call $_puts - (i32.const 300) - ) - ) - ) -) -(module -) -(module - (type $none_=>_none (func)) - (start $starter) - (func $starter (type $none_=>_none) - (drop - (i32.const 0) - ) - ) -) -(module - (type $none_=>_none (func)) - (import "env" "start" (func $start)) - (start $start) -) -(module -) -(module -) -(module - (type $0 (func (param f64) (result f64))) - (import "env" "table" (table $timport$0 6 6 funcref)) - (elem (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) - ) - (f64.const 1) - (f64.const 0) - ) - ) -) diff --git a/test/passes/remove-unused-module-elements_all-features.wast b/test/passes/remove-unused-module-elements_all-features.wast deleted file mode 100644 index fbccda8b8..000000000 --- a/test/passes/remove-unused-module-elements_all-features.wast +++ /dev/null @@ -1,288 +0,0 @@ -(module - (memory 0) - (start $start) - (type $0 (func)) - (type $0-dupe (func)) - (type $1 (func (param i32))) - (type $1-dupe (func (param i32))) - (type $2 (func (param i32) (result i32))) - (type $2-dupe (func (param i32) (result i32))) - (type $2-thrupe (func (param i32) (result i32))) - (export "memory" (memory $0)) - (export "exported" $exported) - (export "other1" $other1) - (export "other2" $other2) - (table 1 1 funcref) - (elem (i32.const 0) $called_indirect) - (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-dupe) - (call $called2) - ) - (func $called2 (type $0-dupe) - (call $called2) - (call $called3) - ) - (func $called3 (type $0-dupe) - (call $called4) - ) - (func $called4 (type $0-dupe) - (call $called3) - ) - (func $remove0 (type $0-dupe) - (call $remove1) - ) - (func $remove1 (type $0-dupe) - (nop) - ) - (func $remove2 (type $0-dupe) - (call $remove2) - ) - (func $remove3 (type $0) - (call $remove4) - ) - (func $remove4 (type $0) - (call $remove3) - ) - (func $other1 (type $1) (param i32) - (call_indirect (type $0) (i32.const 0)) - (call_indirect (type $0) (i32.const 0)) - (call_indirect (type $0-dupe) (i32.const 0)) - (call_indirect (type $0-dupe) (i32.const 0)) - (call_indirect (type $1) (i32.const 0) (i32.const 0)) - (call_indirect (type $1-dupe) (i32.const 0) (i32.const 0)) - (drop (call_indirect (type $2) (i32.const 0) (i32.const 0))) - (drop (call_indirect (type $2-dupe) (i32.const 0) (i32.const 0))) - (drop (call_indirect (type $2-thrupe) (i32.const 0) (i32.const 0))) - ) - (func $other2 (type $1-dupe) (param i32) - (unreachable) - ) -) -(module ;; remove the table and memory - (import "env" "memory" (memory $0 256)) - (import "env" "table" (table 0 funcref)) -) -(module ;; remove all tables and the memory - (import "env" "memory" (memory $0 256)) - (import "env" "table" (table 0 funcref)) - (import "env" "table2" (table $1 1 2 funcref)) - (elem (table $1) (offset (i32.const 0)) func) - (elem (table $1) (offset (i32.const 1)) func) -) -(module ;; remove the first table and memory, but not the second one - (import "env" "memory" (memory $0 256)) - (import "env" "table" (table 0 funcref)) - (import "env" "table2" (table $1 1 1 funcref)) - (elem (table $1) (offset (i32.const 0)) func) - (elem (table $1) (offset (i32.const 0)) func $f) - (func $f) -) -(module ;; also when not imported - (memory 256) - (table 1 funcref) -) -(module ;; also with multiple tables - (memory 256) - (table $0 1 funcref) - (table $1 1 funcref) - (elem (table $1) (i32.const 0) func) -) -(module ;; but not when exported - (import "env" "memory" (memory $0 256)) - (import "env" "table" (table 1 funcref)) - (export "mem" (memory 0)) - (export "tab" (table 0)) -) -(module ;; and not when there are segments - (import "env" "memory" (memory $0 256)) - (import "env" "table" (table 1 funcref)) - (data (i32.const 1) "hello, world!") - (elem (i32.const 0) $waka) - (func $waka) -) -(module ;; and not when used - (type $0 (func)) - (import "env" "memory" (memory $0 256)) - (import "env" "table" (table 0 funcref)) - (export "user" $user) - (func $user - (drop (i32.load (i32.const 0))) - (call_indirect (type $0) (i32.const 0)) - ) -) -(module ;; more use checks - (memory $0 (shared 23 256)) - (export "user" $user) - (func $user - (i32.store (i32.const 0) (i32.const 0)) - ) -) -(module ;; more use checks - (memory $0 (shared 23 256)) - (export "user" $user) - (func $user (result i32) - (i32.atomic.rmw.add (i32.const 0) (i32.const 0)) - ) -) -(module ;; more use checks - (memory $0 (shared 23 256)) - (export "user" $user) - (func $user (result i32) - (i32.atomic.rmw8.cmpxchg_u (i32.const 0) (i32.const 0) (i32.const 0)) - ) -) -(module ;; more use checks - (memory $0 (shared 23 256)) - (export "user" $user) - (func $user - (local $0 i32) - (local $1 i64) - (drop - (memory.atomic.wait32 - (local.get $0) - (local.get $0) - (local.get $1) - ) - ) - ) -) -(module ;; more use checks - (memory $0 (shared 23 256)) - (export "user" $user) - (func $user (result i32) - (memory.atomic.notify (i32.const 0) (i32.const 0)) - ) -) -(module ;; more use checks - (memory $0 23 256) - (export "user" $user) - (func $user (result i32) - (memory.grow (i32.const 0)) - ) -) -(module ;; more use checks - (import "env" "memory" (memory $0 256)) - (export "user" $user) - (func $user (result i32) - (memory.grow (i32.const 0)) - ) -) -(module ;; more use checks - (memory $0 23 256) - (export "user" $user) - (func $user (result i32) - (memory.size) - ) -) -(module - (import "env" "memory" (memory $0 256)) - (import "env" "table" (table 0 funcref)) - (import "env" "memoryBase" (global $memoryBase i32)) ;; used in init - (import "env" "tableBase" (global $tableBase i32)) ;; used in init - (data (global.get $memoryBase) "hello, world!") - (elem (global.get $tableBase) $waka) - (func $waka) ;; used in table -) -(module ;; one is exported, and one->two->int global, whose init->imported - (import "env" "imported" (global $imported i32)) - (import "env" "forgetme" (global $forgetme i32)) - (import "env" "_puts" (func $_puts (param i32) (result i32))) - (import "env" "forget_puts" (func $forget_puts (param i32) (result i32))) - (global $int (mut i32) (global.get $imported)) - (global $set (mut i32) (i32.const 100)) - (global $forglobal.get (mut i32) (i32.const 500)) - (global $exp_glob i32 (i32.const 600)) - (export "one" (func $one)) - (export "three" (func $three)) - (export "exp_glob" (global $exp_glob)) - (start $starter) - (func $one (result i32) - (call $two) - ) - (func $two (result i32) - (global.get $int) - ) - (func $three - (call $four) - ) - (func $four - (global.set $set (i32.const 200)) - (drop (call $_puts (i32.const 300))) - ) - (func $forget_implemented - (nop) - ) - (func $starter - (nop) - ) -) -(module ;; empty start being removed - (start $starter) - (func $starter - (nop) - ) -) -(module ;; non-empty start being kept - (start $starter) - (func $starter - (drop (i32.const 0)) - ) -) -(module ;; imported start cannot be removed - (import "env" "start" (func $start)) - (start $start) -) -(module ;; the function and the table can be removed - (type $0 (func (param f64) (result f64))) - (table 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) - ) - (f64.const 1) - (f64.const 0) - ) - ) -) -(module ;; the function uses the table, but all are removeable - (type $0 (func (param f64) (result f64))) - (table 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 ;; the table is imported - we can't remove it - (type $0 (func (param f64) (result f64))) - (import "env" "table" (table 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) - ) - ) -) |