diff options
Diffstat (limited to 'test/spec')
| -rw-r--r-- | test/spec/shared-array.wast | 28 |
1 files changed, 26 insertions, 2 deletions
diff --git a/test/spec/shared-array.wast b/test/spec/shared-array.wast index 7aa387731..8c748fd20 100644 --- a/test/spec/shared-array.wast +++ b/test/spec/shared-array.wast @@ -73,9 +73,10 @@ (type $i8 (shared (array (mut i8)))) (type $i32 (shared (array (mut i32)))) (type $unshared (array (mut i8))) + (type $funcs (shared (array (mut (ref null (shared any)))))) (data) - (elem) + (elem (ref null (shared any))) (func (array.new $i8 (i32.const 0) (i32.const 0)) (drop)) @@ -110,6 +111,29 @@ (func (param (ref null $i8)) (array.init_data $i8 0 (local.get 0) (i32.const 0) (i32.const 0) (i32.const 0))) + (func (param (ref null $funcs)) + (array.init_elem $funcs 0 (local.get 0) (i32.const 0) (i32.const 0) (i32.const 0))) +) + +;; Bottom types +(module + (type $i8 (shared (array (mut i8)))) + (type $i32 (shared (array (mut i32)))) + (type $funcs (shared (array (mut (ref null (shared func)))))) + + (data) + (elem (ref null (shared any))) + + (func (array.get_s $i8 (ref.null (shared none)) (i32.const 0)) (drop)) + (func (array.get_u $i8 (ref.null (shared none)) (i32.const 0)) (drop)) + (func (array.get $i32 (ref.null (shared none)) (i32.const 0)) (drop)) + (func (array.set $i8 (ref.null (shared none)) (i32.const 0) (i32.const 0))) (func (param (ref null $i8)) - (array.init_data $i8 0 (local.get 0) (i32.const 0) (i32.const 0) (i32.const 0))) + (array.copy $i8 $i8 (ref.null (shared none)) (i32.const 0) (local.get 0) (i32.const 0) (i32.const 0))) + (func (param (ref null $i8)) + (array.copy $i8 $i8 (local.get 0) (i32.const 0) (ref.null (shared none)) (i32.const 0) (i32.const 0))) + (func (array.copy $i8 $i8 (ref.null (shared none)) (i32.const 0) (ref.null (shared none)) (i32.const 0) (i32.const 0))) + (func (array.fill $i8 (ref.null (shared none)) (i32.const 0) (i32.const 0) (i32.const 0))) + (func (array.init_data $i8 0 (ref.null (shared none)) (i32.const 0) (i32.const 0) (i32.const 0))) + (func (array.init_elem $funcs 0 (ref.null (shared none)) (i32.const 0) (i32.const 0) (i32.const 0))) ) |