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/memory_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/memory_size.wast')
-rw-r--r-- | test/spec/memory_size.wast | 85 |
1 files changed, 0 insertions, 85 deletions
diff --git a/test/spec/memory_size.wast b/test/spec/memory_size.wast deleted file mode 100644 index 239e66d8f..000000000 --- a/test/spec/memory_size.wast +++ /dev/null @@ -1,85 +0,0 @@ -(module - (memory 0) - (func (export "size") (result i32) (memory.size)) - (func (export "grow") (param $sz i32) (drop (memory.grow (local.get $sz)))) -) - -(assert_return (invoke "size") (i32.const 0)) -(assert_return (invoke "grow" (i32.const 1))) -(assert_return (invoke "size") (i32.const 1)) -(assert_return (invoke "grow" (i32.const 4))) -(assert_return (invoke "size") (i32.const 5)) -(assert_return (invoke "grow" (i32.const 0))) -(assert_return (invoke "size") (i32.const 5)) - -(module - (memory 1) - (func (export "size") (result i32) (memory.size)) - (func (export "grow") (param $sz i32) (drop (memory.grow (local.get $sz)))) -) - -(assert_return (invoke "size") (i32.const 1)) -(assert_return (invoke "grow" (i32.const 1))) -(assert_return (invoke "size") (i32.const 2)) -(assert_return (invoke "grow" (i32.const 4))) -(assert_return (invoke "size") (i32.const 6)) -(assert_return (invoke "grow" (i32.const 0))) -(assert_return (invoke "size") (i32.const 6)) - -(module - (memory 0 2) - (func (export "size") (result i32) (memory.size)) - (func (export "grow") (param $sz i32) (drop (memory.grow (local.get $sz)))) -) - -(assert_return (invoke "size") (i32.const 0)) -(assert_return (invoke "grow" (i32.const 3))) -(assert_return (invoke "size") (i32.const 0)) -(assert_return (invoke "grow" (i32.const 1))) -(assert_return (invoke "size") (i32.const 1)) -(assert_return (invoke "grow" (i32.const 0))) -(assert_return (invoke "size") (i32.const 1)) -(assert_return (invoke "grow" (i32.const 4))) -(assert_return (invoke "size") (i32.const 1)) -(assert_return (invoke "grow" (i32.const 1))) -(assert_return (invoke "size") (i32.const 2)) - -(module - (memory 3 8) - (func (export "size") (result i32) (memory.size)) - (func (export "grow") (param $sz i32) (drop (memory.grow (local.get $sz)))) -) - -(assert_return (invoke "size") (i32.const 3)) -(assert_return (invoke "grow" (i32.const 1))) -(assert_return (invoke "size") (i32.const 4)) -(assert_return (invoke "grow" (i32.const 3))) -(assert_return (invoke "size") (i32.const 7)) -(assert_return (invoke "grow" (i32.const 0))) -(assert_return (invoke "size") (i32.const 7)) -(assert_return (invoke "grow" (i32.const 2))) -(assert_return (invoke "size") (i32.const 7)) -(assert_return (invoke "grow" (i32.const 1))) -(assert_return (invoke "size") (i32.const 8)) - - -;; Type errors - -(assert_invalid - (module - (memory 1) - (func $type-result-i32-vs-empty - (memory.size) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (memory 1) - (func $type-result-i32-vs-f32 (result f32) - (memory.size) - ) - ) - "type mismatch" -) |