summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/lit/exec/no-compare-refs.wast2
-rw-r--r--test/lit/passes/gto-mutability.wast2
-rw-r--r--test/lit/passes/gto-removals.wast4
-rw-r--r--test/lit/passes/remove-unused-types.wast2
-rw-r--r--test/lit/passes/signature-pruning.wast2
-rw-r--r--test/lit/passes/signature-refining_gto.wat4
-rw-r--r--test/lit/passes/type-merging.wast2
-rw-r--r--test/lit/passes/type-refining-isorecursive.wast2
-rw-r--r--test/lit/passes/type-refining.wast2
-rw-r--r--test/lit/passes/type-ssa_and_merging.wast16
10 files changed, 16 insertions, 22 deletions
diff --git a/test/lit/exec/no-compare-refs.wast b/test/lit/exec/no-compare-refs.wast
index bb9766a31..d456ab118 100644
--- a/test/lit/exec/no-compare-refs.wast
+++ b/test/lit/exec/no-compare-refs.wast
@@ -1,6 +1,6 @@
;; NOTE: Assertions have been generated by update_lit_checks.py --output=fuzz-exec and should not be edited.
-;; RUN: wasm-opt %s --hybrid -all --signature-pruning --fuzz-exec -q -o /dev/null 2>&1 | filecheck %s
+;; RUN: wasm-opt %s --hybrid -all --signature-pruning --closed-world --fuzz-exec -q -o /dev/null 2>&1 | filecheck %s
(module
(type $f (func (param i32)))
diff --git a/test/lit/passes/gto-mutability.wast b/test/lit/passes/gto-mutability.wast
index 4f1e9a6d4..32d20b450 100644
--- a/test/lit/passes/gto-mutability.wast
+++ b/test/lit/passes/gto-mutability.wast
@@ -1,5 +1,5 @@
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
-;; RUN: foreach %s %t wasm-opt --nominal --gto -all -S -o - | filecheck %s
+;; RUN: foreach %s %t wasm-opt --nominal --gto --closed-world -all -S -o - | filecheck %s
;; (remove-unused-names is added to test fallthrough values without a block
;; name getting in the way)
diff --git a/test/lit/passes/gto-removals.wast b/test/lit/passes/gto-removals.wast
index b5890e6b1..c2895cf32 100644
--- a/test/lit/passes/gto-removals.wast
+++ b/test/lit/passes/gto-removals.wast
@@ -1,7 +1,5 @@
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
-;; RUN: foreach %s %t wasm-opt --nominal --gto -all -S -o - | filecheck %s
-;; (remove-unused-names is added to test fallthrough values without a block
-;; name getting in the way)
+;; RUN: foreach %s %t wasm-opt --nominal --gto --closed-world -all -S -o - | filecheck %s
(module
;; A struct with a field that is never read or written, so it can be
diff --git a/test/lit/passes/remove-unused-types.wast b/test/lit/passes/remove-unused-types.wast
index 5dcf889e4..afcafe8cd 100644
--- a/test/lit/passes/remove-unused-types.wast
+++ b/test/lit/passes/remove-unused-types.wast
@@ -1,6 +1,6 @@
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
-;; RUN: wasm-opt %s --remove-unused-types -all -S -o - | filecheck %s
+;; RUN: wasm-opt %s --remove-unused-types --closed-world -all -S -o - | filecheck %s
(module
(rec
diff --git a/test/lit/passes/signature-pruning.wast b/test/lit/passes/signature-pruning.wast
index 493b7237a..c3d6567f7 100644
--- a/test/lit/passes/signature-pruning.wast
+++ b/test/lit/passes/signature-pruning.wast
@@ -1,5 +1,5 @@
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
-;; RUN: foreach %s %t wasm-opt --nominal --signature-pruning -all -S -o - | filecheck %s
+;; RUN: foreach %s %t wasm-opt --nominal --signature-pruning --closed-world -all -S -o - | filecheck %s
(module
;; CHECK: (type $sig (func (param i32 f64)))
diff --git a/test/lit/passes/signature-refining_gto.wat b/test/lit/passes/signature-refining_gto.wat
index 2a6f768c8..8e034ef3e 100644
--- a/test/lit/passes/signature-refining_gto.wat
+++ b/test/lit/passes/signature-refining_gto.wat
@@ -1,5 +1,5 @@
-;; RUN: foreach %s %t wasm-opt --nominal --signature-refining --gto --roundtrip -all -S -o - | filecheck %s
-;; RUN: foreach %s %t wasm-opt --signature-refining --gto --remove-unused-types --roundtrip -all -S -o - | filecheck %s --check-prefix ISOREC
+;; RUN: foreach %s %t wasm-opt --closed-world --nominal --signature-refining --gto --roundtrip -all -S -o - | filecheck %s
+;; RUN: foreach %s %t wasm-opt --closed-world --signature-refining --gto --remove-unused-types --roundtrip -all -S -o - | filecheck %s --check-prefix ISOREC
;; Check that type $A is not included in the final binary after the signature
;; refining optimization. For isorecursive types, this requires an additional
diff --git a/test/lit/passes/type-merging.wast b/test/lit/passes/type-merging.wast
index 56e339777..85565551d 100644
--- a/test/lit/passes/type-merging.wast
+++ b/test/lit/passes/type-merging.wast
@@ -1,5 +1,5 @@
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
-;; RUN: foreach %s %t wasm-opt --nominal --type-merging -all -S -o - | filecheck %s
+;; RUN: foreach %s %t wasm-opt --nominal --closed-world --type-merging -all -S -o - | filecheck %s
(module
;; CHECK: (type $A (struct (field i32)))
diff --git a/test/lit/passes/type-refining-isorecursive.wast b/test/lit/passes/type-refining-isorecursive.wast
index 820e6283a..245801843 100644
--- a/test/lit/passes/type-refining-isorecursive.wast
+++ b/test/lit/passes/type-refining-isorecursive.wast
@@ -1,5 +1,5 @@
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
-;; RUN: foreach %s %t wasm-opt --hybrid --type-refining -all -S -o - | filecheck %s
+;; RUN: foreach %s %t wasm-opt --hybrid --type-refining --closed-world -all -S -o - | filecheck %s
(module
;; The types should be refined to a set of three mutually recursive types.
diff --git a/test/lit/passes/type-refining.wast b/test/lit/passes/type-refining.wast
index 62f8b273c..5356d7a0f 100644
--- a/test/lit/passes/type-refining.wast
+++ b/test/lit/passes/type-refining.wast
@@ -1,5 +1,5 @@
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
-;; RUN: foreach %s %t wasm-opt --nominal --type-refining -all -S -o - | filecheck %s
+;; RUN: foreach %s %t wasm-opt --nominal --closed-world --type-refining -all -S -o - | filecheck %s
(module
;; A struct with three fields. The first will have no writes, the second one
diff --git a/test/lit/passes/type-ssa_and_merging.wast b/test/lit/passes/type-ssa_and_merging.wast
index 40322bfcb..291b37cc2 100644
--- a/test/lit/passes/type-ssa_and_merging.wast
+++ b/test/lit/passes/type-ssa_and_merging.wast
@@ -1,16 +1,16 @@
;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
-;; RUN: foreach %s %t wasm-opt --nominal --gufa -Os -all -S -o - | filecheck %s --check-prefix NOP
-;; RUN: foreach %s %t wasm-opt --nominal --type-ssa --gufa -Os --type-merging -all -S -o - | filecheck %s --check-prefix YES
+;; RUN: foreach %s %t wasm-opt --nominal --closed-world --gufa -Os -all -S -o - | filecheck %s --check-prefix NOP
+;; RUN: foreach %s %t wasm-opt --nominal --closed-world --type-ssa --gufa -Os --type-merging -all -S -o - | filecheck %s --check-prefix YES
;; Show that the combination of type-ssa and type-merging can find things that
;; otherwise cannot be optimized. NOP will fail to optimize something that YES
;; can.
(module
- ;; NOP: (type $A (struct (field (mut i32))))
+ ;; NOP: (type $A (struct (field i32)))
;; YES: (type $none_=>_i32 (func (result i32)))
- ;; YES: (type $A (struct (field (mut i32))))
+ ;; YES: (type $A (struct ))
(type $A (struct_subtype (field (mut i32)) data))
;; NOP: (type $none_=>_i32 (func (result i32)))
@@ -40,9 +40,7 @@
;; YES: (func $main1 (type $none_=>_i32) (result i32)
;; YES-NEXT: (call $get-a-1
- ;; YES-NEXT: (struct.new $A
- ;; YES-NEXT: (i32.const 42)
- ;; YES-NEXT: )
+ ;; YES-NEXT: (struct.new_default $A)
;; YES-NEXT: )
;; YES-NEXT: (i32.const 42)
;; YES-NEXT: )
@@ -62,9 +60,7 @@
;; NOP-NEXT: )
;; YES: (func $main2 (type $none_=>_i32) (result i32)
;; YES-NEXT: (call $get-a-2
- ;; YES-NEXT: (struct.new $A
- ;; YES-NEXT: (i32.const 1337)
- ;; YES-NEXT: )
+ ;; YES-NEXT: (struct.new_default $A)
;; YES-NEXT: )
;; YES-NEXT: (i32.const 1337)
;; YES-NEXT: )