diff options
Diffstat (limited to 'test/spec/array.wast')
| -rw-r--r-- | test/spec/array.wast | 24 |
1 files changed, 5 insertions, 19 deletions
diff --git a/test/spec/array.wast b/test/spec/array.wast index 243431319..fd151669e 100644 --- a/test/spec/array.wast +++ b/test/spec/array.wast @@ -1,5 +1,3 @@ -;; XXX BINARYEN: rename array.new_default => array.new_default_with_rtt - ;; Type syntax (module @@ -13,8 +11,6 @@ (type (array (ref data))) (type (array (ref 0))) (type (array (ref null 1))) - (type (array (rtt 1))) - (type (array (rtt 10 1))) (type (array (mut i8))) (type (array (mut i16))) (type (array (mut i32))) @@ -25,8 +21,6 @@ (type (array (mut (ref data)))) (type (array (mut (ref 0)))) (type (array (mut (ref null i31)))) - (type (array (mut (rtt 0)))) - (type (array (mut (rtt 10 0)))) ) @@ -70,7 +64,7 @@ ) (func (export "get") (param $i i32) (result f32) (call $get (local.get $i) - (array.new_default_with_rtt $vec (i32.const 3) (rtt.canon $vec)) + (array.new_default $vec (i32.const 3)) ) ) @@ -80,7 +74,7 @@ ) (func (export "set_get") (param $i i32) (param $y f32) (result f32) (call $set_get (local.get $i) - (array.new_default_with_rtt $mvec (i32.const 3) (rtt.canon $mvec)) + (array.new_default $mvec (i32.const 3)) (local.get $y) ) ) @@ -89,7 +83,7 @@ (array.len $vec (local.get $v)) ) (func (export "len") (result i32) - (call $len (array.new_default_with_rtt $vec (i32.const 3) (rtt.canon $vec))) + (call $len (array.new_default $vec (i32.const 3))) ) ) @@ -130,16 +124,8 @@ (module (type $t (array i32)) (func (export "array.new-null") - (local (ref null (rtt $t))) (drop (array.new_default_with_rtt $t (i32.const 1) (i32.const 3) (local.get 0))) - ) - ) - "type mismatch" -) -(assert_invalid - (module - (type $t (array (mut i32))) - (func (export "array.new_default_with_rtt-null") - (local (ref null (rtt $t))) (drop (array.new_default_with_rtt $t (i32.const 3) (local.get 0))) + (local i64) + (drop (array.new_default $t (local.get 0))) ) ) "type mismatch" |