diff options
author | Thomas Lively <tlively@google.com> | 2024-08-20 17:16:44 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-08-20 17:16:44 -0700 |
commit | 435eeead73cf02a6fb5bc7d7a36dd45b8d700cb2 (patch) | |
tree | d079d92a6d934175d6f1b276deb0ef78d14d058b /test/spec/table_size.wast | |
parent | 340ad71810484c279b1a36a9a7e458c9b18855b9 (diff) | |
download | binaryen-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.wast | 89 |
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" -) |