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/merge-similar-functions.wast447
-rw-r--r--test/lit/passes/merge-similar-functions_all-features.wast90
4 files changed, 543 insertions, 0 deletions
diff --git a/test/lit/help/wasm-opt.test b/test/lit/help/wasm-opt.test
index 8a752c8be..183106e4d 100644
--- a/test/lit/help/wasm-opt.test
+++ b/test/lit/help/wasm-opt.test
@@ -225,6 +225,9 @@
;; CHECK-NEXT:
;; CHECK-NEXT: --merge-locals merges locals when beneficial
;; CHECK-NEXT:
+;; CHECK-NEXT: --merge-similar-functions merges similar functions when
+;; CHECK-NEXT: benefical
+;; CHECK-NEXT:
;; CHECK-NEXT: --metrics reports metrics
;; CHECK-NEXT:
;; CHECK-NEXT: --minify-imports minifies import names (only
diff --git a/test/lit/help/wasm2js.test b/test/lit/help/wasm2js.test
index f24f348a7..0b03efa27 100644
--- a/test/lit/help/wasm2js.test
+++ b/test/lit/help/wasm2js.test
@@ -187,6 +187,9 @@
;; CHECK-NEXT:
;; CHECK-NEXT: --merge-locals merges locals when beneficial
;; CHECK-NEXT:
+;; CHECK-NEXT: --merge-similar-functions merges similar functions when
+;; CHECK-NEXT: benefical
+;; CHECK-NEXT:
;; CHECK-NEXT: --metrics reports metrics
;; CHECK-NEXT:
;; CHECK-NEXT: --minify-imports minifies import names (only
diff --git a/test/lit/passes/merge-similar-functions.wast b/test/lit/passes/merge-similar-functions.wast
new file mode 100644
index 000000000..8fb2c5d13
--- /dev/null
+++ b/test/lit/passes/merge-similar-functions.wast
@@ -0,0 +1,447 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
+;; RUN: foreach %s %t wasm-opt --enable-reference-types --enable-typed-function-references --merge-similar-functions -S -o - | filecheck %s
+
+(module
+ ;; CHECK: (func $big-const-42 (result i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$big-const-42
+ ;; CHECK-NEXT: (i32.const 42)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $big-const-42 (result i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (i32.const 42)
+ )
+
+ ;; same as $big-const-42, but the set of $big-const-* derives {42, 42, 43} params
+ ;; CHECK: (func $big-const-42-1 (result i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$big-const-42
+ ;; CHECK-NEXT: (i32.const 42)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $big-const-42-1 (result i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (i32.const 42)
+ )
+ ;; CHECK: (func $big-const-43 (result i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$big-const-42
+ ;; CHECK-NEXT: (i32.const 43)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $big-const-43 (result i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (i32.const 43)
+ )
+
+ ;; CHECK: (func $small-const-44 (result i32)
+ ;; CHECK-NEXT: (i32.const 44)
+ ;; CHECK-NEXT: )
+ (func $small-const-44 (result i32)
+ (i32.const 44)
+ )
+ ;; CHECK: (func $small-const-45 (result i32)
+ ;; CHECK-NEXT: (i32.const 45)
+ ;; CHECK-NEXT: )
+ (func $small-const-45 (result i32)
+ (i32.const 45)
+ )
+
+ ;; CHECK: (func $byn$mgfn-shared$big-const-42 (param $0 i32) (result i32)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (local.get $0)
+ ;; CHECK-NEXT: )
+)
+
+;; offset locals for extra params
+(module
+ ;; CHECK: (func $take-param-and-local-0 (param $0 i32) (result i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$take-param-and-local-0
+ ;; CHECK-NEXT: (local.get $0)
+ ;; CHECK-NEXT: (i32.const 42)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $take-param-and-local-0 (param $0 i32) (result i32)
+ (local $1 i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (i32.add (i32.add (i32.const 42) (local.get $0)) (local.get $1))
+ )
+ ;; CHECK: (func $take-param-and-local-1 (param $0 i32) (result i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$take-param-and-local-0
+ ;; CHECK-NEXT: (local.get $0)
+ ;; CHECK-NEXT: (i32.const 43)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $take-param-and-local-1 (param $0 i32) (result i32)
+ (local $1 i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (i32.add (i32.add (i32.const 43) (local.get $0)) (local.get $1))
+ )
+
+ ;; CHECK: (func $byn$mgfn-shared$take-param-and-local-0 (param $0 i32) (param $1 i32) (result i32)
+ ;; CHECK-NEXT: (local $2 i32)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (i32.add
+ ;; CHECK-NEXT: (i32.add
+ ;; CHECK-NEXT: (local.get $1)
+ ;; CHECK-NEXT: (local.get $0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (local.get $2)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+)
+
+;; different callees
+(module
+ ;; CHECK: (func $callee-0 (result i32)
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: )
+ (func $callee-0 (result i32) (i32.const 0))
+ ;; CHECK: (func $callee-1 (result i32)
+ ;; CHECK-NEXT: (i32.const 1)
+ ;; CHECK-NEXT: )
+ (func $callee-1 (result i32) (i32.const 1))
+ ;; CHECK: (func $callee-2 (result i32)
+ ;; CHECK-NEXT: (i32.const 2)
+ ;; CHECK-NEXT: )
+ (func $callee-2 (result i32) (i32.const 2))
+
+ ;; CHECK: (func $callee-take-arg-0 (param $0 i32) (result i32)
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: )
+ (func $callee-take-arg-0 (param i32) (result i32) (i32.const 0))
+ ;; CHECK: (func $callee-take-arg-1 (param $0 i32) (result i32)
+ ;; CHECK-NEXT: (i32.const 1)
+ ;; CHECK-NEXT: )
+ (func $callee-take-arg-1 (param i32) (result i32) (i32.const 1))
+ ;; CHECK: (func $callee-take-arg-2 (param $0 i32) (result i32)
+ ;; CHECK-NEXT: (i32.const 2)
+ ;; CHECK-NEXT: )
+ (func $callee-take-arg-2 (param i32) (result i32) (i32.const 2))
+
+ ;; CHECK: (func $yes-call-callee-0 (result i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$yes-call-callee-0
+ ;; CHECK-NEXT: (ref.func $callee-0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $yes-call-callee-0 (result i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (call $callee-0)
+ )
+ ;; CHECK: (func $yes-call-callee-1 (result i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$yes-call-callee-0
+ ;; CHECK-NEXT: (ref.func $callee-1)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $yes-call-callee-1 (result i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (call $callee-1)
+ )
+ ;; CHECK: (func $yes-call-callee-2 (result i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$yes-call-callee-0
+ ;; CHECK-NEXT: (ref.func $callee-2)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $yes-call-callee-2 (result i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (call $callee-2)
+ )
+
+
+ ;; CHECK: (func $yes-call-callee-take-arg-0 (result i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$yes-call-callee-take-arg-0
+ ;; CHECK-NEXT: (ref.func $callee-take-arg-0)
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $yes-call-callee-take-arg-0 (result i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (call $callee-take-arg-0 (i32.const 0))
+ )
+ ;; CHECK: (func $yes-call-callee-take-arg-1 (result i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$yes-call-callee-take-arg-0
+ ;; CHECK-NEXT: (ref.func $callee-take-arg-1)
+ ;; CHECK-NEXT: (i32.const 1)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $yes-call-callee-take-arg-1 (result i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (call $callee-take-arg-1 (i32.const 1))
+ )
+
+
+ ;; NOTE: calls with different argument expressions are not mergeable
+
+ ;; CHECK: (func $no-call-callee-take-arg-0 (result i32)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (call $callee-take-arg-0
+ ;; CHECK-NEXT: (block $block (result i32)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $no-call-callee-take-arg-0 (result i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (call $callee-take-arg-0
+ (block (result i32)
+ (drop (i32.const 0))
+ (i32.const 0)
+ )
+ )
+ )
+ ;; CHECK: (func $no-call-callee-take-arg-1 (result i32)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (call $callee-take-arg-1
+ ;; CHECK-NEXT: (block $block (result i32)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (i32.const 0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $no-call-callee-take-arg-1 (result i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (call $callee-take-arg-1
+ (block (result i32)
+ (drop (i32.const 0))
+ (drop (i32.const 0))
+ (i32.const 0)
+ )
+ )
+ )
+
+ ;; CHECK: (func $byn$mgfn-shared$yes-call-callee-0 (param $0 (ref $none_=>_i32)) (result i32)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (call_ref
+ ;; CHECK-NEXT: (local.get $0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+)
+
+(module
+ ;; CHECK: (func $use-42-twice (result i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$use-42-twice
+ ;; CHECK-NEXT: (i32.const 42)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $use-42-twice (result i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (i32.add
+ (i32.const 42)
+ (i32.const 42)
+ )
+ )
+ ;; CHECK: (func $use-43-twice (result i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$use-42-twice
+ ;; CHECK-NEXT: (i32.const 43)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $use-43-twice (result i32)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (i32.add
+ (i32.const 43)
+ (i32.const 43)
+ )
+ )
+
+ ;; CHECK: (func $byn$mgfn-shared$use-42-twice (param $0 i32) (result i32)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (i32.add
+ ;; CHECK-NEXT: (local.get $0)
+ ;; CHECK-NEXT: (local.get $0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+)
+
+(module
+ ;; CHECK: (func $yes-offset-local-indices-1 (param $a i32) (param $b i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$yes-offset-local-indices-1
+ ;; CHECK-NEXT: (local.get $a)
+ ;; CHECK-NEXT: (local.get $b)
+ ;; CHECK-NEXT: (i32.const 1)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $yes-offset-local-indices-1 (param $a i32) (param $b i32)
+ (local $x i32)
+ (local $y i32)
+ (drop (local.get $a))
+ (drop (local.get $b))
+ (drop (local.get $x))
+ (drop (local.get $y))
+ (drop (local.tee $x (local.get $x)))
+ (drop (local.tee $y (local.get $y)))
+ (drop (local.tee $a (local.get $a)))
+ (drop (local.tee $b (local.get $b)))
+ (drop (i32.const 1))
+ )
+ ;; CHECK: (func $yes-offset-local-indices-2 (param $a i32) (param $b i32)
+ ;; CHECK-NEXT: (call $byn$mgfn-shared$yes-offset-local-indices-1
+ ;; CHECK-NEXT: (local.get $a)
+ ;; CHECK-NEXT: (local.get $b)
+ ;; CHECK-NEXT: (i32.const 2)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $yes-offset-local-indices-2 (param $a i32) (param $b i32)
+ (local $x i32)
+ (local $y i32)
+ (drop (local.get $a))
+ (drop (local.get $b))
+ (drop (local.get $x))
+ (drop (local.get $y))
+ (drop (local.tee $x (local.get $x)))
+ (drop (local.tee $y (local.get $y)))
+ (drop (local.tee $a (local.get $a)))
+ (drop (local.tee $b (local.get $b)))
+ (drop (i32.const 2))
+ )
+
+ ;; CHECK: (func $byn$mgfn-shared$yes-offset-local-indices-1 (param $0 i32) (param $1 i32) (param $2 i32)
+ ;; CHECK-NEXT: (local $3 i32)
+ ;; CHECK-NEXT: (local $4 i32)
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (local.get $0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (local.get $1)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (local.get $3)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (local.get $4)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (local.tee $3
+ ;; CHECK-NEXT: (local.get $3)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (local.tee $4
+ ;; CHECK-NEXT: (local.get $4)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (local.tee $0
+ ;; CHECK-NEXT: (local.get $0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (local.tee $1
+ ;; CHECK-NEXT: (local.get $1)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: (drop
+ ;; CHECK-NEXT: (local.get $2)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+)
diff --git a/test/lit/passes/merge-similar-functions_all-features.wast b/test/lit/passes/merge-similar-functions_all-features.wast
new file mode 100644
index 000000000..deda3b36b
--- /dev/null
+++ b/test/lit/passes/merge-similar-functions_all-features.wast
@@ -0,0 +1,90 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
+;; RUN: foreach %s %t wasm-opt --all-features --merge-similar-functions -S -o - | filecheck %s
+
+(module
+ ;; CHECK: (type $[i8] (array i8))
+ (type $[i8] (array i8))
+
+ ;; CHECK: (func $take-ref-null-data (param $0 (ref null data))
+ ;; CHECK-NEXT: (unreachable)
+ ;; CHECK-NEXT: )
+ (func $take-ref-null-data (param (ref null data))
+ (unreachable)
+ )
+ ;; CHECK: (func $take-ref-eq (param $0 (ref eq))
+ ;; CHECK-NEXT: (unreachable)
+ ;; CHECK-NEXT: )
+ (func $take-ref-eq (param (ref eq))
+ (unreachable)
+ )
+
+ ;; NOTE: When type A is a subtype of type B and type C,
+ ;; and func X takes a type B arg, and func Y takes a type C arg.
+ ;; Then both func X and Y are callable with a type A arg.
+ ;; But in general, type B and C don't have a common subtype, so
+ ;; we can't merge call instructions of func X and Y.
+
+ ;; CHECK: (func $no-call-subtyping-same-operand-0
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (call $take-ref-null-data
+ ;; CHECK-NEXT: (array.init_static $[i8])
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $no-call-subtyping-same-operand-0
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (call $take-ref-null-data
+ (array.init_static $[i8])
+ )
+ )
+ ;; CHECK: (func $no-call-subtyping-same-operand-1
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: (call $take-ref-eq
+ ;; CHECK-NEXT: (array.init_static $[i8])
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $no-call-subtyping-same-operand-1
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (nop) (nop) (nop) (nop) (nop) (nop)
+ (call $take-ref-eq
+ (array.init_static $[i8])
+ )
+ )
+
+)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-08 06:04:57 +0000