test/lit/exec/memory64-max-size.wast

;; NOTE: Assertions have been generated by update_lit_checks.py --output=fuzz-exec and should not be edited.

;; RUN: wasm-opt %s -all --fuzz-exec-before -q -o /dev/null 2>&1 | filecheck %s

;; A maximal memory64 declares 2^48 pages, exactly 2^64 bytes, which cannot be
;; allocated (and whose byte size does not even fit in 64 bits). Instantiation
;; must fail as a host limit, not wrap the size to zero and then spuriously
;; trap on the active segment (which optimizations may legitimately remove,
;; changing the spurious behavior).
(module
 ;; CHECK:      [host limit memory too large]
 (memory $0 i64 281474976710656 281474976710656 shared)
 (data $0 (i64.const 0) "\00")
)