diff options
Diffstat (limited to 'test/spec/old_select.wast')
| -rw-r--r-- | test/spec/old_select.wast | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/test/spec/old_select.wast b/test/spec/old_select.wast index bb9c7c587..e1dd40654 100644 --- a/test/spec/old_select.wast +++ b/test/spec/old_select.wast @@ -29,8 +29,8 @@ (func (export "select-funcref") (param funcref funcref i32) (result funcref) (select (result funcref) (local.get 0) (local.get 1) (local.get 2)) ) - (func (export "select-anyref") (param anyref anyref i32) (result anyref) - (select (result anyref) (local.get 0) (local.get 1) (local.get 2)) + (func (export "select-externref") (param externref externref i32) (result externref) + (select (result externref) (local.get 0) (local.get 1) (local.get 2)) ) ;; Check that both sides of the select are evaluated @@ -39,18 +39,18 @@ (func (export "select_trap_r") (param $cond i32) (result i32) (select (i32.const 0) (unreachable) (local.get $cond))) - (func (export "join-nullref") (param i32) (result anyref) - (select (result anyref) (ref.null) (ref.null) (local.get 0)) + (func (export "join-nullref") (param i32) (result externref) + (select (result externref) (ref.null) (ref.null) (local.get 0)) ) - (func (export "join-funcref") (param i32) (result anyref) - (select (result anyref) + (func (export "join-funcref") (param i32) (result externref) + (select (result externref) (ref.func $dummy) (ref.null) (local.get 0) ) ) - (func (export "join-anyref") (param i32) (param anyref) (result anyref) - (select (result anyref) + (func (export "join-externref") (param i32) (param externref) (result externref) + (select (result externref) (ref.func $dummy) (local.get 1) (local.get 0) @@ -92,13 +92,13 @@ (assert_return (invoke "select-f64-t" (f64.const 1) (f64.const 2) (i32.const 1)) (f64.const 1)) (assert_return (invoke "select-nullref" (ref.null) (ref.null) (i32.const 1)) (ref.null)) (assert_return (invoke "select-funcref" (ref.func "dummy") (ref.null) (i32.const 1)) (ref.func "dummy")) -(assert_return (invoke "select-anyref" (ref.null) (ref.func "dummy") (i32.const 1)) (ref.null)) +(assert_return (invoke "select-externref" (ref.null) (ref.func "dummy") (i32.const 1)) (ref.null)) (assert_return (invoke "select-i32-t" (i32.const 1) (i32.const 2) (i32.const 0)) (i32.const 2)) (assert_return (invoke "select-i32-t" (i32.const 2) (i32.const 1) (i32.const 0)) (i32.const 1)) (assert_return (invoke "select-i64-t" (i64.const 2) (i64.const 1) (i32.const -1)) (i64.const 2)) (assert_return (invoke "select-i64-t" (i64.const 2) (i64.const 1) (i32.const 0xf0f0f0f0)) (i64.const 2)) -(assert_return (invoke "select-anyref" (ref.null) (ref.func "dummy") (i32.const 0)) (ref.func "dummy")) +(assert_return (invoke "select-externref" (ref.null) (ref.func "dummy") (i32.const 0)) (ref.func "dummy")) (assert_return (invoke "select-f32-t" (f32.const nan) (f32.const 1) (i32.const 1)) (f32.const nan)) (assert_return (invoke "select-f32-t" (f32.const nan:0x20304) (f32.const 1) (i32.const 1)) (f32.const nan:0x20304)) @@ -124,8 +124,8 @@ (assert_return_func (invoke "join-funcref" (i32.const 1))) (assert_return (invoke "join-funcref" (i32.const 0)) (ref.null)) -(assert_return_func (invoke "join-anyref" (i32.const 1) (ref.null))) -(assert_return (invoke "join-anyref" (i32.const 0) (ref.null)) (ref.null)) +(assert_return_func (invoke "join-externref" (i32.const 1) (ref.null))) +(assert_return (invoke "join-externref" (i32.const 0) (ref.null)) (ref.null)) (assert_trap (invoke "select_trap_l" (i32.const 1)) "unreachable executed") (assert_trap (invoke "select_trap_l" (i32.const 0)) "unreachable executed") |