From efbf70cadfa6bd47b72debbf8e6b514724e3b1bd Mon Sep 17 00:00:00 2001 From: Thomas Lively Date: Thu, 29 Feb 2024 11:06:36 -0800 Subject: [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. --- test/lit/wat-kitchen-sink.wast | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'test') 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 -- cgit v1.2.3