diff options
| author | Thomas Lively <tlively@google.com> | 2024-07-17 18:02:08 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-17 15:02:08 -0700 |
| commit | 4dee6fe0a920f95d31b0921a22a8f5f979e2e14d (patch) | |
| tree | 526011f65c2060219b4a87751d6d6f472506c5be /test/spec | |
| parent | a9758b867ad77bf3f7390123ad4f4ba92a38a1bd (diff) | |
| download | binaryen-4dee6fe0a920f95d31b0921a22a8f5f979e2e14d.tar.gz binaryen-4dee6fe0a920f95d31b0921a22a8f5f979e2e14d.tar.bz2 binaryen-4dee6fe0a920f95d31b0921a22a8f5f979e2e14d.zip | |
Revert "[threads] Allow i31refs of mixed shareability to compare equal (#6752)" (#6761)
Allowing Literals with different types to compare equal causes problems
for passes that want equality to mean real equality, e.g. because they
are using literals as map keys or because they otherwise need to use
them interchangeably.
At a minimum, we would need to differentiate a `refEq` operation where
mixed-shareability i31refs can compare equal from physical equality on
Literals, but there is also appetite to disallow mixed-shareability
ref.eq at the spec level. See
https://github.com/WebAssembly/shared-everything-threads/issues/76.
Diffstat (limited to 'test/spec')
| -rw-r--r-- | test/spec/shared-polymorphism.wast | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/test/spec/shared-polymorphism.wast b/test/spec/shared-polymorphism.wast index 3ceead362..be8b5e467 100644 --- a/test/spec/shared-polymorphism.wast +++ b/test/spec/shared-polymorphism.wast @@ -23,14 +23,3 @@ (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)) |