diff options
| author | Thomas Lively <tlively@google.com> | 2024-06-25 12:39:05 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-25 12:39:05 -0700 |
| commit | 654ee6e2504f11fb0e982a2cf276bafa750f694b (patch) | |
| tree | e955f95d009f2df626e3d2ff07154ec56d5d6265 /test/spec/shared-polymorphism.wast | |
| parent | 4cd8b61c5d4817f753a54ef9f501db66969e310f (diff) | |
| download | binaryen-654ee6e2504f11fb0e982a2cf276bafa750f694b.tar.gz binaryen-654ee6e2504f11fb0e982a2cf276bafa750f694b.tar.bz2 binaryen-654ee6e2504f11fb0e982a2cf276bafa750f694b.zip | |
[threads] Validate shared-polymorphic instructions (#6702)
Such as `ref.eq`, `i31.get_{s,u}`, and `array.len`. Also validate that
struct and array operations work on shared structs and arrays.
Diffstat (limited to 'test/spec/shared-polymorphism.wast')
| -rw-r--r-- | test/spec/shared-polymorphism.wast | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/spec/shared-polymorphism.wast b/test/spec/shared-polymorphism.wast new file mode 100644 index 000000000..547829f11 --- /dev/null +++ b/test/spec/shared-polymorphism.wast @@ -0,0 +1,12 @@ +;; Some instructions are shared-polymorphic and work with shared or unshared +;; references. +(module + (func (drop (ref.eq (ref.null (shared none)) (ref.null (shared none))))) + (func (drop (ref.eq (ref.null (shared none)) (ref.null none)))) + (func (drop (ref.eq (ref.null none) (ref.null (shared none))))) + + (func (param (ref null (shared i31))) (drop (i31.get_s (local.get 0)))) + (func (param (ref null (shared i31))) (drop (i31.get_u (local.get 0)))) + + (func (param (ref null (shared array))) (drop (array.len (local.get 0)))) +) |