summaryrefslogtreecommitdiff
path: root/test/spec/table_size.wast
diff options
context:
space:
mode:
authorThomas Lively <tlively@google.com>2024-08-20 17:16:44 -0700
committerGitHub <noreply@github.com>2024-08-20 17:16:44 -0700
commit435eeead73cf02a6fb5bc7d7a36dd45b8d700cb2 (patch)
treed079d92a6d934175d6f1b276deb0ef78d14d058b /test/spec/table_size.wast
parent340ad71810484c279b1a36a9a7e458c9b18855b9 (diff)
downloadbinaryen-435eeead73cf02a6fb5bc7d7a36dd45b8d700cb2.tar.gz
binaryen-435eeead73cf02a6fb5bc7d7a36dd45b8d700cb2.tar.bz2
binaryen-435eeead73cf02a6fb5bc7d7a36dd45b8d700cb2.zip
Add the upstream spec testsuite as a submodule (#6853)
Run the upstream tests by default, except for a large list of them that do not successfully run. Remove the local version of those that do successfully run where the local version is entirely subsumed by the upstream version.
Diffstat (limited to 'test/spec/table_size.wast')
-rw-r--r--test/spec/table_size.wast89
1 files changed, 0 insertions, 89 deletions
diff --git a/test/spec/table_size.wast b/test/spec/table_size.wast
deleted file mode 100644
index 71081d7e6..000000000
--- a/test/spec/table_size.wast
+++ /dev/null
@@ -1,89 +0,0 @@
-(module
- (table $t0 0 externref)
- (table $t1 1 externref)
- (table $t2 0 2 externref)
- (table $t3 3 8 externref)
- (table $t64 i64 42 42 externref)
-
- (func (export "size-t0") (result i32) table.size)
- (func (export "size-t1") (result i32) (table.size $t1))
- (func (export "size-t2") (result i32) (table.size $t2))
- (func (export "size-t3") (result i32) (table.size $t3))
- (func (export "size-t64") (result i64) (table.size $t64))
-
- (func (export "grow-t0") (param $sz i32)
- (drop (table.grow $t0 (ref.null extern) (local.get $sz)))
- )
- (func (export "grow-t1") (param $sz i32)
- (drop (table.grow $t1 (ref.null extern) (local.get $sz)))
- )
- (func (export "grow-t2") (param $sz i32)
- (drop (table.grow $t2 (ref.null extern) (local.get $sz)))
- )
- (func (export "grow-t3") (param $sz i32)
- (drop (table.grow $t3 (ref.null extern) (local.get $sz)))
- )
-)
-
-(assert_return (invoke "size-t0") (i32.const 0))
-(assert_return (invoke "grow-t0" (i32.const 1)))
-(assert_return (invoke "size-t0") (i32.const 1))
-(assert_return (invoke "grow-t0" (i32.const 4)))
-(assert_return (invoke "size-t0") (i32.const 5))
-(assert_return (invoke "grow-t0" (i32.const 0)))
-(assert_return (invoke "size-t0") (i32.const 5))
-
-(assert_return (invoke "size-t1") (i32.const 1))
-(assert_return (invoke "grow-t1" (i32.const 1)))
-(assert_return (invoke "size-t1") (i32.const 2))
-(assert_return (invoke "grow-t1" (i32.const 4)))
-(assert_return (invoke "size-t1") (i32.const 6))
-(assert_return (invoke "grow-t1" (i32.const 0)))
-(assert_return (invoke "size-t1") (i32.const 6))
-
-(assert_return (invoke "size-t2") (i32.const 0))
-(assert_return (invoke "grow-t2" (i32.const 3)))
-(assert_return (invoke "size-t2") (i32.const 0))
-(assert_return (invoke "grow-t2" (i32.const 1)))
-(assert_return (invoke "size-t2") (i32.const 1))
-(assert_return (invoke "grow-t2" (i32.const 0)))
-(assert_return (invoke "size-t2") (i32.const 1))
-(assert_return (invoke "grow-t2" (i32.const 4)))
-(assert_return (invoke "size-t2") (i32.const 1))
-(assert_return (invoke "grow-t2" (i32.const 1)))
-(assert_return (invoke "size-t2") (i32.const 2))
-
-(assert_return (invoke "size-t3") (i32.const 3))
-(assert_return (invoke "grow-t3" (i32.const 1)))
-(assert_return (invoke "size-t3") (i32.const 4))
-(assert_return (invoke "grow-t3" (i32.const 3)))
-(assert_return (invoke "size-t3") (i32.const 7))
-(assert_return (invoke "grow-t3" (i32.const 0)))
-(assert_return (invoke "size-t3") (i32.const 7))
-(assert_return (invoke "grow-t3" (i32.const 2)))
-(assert_return (invoke "size-t3") (i32.const 7))
-(assert_return (invoke "grow-t3" (i32.const 1)))
-(assert_return (invoke "size-t3") (i32.const 8))
-
-(assert_return (invoke "size-t64") (i64.const 42))
-
-;; Type errors
-
-(assert_invalid
- (module
- (table $t 1 externref)
- (func $type-result-i32-vs-empty
- (table.size $t)
- )
- )
- "type mismatch"
-)
-(assert_invalid
- (module
- (table $t 1 externref)
- (func $type-result-i32-vs-f32 (result f32)
- (table.size $t)
- )
- )
- "type mismatch"
-)