;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; RUN: wasm-ctor-eval %s --ctors=v128 --kept-exports=v128 --quiet -all -S -o - | filecheck %s

(module
  ;; CHECK:      (type $0 (func (param i32) (result i32)))

  ;; CHECK:      (type $1 (func (result v128)))

  ;; CHECK:      (memory $0 16 17 shared)
  (memory $0 16 17 shared)

  (export "v128" (func $v128))
  ;; CHECK:      (data $0 (i32.const 23) "\e0\ff\c0N\8e\00\00\fe\01\00\12\81\85\fd\ff\90")

  ;; CHECK:      (export "v128" (func $v128_2))

  ;; CHECK:      (export "keepalive" (func $keepalive))
  (export "keepalive" (func $keepalive))

  (func $v128 (result v128)
    (v128.store
      (i32.const 23)
      (v128.const i32x4 0x4ec0ffe0 0xfe00008e 0x81120001 0x90fffd85)
    )
    (v128.load
      (i32.const 23)
    )
  )

  ;; CHECK:      (func $keepalive (type $0) (param $x i32) (result i32)
  ;; CHECK-NEXT:  (i32.load
  ;; CHECK-NEXT:   (local.get $x)
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (func $keepalive (param $x i32) (result i32)
    ;; Keep the memory alive.
    (i32.load
      (local.get $x)
    )
  )
)
;; CHECK:      (func $v128_2 (type $1) (result v128)
;; CHECK-NEXT:  (v128.const i32x4 0x4ec0ffe0 0xfe00008e 0x81120001 0x90fffd85)
;; CHECK-NEXT: )