Move "memory max" tests to new file

Author: keithw

test/core/custom-page-sizes/custom-page-sizes-invalid.wast

@@ -113,68 +113,3 @@
   )
   "memory types incompatible"
 )
-
-;; Maximum memory sizes.
-;;
-;; These modules are valid, but instantiating them is unnecessary
-;; and would only allocate very large memories and slow down running
-;; the spec tests. Therefore, add a missing import so that it cannot
-;; be instantiated and use `assert_unlinkable`. This approach
-;; enforces that the module itself is still valid, but that its
-;; instantiation fails early (hopefully before any memories are
-;; actually allocated).
-
-;; i32 (pagesize 1)
-(assert_unlinkable
-  (module
-    (import "test" "unknown" (func))
-    (memory 0xFFFF_FFFF (pagesize 1)))
-  "unknown import")
-
-;; i64 (pagesize 1)
-(assert_unlinkable
-  (module
-    (import "test" "import" (func))
-    (memory i64 0xFFFF_FFFF_FFFF_FFFF (pagesize 1)))
-  "unknown import")
-
-;; i32 (default pagesize)
-(assert_unlinkable
-  (module
-    (import "test" "unknown" (func))
-    (memory 65536 (pagesize 65536)))
-  "unknown import")
-
-;; i64 (default pagesize)
-(assert_unlinkable
-  (module
-    (import "test" "unknown" (func))
-    (memory i64 0x1_0000_0000_0000 (pagesize 65536)))
-  "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")
-
-;; i64 (pagesize 1)
-(assert_malformed
-  (module quote "(memory i64 0x1_0000_0000_0000_0000 (pagesize 1))")
-  "constant out of range")
-
-;; i32 (default pagesize)
-(assert_invalid
-  (module
-    (memory 65537 (pagesize 65536)))
-  "memory size must be at most")
-
-;; i64 (default pagesize)
-(assert_invalid
-  (module
-    (memory i64 0x1_0000_0000_0001 (pagesize 65536)))
-  "memory size must be at most")

test/core/custom-page-sizes/memory_max.wast

@@ -0,0 +1,64 @@
+;; Maximum memory sizes.
+;;
+;; These modules are valid, but instantiating them is unnecessary
+;; and would only allocate very large memories and slow down running
+;; the spec tests. Therefore, add a missing import so that it cannot
+;; be instantiated and use `assert_unlinkable`. This approach
+;; enforces that the module itself is still valid, but that its
+;; instantiation fails early (hopefully before any memories are
+;; actually allocated).
+
+;; i32 (pagesize 1)
+(assert_unlinkable
+  (module
+    (import "test" "unknown" (func))
+    (memory 0xFFFF_FFFF (pagesize 1)))
+  "unknown import")
+
+;; i64 (pagesize 1)
+(assert_unlinkable
+  (module
+    (import "test" "import" (func))
+    (memory i64 0xFFFF_FFFF_FFFF_FFFF (pagesize 1)))
+  "unknown import")
+
+;; i32 (default pagesize)
+(assert_unlinkable
+  (module
+    (import "test" "unknown" (func))
+    (memory 65536 (pagesize 65536)))
+  "unknown import")
+
+;; i64 (default pagesize)
+(assert_unlinkable
+  (module
+    (import "test" "unknown" (func))
+    (memory i64 0x1_0000_0000_0000 (pagesize 65536)))
+  "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")
+
+;; i64 (pagesize 1)
+(assert_malformed
+  (module quote "(memory i64 0x1_0000_0000_0000_0000 (pagesize 1))")
+  "constant out of range")
+
+;; i32 (default pagesize)
+(assert_invalid
+  (module
+    (memory 65537 (pagesize 65536)))
+  "memory size must be at most")
+
+;; i64 (default pagesize)
+(assert_invalid
+  (module
+    (memory i64 0x1_0000_0000_0001 (pagesize 65536)))
+  "memory size must be at most")