summaryrefslogtreecommitdiff
path: root/test/passes
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes')
-rw-r--r--test/passes/O.bin.txt1
-rw-r--r--test/passes/O.txt1
-rw-r--r--test/passes/code-pushing_ignore-implicit-traps.txt1
-rw-r--r--test/passes/const-hoisting.txt1
-rw-r--r--test/passes/dce.txt2
-rw-r--r--test/passes/dce_vacuum.bin.txt1
-rw-r--r--test/passes/dce_vacuum.txt1
-rw-r--r--test/passes/flatten.bin.txt1
-rw-r--r--test/passes/flatten_rereloop.txt2
-rw-r--r--test/passes/fuzz-exec.txt1
-rw-r--r--test/passes/inlining-optimizing.txt2
-rw-r--r--test/passes/inlining.txt4
-rw-r--r--test/passes/inlining_optimize-level=3.txt1
-rw-r--r--test/passes/instrument-locals.txt1
-rw-r--r--test/passes/log-execution.txt1
-rw-r--r--test/passes/merge-blocks.txt1
-rw-r--r--test/passes/merge-locals.txt1
-rw-r--r--test/passes/metrics.txt1
-rw-r--r--test/passes/pick-load-signs.txt1
-rw-r--r--test/passes/precompute-propagate.txt1
-rw-r--r--test/passes/precompute_coalesce-locals_vacuum.txt1
-rw-r--r--test/passes/remove-unused-brs_precompute_vacuum_remove-unused-brs.txt1
-rw-r--r--test/passes/remove-unused-module-elements.txt122
-rw-r--r--test/passes/remove-unused-module-elements.wast93
-rw-r--r--test/passes/remove-unused-names_code-folding.txt1
-rw-r--r--test/passes/remove-unused-names_vacuum.txt1
-rw-r--r--test/passes/rereloop.txt2
-rw-r--r--test/passes/rereloop_dce_remove-unused-brs_remove-unused-names_coalesce-locals_simplify-locals_reorder-locals_remove-unused-brs_merge-blocks_vacuum.txt1
-rw-r--r--test/passes/rse.txt1
-rw-r--r--test/passes/simplify-locals-nostructure.txt1
-rw-r--r--test/passes/simplify-locals-notee-nostructure.txt1
-rw-r--r--test/passes/simplify-locals-notee.txt1
-rw-r--r--test/passes/ssa.txt1
-rw-r--r--test/passes/trap-mode-clamp.txt1
-rw-r--r--test/passes/trap-mode-js.txt1
-rw-r--r--test/passes/untee.txt1
-rw-r--r--test/passes/vacuum_ignore-implicit-traps.txt1
-rw-r--r--test/passes/vacuum_remove-unused-names_merge-blocks.txt1
38 files changed, 213 insertions, 45 deletions
diff --git a/test/passes/O.bin.txt b/test/passes/O.bin.txt
index 1b74f5db4..d1f85899f 100644
--- a/test/passes/O.bin.txt
+++ b/test/passes/O.bin.txt
@@ -1,6 +1,5 @@
(module
(type $0 (func (param i64) (result i64)))
- (memory $0 0)
(export "fac-rec" (func $0))
(export "fac-rec-named" (func $1))
(export "fac-iter" (func $2))
diff --git a/test/passes/O.txt b/test/passes/O.txt
index 7a4f76084..390f0783b 100644
--- a/test/passes/O.txt
+++ b/test/passes/O.txt
@@ -1,7 +1,6 @@
(module
(type $0 (func (result i32)))
(type $1 (func (param i64)))
- (memory $0 0)
(export "ret" (func $ret))
(export "waka" (func $if-0-unreachable-to-none))
(func $ret (; 0 ;) (type $0) (result i32)
diff --git a/test/passes/code-pushing_ignore-implicit-traps.txt b/test/passes/code-pushing_ignore-implicit-traps.txt
index 58b124ec9..5558504c8 100644
--- a/test/passes/code-pushing_ignore-implicit-traps.txt
+++ b/test/passes/code-pushing_ignore-implicit-traps.txt
@@ -1,7 +1,6 @@
(module
(type $0 (func))
(type $1 (func (result i32)))
- (memory $0 0)
(func $push1 (; 0 ;) (type $0)
(local $x i32)
(block $out
diff --git a/test/passes/const-hoisting.txt b/test/passes/const-hoisting.txt
index e878e3f72..130f3214c 100644
--- a/test/passes/const-hoisting.txt
+++ b/test/passes/const-hoisting.txt
@@ -1,6 +1,5 @@
(module
(type $0 (func))
- (memory $0 0)
(func $10-of-each (; 0 ;) (type $0)
(local $0 i32)
(local $1 i32)
diff --git a/test/passes/dce.txt b/test/passes/dce.txt
index cdcf7035c..6f2422b2a 100644
--- a/test/passes/dce.txt
+++ b/test/passes/dce.txt
@@ -482,7 +482,6 @@
(module
(type $0 (func))
(global $global (mut f64) (f64.const 0))
- (memory $0 0)
(func $0 (; 0 ;) (type $0)
(if
(i32.const 0)
@@ -493,7 +492,6 @@
)
(module
(type $0 (func))
- (memory $0 0)
(func $0 (; 0 ;) (type $0)
(local $local f64)
(if
diff --git a/test/passes/dce_vacuum.bin.txt b/test/passes/dce_vacuum.bin.txt
index 8e41656b4..45c69f17b 100644
--- a/test/passes/dce_vacuum.bin.txt
+++ b/test/passes/dce_vacuum.bin.txt
@@ -1,7 +1,6 @@
(module
(type $0 (func (param f32 f32) (result f32)))
(type $1 (func (param f64 f64) (result f64)))
- (memory $0 0)
(export "f32.compute_radix" (func $0))
(export "f64.compute_radix" (func $1))
(func $0 (; 0 ;) (type $0) (param $var$0 f32) (param $var$1 f32) (result f32)
diff --git a/test/passes/dce_vacuum.txt b/test/passes/dce_vacuum.txt
index 6ee0a7876..d162979de 100644
--- a/test/passes/dce_vacuum.txt
+++ b/test/passes/dce_vacuum.txt
@@ -2,7 +2,6 @@
(type $0 (func (result i32)))
(type $1 (func (param f32 f32) (result f32)))
(type $2 (func (param i64) (result i64)))
- (memory $0 0)
(func $__Z12serveroptionPc (; 0 ;) (type $0) (result i32)
(return
(i32.const 0)
diff --git a/test/passes/flatten.bin.txt b/test/passes/flatten.bin.txt
index c035ebe4a..bc406e1ae 100644
--- a/test/passes/flatten.bin.txt
+++ b/test/passes/flatten.bin.txt
@@ -9,7 +9,6 @@
(type $7 (func (param f64) (result f64)))
(type $8 (func (param i64 f32 f64 i32 i32)))
(type $9 (func (param i64 f32 f64 i32 i32) (result f64)))
- (memory $0 0)
(export "type-local-i32" (func $0))
(export "type-local-i64" (func $1))
(export "type-local-f32" (func $2))
diff --git a/test/passes/flatten_rereloop.txt b/test/passes/flatten_rereloop.txt
index 587124191..efab836c8 100644
--- a/test/passes/flatten_rereloop.txt
+++ b/test/passes/flatten_rereloop.txt
@@ -1,6 +1,5 @@
(module
(type $0 (func (result f64)))
- (memory $0 0)
(func $0 (; 0 ;) (type $0) (result f64)
(local $0 f64)
(local $1 f64)
@@ -45,7 +44,6 @@
)
(module
(type $0 (func (result i32)))
- (memory $0 0)
(func $0 (; 0 ;) (type $0) (result i32)
(local $0 i32)
(local $1 i32)
diff --git a/test/passes/fuzz-exec.txt b/test/passes/fuzz-exec.txt
index 7d3ae35c0..926803150 100644
--- a/test/passes/fuzz-exec.txt
+++ b/test/passes/fuzz-exec.txt
@@ -7,7 +7,6 @@
(module
(type $0 (func (result i32)))
(type $1 (func (result i64)))
- (memory $0 0)
(export "a" (func $a))
(export "b" (func $b))
(export "c" (func $c))
diff --git a/test/passes/inlining-optimizing.txt b/test/passes/inlining-optimizing.txt
index e01882716..d4de780d5 100644
--- a/test/passes/inlining-optimizing.txt
+++ b/test/passes/inlining-optimizing.txt
@@ -5,7 +5,6 @@
(type $3 (func (param f32 i64)))
(table 1 1 anyfunc)
(elem (i32.const 0) $tabled)
- (memory $0 0)
(export "user" (func $user))
(export "exported" (func $exported))
(func $user (; 0 ;) (type $0)
@@ -36,7 +35,6 @@
(module
(type $0 (func (result i32)))
(type $1 (func))
- (memory $0 0)
(func $main (; 0 ;) (type $0) (result i32)
(unreachable)
)
diff --git a/test/passes/inlining.txt b/test/passes/inlining.txt
index 8a195b96d..e1e47176f 100644
--- a/test/passes/inlining.txt
+++ b/test/passes/inlining.txt
@@ -5,7 +5,6 @@
(type $3 (func (param f32 i64)))
(table 1 1 anyfunc)
(elem (i32.const 0) $tabled)
- (memory $0 0)
(export "user" (func $user))
(export "exported" (func $exported))
(func $user (; 0 ;) (type $0)
@@ -142,7 +141,6 @@
(module
(type $0 (func (param i32) (result i32)))
(type $1 (func (result i32)))
- (memory $0 0)
(func $child (; 0 ;) (type $0) (param $0 i32) (result i32)
(i32.const 1234)
)
@@ -222,7 +220,6 @@
(type $T (func (param i32)))
(type $1 (func))
(table 10 anyfunc)
- (memory $0 0)
(func $0 (; 0 ;) (type $1)
(block $__inlined_func$1
(call_indirect (type $T)
@@ -238,7 +235,6 @@
)
(module
(type $0 (func))
- (memory $0 0)
(func $1 (; 0 ;) (type $0)
(block $__inlined_func$0
(block $label$1
diff --git a/test/passes/inlining_optimize-level=3.txt b/test/passes/inlining_optimize-level=3.txt
index 238aaa9d2..b245396c7 100644
--- a/test/passes/inlining_optimize-level=3.txt
+++ b/test/passes/inlining_optimize-level=3.txt
@@ -3,7 +3,6 @@
(type $1 (func))
(table 1 1 anyfunc)
(elem (i32.const 0) $no-loops-but-one-use-but-tabled)
- (memory $0 0)
(export "yes" (func $yes))
(export "no-loops-but-one-use-but-exported" (func $no-loops-but-one-use-but-exported))
(func $yes (; 0 ;) (type $0) (result i32)
diff --git a/test/passes/instrument-locals.txt b/test/passes/instrument-locals.txt
index 26f04d083..9703fcc50 100644
--- a/test/passes/instrument-locals.txt
+++ b/test/passes/instrument-locals.txt
@@ -12,7 +12,6 @@
(import "instrument" "set_i64" (func $set_i64 (param i32 i32 i64) (result i64)))
(import "instrument" "set_f32" (func $set_f32 (param i32 i32 f32) (result f32)))
(import "instrument" "set_f64" (func $set_f64 (param i32 i32 f64) (result f64)))
- (memory $0 0)
(func $A (; 8 ;) (type $0)
(local $x i32)
(local $y i64)
diff --git a/test/passes/log-execution.txt b/test/passes/log-execution.txt
index e756385ab..f09346a31 100644
--- a/test/passes/log-execution.txt
+++ b/test/passes/log-execution.txt
@@ -3,7 +3,6 @@
(type $1 (func (result i32)))
(type $FUNCSIG$vi (func (param i32)))
(import "env" "log_execution" (func $log_execution (param i32)))
- (memory $0 0)
(func $nopp (; 1 ;) (type $0)
(call $log_execution
(i32.const 0)
diff --git a/test/passes/merge-blocks.txt b/test/passes/merge-blocks.txt
index b5be6f2cf..8a74ed895 100644
--- a/test/passes/merge-blocks.txt
+++ b/test/passes/merge-blocks.txt
@@ -2,7 +2,6 @@
(type $0 (func))
(type $1 (func (param i32)))
(type $2 (func (result i32)))
- (memory $0 0)
(func $drop-block (; 0 ;) (type $0)
(block $block
(block $x
diff --git a/test/passes/merge-locals.txt b/test/passes/merge-locals.txt
index 21a71af4c..8d30ec119 100644
--- a/test/passes/merge-locals.txt
+++ b/test/passes/merge-locals.txt
@@ -4,7 +4,6 @@
(type $2 (func (param i32 f32 f32) (result i64)))
(type $3 (func (param i32 i32 i32)))
(global $global$0 (mut i32) (i32.const 10))
- (memory $0 0)
(func $test (; 0 ;) (type $0) (param $x i32) (param $y i32) (result i32)
(drop
(if (result i32)
diff --git a/test/passes/metrics.txt b/test/passes/metrics.txt
index fd8aa790f..9041f36fe 100644
--- a/test/passes/metrics.txt
+++ b/test/passes/metrics.txt
@@ -61,5 +61,4 @@ Counts
[total] : 0
[vars] : 0
(module
- (memory $0 0)
)
diff --git a/test/passes/pick-load-signs.txt b/test/passes/pick-load-signs.txt
index 24b955857..828841c96 100644
--- a/test/passes/pick-load-signs.txt
+++ b/test/passes/pick-load-signs.txt
@@ -1,7 +1,6 @@
(module
(type $0 (func))
(type $1 (func (result i32)))
- (memory $0 0)
(func $a (; 0 ;) (type $0)
(local $y i32)
(set_local $y
diff --git a/test/passes/precompute-propagate.txt b/test/passes/precompute-propagate.txt
index 4477b2294..262b4880c 100644
--- a/test/passes/precompute-propagate.txt
+++ b/test/passes/precompute-propagate.txt
@@ -1,7 +1,6 @@
(module
(type $0 (func (param i32)))
(type $1 (func (param i32) (result i32)))
- (memory $0 0)
(func $basic (; 0 ;) (type $0) (param $p i32)
(local $x i32)
(set_local $x
diff --git a/test/passes/precompute_coalesce-locals_vacuum.txt b/test/passes/precompute_coalesce-locals_vacuum.txt
index 9113fd97e..a4d1ce982 100644
--- a/test/passes/precompute_coalesce-locals_vacuum.txt
+++ b/test/passes/precompute_coalesce-locals_vacuum.txt
@@ -1,6 +1,5 @@
(module
(type $0 (func (param i32) (result i32)))
- (memory $0 0)
(func $nested-br_if-value (; 0 ;) (type $0) (param $0 i32) (result i32)
(loop $label$0
(br $label$0)
diff --git a/test/passes/remove-unused-brs_precompute_vacuum_remove-unused-brs.txt b/test/passes/remove-unused-brs_precompute_vacuum_remove-unused-brs.txt
index be58b2f90..25adbdb64 100644
--- a/test/passes/remove-unused-brs_precompute_vacuum_remove-unused-brs.txt
+++ b/test/passes/remove-unused-brs_precompute_vacuum_remove-unused-brs.txt
@@ -1,7 +1,6 @@
(module
(type $0 (func (param i32) (result f64)))
(global $global$3 (mut f64) (f64.const 0))
- (memory $0 0)
(func $1 (; 0 ;) (type $0) (param $x i32) (result f64)
(local $var$0 f64)
(block $label$0 (result f64)
diff --git a/test/passes/remove-unused-module-elements.txt b/test/passes/remove-unused-module-elements.txt
index a577c187c..7bd274d56 100644
--- a/test/passes/remove-unused-module-elements.txt
+++ b/test/passes/remove-unused-module-elements.txt
@@ -80,8 +80,129 @@
)
)
(module
+)
+(module
+)
+(module
+ (import "env" "memory" (memory $0 256))
+ (import "env" "table" (table 1 anyfunc))
+ (export "mem" (memory $0))
+ (export "tab" (table $0))
+)
+(module
+ (type $0 (func))
+ (import "env" "memory" (memory $0 256))
+ (import "env" "table" (table 1 anyfunc))
+ (elem (i32.const 0) $waka)
+ (data (i32.const 1) "hello, world!")
+ (func $waka (; 0 ;) (type $0)
+ (nop)
+ )
+)
+(module
+ (type $0 (func))
(import "env" "memory" (memory $0 256))
(import "env" "table" (table 0 anyfunc))
+ (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_u.cmpxchg
+ (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.wait
+ (get_local $0)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ )
+)
+(module
+ (type $0 (func (result i32)))
+ (memory $0 (shared 23 256))
+ (export "user" (func $user))
+ (func $user (; 0 ;) (type $0) (result i32)
+ (wake
+ (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))
@@ -104,7 +225,6 @@
(global $int (mut i32) (get_global $imported))
(global $set (mut i32) (i32.const 100))
(global $exp_glob i32 (i32.const 600))
- (memory $0 0)
(export "one" (func $one))
(export "three" (func $three))
(export "exp_glob" (global $exp_glob))
diff --git a/test/passes/remove-unused-module-elements.wast b/test/passes/remove-unused-module-elements.wast
index 4dfb9300f..e1a704355 100644
--- a/test/passes/remove-unused-module-elements.wast
+++ b/test/passes/remove-unused-module-elements.wast
@@ -69,10 +69,101 @@
(unreachable)
)
)
-(module ;; leave the table and memory alone
+(module ;; remove the table and memory
(import "env" "memory" (memory $0 256))
(import "env" "table" (table 0 anyfunc))
)
+(module ;; also when not imported
+ (memory 256)
+ (table 1 anyfunc)
+)
+(module ;; but not when exported
+ (import "env" "memory" (memory $0 256))
+ (import "env" "table" (table 1 anyfunc))
+ (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 anyfunc))
+ (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 anyfunc))
+ (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_u.cmpxchg (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
+ (i32.wait
+ (get_local $0)
+ (get_local $0)
+ (get_local $1)
+ )
+ )
+ )
+)
+(module ;; more use checks
+ (memory $0 (shared 23 256))
+ (export "user" $user)
+ (func $user (result i32)
+ (wake (i32.const 0) (i32.const 0))
+ )
+)
+(module ;; more use checks
+ (memory $0 23 256)
+ (export "user" $user)
+ (func $user (result i32)
+ (grow_memory (i32.const 0))
+ )
+)
+(module ;; more use checks
+ (import "env" "memory" (memory $0 256))
+ (export "user" $user)
+ (func $user (result i32)
+ (grow_memory (i32.const 0))
+ )
+)
+(module ;; more use checks
+ (memory $0 23 256)
+ (export "user" $user)
+ (func $user (result i32)
+ (current_memory)
+ )
+)
(module
(import "env" "memory" (memory $0 256))
(import "env" "table" (table 0 anyfunc))
diff --git a/test/passes/remove-unused-names_code-folding.txt b/test/passes/remove-unused-names_code-folding.txt
index c037c95ef..5f5b30e7e 100644
--- a/test/passes/remove-unused-names_code-folding.txt
+++ b/test/passes/remove-unused-names_code-folding.txt
@@ -2,7 +2,6 @@
(type $0 (func))
(type $1 (func (param i32 i32) (result i32)))
(type $2 (func (result i32)))
- (memory $0 0)
(func $ifs (; 0 ;) (type $0)
(if
(i32.const 0)
diff --git a/test/passes/remove-unused-names_vacuum.txt b/test/passes/remove-unused-names_vacuum.txt
index e02fa3e9e..07b41cf13 100644
--- a/test/passes/remove-unused-names_vacuum.txt
+++ b/test/passes/remove-unused-names_vacuum.txt
@@ -1,7 +1,6 @@
(module
(type $0 (func (result i32)))
(type $1 (func))
- (memory $0 0)
(func $return-i32-but-body-is-unreachable3 (; 0 ;) (type $0) (result i32)
(local $label i32)
(loop $while-in$1
diff --git a/test/passes/rereloop.txt b/test/passes/rereloop.txt
index 52f088594..8d5c3eaef 100644
--- a/test/passes/rereloop.txt
+++ b/test/passes/rereloop.txt
@@ -3,7 +3,6 @@
(type $1 (func (result i32)))
(type $2 (func (param i32) (result i32)))
(type $3 (func (param i32)))
- (memory $0 0)
(func $trivial (; 0 ;) (type $0)
(local $0 i32)
(block
@@ -761,7 +760,6 @@
(type $0 (func))
(type $1 (func (result i32)))
(global $global$0 (mut i32) (i32.const 1))
- (memory $0 0)
(export "one" (func $0))
(export "two" (func $1))
(func $0 (; 0 ;) (type $0)
diff --git a/test/passes/rereloop_dce_remove-unused-brs_remove-unused-names_coalesce-locals_simplify-locals_reorder-locals_remove-unused-brs_merge-blocks_vacuum.txt b/test/passes/rereloop_dce_remove-unused-brs_remove-unused-names_coalesce-locals_simplify-locals_reorder-locals_remove-unused-brs_merge-blocks_vacuum.txt
index 6aecee123..f46805f2e 100644
--- a/test/passes/rereloop_dce_remove-unused-brs_remove-unused-names_coalesce-locals_simplify-locals_reorder-locals_remove-unused-brs_merge-blocks_vacuum.txt
+++ b/test/passes/rereloop_dce_remove-unused-brs_remove-unused-names_coalesce-locals_simplify-locals_reorder-locals_remove-unused-brs_merge-blocks_vacuum.txt
@@ -3,7 +3,6 @@
(type $1 (func (result i32)))
(type $2 (func (param i32) (result i32)))
(type $3 (func (param i32)))
- (memory $0 0)
(func $trivial (; 0 ;) (type $0)
(nop)
)
diff --git a/test/passes/rse.txt b/test/passes/rse.txt
index 017616cce..ba31b58cc 100644
--- a/test/passes/rse.txt
+++ b/test/passes/rse.txt
@@ -3,7 +3,6 @@
(type $1 (func (param i32)))
(type $2 (func))
(type $3 (func (param i32 i32)))
- (memory $0 0)
(func $basic (; 0 ;) (type $0) (param $x i32) (param $y f64)
(local $a f32)
(local $b i64)
diff --git a/test/passes/simplify-locals-nostructure.txt b/test/passes/simplify-locals-nostructure.txt
index b94d681fc..4b1d1002a 100644
--- a/test/passes/simplify-locals-nostructure.txt
+++ b/test/passes/simplify-locals-nostructure.txt
@@ -1,6 +1,5 @@
(module
(type $0 (func))
- (memory $0 0)
(func $contrast (; 0 ;) (type $0)
(local $x i32)
(local $y i32)
diff --git a/test/passes/simplify-locals-notee-nostructure.txt b/test/passes/simplify-locals-notee-nostructure.txt
index 9133ed092..fc88d14d6 100644
--- a/test/passes/simplify-locals-notee-nostructure.txt
+++ b/test/passes/simplify-locals-notee-nostructure.txt
@@ -1,6 +1,5 @@
(module
(type $0 (func))
- (memory $0 0)
(func $contrast (; 0 ;) (type $0)
(local $x i32)
(local $y i32)
diff --git a/test/passes/simplify-locals-notee.txt b/test/passes/simplify-locals-notee.txt
index 57b8e19c4..b6855d235 100644
--- a/test/passes/simplify-locals-notee.txt
+++ b/test/passes/simplify-locals-notee.txt
@@ -1,6 +1,5 @@
(module
(type $0 (func))
- (memory $0 0)
(func $contrast (; 0 ;) (type $0)
(local $x i32)
(local $y i32)
diff --git a/test/passes/ssa.txt b/test/passes/ssa.txt
index 1370e4096..657ccc128 100644
--- a/test/passes/ssa.txt
+++ b/test/passes/ssa.txt
@@ -3,7 +3,6 @@
(type $1 (func))
(type $2 (func (result i32)))
(global $global$0 (mut i32) (i32.const 1))
- (memory $0 0)
(func $basics (; 0 ;) (type $0) (param $x i32)
(local $y i32)
(local $z f32)
diff --git a/test/passes/trap-mode-clamp.txt b/test/passes/trap-mode-clamp.txt
index 6bed7c829..69a2312c9 100644
--- a/test/passes/trap-mode-clamp.txt
+++ b/test/passes/trap-mode-clamp.txt
@@ -2,7 +2,6 @@
(type $0 (func (param i32 i64)))
(type $1 (func (param f32)))
(type $2 (func (param f64)))
- (memory $0 0)
(func $test_div (; 0 ;) (type $0) (param $0 i32) (param $1 i64)
(drop
(call $i32s-div
diff --git a/test/passes/trap-mode-js.txt b/test/passes/trap-mode-js.txt
index 82221b1a9..5a1ca36f1 100644
--- a/test/passes/trap-mode-js.txt
+++ b/test/passes/trap-mode-js.txt
@@ -4,7 +4,6 @@
(type $2 (func (param f64)))
(type $FUNCSIG$id (func (param f64) (result i32)))
(import "asm2wasm" "f64-to-int" (func $f64-to-int (param f64) (result i32)))
- (memory $0 0)
(func $test_div (; 1 ;) (type $0) (param $0 i32) (param $1 i64)
(drop
(call $i32s-div
diff --git a/test/passes/untee.txt b/test/passes/untee.txt
index 176e77897..c3299ddf8 100644
--- a/test/passes/untee.txt
+++ b/test/passes/untee.txt
@@ -1,6 +1,5 @@
(module
(type $0 (func))
- (memory $0 0)
(func $tee (; 0 ;) (type $0)
(local $x i32)
(local $y f64)
diff --git a/test/passes/vacuum_ignore-implicit-traps.txt b/test/passes/vacuum_ignore-implicit-traps.txt
index 085f37914..46db916c8 100644
--- a/test/passes/vacuum_ignore-implicit-traps.txt
+++ b/test/passes/vacuum_ignore-implicit-traps.txt
@@ -1,7 +1,6 @@
(module
(type $0 (func (result i32)))
(type $1 (func))
- (memory $0 0)
(func $load-would-normally-have-side-effects (; 0 ;) (type $0) (result i32)
(i64.ge_s
(i64.const 2912825531628789796)
diff --git a/test/passes/vacuum_remove-unused-names_merge-blocks.txt b/test/passes/vacuum_remove-unused-names_merge-blocks.txt
index 3cc085e0b..716ff66b2 100644
--- a/test/passes/vacuum_remove-unused-names_merge-blocks.txt
+++ b/test/passes/vacuum_remove-unused-names_merge-blocks.txt
@@ -1,6 +1,5 @@
(module
(type $0 (func (param i32) (result i32)))
- (memory $0 0)
(func $return-block (; 0 ;) (type $0) (param $x i32) (result i32)
(set_local $x
(get_local $x)