;; 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 -q -o /dev/null 2>&1 | filecheck %s

(module
 (memory $0 i64 16 17 shared)

 (data $0 (i64.const 0) "abcdefg")

 ;; CHECK:      [fuzz-exec] calling load8x8_s
 ;; CHECK-NEXT: [fuzz-exec] note result: load8x8_s => i32x4 0x00620061 0x00640063 0x00660065 0x00000067
 (func $load8x8_s (export "load8x8_s") (result v128)
  (v128.load8x8_s align=2
   (i64.const 0)
  )
 )

 ;; CHECK:      [fuzz-exec] calling load32x2_u
 ;; CHECK-NEXT: [trap final > memory: 13835058055282163712 > 1048576]
 (func $load32x2_u (export "load32x2_u") (result v128)
  ;; This large 64-bit address is out of bounds, and this should trap.
  (v128.load32x2_u
   (i64.const -4611686018427387904)
  )
 )
)

;; CHECK:      [fuzz-exec] calling load8x8_s
;; CHECK-NEXT: [fuzz-exec] note result: load8x8_s => i32x4 0x00620061 0x00640063 0x00660065 0x00000067

;; CHECK:      [fuzz-exec] calling load32x2_u
;; CHECK-NEXT: [trap final > memory: 13835058055282163712 > 1048576]
;; CHECK-NEXT: [fuzz-exec] comparing load32x2_u
;; CHECK-NEXT: [fuzz-exec] comparing load8x8_s