diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/lit/exec/no-compare-refs.wast | 2 | ||||
-rw-r--r-- | test/lit/passes/gto-mutability.wast | 2 | ||||
-rw-r--r-- | test/lit/passes/gto-removals.wast | 4 | ||||
-rw-r--r-- | test/lit/passes/remove-unused-types.wast | 2 | ||||
-rw-r--r-- | test/lit/passes/signature-pruning.wast | 2 | ||||
-rw-r--r-- | test/lit/passes/signature-refining_gto.wat | 4 | ||||
-rw-r--r-- | test/lit/passes/type-merging.wast | 2 | ||||
-rw-r--r-- | test/lit/passes/type-refining-isorecursive.wast | 2 | ||||
-rw-r--r-- | test/lit/passes/type-refining.wast | 2 | ||||
-rw-r--r-- | test/lit/passes/type-ssa_and_merging.wast | 16 |
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: ) |