summaryrefslogtreecommitdiff
path: root/test/passes
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes')
-rw-r--r--test/passes/code-folding.txt2
-rw-r--r--test/passes/code-folding.wast2
-rw-r--r--test/passes/dce.wast8
-rw-r--r--test/passes/duplicate-function-elimination.txt10
-rw-r--r--test/passes/duplicate-function-elimination.wast12
-rw-r--r--test/passes/flatten.txt8
-rw-r--r--test/passes/flatten.wast8
-rw-r--r--test/passes/inlining-optimizing_optimize-level=3.txt16
-rw-r--r--test/passes/inlining-optimizing_optimize-level=3.wast16
-rw-r--r--test/passes/print-call-graph.txt14
-rw-r--r--test/passes/print-call-graph.wast14
-rw-r--r--test/passes/remove-unused-module-elements.txt18
-rw-r--r--test/passes/remove-unused-module-elements.wast18
-rw-r--r--test/passes/remove-unused-names_merge-blocks.txt8
-rw-r--r--test/passes/remove-unused-names_merge-blocks.wast8
15 files changed, 81 insertions, 81 deletions
diff --git a/test/passes/code-folding.txt b/test/passes/code-folding.txt
index 646960a4e..031f93b91 100644
--- a/test/passes/code-folding.txt
+++ b/test/passes/code-folding.txt
@@ -10,7 +10,7 @@
(i32.const 1)
(block
(block $label$3
- (call_indirect $13
+ (call_indirect (type $13)
(block $label$4
(br $label$3)
)
diff --git a/test/passes/code-folding.wast b/test/passes/code-folding.wast
index ca1768c16..32a32b28b 100644
--- a/test/passes/code-folding.wast
+++ b/test/passes/code-folding.wast
@@ -7,7 +7,7 @@
(if
(i32.const 1)
(block $label$3
- (call_indirect $13
+ (call_indirect (type $13)
(block $label$4 (result f32) ;; but this type may change dangerously
(nop) ;; fold this
(br $label$3)
diff --git a/test/passes/dce.wast b/test/passes/dce.wast
index acabf6ca5..7050a383f 100644
--- a/test/passes/dce.wast
+++ b/test/passes/dce.wast
@@ -251,7 +251,7 @@
)
(if
(i32.const -1)
- (call_indirect $ii
+ (call_indirect (type $ii)
(i32.const 123)
(i32.const 456)
(unreachable)
@@ -259,7 +259,7 @@
)
(if
(i32.const -2)
- (call_indirect $ii
+ (call_indirect (type $ii)
(i32.const 139)
(unreachable)
(i32.const 0)
@@ -267,7 +267,7 @@
)
(if
(i32.const -3)
- (call_indirect $ii
+ (call_indirect (type $ii)
(i32.const 246)
(unreachable)
(unreachable)
@@ -275,7 +275,7 @@
)
(if
(i32.const -4)
- (call_indirect $ii
+ (call_indirect (type $ii)
(unreachable)
(unreachable)
(unreachable)
diff --git a/test/passes/duplicate-function-elimination.txt b/test/passes/duplicate-function-elimination.txt
index 9499b0011..baf4fedf2 100644
--- a/test/passes/duplicate-function-elimination.txt
+++ b/test/passes/duplicate-function-elimination.txt
@@ -391,7 +391,7 @@
(elem (i32.const 0) $erase $erase)
(memory $0 0)
(func $erase (; 0 ;) (type $T)
- (call_indirect $T
+ (call_indirect (type $T)
(i32.const 0)
)
)
@@ -402,12 +402,12 @@
(elem (i32.const 0) $keep2 $other)
(memory $0 0)
(func $keep2 (; 0 ;) (type $T)
- (call_indirect $T
+ (call_indirect (type $T)
(i32.const 0)
)
)
(func $other (; 1 ;) (type $T)
- (call_indirect $T
+ (call_indirect (type $T)
(i32.const 1)
)
)
@@ -419,12 +419,12 @@
(elem (i32.const 0) $keep2 $other)
(memory $0 0)
(func $keep2 (; 0 ;) (type $T)
- (call_indirect $T
+ (call_indirect (type $T)
(i32.const 0)
)
)
(func $other (; 1 ;) (type $T)
- (call_indirect $S
+ (call_indirect (type $S)
(i32.const 0)
)
)
diff --git a/test/passes/duplicate-function-elimination.wast b/test/passes/duplicate-function-elimination.wast
index 2a01d61ec..b79032155 100644
--- a/test/passes/duplicate-function-elimination.wast
+++ b/test/passes/duplicate-function-elimination.wast
@@ -464,12 +464,12 @@
(table 2 2 anyfunc)
(elem (i32.const 0) $erase $other)
(func $erase (type $T)
- (call_indirect $T
+ (call_indirect (type $T)
(i32.const 0)
)
)
(func $other (type $T)
- (call_indirect $T
+ (call_indirect (type $T)
(i32.const 0)
)
)
@@ -480,12 +480,12 @@
(table 2 2 anyfunc)
(elem (i32.const 0) $keep2 $other)
(func $keep2 (type $T)
- (call_indirect $T
+ (call_indirect (type $T)
(i32.const 0)
)
)
(func $other (type $T)
- (call_indirect $T
+ (call_indirect (type $T)
(i32.const 1)
)
)
@@ -497,12 +497,12 @@
(table 2 2 anyfunc)
(elem (i32.const 0) $keep2 $other)
(func $keep2 (type $T)
- (call_indirect $T
+ (call_indirect (type $T)
(i32.const 0)
)
)
(func $other (type $T)
- (call_indirect $S
+ (call_indirect (type $S)
(i32.const 0)
)
)
diff --git a/test/passes/flatten.txt b/test/passes/flatten.txt
index b8ec0c49a..946c45ebe 100644
--- a/test/passes/flatten.txt
+++ b/test/passes/flatten.txt
@@ -1073,7 +1073,7 @@
(i32.const -1)
(block
(unreachable)
- (call_indirect $ii
+ (call_indirect (type $ii)
(i32.const 123)
(i32.const 456)
(unreachable)
@@ -1086,7 +1086,7 @@
(i32.const -2)
(block
(unreachable)
- (call_indirect $ii
+ (call_indirect (type $ii)
(i32.const 139)
(unreachable)
(i32.const 0)
@@ -1100,7 +1100,7 @@
(block
(unreachable)
(unreachable)
- (call_indirect $ii
+ (call_indirect (type $ii)
(i32.const 246)
(unreachable)
(unreachable)
@@ -1115,7 +1115,7 @@
(unreachable)
(unreachable)
(unreachable)
- (call_indirect $ii
+ (call_indirect (type $ii)
(unreachable)
(unreachable)
(unreachable)
diff --git a/test/passes/flatten.wast b/test/passes/flatten.wast
index 92edd354d..35b009939 100644
--- a/test/passes/flatten.wast
+++ b/test/passes/flatten.wast
@@ -468,7 +468,7 @@
)
(if
(i32.const -1)
- (call_indirect $ii
+ (call_indirect (type $ii)
(i32.const 123)
(i32.const 456)
(unreachable)
@@ -476,7 +476,7 @@
)
(if
(i32.const -2)
- (call_indirect $ii
+ (call_indirect (type $ii)
(i32.const 139)
(unreachable)
(i32.const 0)
@@ -484,7 +484,7 @@
)
(if
(i32.const -3)
- (call_indirect $ii
+ (call_indirect (type $ii)
(i32.const 246)
(unreachable)
(unreachable)
@@ -492,7 +492,7 @@
)
(if
(i32.const -4)
- (call_indirect $ii
+ (call_indirect (type $ii)
(unreachable)
(unreachable)
(unreachable)
diff --git a/test/passes/inlining-optimizing_optimize-level=3.txt b/test/passes/inlining-optimizing_optimize-level=3.txt
index ea3379c44..1bc6fe742 100644
--- a/test/passes/inlining-optimizing_optimize-level=3.txt
+++ b/test/passes/inlining-optimizing_optimize-level=3.txt
@@ -1256,7 +1256,7 @@
(get_local $13)
(block
(drop
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $0)
(i32.const 0)
(i32.const 0)
@@ -1393,7 +1393,7 @@
)
(block $block30
(set_local $3
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $2)
(get_local $0)
(get_local $1)
@@ -1458,7 +1458,7 @@
)
(br_if $label$break$L5
(i32.lt_u
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $2)
(get_local $0)
(get_local $3)
@@ -2083,7 +2083,7 @@
)
)
(drop
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $0)
(i32.const 0)
(i32.const 0)
@@ -2131,7 +2131,7 @@
)
)
(drop
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $0)
(i32.sub
(get_local $4)
@@ -15739,7 +15739,7 @@
)
)
(func $dynCall_ii (; 60 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
- (call_indirect $FUNCSIG$ii
+ (call_indirect (type $FUNCSIG$ii)
(get_local $1)
(i32.and
(get_local $0)
@@ -15748,7 +15748,7 @@
)
)
(func $dynCall_iiii (; 61 ;) (type $12) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (result i32)
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $1)
(get_local $2)
(get_local $3)
@@ -15762,7 +15762,7 @@
)
)
(func $dynCall_vi (; 62 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
- (call_indirect $FUNCSIG$vi
+ (call_indirect (type $FUNCSIG$vi)
(get_local $1)
(i32.add
(i32.and
diff --git a/test/passes/inlining-optimizing_optimize-level=3.wast b/test/passes/inlining-optimizing_optimize-level=3.wast
index 0370c1fda..ca357e548 100644
--- a/test/passes/inlining-optimizing_optimize-level=3.wast
+++ b/test/passes/inlining-optimizing_optimize-level=3.wast
@@ -1272,7 +1272,7 @@
(get_local $13)
(block
(drop
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $0)
(i32.const 0)
(i32.const 0)
@@ -1412,7 +1412,7 @@
)
(block
(set_local $3
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $2)
(get_local $0)
(get_local $1)
@@ -1477,7 +1477,7 @@
)
(br_if $label$break$L5
(i32.lt_u
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $2)
(get_local $0)
(get_local $3)
@@ -2086,7 +2086,7 @@
)
)
(drop
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $0)
(i32.const 0)
(i32.const 0)
@@ -2134,7 +2134,7 @@
)
)
(drop
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $0)
(i32.sub
(get_local $4)
@@ -15649,7 +15649,7 @@
)
)
(func $dynCall_ii (param $0 i32) (param $1 i32) (result i32)
- (call_indirect $FUNCSIG$ii
+ (call_indirect (type $FUNCSIG$ii)
(get_local $1)
(i32.and
(get_local $0)
@@ -15658,7 +15658,7 @@
)
)
(func $dynCall_iiii (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (result i32)
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $1)
(get_local $2)
(get_local $3)
@@ -15672,7 +15672,7 @@
)
)
(func $dynCall_vi (param $0 i32) (param $1 i32)
- (call_indirect $FUNCSIG$vi
+ (call_indirect (type $FUNCSIG$vi)
(get_local $1)
(i32.add
(i32.and
diff --git a/test/passes/print-call-graph.txt b/test/passes/print-call-graph.txt
index 129b4a37c..50c67d9d7 100644
--- a/test/passes/print-call-graph.txt
+++ b/test/passes/print-call-graph.txt
@@ -983,7 +983,7 @@ digraph call {
)
)
(drop
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $0)
(i32.const 0)
(i32.const 0)
@@ -1031,7 +1031,7 @@ digraph call {
)
)
(drop
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $0)
(i32.sub
(get_local $4)
@@ -1096,7 +1096,7 @@ digraph call {
(call $__ZSt15get_new_handlerv)
)
(block $block
- (call_indirect $FUNCSIG$v
+ (call_indirect (type $FUNCSIG$v)
(i32.add
(i32.and
(get_local $0)
@@ -1424,7 +1424,7 @@ digraph call {
(i32.const 0)
)
(func $dynCall_ii (; 35 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
- (call_indirect $FUNCSIG$ii
+ (call_indirect (type $FUNCSIG$ii)
(get_local $1)
(i32.add
(i32.and
@@ -1436,7 +1436,7 @@ digraph call {
)
)
(func $dynCall_iiii (; 36 ;) (type $7) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (result i32)
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $1)
(get_local $2)
(get_local $3)
@@ -1450,7 +1450,7 @@ digraph call {
)
)
(func $dynCall_vi (; 37 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
- (call_indirect $FUNCSIG$vi
+ (call_indirect (type $FUNCSIG$vi)
(get_local $1)
(i32.add
(i32.and
@@ -1462,7 +1462,7 @@ digraph call {
)
)
(func $dynCall_v (; 38 ;) (type $FUNCSIG$vi) (param $0 i32)
- (call_indirect $FUNCSIG$v
+ (call_indirect (type $FUNCSIG$v)
(i32.add
(i32.and
(get_local $0)
diff --git a/test/passes/print-call-graph.wast b/test/passes/print-call-graph.wast
index 100648c1e..1a9eb2f42 100644
--- a/test/passes/print-call-graph.wast
+++ b/test/passes/print-call-graph.wast
@@ -868,7 +868,7 @@
)
)
(drop
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $0)
(i32.const 0)
(i32.const 0)
@@ -916,7 +916,7 @@
)
)
(drop
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $0)
(i32.sub
(get_local $4)
@@ -981,7 +981,7 @@
(call $__ZSt15get_new_handlerv)
)
(block
- (call_indirect $FUNCSIG$v
+ (call_indirect (type $FUNCSIG$v)
(i32.add
(i32.and
(get_local $0)
@@ -1309,7 +1309,7 @@
(i32.const 0)
)
(func $dynCall_ii (param $0 i32) (param $1 i32) (result i32)
- (call_indirect $FUNCSIG$ii
+ (call_indirect (type $FUNCSIG$ii)
(get_local $1)
(i32.add
(i32.and
@@ -1321,7 +1321,7 @@
)
)
(func $dynCall_iiii (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (result i32)
- (call_indirect $FUNCSIG$iiii
+ (call_indirect (type $FUNCSIG$iiii)
(get_local $1)
(get_local $2)
(get_local $3)
@@ -1335,7 +1335,7 @@
)
)
(func $dynCall_vi (param $0 i32) (param $1 i32)
- (call_indirect $FUNCSIG$vi
+ (call_indirect (type $FUNCSIG$vi)
(get_local $1)
(i32.add
(i32.and
@@ -1347,7 +1347,7 @@
)
)
(func $dynCall_v (param $0 i32)
- (call_indirect $FUNCSIG$v
+ (call_indirect (type $FUNCSIG$v)
(i32.add
(i32.and
(get_local $0)
diff --git a/test/passes/remove-unused-module-elements.txt b/test/passes/remove-unused-module-elements.txt
index ecb888662..a577c187c 100644
--- a/test/passes/remove-unused-module-elements.txt
+++ b/test/passes/remove-unused-module-elements.txt
@@ -36,40 +36,40 @@
(call $called3)
)
(func $other1 (; 8 ;) (type $1) (param $0 i32)
- (call_indirect $0
+ (call_indirect (type $0)
(i32.const 0)
)
- (call_indirect $0
+ (call_indirect (type $0)
(i32.const 0)
)
- (call_indirect $0
+ (call_indirect (type $0)
(i32.const 0)
)
- (call_indirect $0
+ (call_indirect (type $0)
(i32.const 0)
)
- (call_indirect $1
+ (call_indirect (type $1)
(i32.const 0)
(i32.const 0)
)
- (call_indirect $1
+ (call_indirect (type $1)
(i32.const 0)
(i32.const 0)
)
(drop
- (call_indirect $2
+ (call_indirect (type $2)
(i32.const 0)
(i32.const 0)
)
)
(drop
- (call_indirect $2
+ (call_indirect (type $2)
(i32.const 0)
(i32.const 0)
)
)
(drop
- (call_indirect $2
+ (call_indirect (type $2)
(i32.const 0)
(i32.const 0)
)
diff --git a/test/passes/remove-unused-module-elements.wast b/test/passes/remove-unused-module-elements.wast
index e0ae7b4ec..4dfb9300f 100644
--- a/test/passes/remove-unused-module-elements.wast
+++ b/test/passes/remove-unused-module-elements.wast
@@ -55,15 +55,15 @@
(call $remove3)
)
(func $other1 (param i32) (type $1)
- (call_indirect $0 (i32.const 0))
- (call_indirect $0 (i32.const 0))
- (call_indirect $0-dupe (i32.const 0))
- (call_indirect $0-dupe (i32.const 0))
- (call_indirect $1 (i32.const 0) (i32.const 0))
- (call_indirect $1-dupe (i32.const 0) (i32.const 0))
- (drop (call_indirect $2 (i32.const 0) (i32.const 0)))
- (drop (call_indirect $2-dupe (i32.const 0) (i32.const 0)))
- (drop (call_indirect $2-thrupe (i32.const 0) (i32.const 0)))
+ (call_indirect (type $0) (i32.const 0))
+ (call_indirect (type $0) (i32.const 0))
+ (call_indirect (type $0-dupe) (i32.const 0))
+ (call_indirect (type $0-dupe) (i32.const 0))
+ (call_indirect (type $1) (i32.const 0) (i32.const 0))
+ (call_indirect (type $1-dupe) (i32.const 0) (i32.const 0))
+ (drop (call_indirect (type $2) (i32.const 0) (i32.const 0)))
+ (drop (call_indirect (type $2-dupe) (i32.const 0) (i32.const 0)))
+ (drop (call_indirect (type $2-thrupe) (i32.const 0) (i32.const 0)))
)
(func $other2 (param i32) (type $1-dupe)
(unreachable)
diff --git a/test/passes/remove-unused-names_merge-blocks.txt b/test/passes/remove-unused-names_merge-blocks.txt
index d5373adde..a46cacf47 100644
--- a/test/passes/remove-unused-names_merge-blocks.txt
+++ b/test/passes/remove-unused-names_merge-blocks.txt
@@ -694,12 +694,12 @@
(drop
(i32.const 50)
)
- (call_indirect $ii
+ (call_indirect (type $ii)
(i32.const 20)
(i32.const 40)
(i32.const 60)
)
- (call_indirect $ii
+ (call_indirect (type $ii)
(unreachable)
(block (result i32)
(drop
@@ -717,7 +717,7 @@
(drop
(i32.const 31)
)
- (call_indirect $ii
+ (call_indirect (type $ii)
(i32.const 41)
(unreachable)
(block (result i32)
@@ -733,7 +733,7 @@
(drop
(i32.const 52)
)
- (call_indirect $ii
+ (call_indirect (type $ii)
(i32.const 42)
(i32.const 62)
(unreachable)
diff --git a/test/passes/remove-unused-names_merge-blocks.wast b/test/passes/remove-unused-names_merge-blocks.wast
index 4cd7abe09..920664b4b 100644
--- a/test/passes/remove-unused-names_merge-blocks.wast
+++ b/test/passes/remove-unused-names_merge-blocks.wast
@@ -819,7 +819,7 @@
(i32.const 50)
)
)
- (call_indirect $ii
+ (call_indirect (type $ii)
(block $block18 (result i32)
(drop
(i32.const 10)
@@ -839,7 +839,7 @@
(i32.const 60)
)
)
- (call_indirect $ii
+ (call_indirect (type $ii)
(unreachable)
(block $block21 (result i32)
(drop
@@ -854,7 +854,7 @@
(i32.const 60)
)
)
- (call_indirect $ii
+ (call_indirect (type $ii)
(block $block21 (result i32)
(drop
(i32.const 31)
@@ -869,7 +869,7 @@
(i32.const 61)
)
)
- (call_indirect $ii
+ (call_indirect (type $ii)
(block $block21 (result i32)
(drop
(i32.const 32)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-07 21:04:51 +0000