summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/decompile/basic.txt2
-rw-r--r--test/dump/reference-types.txt26
-rw-r--r--test/interp/reference-types.txt4
-rw-r--r--test/parse/expr/reference-types.txt2
-rw-r--r--test/spec/binary.txt7
-rw-r--r--test/spec/bulk-memory-operations/binary.txt7
-rw-r--r--test/spec/reference-types/binary.txt7
-rw-r--r--test/spec/reference-types/ref_is_null.txt8
-rw-r--r--test/spec/reference-types/unreached-invalid.txt49
9 files changed, 56 insertions, 56 deletions
diff --git a/test/decompile/basic.txt b/test/decompile/basic.txt
index ae69af25..87b4d061 100644
--- a/test/decompile/basic.txt
+++ b/test/decompile/basic.txt
@@ -96,7 +96,7 @@
set_local 0
nop
ref.null func
- ref.is_null func
+ ref.is_null
drop
i32.const 0 ;; fi
call_indirect
diff --git a/test/dump/reference-types.txt b/test/dump/reference-types.txt
index 9650b0d9..5d2b49d5 100644
--- a/test/dump/reference-types.txt
+++ b/test/dump/reference-types.txt
@@ -42,7 +42,7 @@
(func (param externref) (result i32)
local.get 0
- ref.is_null extern
+ ref.is_null
)
@@ -94,7 +94,7 @@ Code[10]:
- func[3] size=8
- func[4] size=9
- func[5] size=9
- - func[6] size=6
+ - func[6] size=5
- func[7] size=5
- func[8] size=5
- func[9] size=5
@@ -131,15 +131,15 @@ Code Disassembly:
00007c: 0b | end
00007e func[6]:
00007f: 20 00 | local.get 0
- 000081: d1 6f | ref.is_null extern
- 000083: 0b | end
-000085 func[7]:
- 000086: fc 10 00 | table.size 0
- 000089: 0b | end
-00008b func[8]:
- 00008c: fc 10 01 | table.size 1
- 00008f: 0b | end
-000091 func[9]:
- 000092: fc 10 02 | table.size 2
- 000095: 0b | end
+ 000081: d1 | ref.is_null
+ 000082: 0b | end
+000084 func[7]:
+ 000085: fc 10 00 | table.size 0
+ 000088: 0b | end
+00008a func[8]:
+ 00008b: fc 10 01 | table.size 1
+ 00008e: 0b | end
+000090 func[9]:
+ 000091: fc 10 02 | table.size 2
+ 000094: 0b | end
;;; STDOUT ;;)
diff --git a/test/interp/reference-types.txt b/test/interp/reference-types.txt
index 9b9c45de..34c13529 100644
--- a/test/interp/reference-types.txt
+++ b/test/interp/reference-types.txt
@@ -18,7 +18,7 @@
(func $ref_is_null_func (export "ref_is_null_func") (result i32)
global.get $g
- ref.is_null func
+ ref.is_null
)
(func $ref_func (export "ref_func") (result funcref)
@@ -35,7 +35,7 @@
call $table_set
i32.const 0
table.get $t_func
- ref.is_null func
+ ref.is_null
)
(func $global_set (export "global_set") (result funcref)
diff --git a/test/parse/expr/reference-types.txt b/test/parse/expr/reference-types.txt
index 2cb156f5..b452df42 100644
--- a/test/parse/expr/reference-types.txt
+++ b/test/parse/expr/reference-types.txt
@@ -40,7 +40,7 @@
(func (param externref) (result i32)
local.get 0
- ref.is_null extern
+ ref.is_null
)
(func (result funcref)
diff --git a/test/spec/binary.txt b/test/spec/binary.txt
index 92eb40ce..629c719b 100644
--- a/test/spec/binary.txt
+++ b/test/spec/binary.txt
@@ -130,12 +130,9 @@ out/test/spec/binary.wast:696: assert_malformed passed:
out/test/spec/binary.wast:710: assert_malformed passed:
000001a: error: unfinished section (expected end: 0x1b)
out/test/spec/binary.wast:741: assert_malformed passed:
- error: invalid depth: 11 (max 2)
- 0000024: error: OnBrTableExpr callback failed
-out/test/spec/binary.wast:763: assert_malformed passed:
error: function type variable out of range: 11 (max 1)
0000025: error: OnBlockExpr callback failed
-out/test/spec/binary.wast:798: assert_malformed passed:
+out/test/spec/binary.wast:776: assert_malformed passed:
0000017: error: multiple Start sections
-67/67 tests passed.
+66/66 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/bulk-memory-operations/binary.txt b/test/spec/bulk-memory-operations/binary.txt
index a072beba..fe18ce7e 100644
--- a/test/spec/bulk-memory-operations/binary.txt
+++ b/test/spec/bulk-memory-operations/binary.txt
@@ -174,12 +174,9 @@ out/test/spec/bulk-memory-operations/binary.wast:1103: assert_malformed passed:
out/test/spec/bulk-memory-operations/binary.wast:1117: assert_malformed passed:
000001a: error: unfinished section (expected end: 0x1b)
out/test/spec/bulk-memory-operations/binary.wast:1148: assert_malformed passed:
- error: invalid depth: 11 (max 2)
- 0000024: error: OnBrTableExpr callback failed
-out/test/spec/bulk-memory-operations/binary.wast:1170: assert_malformed passed:
error: function type variable out of range: 11 (max 1)
0000025: error: OnBlockExpr callback failed
-out/test/spec/bulk-memory-operations/binary.wast:1205: assert_malformed passed:
+out/test/spec/bulk-memory-operations/binary.wast:1183: assert_malformed passed:
0000017: error: multiple Start sections
-88/88 tests passed.
+87/87 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/reference-types/binary.txt b/test/spec/reference-types/binary.txt
index be67a936..4009f571 100644
--- a/test/spec/reference-types/binary.txt
+++ b/test/spec/reference-types/binary.txt
@@ -226,12 +226,9 @@ out/test/spec/reference-types/binary.wast:1452: assert_malformed passed:
out/test/spec/reference-types/binary.wast:1466: assert_malformed passed:
000001a: error: unfinished section (expected end: 0x1b)
out/test/spec/reference-types/binary.wast:1497: assert_malformed passed:
- error: invalid depth: 11 (max 2)
- 0000024: error: OnBrTableExpr callback failed
-out/test/spec/reference-types/binary.wast:1519: assert_malformed passed:
error: function type variable out of range: 11 (max 1)
0000025: error: OnBlockExpr callback failed
-out/test/spec/reference-types/binary.wast:1554: assert_malformed passed:
+out/test/spec/reference-types/binary.wast:1532: assert_malformed passed:
0000017: error: multiple Start sections
-114/114 tests passed.
+113/113 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/reference-types/ref_is_null.txt b/test/spec/reference-types/ref_is_null.txt
index 633e1e87..b3cc0ede 100644
--- a/test/spec/reference-types/ref_is_null.txt
+++ b/test/spec/reference-types/ref_is_null.txt
@@ -4,5 +4,11 @@
(;; STDOUT ;;;
init(externref:1) =>
deinit() =>
-13/13 tests passed.
+out/test/spec/reference-types/ref_is_null.wast:52: assert_invalid passed:
+ error: type mismatch in ref.is_null, expected reference but got [i32]
+ 000001b: error: OnRefIsNullExpr callback failed
+out/test/spec/reference-types/ref_is_null.wast:56: assert_invalid passed:
+ error: type mismatch in ref.is_null, expected reference but got []
+ 0000018: error: OnRefIsNullExpr callback failed
+15/15 tests passed.
;;; STDOUT ;;)
diff --git a/test/spec/reference-types/unreached-invalid.txt b/test/spec/reference-types/unreached-invalid.txt
index 7996413a..f687a4a3 100644
--- a/test/spec/reference-types/unreached-invalid.txt
+++ b/test/spec/reference-types/unreached-invalid.txt
@@ -266,73 +266,76 @@ out/test/spec/reference-types/unreached-invalid.wast:527: assert_invalid passed:
error: br_table labels have inconsistent types: expected [f32], got []
0000023: error: OnBrTableExpr callback failed
out/test/spec/reference-types/unreached-invalid.wast:540: assert_invalid passed:
+ error: br_table labels have inconsistent types: expected [f32], got [f64]
+ 0000023: error: OnBrTableExpr callback failed
+out/test/spec/reference-types/unreached-invalid.wast:555: assert_invalid passed:
error: type mismatch in block, expected [] but got [i32]
0000020: error: OnEndExpr callback failed
-out/test/spec/reference-types/unreached-invalid.wast:546: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:561: assert_invalid passed:
error: type mismatch in implicit return, expected [i32] but got []
0000020: error: EndFunctionBody callback failed
-out/test/spec/reference-types/unreached-invalid.wast:552: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:567: assert_invalid passed:
error: type mismatch in implicit return, expected [i32] but got [i64]
0000022: error: EndFunctionBody callback failed
-out/test/spec/reference-types/unreached-invalid.wast:558: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:573: assert_invalid passed:
error: type mismatch in block, expected [] but got [i32]
0000023: error: OnEndExpr callback failed
-out/test/spec/reference-types/unreached-invalid.wast:565: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:580: assert_invalid passed:
error: type mismatch in block, expected [] but got [i32]
0000021: error: OnEndExpr callback failed
-out/test/spec/reference-types/unreached-invalid.wast:571: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:586: assert_invalid passed:
error: type mismatch in block, expected [i32] but got []
0000022: error: OnEndExpr callback failed
-out/test/spec/reference-types/unreached-invalid.wast:577: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:592: assert_invalid passed:
error: type mismatch in block, expected [i32] but got [i64]
0000024: error: OnEndExpr callback failed
-out/test/spec/reference-types/unreached-invalid.wast:584: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:599: assert_invalid passed:
error: type mismatch in block, expected [] but got [i32]
0000023: error: OnEndExpr callback failed
-out/test/spec/reference-types/unreached-invalid.wast:590: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:605: assert_invalid passed:
error: type mismatch in block, expected [i32] but got []
0000025: error: OnEndExpr callback failed
-out/test/spec/reference-types/unreached-invalid.wast:596: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:611: assert_invalid passed:
error: type mismatch in block, expected [i32] but got [i64]
0000027: error: OnEndExpr callback failed
-out/test/spec/reference-types/unreached-invalid.wast:604: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:619: assert_invalid passed:
error: type mismatch in block, expected [] but got [i32]
0000024: error: OnEndExpr callback failed
-out/test/spec/reference-types/unreached-invalid.wast:611: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:626: assert_invalid passed:
error: type mismatch in block, expected [] but got [i32]
0000020: error: OnEndExpr callback failed
-out/test/spec/reference-types/unreached-invalid.wast:617: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:632: assert_invalid passed:
error: type mismatch in implicit return, expected [i32] but got []
0000022: error: EndFunctionBody callback failed
-out/test/spec/reference-types/unreached-invalid.wast:623: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:638: assert_invalid passed:
error: type mismatch in implicit return, expected [i32] but got [i64]
0000024: error: EndFunctionBody callback failed
-out/test/spec/reference-types/unreached-invalid.wast:629: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:644: assert_invalid passed:
error: type mismatch in block, expected [] but got [i32]
0000025: error: OnEndExpr callback failed
-out/test/spec/reference-types/unreached-invalid.wast:637: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:652: assert_invalid passed:
error: type mismatch in loop, expected [] but got [i32]
0000020: error: OnEndExpr callback failed
-out/test/spec/reference-types/unreached-invalid.wast:643: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:658: assert_invalid passed:
error: type mismatch in implicit return, expected [i32] but got []
0000020: error: EndFunctionBody callback failed
-out/test/spec/reference-types/unreached-invalid.wast:649: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:664: assert_invalid passed:
error: type mismatch in implicit return, expected [i32] but got [i64]
0000022: error: EndFunctionBody callback failed
-out/test/spec/reference-types/unreached-invalid.wast:656: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:671: assert_invalid passed:
error: type mismatch in implicit return, expected [i32] but got []
000001f: error: EndFunctionBody callback failed
-out/test/spec/reference-types/unreached-invalid.wast:662: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:677: assert_invalid passed:
error: type mismatch in implicit return, expected [i32] but got []
0000020: error: EndFunctionBody callback failed
-out/test/spec/reference-types/unreached-invalid.wast:669: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:684: assert_invalid passed:
error: type mismatch in function, expected [] but got [i32]
000001d: error: EndFunctionBody callback failed
-out/test/spec/reference-types/unreached-invalid.wast:676: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:691: assert_invalid passed:
error: type mismatch in block, expected [] but got [i32]
0000022: error: OnEndExpr callback failed
-out/test/spec/reference-types/unreached-invalid.wast:687: assert_invalid passed:
+out/test/spec/reference-types/unreached-invalid.wast:702: assert_invalid passed:
error: type mismatch in i64.extend_i32_u, expected [i32] but got [i64]
000001c: error: OnConvertExpr callback failed
-110/110 tests passed.
+111/111 tests passed.
;;; STDOUT ;;)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-22 19:26:19 +0000