diff options
| author | Thomas Lively <tlively@google.com> | 2024-02-29 11:06:36 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-29 11:06:36 -0800 |
| commit | efbf70cadfa6bd47b72debbf8e6b514724e3b1bd (patch) | |
| tree | a9e937a18dedc79e8bd3efa019ce0f9036ee1c1b /test | |
| parent | 7cd00ad485d9bcb68a4a36d4b1291439349e4f5c (diff) | |
| download | binaryen-efbf70cadfa6bd47b72debbf8e6b514724e3b1bd.tar.gz binaryen-efbf70cadfa6bd47b72debbf8e6b514724e3b1bd.tar.bz2 binaryen-efbf70cadfa6bd47b72debbf8e6b514724e3b1bd.zip | |
[Parser] Support inline data in 64-bit memory declarations (#6364)
This new form of the abbreviated memory declaration with inline data is
introduced in the memory64 proposal.
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/wat-kitchen-sink.wast | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/test/lit/wat-kitchen-sink.wast b/test/lit/wat-kitchen-sink.wast index ab81fa4c7..3476195fd 100644 --- a/test/lit/wat-kitchen-sink.wast +++ b/test/lit/wat-kitchen-sink.wast @@ -339,10 +339,20 @@ ;; CHECK: (memory $mem-init 1 1) (memory $mem-init (data "hello inline data")) + ;; CHECK: (memory $mem-init-32 1 1) + (memory $mem-init-32 i32 (data "hello i32 inline data")) + + ;; CHECK: (memory $mem-init-64 i64 1 1) + (memory $mem-init-64 i64 (data "hello i64 inline data")) + ;; data segments (data "hello world") ;; CHECK: (data $implicit-data (memory $mem-init) (i32.const 0) "hello inline data") + ;; CHECK: (data $implicit-data_1 (memory $mem-init-32) (i32.const 0) "hello i32 inline data") + + ;; CHECK: (data $implicit-data_2 (memory $mem-init-64) (i64.const 0) "hello i64 inline data") + ;; CHECK: (data $0 "hello world") ;; CHECK: (data $passive "hello again") @@ -3500,7 +3510,7 @@ i64.const 0 local.get 1 local.get 2 - memory.init 5 1 + memory.init 5 3 local.get 0 local.get 1 local.get 2 |