diff options
Diffstat (limited to 'test/spec/shared-polymorphism.wast')
| -rw-r--r-- | test/spec/shared-polymorphism.wast | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/spec/shared-polymorphism.wast b/test/spec/shared-polymorphism.wast index be8b5e467..3ceead362 100644 --- a/test/spec/shared-polymorphism.wast +++ b/test/spec/shared-polymorphism.wast @@ -23,3 +23,14 @@ (extern.convert_any (local.get 0)) ) ) + +(module + (func (export "eq") (param i32 i32) (result i32) + (ref.eq (ref.i31 (local.get 0)) (ref.i31_shared (local.get 1))) + ) +) + +(assert_return (invoke "eq" (i32.const 0) (i32.const 0)) (i32.const 1)) +(assert_return (invoke "eq" (i32.const 0) (i32.const 1)) (i32.const 0)) +(assert_return (invoke "eq" (i32.const 1) (i32.const 0)) (i32.const 0)) +(assert_return (invoke "eq" (i32.const 1) (i32.const 1)) (i32.const 1)) |