Auto-update for 2025-04-02 (#122)

Update repos:

  wasm-3.0:
    WebAssembly/spec@3532eed
  custom-page-sizes:
    WebAssembly/custom-page-sizes@edb9c5b

This change was automatically generated by `update-testsuite.py`

Co-authored-by: WebAssembly/testsuite auto-update <github-actions@users.noreply.github.com>

Author: github-actions[bot]

proposals/custom-page-sizes/memory_max.wast

@@ -23,14 +23,12 @@
   "unknown import")
 
 ;; Memory size just over the maximum.
-;;
-;; These are malformed (for pagesize 1)
-;; or invalid (for other pagesizes).
 
 ;; i32 (pagesize 1)
-(assert_malformed
-  (module quote "(memory 0x1_0000_0000 (pagesize 1))")
-  "constant out of range")
+(assert_invalid
+  (module
+    (memory 0x1_0000_0000 (pagesize 1)))
+  "memory size must be at most")
 
 ;; i32 (default pagesize)
 (assert_invalid

proposals/wasm-3.0/align.wast

@@ -962,3 +962,63 @@
   )
   "type mismatch"
 )
+
+;; memop flags >= 0x80
+(assert_malformed
+  (module binary
+    "\00asm" "\01\00\00\00"
+    "\01\04\01\60\00\00"       ;; Type section: 1 type
+    "\03\02\01\00"             ;; Function section: 1 function
+    "\05\03\01\00\01"          ;; Memory section: 1 memory
+    "\0a\0b\01"                ;; Code section: 1 function
+
+    ;; function 0
+    "\09\00"
+    "\41\00"                   ;; i32.const 0
+    "\28\80\01\00"             ;; i32.load offset=0 align="2**128" (malformed)
+    "\1a"                      ;; drop
+    "\0b"                      ;; end
+  )
+  "malformed memop flags"
+)
+
+;; memop flags > 0xff (and & 0xff = 0)
+(assert_malformed
+  (module binary
+    "\00asm" "\01\00\00\00"
+    "\01\04\01\60\00\00"       ;; Type section: 1 type
+    "\03\02\01\00"             ;; Function section: 1 function
+    "\05\03\01\00\01"          ;; Memory section: 1 memory
+    "\0a\0b\01"                ;; Code section: 1 function
+
+    ;; function 0
+    "\09\00"
+    "\41\00"                   ;; i32.const 0
+    "\28\80\02\00"             ;; i32.load offset=0 align="2**256" (malformed)
+    "\1a"                      ;; drop
+    "\0b"                      ;; end
+  )
+  "malformed memop flags"
+)
+
+;; Max align and offset in non-malformed text
+(module
+  (memory i64 1)
+  (func
+    i64.const 0
+    i32.load offset=0xFFFF_FFFF_FFFF_FFFF
+    drop
+  )
+)
+
+(assert_invalid
+  (module
+    (memory 1)
+    (func
+      i32.const 0
+      i32.load offset=0xFFFF_FFFF_FFFF_FFFF align=0x8000_0000_0000_0000
+      drop
+    )
+  )
+  "alignment must not be larger than natural"
+)