diff options
author | Alon Zakai <azakai@google.com> | 2021-08-19 10:13:10 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-19 10:13:10 -0700 |
commit | f1aa78c022eb3f96a0d97e28ce9c35edbe7c45a1 (patch) | |
tree | b84d36b5ec21fc6760fed57dd2019e4a2f122a23 /test | |
parent | cb73700520fa34a58053835d2497c46f1da888c4 (diff) | |
download | binaryen-f1aa78c022eb3f96a0d97e28ce9c35edbe7c45a1.tar.gz binaryen-f1aa78c022eb3f96a0d97e28ce9c35edbe7c45a1.tar.bz2 binaryen-f1aa78c022eb3f96a0d97e28ce9c35edbe7c45a1.zip |
[Wasm GC] Nulls compare equal regardless of type (#4094)
Diffstat (limited to 'test')
-rw-r--r-- | test/spec/ref_eq.wast | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/spec/ref_eq.wast b/test/spec/ref_eq.wast new file mode 100644 index 000000000..f170bcc06 --- /dev/null +++ b/test/spec/ref_eq.wast @@ -0,0 +1,11 @@ +(module + (func $compare (export "compare") (param $x eqref) (param $y eqref) (result i32) + (ref.eq + (local.get $x) + (local.get $y) + ) + ) +) + +;; All nulls compare equal, regardless of their type. +(assert_return (invoke "compare" (ref.null data) (ref.null eq)) (i32.const 1)) |