summaryrefslogtreecommitdiff
path: root/test/lit/basic
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/basic')
-rw-r--r--test/lit/basic/complexTextNames.wast3
-rw-r--r--test/lit/basic/duplicate_types.wast3
-rw-r--r--test/lit/basic/exception-handling-legacy.wast45
-rw-r--r--test/lit/basic/exception-handling.wast6
-rw-r--r--test/lit/basic/multi-table.wast6
-rw-r--r--test/lit/basic/pop-fixup.wast5
-rw-r--r--test/lit/basic/print-explicit-typeuse.wast4
-rw-r--r--test/lit/basic/reference-types.wast15
-rw-r--r--test/lit/basic/shared-types.wast2
-rw-r--r--test/lit/basic/types-function-references.wast12
10 files changed, 0 insertions, 101 deletions
diff --git a/test/lit/basic/complexTextNames.wast b/test/lit/basic/complexTextNames.wast
index 88240e038..16c19aadf 100644
--- a/test/lit/basic/complexTextNames.wast
+++ b/test/lit/basic/complexTextNames.wast
@@ -13,12 +13,10 @@
;; CHECK-TEXT: (type $0 (func))
;; CHECK-TEXT: (func $foo\20\28.bar\29 (type $0)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (type $0 (func))
;; CHECK-BIN: (func $foo\20\28.bar\29 (type $0)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $foo\20\28.bar\29)
@@ -34,7 +32,6 @@
;; CHECK-BIN-NODEBUG: (type $0 (func))
;; CHECK-BIN-NODEBUG: (func $0 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $1 (type $0)
diff --git a/test/lit/basic/duplicate_types.wast b/test/lit/basic/duplicate_types.wast
index 244d97bc9..1c1462b37 100644
--- a/test/lit/basic/duplicate_types.wast
+++ b/test/lit/basic/duplicate_types.wast
@@ -25,12 +25,10 @@
;; CHECK-TEXT: (type $1 (func (param i32) (result i32)))
;; CHECK-TEXT: (func $f0 (type $0) (param $0 i32)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (type $1 (func (param i32) (result i32)))
;; CHECK-BIN: (func $f0 (type $0) (param $0 i32)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $f0 (param i32))
@@ -47,7 +45,6 @@
;; CHECK-BIN-NODEBUG: (type $1 (func (param i32) (result i32)))
;; CHECK-BIN-NODEBUG: (func $0 (type $0) (param $0 i32)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $1 (type $1) (param $0 i32) (result i32)
diff --git a/test/lit/basic/exception-handling-legacy.wast b/test/lit/basic/exception-handling-legacy.wast
index 6d6c82e83..70cc3f5bc 100644
--- a/test/lit/basic/exception-handling-legacy.wast
+++ b/test/lit/basic/exception-handling-legacy.wast
@@ -47,18 +47,14 @@
(tag $e-empty)
;; CHECK-TEXT: (func $foo (type $0)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $foo (type $0)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $foo)
;; CHECK-TEXT: (func $bar (type $0)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $bar (type $0)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $bar)
@@ -223,7 +219,6 @@
;; CHECK-TEXT: (func $empty-try-body (type $0)
;; CHECK-TEXT-NEXT: (try
;; CHECK-TEXT-NEXT: (do
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (catch $e-i32
;; CHECK-TEXT-NEXT: (drop
@@ -235,7 +230,6 @@
;; CHECK-BIN: (func $empty-try-body (type $0)
;; CHECK-BIN-NEXT: (try $label$3
;; CHECK-BIN-NEXT: (do
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (catch $e-i32
;; CHECK-BIN-NEXT: (drop
@@ -357,7 +351,6 @@
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (catch_all
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
@@ -369,7 +362,6 @@
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (catch_all
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
@@ -461,7 +453,6 @@
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (catch_all
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
@@ -483,7 +474,6 @@
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (catch_all
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
@@ -504,7 +494,6 @@
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (catch_all
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
@@ -526,7 +515,6 @@
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (catch_all
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
@@ -605,7 +593,6 @@
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (catch_all
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
@@ -628,7 +615,6 @@
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (catch_all
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
@@ -674,7 +660,6 @@
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (catch_all
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
@@ -703,7 +688,6 @@
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (catch_all
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
@@ -780,20 +764,16 @@
;; CHECK-TEXT: (func $empty-catch-body (type $0)
;; CHECK-TEXT-NEXT: (try
;; CHECK-TEXT-NEXT: (do
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (catch $e-empty
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $empty-catch-body (type $0)
;; CHECK-BIN-NEXT: (try $label$3
;; CHECK-BIN-NEXT: (do
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (catch $e-empty
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
@@ -1068,7 +1048,6 @@
;; CHECK-TEXT-NEXT: (rethrow $l0)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (catch_all
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
@@ -1083,7 +1062,6 @@
;; CHECK-TEXT-NEXT: (rethrow $l00)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (catch_all
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: )
@@ -1100,7 +1078,6 @@
;; CHECK-BIN-NEXT: (rethrow $label$6)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (catch_all
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
@@ -1115,7 +1092,6 @@
;; CHECK-BIN-NEXT: (rethrow $label$12)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (catch_all
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: )
@@ -1154,7 +1130,6 @@
;; CHECK-TEXT: (func $pop-within-if-condition (type $0)
;; CHECK-TEXT-NEXT: (try
;; CHECK-TEXT-NEXT: (do
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (catch $e-i32
;; CHECK-TEXT-NEXT: (throw $e-i32
@@ -1174,7 +1149,6 @@
;; CHECK-BIN: (func $pop-within-if-condition (type $0)
;; CHECK-BIN-NEXT: (try $label$5
;; CHECK-BIN-NEXT: (do
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (catch $e-i32
;; CHECK-BIN-NEXT: (throw $e-i32
@@ -1214,7 +1188,6 @@
;; CHECK-TEXT: (func $pop-can-be-supertype (type $0)
;; CHECK-TEXT-NEXT: (try
;; CHECK-TEXT-NEXT: (do
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (catch $e-eqref
;; CHECK-TEXT-NEXT: (drop
@@ -1226,7 +1199,6 @@
;; CHECK-BIN: (func $pop-can-be-supertype (type $0)
;; CHECK-BIN-NEXT: (try $label$3
;; CHECK-BIN-NEXT: (do
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (catch $e-eqref
;; CHECK-BIN-NEXT: (drop
@@ -1297,7 +1269,6 @@
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (try
;; CHECK-TEXT-NEXT: (do
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (delegate 1)
;; CHECK-TEXT-NEXT: )
@@ -1310,7 +1281,6 @@
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (try $label$5
;; CHECK-BIN-NEXT: (do
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (delegate 1)
;; CHECK-BIN-NEXT: )
@@ -1351,11 +1321,9 @@
;; CHECK-BIN-NODEBUG: (tag $tag$4)
;; CHECK-BIN-NODEBUG: (func $0 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $1 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $2 (type $0)
@@ -1430,7 +1398,6 @@
;; CHECK-BIN-NODEBUG: (func $5 (type $0)
;; CHECK-BIN-NODEBUG-NEXT: (try $label$3
;; CHECK-BIN-NODEBUG-NEXT: (do
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (catch $tag$0
;; CHECK-BIN-NODEBUG-NEXT: (drop
@@ -1484,7 +1451,6 @@
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (catch_all
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
@@ -1528,7 +1494,6 @@
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (catch_all
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
@@ -1550,7 +1515,6 @@
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (catch_all
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
@@ -1586,7 +1550,6 @@
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (catch_all
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
@@ -1615,7 +1578,6 @@
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (catch_all
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
@@ -1640,10 +1602,8 @@
;; CHECK-BIN-NODEBUG: (func $15 (type $0)
;; CHECK-BIN-NODEBUG-NEXT: (try $label$3
;; CHECK-BIN-NODEBUG-NEXT: (do
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (catch $tag$4
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
@@ -1745,7 +1705,6 @@
;; CHECK-BIN-NODEBUG-NEXT: (rethrow $label$6)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (catch_all
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
@@ -1760,7 +1719,6 @@
;; CHECK-BIN-NODEBUG-NEXT: (rethrow $label$12)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (catch_all
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: )
@@ -1770,7 +1728,6 @@
;; CHECK-BIN-NODEBUG: (func $21 (type $0)
;; CHECK-BIN-NODEBUG-NEXT: (try $label$5
;; CHECK-BIN-NODEBUG-NEXT: (do
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (catch $tag$0
;; CHECK-BIN-NODEBUG-NEXT: (throw $tag$0
@@ -1791,7 +1748,6 @@
;; CHECK-BIN-NODEBUG: (func $22 (type $0)
;; CHECK-BIN-NODEBUG-NEXT: (try $label$3
;; CHECK-BIN-NODEBUG-NEXT: (do
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (catch $tag$3
;; CHECK-BIN-NODEBUG-NEXT: (drop
@@ -1824,7 +1780,6 @@
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (try $label$5
;; CHECK-BIN-NODEBUG-NEXT: (do
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (delegate 1)
;; CHECK-BIN-NODEBUG-NEXT: )
diff --git a/test/lit/basic/exception-handling.wast b/test/lit/basic/exception-handling.wast
index 05e7c0e31..97be09c04 100644
--- a/test/lit/basic/exception-handling.wast
+++ b/test/lit/basic/exception-handling.wast
@@ -67,10 +67,8 @@
(tag $e-empty)
;; CHECK-TEXT: (func $foo (type $0)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $foo (type $0)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $foo)
@@ -138,7 +136,6 @@
;; CHECK-TEXT: (func $catchless-try-table (type $0)
;; CHECK-TEXT-NEXT: (try_table
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-TEXT-NEXT: (try_table
;; CHECK-TEXT-NEXT: (throw $e-empty)
@@ -146,7 +143,6 @@
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $catchless-try-table (type $0)
;; CHECK-BIN-NEXT: (try_table
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
;; CHECK-BIN-NEXT: (try_table
;; CHECK-BIN-NEXT: (throw $e-empty)
@@ -753,7 +749,6 @@
;; CHECK-BIN-NODEBUG: (tag $tag$4)
;; CHECK-BIN-NODEBUG: (func $0 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $1 (type $3) (result exnref)
@@ -780,7 +775,6 @@
;; CHECK-BIN-NODEBUG: (func $2 (type $0)
;; CHECK-BIN-NODEBUG-NEXT: (try_table
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG-NEXT: (try_table
;; CHECK-BIN-NODEBUG-NEXT: (throw $tag$4)
diff --git a/test/lit/basic/multi-table.wast b/test/lit/basic/multi-table.wast
index 71dd275aa..2d6b436a6 100644
--- a/test/lit/basic/multi-table.wast
+++ b/test/lit/basic/multi-table.wast
@@ -97,18 +97,14 @@
(func $f (drop (ref.func $h)))
;; CHECK-TEXT: (func $g (type $none_=>_none)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $g (type $none_=>_none)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $g)
;; CHECK-TEXT: (func $h (type $none_=>_none)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $h (type $none_=>_none)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $h)
)
@@ -155,9 +151,7 @@
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $1 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $2 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
diff --git a/test/lit/basic/pop-fixup.wast b/test/lit/basic/pop-fixup.wast
index 371365a0c..9ef51dad8 100644
--- a/test/lit/basic/pop-fixup.wast
+++ b/test/lit/basic/pop-fixup.wast
@@ -12,7 +12,6 @@
;; CHECK-NEXT: (local $1 i32)
;; CHECK-NEXT: (try
;; CHECK-NEXT: (do
- ;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
;; CHECK-NEXT: (catch $e
;; CHECK-NEXT: (local.set $1
@@ -43,7 +42,6 @@
;; CHECK-NEXT: (local $1 i32)
;; CHECK-NEXT: (try
;; CHECK-NEXT: (do
- ;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
;; CHECK-NEXT: (catch $e
;; CHECK-NEXT: (local.set $1
@@ -78,7 +76,6 @@
;; CHECK-NEXT: (local $2 (tuple i32 i32))
;; CHECK-NEXT: (try
;; CHECK-NEXT: (do
- ;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
;; CHECK-NEXT: (catch $e2
;; CHECK-NEXT: (local.set $2
@@ -118,7 +115,6 @@
;; CHECK-NEXT: (local $2 (tuple i32 i32))
;; CHECK-NEXT: (try
;; CHECK-NEXT: (do
- ;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
;; CHECK-NEXT: (catch $e2
;; CHECK-NEXT: (local.set $2
@@ -164,7 +160,6 @@
;; CHECK-NEXT: (local $3 (tuple i32 i32))
;; CHECK-NEXT: (try
;; CHECK-NEXT: (do
- ;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
;; CHECK-NEXT: (catch $e2
;; CHECK-NEXT: (local.set $3
diff --git a/test/lit/basic/print-explicit-typeuse.wast b/test/lit/basic/print-explicit-typeuse.wast
index d299a3eb4..367159f37 100644
--- a/test/lit/basic/print-explicit-typeuse.wast
+++ b/test/lit/basic/print-explicit-typeuse.wast
@@ -33,19 +33,15 @@
(import "" "" (func $rec-import (type $rec)))
;; CHECK: (func $mvp
- ;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $mvp (type $mvp))
;; CHECK: (func $open (type $open)
- ;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $open (type $open))
;; CHECK: (func $shared (type $shared)
- ;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $shared (type $shared))
;; CHECK: (func $rec (type $rec)
- ;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $rec (type $rec))
)
diff --git a/test/lit/basic/reference-types.wast b/test/lit/basic/reference-types.wast
index 335939573..6ef51c23d 100644
--- a/test/lit/basic/reference-types.wast
+++ b/test/lit/basic/reference-types.wast
@@ -80,7 +80,6 @@
;; CHECK-TEXT: (export "export_global" (global $import_global))
;; CHECK-TEXT: (func $take_eqref (type $sig_eqref) (param $0 eqref)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (global $global_eqref (mut eqref) (ref.null none))
@@ -105,31 +104,24 @@
;; CHECK-BIN: (export "export_global" (global $import_global))
;; CHECK-BIN: (func $take_eqref (type $sig_eqref) (param $0 eqref)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $take_eqref (param eqref))
;; CHECK-TEXT: (func $take_funcref (type $sig_funcref) (param $0 funcref)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $take_funcref (type $sig_funcref) (param $0 funcref)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $take_funcref (param funcref))
;; CHECK-TEXT: (func $take_anyref (type $sig_anyref) (param $0 anyref)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $take_anyref (type $sig_anyref) (param $0 anyref)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $take_anyref (param anyref))
;; CHECK-TEXT: (func $foo (type $5)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $foo (type $3)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $foo)
@@ -2092,10 +2084,8 @@
)
;; CHECK-TEXT: (func $ref-taken-but-not-in-table (type $5)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $ref-taken-but-not-in-table (type $3)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $ref-taken-but-not-in-table)
)
@@ -2106,19 +2096,15 @@
;; CHECK-BIN-NODEBUG: (export "export_global" (global $gimport$0))
;; CHECK-BIN-NODEBUG: (func $0 (type $5) (param $0 eqref)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $1 (type $2) (param $0 funcref)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $2 (type $1) (param $0 anyref)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $3 (type $3)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $4 (type $3)
@@ -2817,5 +2803,4 @@
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $23 (type $3)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
diff --git a/test/lit/basic/shared-types.wast b/test/lit/basic/shared-types.wast
index 25e593fd2..bcf9f6c54 100644
--- a/test/lit/basic/shared-types.wast
+++ b/test/lit/basic/shared-types.wast
@@ -30,7 +30,6 @@
;; CHECK-NEXT: (local $3 (ref $bot))
;; CHECK-NEXT: (local $4 (ref $func))
;; CHECK-NEXT: (local $5 (ref $array))
- ;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $use-types
(local (ref $final))
@@ -55,7 +54,6 @@
;; CHECK-NEXT: (local $10 (ref (shared noextern)))
;; CHECK-NEXT: (local $11 (ref (shared nofunc)))
;; CHECK-NEXT: (local $12 (ref (shared noexn)))
- ;; CHECK-NEXT: (nop)
;; CHECK-NEXT: )
(func $use-basic-types
(local (ref (shared extern)))
diff --git a/test/lit/basic/types-function-references.wast b/test/lit/basic/types-function-references.wast
index 792536cfe..9500fa4c9 100644
--- a/test/lit/basic/types-function-references.wast
+++ b/test/lit/basic/types-function-references.wast
@@ -174,13 +174,11 @@
;; CHECK-TEXT: (func $type-only-in-tuple-local (type $void)
;; CHECK-TEXT-NEXT: (local $x (tuple i32 (ref null $=>anyref) f64))
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $type-only-in-tuple-local (type $void)
;; CHECK-BIN-NEXT: (local $x i32)
;; CHECK-BIN-NEXT: (local $1 f64)
;; CHECK-BIN-NEXT: (local $2 (ref null $=>anyref))
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $type-only-in-tuple-local
(local $x (tuple i32 (ref null $=>anyref) f64))
@@ -246,7 +244,6 @@
;; CHECK-TEXT-NEXT: (local $i3 i64)
;; CHECK-TEXT-NEXT: (local $r5 anyref)
;; CHECK-TEXT-NEXT: (local $r6 funcref)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $ref-types-first (type $void)
;; CHECK-BIN-NEXT: (local $r1 (ref null $mixed_results))
@@ -258,7 +255,6 @@
;; CHECK-BIN-NEXT: (local $i1 i32)
;; CHECK-BIN-NEXT: (local $i2 i64)
;; CHECK-BIN-NEXT: (local $i3 i64)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $ref-types-first
;; 6 reference types and 3 MVP types. The binary format should emit all the
@@ -286,7 +282,6 @@
;; CHECK-TEXT-NEXT: (local $i3 i64)
;; CHECK-TEXT-NEXT: (local $r5 anyref)
;; CHECK-TEXT-NEXT: (local $r6 funcref)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $mvp-types-first (type $void)
;; CHECK-BIN-NEXT: (local $i1 i32)
@@ -298,7 +293,6 @@
;; CHECK-BIN-NEXT: (local $r4 anyref)
;; CHECK-BIN-NEXT: (local $r5 anyref)
;; CHECK-BIN-NEXT: (local $r6 funcref)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $mvp-types-first
;; Reversed from before, now an MVP type appears first, so they should all
@@ -324,7 +318,6 @@
;; CHECK-TEXT-NEXT: (local $i3 i64)
;; CHECK-TEXT-NEXT: (local $r5 anyref)
;; CHECK-TEXT-NEXT: (local $r6 funcref)
- ;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
;; CHECK-BIN: (func $mvp-types-first-param (type $10) (param $r0 (ref null $mixed_results))
;; CHECK-BIN-NEXT: (local $i1 i32)
@@ -336,7 +329,6 @@
;; CHECK-BIN-NEXT: (local $r4 anyref)
;; CHECK-BIN-NEXT: (local $r5 anyref)
;; CHECK-BIN-NEXT: (local $r6 funcref)
- ;; CHECK-BIN-NEXT: (nop)
;; CHECK-BIN-NEXT: )
(func $mvp-types-first-param (param $r0 (ref null $mixed_results))
;; As before, but now there is a reference type *parameter*. We should
@@ -428,7 +420,6 @@
;; CHECK-BIN-NODEBUG-NEXT: (local $0 i32)
;; CHECK-BIN-NODEBUG-NEXT: (local $1 f64)
;; CHECK-BIN-NODEBUG-NEXT: (local $2 (ref null $9))
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $8 (type $2)
@@ -477,7 +468,6 @@
;; CHECK-BIN-NODEBUG-NEXT: (local $6 i32)
;; CHECK-BIN-NODEBUG-NEXT: (local $7 i64)
;; CHECK-BIN-NODEBUG-NEXT: (local $8 i64)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $10 (type $2)
@@ -490,7 +480,6 @@
;; CHECK-BIN-NODEBUG-NEXT: (local $6 anyref)
;; CHECK-BIN-NODEBUG-NEXT: (local $7 anyref)
;; CHECK-BIN-NODEBUG-NEXT: (local $8 funcref)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
;; CHECK-BIN-NODEBUG: (func $11 (type $10) (param $0 (ref null $0))
@@ -503,5 +492,4 @@
;; CHECK-BIN-NODEBUG-NEXT: (local $7 anyref)
;; CHECK-BIN-NODEBUG-NEXT: (local $8 anyref)
;; CHECK-BIN-NODEBUG-NEXT: (local $9 funcref)
-;; CHECK-BIN-NODEBUG-NEXT: (nop)
;; CHECK-BIN-NODEBUG-NEXT: )
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-24 23:52:14 +0000