summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/lit/help/wasm-opt.test3
-rw-r--r--test/lit/help/wasm2js.test3
-rw-r--r--test/lit/passes/type-ssa.wast221
3 files changed, 227 insertions, 0 deletions
diff --git a/test/lit/help/wasm-opt.test b/test/lit/help/wasm-opt.test
index d7c70bc9e..0d7c053d1 100644
--- a/test/lit/help/wasm-opt.test
+++ b/test/lit/help/wasm-opt.test
@@ -460,6 +460,9 @@
;; CHECK-NEXT: --type-refining apply more specific subtypes to
;; CHECK-NEXT: type fields where possible
;; CHECK-NEXT:
+;; CHECK-NEXT: --type-ssa create new nominal types to help
+;; CHECK-NEXT: other optimizations
+;; CHECK-NEXT:
;; CHECK-NEXT: --untee removes local.tees, replacing
;; CHECK-NEXT: them with sets and gets
;; CHECK-NEXT:
diff --git a/test/lit/help/wasm2js.test b/test/lit/help/wasm2js.test
index 270f03fbf..124cd0bbe 100644
--- a/test/lit/help/wasm2js.test
+++ b/test/lit/help/wasm2js.test
@@ -419,6 +419,9 @@
;; CHECK-NEXT: --type-refining apply more specific subtypes to
;; CHECK-NEXT: type fields where possible
;; CHECK-NEXT:
+;; CHECK-NEXT: --type-ssa create new nominal types to help
+;; CHECK-NEXT: other optimizations
+;; CHECK-NEXT:
;; CHECK-NEXT: --untee removes local.tees, replacing
;; CHECK-NEXT: them with sets and gets
;; CHECK-NEXT:
diff --git a/test/lit/passes/type-ssa.wast b/test/lit/passes/type-ssa.wast
new file mode 100644
index 000000000..f799cd871
--- /dev/null
+++ b/test/lit/passes/type-ssa.wast
@@ -0,0 +1,221 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+;; RUN: foreach %s %t wasm-opt --type-ssa -all -S -o - | filecheck %s
+;; RUN: foreach %s %t wasm-opt --nominal --type-ssa -all -S -o - | filecheck %s --check-prefix NOMNL
+
+;; Test in both isorecursive and nominal modes to make sure we create the new
+;; types properly in both.
+
+;; Every struct.new here should get a new type.
+(module
+ ;; CHECK: (type $struct (struct (field i32)))
+ ;; NOMNL: (type $struct (struct (field i32)))
+ (type $struct (struct_subtype (field i32) data))
+
+ ;; CHECK: (type $none_=>_none (func))
+
+ ;; CHECK: (rec
+ ;; CHECK-NEXT: (type $struct$1 (struct_subtype (field i32) $struct))
+
+ ;; CHECK: (type $struct$2 (struct_subtype (field i32) $struct))
+
+ ;; CHECK: (type $struct$3 (struct_subtype (field i32) $struct))
+
+ ;; CHECK: (type $struct$4 (struct_subtype (field i32) $struct))
+
+ ;; CHECK: (type $struct$5 (struct_subtype (field i32) $struct))
+
+ ;; CHECK: (global $g (ref $struct) (struct.new $struct$4
+ ;; CHECK-NEXT: (i32.const 42)
+ ;; CHECK-NEXT: ))
+ ;; NOMNL: (type $none_=>_none (func))
+
+ ;; NOMNL: (type $struct$4 (struct_subtype (field i32) $struct))
+
+ ;; NOMNL: (type $struct$5 (struct_subtype (field i32) $struct))
+
+ ;; NOMNL: (type $struct$1 (struct_subtype (field i32) $struct))
+
+ ;; NOMNL: (type $struct$2 (struct_subtype (field i32) $struct))
+
+ ;; NOMNL: (type $struct$3 (struct_subtype (field i32) $struct))
+
+ ;; NOMNL: (global $g (ref $struct) (struct.new $struct$4
+ ;; NOMNL-NEXT: (i32.const 42)
+ ;; NOMNL-NEXT: ))
+ (global $g (ref $struct) (struct.new $struct
+ (i32.const 42)
+ ))
+
+ ;; CHECK: (global $h (ref $struct) (struct.new $struct$5
+ ;; CHECK-NEXT: (i32.const 42)
+ ;; CHECK-NEXT: ))
+ ;; NOMNL: (global $h (ref $struct) (struct.new $struct$5
+ ;; NOMNL-NEXT: (i32.const 42)
+ ;; NOMNL-NEXT: ))
+ (global $h (ref $struct) (struct.new $struct
+ (i32.const 42)
+ ))
+
+ ;; CHECK: (func $foo (type $none_=>_none)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (struct.new_default $struct$1)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (struct.new $struct$2
+ ;; CHECK-NEXT: (i32.const 10)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; NOMNL: (func $foo (type $none_=>_none)
+ ;; NOMNL-NEXT: (drop
+ ;; NOMNL-NEXT: (struct.new_default $struct$1)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: (drop
+ ;; NOMNL-NEXT: (struct.new $struct$2
+ ;; NOMNL-NEXT: (i32.const 10)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ (func $foo
+ (drop
+ (struct.new_default $struct)
+ )
+ (drop
+ (struct.new $struct
+ (i32.const 10)
+ )
+ )
+ )
+
+ ;; CHECK: (func $another-func (type $none_=>_none)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (struct.new $struct$3
+ ;; CHECK-NEXT: (i32.const 100)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; NOMNL: (func $another-func (type $none_=>_none)
+ ;; NOMNL-NEXT: (drop
+ ;; NOMNL-NEXT: (struct.new $struct$3
+ ;; NOMNL-NEXT: (i32.const 100)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ (func $another-func
+ (drop
+ (struct.new $struct
+ (i32.const 100)
+ )
+ )
+ )
+)
+
+;; Some of these are uninteresting and should not get a new type.
+(module
+ ;; CHECK: (type $anyref_arrayref_=>_none (func (param anyref arrayref)))
+
+ ;; CHECK: (type $struct (struct (field anyref)))
+ ;; NOMNL: (type $anyref_arrayref_=>_none (func (param anyref arrayref)))
+
+ ;; NOMNL: (type $struct (struct (field anyref)))
+ (type $struct (struct_subtype (field (ref null any)) data))
+
+ ;; CHECK: (rec
+ ;; CHECK-NEXT: (type $struct$1 (struct_subtype (field anyref) $struct))
+
+ ;; CHECK: (type $struct$2 (struct_subtype (field anyref) $struct))
+
+ ;; CHECK: (type $struct$3 (struct_subtype (field anyref) $struct))
+
+ ;; CHECK: (func $foo (type $anyref_arrayref_=>_none) (param $any anyref) (param $array arrayref)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (struct.new_default $struct$1)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (struct.new $struct$2
+ ;; CHECK-NEXT: (ref.null none)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (struct.new $struct
+ ;; CHECK-NEXT: (local.get $any)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (struct.new $struct$3
+ ;; CHECK-NEXT: (local.get $array)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (block ;; (replaces something unreachable we can't emit)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (unreachable)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (unreachable)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; NOMNL: (type $struct$1 (struct_subtype (field anyref) $struct))
+
+ ;; NOMNL: (type $struct$2 (struct_subtype (field anyref) $struct))
+
+ ;; NOMNL: (type $struct$3 (struct_subtype (field anyref) $struct))
+
+ ;; NOMNL: (func $foo (type $anyref_arrayref_=>_none) (param $any anyref) (param $array arrayref)
+ ;; NOMNL-NEXT: (drop
+ ;; NOMNL-NEXT: (struct.new_default $struct$1)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: (drop
+ ;; NOMNL-NEXT: (struct.new $struct$2
+ ;; NOMNL-NEXT: (ref.null none)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: (drop
+ ;; NOMNL-NEXT: (struct.new $struct
+ ;; NOMNL-NEXT: (local.get $any)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: (drop
+ ;; NOMNL-NEXT: (struct.new $struct$3
+ ;; NOMNL-NEXT: (local.get $array)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: (drop
+ ;; NOMNL-NEXT: (block ;; (replaces something unreachable we can't emit)
+ ;; NOMNL-NEXT: (drop
+ ;; NOMNL-NEXT: (unreachable)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: (unreachable)
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ ;; NOMNL-NEXT: )
+ (func $foo (param $any (ref null any)) (param $array (ref null array))
+ ;; A null is interesting.
+ (drop
+ (struct.new_default $struct)
+ )
+ (drop
+ (struct.new $struct
+ (ref.null none)
+ )
+ )
+ ;; An unknown value of the same type is uninteresting.
+ (drop
+ (struct.new $struct
+ (local.get $any)
+ )
+ )
+ ;; But a more refined type piques our interest.
+ (drop
+ (struct.new $struct
+ (local.get $array)
+ )
+ )
+ ;; An unreachable is boring.
+ (drop
+ (struct.new $struct
+ (unreachable)
+ )
+ )
+ )
+)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-08 23:10:52 +0000