summaryrefslogtreecommitdiff
path: root/test/interp/spec
diff options
context:
space:
mode:
Diffstat (limited to 'test/interp/spec')
-rw-r--r--test/interp/spec/conversions.txt2
-rw-r--r--test/interp/spec/float_exprs.txt12
-rw-r--r--test/interp/spec/float_memory.txt18
-rw-r--r--test/interp/spec/float_misc.txt2
-rw-r--r--test/interp/spec/functions.txt2
-rw-r--r--test/interp/spec/labels.txt70
-rw-r--r--test/interp/spec/left-to-right.txt2
7 files changed, 60 insertions, 48 deletions
diff --git a/test/interp/spec/conversions.txt b/test/interp/spec/conversions.txt
index 98ca67bf..47228c3c 100644
--- a/test/interp/spec/conversions.txt
+++ b/test/interp/spec/conversions.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/conversions.wast
(;; STDOUT ;;;
-300/300 tests passed.
+318/318 tests passed.
;;; STDOUT ;;)
diff --git a/test/interp/spec/float_exprs.txt b/test/interp/spec/float_exprs.txt
index a9de2c59..7f1780b2 100644
--- a/test/interp/spec/float_exprs.txt
+++ b/test/interp/spec/float_exprs.txt
@@ -1,5 +1,15 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/float_exprs.wast
(;; STDOUT ;;;
-236/236 tests passed.
+$invoke_0()
+$invoke_1()
+$invoke_2()
+$invoke_3()
+$invoke_8()
+$invoke_0()
+$invoke_1()
+$invoke_2()
+$invoke_3()
+$invoke_8()
+462/462 tests passed.
;;; STDOUT ;;)
diff --git a/test/interp/spec/float_memory.txt b/test/interp/spec/float_memory.txt
index c4e65bbb..d2fae3dc 100644
--- a/test/interp/spec/float_memory.txt
+++ b/test/interp/spec/float_memory.txt
@@ -1,5 +1,21 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/float_memory.wast
(;; STDOUT ;;;
-16/16 tests passed.
+$invoke_2()
+$invoke_5()
+$invoke_8()
+$invoke_11()
+$invoke_2()
+$invoke_5()
+$invoke_8()
+$invoke_11()
+$invoke_2()
+$invoke_5()
+$invoke_8()
+$invoke_11()
+$invoke_2()
+$invoke_5()
+$invoke_8()
+$invoke_11()
+40/40 tests passed.
;;; STDOUT ;;)
diff --git a/test/interp/spec/float_misc.txt b/test/interp/spec/float_misc.txt
index 2bbf94de..36a7a7e0 100644
--- a/test/interp/spec/float_misc.txt
+++ b/test/interp/spec/float_misc.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/float_misc.wast
(;; STDOUT ;;;
-163/163 tests passed.
+323/323 tests passed.
;;; STDOUT ;;)
diff --git a/test/interp/spec/functions.txt b/test/interp/spec/functions.txt
index ee924a33..fdefb870 100644
--- a/test/interp/spec/functions.txt
+++ b/test/interp/spec/functions.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/functions.wast
(;; STDOUT ;;;
-2/2 tests passed.
+10/10 tests passed.
;;; STDOUT ;;)
diff --git a/test/interp/spec/labels.txt b/test/interp/spec/labels.txt
index 2d8dd0c4..b43c96d2 100644
--- a/test/interp/spec/labels.txt
+++ b/test/interp/spec/labels.txt
@@ -1,55 +1,41 @@
-;;; NOTE: temporarily broken waiting for the testsuite update
-;;; ERROR: 1
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/labels.wast
-(;; STDERR ;;;
-Error running "sexpr-wasm":
-third_party/testsuite/labels.wast:247:18: expected module to be invalid
-(assert_invalid (module (func (loop $l (br $l (i32.const 0))))) "arity mismat...
- ^^^^^^
-third_party/testsuite/labels.wast:257:18: expected module to be invalid
-(assert_invalid (module (func (block $l0 (br_if $l0 (nop) (i32.const 1)))))
- ^^^^^^
-third_party/testsuite/labels.wast:259:18: expected module to be invalid
-(assert_invalid (module (func (result i32)
- ^^^^^^
-
-;;; STDERR ;;)
(;; STDOUT ;;;
assert_invalid error:
- third_party/testsuite/labels.wast:248:50: type mismatch of unary op. got void, expected f32
-...lid (module (func (block $l (f32.neg (br_if $l (i32.const 1))) (nop)))) "t...
- ^
+ third_party/testsuite/labels.wast:268:36: type mismatch of unary op. got void, expected f32
+ (module (func (block $l (f32.neg (br_if $l (i32.const 1))) (nop))))
+ ^
assert_invalid error:
- third_party/testsuite/labels.wast:250:54: type mismatch of block. got void, expected f32
-...(module (func (result f32) (block $l (br_if $l (f32.const 0) (i32.const 1)...
- ^
+ third_party/testsuite/labels.wast:272:40: type mismatch of block. got void, expected f32
+ (module (func (result f32) (block $l (br_if $l (f32.const 0) (i32.const 1)))))
+ ^
assert_invalid error:
- third_party/testsuite/labels.wast:251:54: type mismatch of block. got void, expected i32
-...(module (func (result i32) (block $l (br_if $l (f32.const 0) (i32.const 1)...
- ^
+ third_party/testsuite/labels.wast:276:40: type mismatch of block. got void, expected i32
+ (module (func (result i32) (block $l (br_if $l (f32.const 0) (i32.const 1)))))
+ ^
assert_invalid error:
- third_party/testsuite/labels.wast:251:64: type mismatch of br_if value. got f32, expected i32
-...unc (result i32) (block $l (br_if $l (f32.const 0) (i32.const 1))))) "type...
- ^
+ third_party/testsuite/labels.wast:276:50: type mismatch of br_if value. got f32, expected i32
+ (module (func (result i32) (block $l (br_if $l (f32.const 0) (i32.const 1)))))
+ ^
assert_invalid error:
- third_party/testsuite/labels.wast:252:50: type mismatch of unary op. got void, expected f32
-...lid (module (func (block $l (f32.neg (br_if $l (f32.const 0) (i32.const 1)...
- ^
+ third_party/testsuite/labels.wast:280:36: type mismatch of unary op. got void, expected f32
+ (module (func (block $l (f32.neg (br_if $l (f32.const 0) (i32.const 1))))))
+ ^
assert_invalid error:
- third_party/testsuite/labels.wast:253:66: type mismatch of block. got f32, expected i32
-...c (param i32) (result i32) (block $l (f32.neg (br_if $l (f32.const 0) (get...
- ^
+ third_party/testsuite/labels.wast:286:17: type mismatch of block. got f32, expected i32
+ (block $l (f32.neg (br_if $l (f32.const 0) (get_local 0))))
+ ^
assert_invalid error:
- third_party/testsuite/labels.wast:253:75: type mismatch of unary op. got void, expected f32
-...i32) (result i32) (block $l (f32.neg (br_if $l (f32.const 0) (get_local 0)...
- ^
+ third_party/testsuite/labels.wast:286:26: type mismatch of unary op. got void, expected f32
+ (block $l (f32.neg (br_if $l (f32.const 0) (get_local 0))))
+ ^
assert_invalid error:
- third_party/testsuite/labels.wast:253:85: type mismatch of br_if value. got f32, expected i32
-...lt i32) (block $l (f32.neg (br_if $l (f32.const 0) (get_local 0)))))) "typ...
- ^
+ third_party/testsuite/labels.wast:286:36: type mismatch of br_if value. got f32, expected i32
+ (block $l (f32.neg (br_if $l (f32.const 0) (get_local 0))))
+ ^
assert_invalid error:
- third_party/testsuite/labels.wast:255:32: type mismatch of block. got void, expected f32
- (block $l (f32.neg (block $i (br_if $l (f32.const 3) (get_local 0)))))))
- ^
+ third_party/testsuite/labels.wast:294:36: type mismatch of block. got void, expected f32
+ (block $l (f32.neg (block $i (br_if $l (f32.const 3) (get_local 0)))))
+ ^
+25/25 tests passed.
;;; STDOUT ;;)
diff --git a/test/interp/spec/left-to-right.txt b/test/interp/spec/left-to-right.txt
index 3aadce72..8ded6620 100644
--- a/test/interp/spec/left-to-right.txt
+++ b/test/interp/spec/left-to-right.txt
@@ -1,5 +1,5 @@
;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/left-to-right.wast
(;; STDOUT ;;;
-93/93 tests passed.
+95/95 tests passed.
;;; STDOUT ;;)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-28 18:22:52 +0000