diff options
| -rw-r--r-- | test/spec/f32.txt | 10 | ||||
| -rw-r--r-- | test/spec/f64.txt | 10 | ||||
| -rw-r--r-- | test/spec/i32.txt | 2 | ||||
| -rw-r--r-- | test/spec/i64.txt | 2 | ||||
| -rw-r--r-- | test/spec/memory_trap.txt | 6 | ||||
| -rw-r--r-- | test/wasm2c/spec/memory_trap.txt | 2 | ||||
| m--------- | third_party/testsuite | 0 |
7 files changed, 26 insertions, 6 deletions
diff --git a/test/spec/f32.txt b/test/spec/f32.txt index 30c123ae..6a8e2b21 100644 --- a/test/spec/f32.txt +++ b/test/spec/f32.txt @@ -35,5 +35,13 @@ out/test/spec/f32.wast:2532: assert_invalid passed: out/test/spec/f32.wast:2533: assert_invalid passed: error: type mismatch in f32.trunc, expected [f32] but got [i64] 000001b: error: OnUnaryExpr callback failed -2511/2511 tests passed. +out/test/spec/f32.wast:2537: assert_malformed passed: + out/test/spec/f32/f32.12.wat:1:31: error: invalid literal "nan:arithmetic" + (func (result f32) (f32.const nan:arithmetic)) + ^^^^^^^^^^^^^^ +out/test/spec/f32.wast:2541: assert_malformed passed: + out/test/spec/f32/f32.13.wat:1:31: error: invalid literal "nan:canonical" + (func (result f32) (f32.const nan:canonical)) + ^^^^^^^^^^^^^ +2513/2513 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/f64.txt b/test/spec/f64.txt index 0316317a..4674f6ea 100644 --- a/test/spec/f64.txt +++ b/test/spec/f64.txt @@ -35,5 +35,13 @@ out/test/spec/f64.wast:2532: assert_invalid passed: out/test/spec/f64.wast:2533: assert_invalid passed: error: type mismatch in f64.trunc, expected [f64] but got [i64] 000001b: error: OnUnaryExpr callback failed -2511/2511 tests passed. +out/test/spec/f64.wast:2537: assert_malformed passed: + out/test/spec/f64/f64.12.wat:1:31: error: invalid literal "nan:arithmetic" + (func (result f64) (f64.const nan:arithmetic)) + ^^^^^^^^^^^^^^ +out/test/spec/f64.wast:2541: assert_malformed passed: + out/test/spec/f64/f64.13.wat:1:31: error: invalid literal "nan:canonical" + (func (result f64) (f64.const nan:canonical)) + ^^^^^^^^^^^^^ +2513/2513 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/i32.txt b/test/spec/i32.txt index efe6bd94..d717641d 100644 --- a/test/spec/i32.txt +++ b/test/spec/i32.txt @@ -260,5 +260,5 @@ out/test/spec/i32.wast:975: assert_invalid passed: out/test/spec/i32.wast:976: assert_invalid passed: error: type mismatch in i32.ne, expected [i32, i32] but got [i64, f32] 0000020: error: OnCompareExpr callback failed -457/457 tests passed. +459/459 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/i64.txt b/test/spec/i64.txt index ae1ff95c..de09b505 100644 --- a/test/spec/i64.txt +++ b/test/spec/i64.txt @@ -98,5 +98,5 @@ out/test/spec/i64.wast:484: assert_invalid passed: out/test/spec/i64.wast:485: assert_invalid passed: error: type mismatch in i64.ne, expected [i64, i64] but got [i32, f32] 0000020: error: OnCompareExpr callback failed -413/413 tests passed. +415/415 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/memory_trap.txt b/test/spec/memory_trap.txt index f868c26a..3117773a 100644 --- a/test/spec/memory_trap.txt +++ b/test/spec/memory_trap.txt @@ -167,5 +167,9 @@ out/test/spec/memory_trap.wast:263: assert_trap passed: out of bounds memory acc out/test/spec/memory_trap.wast:264: assert_trap passed: out of bounds memory access: access at 4294967294+4 >= max value 65536 out/test/spec/memory_trap.wast:265: assert_trap passed: out of bounds memory access: access at 4294967293+4 >= max value 65536 out/test/spec/memory_trap.wast:266: assert_trap passed: out of bounds memory access: access at 4294967292+4 >= max value 65536 -171/171 tests passed. +out/test/spec/memory_trap.wast:275: assert_trap passed: out of bounds memory access: access at 65533+4 >= max value 65536 +out/test/spec/memory_trap.wast:277: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536 +out/test/spec/memory_trap.wast:279: assert_trap passed: out of bounds memory access: access at 65533+4 >= max value 65536 +out/test/spec/memory_trap.wast:281: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536 +180/180 tests passed. ;;; STDOUT ;;) diff --git a/test/wasm2c/spec/memory_trap.txt b/test/wasm2c/spec/memory_trap.txt index afecd5e9..5d2743f8 100644 --- a/test/wasm2c/spec/memory_trap.txt +++ b/test/wasm2c/spec/memory_trap.txt @@ -1,5 +1,5 @@ ;;; TOOL: run-spec-wasm2c ;;; STDIN_FILE: third_party/testsuite/memory_trap.wast (;; STDOUT ;;; -171/171 tests passed. +180/180 tests passed. ;;; STDOUT ;;) diff --git a/third_party/testsuite b/third_party/testsuite -Subproject 4fd2339b5e9709e74b326797f69a88b13eac4d4 +Subproject f1eaa436cc513b94c62c5ad6220e8ddc8673490 |