;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.

;; RUN: foreach %s %t wasm-opt --instrument-memory -all -S -o - | filecheck %s

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

  ;; CHECK:      (type $1 (func (param i32 i64) (result i64)))

  ;; CHECK:      (type $2 (func (param i32 f32) (result f32)))

  ;; CHECK:      (type $3 (func (param i32 f64) (result f64)))

  ;; CHECK:      (type $struct (struct (field (mut i32)) (field f32) (field $named f64)))
  (type $struct (struct
    (field (mut i32))
    (field f32)
    (field $named f64)
  ))
  ;; CHECK:      (type $array (array (mut f64)))
  (type $array (array (mut f64)))

  ;; CHECK:      (type $6 (func (param i32 i32 i32 i32) (result i32)))

  ;; CHECK:      (type $7 (func (param (ref $struct))))

  ;; CHECK:      (type $8 (func (param (ref $array))))

  ;; CHECK:      (import "env" "memory_grow_pre" (func $memory_grow_pre (type $0) (param i32 i32) (result i32)))

  ;; CHECK:      (import "env" "memory_grow_post" (func $memory_grow_post (type $0) (param i32 i32) (result i32)))

  ;; CHECK:      (import "env" "load_ptr" (func $load_ptr (type $6) (param i32 i32 i32 i32) (result i32)))

  ;; CHECK:      (import "env" "load_val_i32" (func $load_val_i32 (type $0) (param i32 i32) (result i32)))

  ;; CHECK:      (import "env" "load_val_i64" (func $load_val_i64 (type $1) (param i32 i64) (result i64)))

  ;; CHECK:      (import "env" "load_val_f32" (func $load_val_f32 (type $2) (param i32 f32) (result f32)))

  ;; CHECK:      (import "env" "load_val_f64" (func $load_val_f64 (type $3) (param i32 f64) (result f64)))

  ;; CHECK:      (import "env" "store_ptr" (func $store_ptr (type $6) (param i32 i32 i32 i32) (result i32)))

  ;; CHECK:      (import "env" "store_val_i32" (func $store_val_i32 (type $0) (param i32 i32) (result i32)))

  ;; CHECK:      (import "env" "store_val_i64" (func $store_val_i64 (type $1) (param i32 i64) (result i64)))

  ;; CHECK:      (import "env" "store_val_f32" (func $store_val_f32 (type $2) (param i32 f32) (result f32)))

  ;; CHECK:      (import "env" "store_val_f64" (func $store_val_f64 (type $3) (param i32 f64) (result f64)))

  ;; CHECK:      (import "env" "struct_get_val_i32" (func $struct_get_val_i32 (type $0) (param i32 i32) (result i32)))

  ;; CHECK:      (import "env" "struct_get_val_i64" (func $struct_get_val_i64 (type $1) (param i32 i64) (result i64)))

  ;; CHECK:      (import "env" "struct_get_val_f32" (func $struct_get_val_f32 (type $2) (param i32 f32) (result f32)))

  ;; CHECK:      (import "env" "struct_get_val_f64" (func $struct_get_val_f64 (type $3) (param i32 f64) (result f64)))

  ;; CHECK:      (import "env" "struct_set_val_i32" (func $struct_set_val_i32 (type $0) (param i32 i32) (result i32)))

  ;; CHECK:      (import "env" "struct_set_val_i64" (func $struct_set_val_i64 (type $1) (param i32 i64) (result i64)))

  ;; CHECK:      (import "env" "struct_set_val_f32" (func $struct_set_val_f32 (type $2) (param i32 f32) (result f32)))

  ;; CHECK:      (import "env" "struct_set_val_f64" (func $struct_set_val_f64 (type $3) (param i32 f64) (result f64)))

  ;; CHECK:      (import "env" "array_get_val_i32" (func $array_get_val_i32 (type $0) (param i32 i32) (result i32)))

  ;; CHECK:      (import "env" "array_get_val_i64" (func $array_get_val_i64 (type $1) (param i32 i64) (result i64)))

  ;; CHECK:      (import "env" "array_get_val_f32" (func $array_get_val_f32 (type $2) (param i32 f32) (result f32)))

  ;; CHECK:      (import "env" "array_get_val_f64" (func $array_get_val_f64 (type $3) (param i32 f64) (result f64)))

  ;; CHECK:      (import "env" "array_set_val_i32" (func $array_set_val_i32 (type $0) (param i32 i32) (result i32)))

  ;; CHECK:      (import "env" "array_set_val_i64" (func $array_set_val_i64 (type $1) (param i32 i64) (result i64)))

  ;; CHECK:      (import "env" "array_set_val_f32" (func $array_set_val_f32 (type $2) (param i32 f32) (result f32)))

  ;; CHECK:      (import "env" "array_set_val_f64" (func $array_set_val_f64 (type $3) (param i32 f64) (result f64)))

  ;; CHECK:      (import "env" "array_get_index" (func $array_get_index (type $0) (param i32 i32) (result i32)))

  ;; CHECK:      (import "env" "array_set_index" (func $array_set_index (type $0) (param i32 i32) (result i32)))

  ;; CHECK:      (func $structs (type $7) (param $x (ref $struct))
  ;; CHECK-NEXT:  (drop
  ;; CHECK-NEXT:   (call $struct_get_val_i32
  ;; CHECK-NEXT:    (i32.const 0)
  ;; CHECK-NEXT:    (struct.get $struct 0
  ;; CHECK-NEXT:     (local.get $x)
  ;; CHECK-NEXT:    )
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT:  (drop
  ;; CHECK-NEXT:   (call $struct_get_val_f32
  ;; CHECK-NEXT:    (i32.const 1)
  ;; CHECK-NEXT:    (struct.get $struct 1
  ;; CHECK-NEXT:     (local.get $x)
  ;; CHECK-NEXT:    )
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT:  (drop
  ;; CHECK-NEXT:   (call $struct_get_val_f64
  ;; CHECK-NEXT:    (i32.const 2)
  ;; CHECK-NEXT:    (struct.get $struct $named
  ;; CHECK-NEXT:     (local.get $x)
  ;; CHECK-NEXT:    )
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT:  (struct.set $struct 0
  ;; CHECK-NEXT:   (local.get $x)
  ;; CHECK-NEXT:   (call $struct_set_val_i32
  ;; CHECK-NEXT:    (i32.const 3)
  ;; CHECK-NEXT:    (i32.const 42)
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (func $structs (param $x (ref $struct))
    (drop
      (struct.get $struct 0 (local.get $x))
    )
    (drop
      (struct.get $struct 1 (local.get $x))
    )
    (drop
      (struct.get $struct 2 (local.get $x))
    )
    (struct.set $struct 0 (local.get $x) (i32.const 42))
  )

  ;; CHECK:      (func $arrays (type $8) (param $x (ref $array))
  ;; CHECK-NEXT:  (drop
  ;; CHECK-NEXT:   (call $array_get_val_f64
  ;; CHECK-NEXT:    (i32.const 5)
  ;; CHECK-NEXT:    (array.get $array
  ;; CHECK-NEXT:     (local.get $x)
  ;; CHECK-NEXT:     (call $array_get_index
  ;; CHECK-NEXT:      (i32.const 4)
  ;; CHECK-NEXT:      (i32.const 10)
  ;; CHECK-NEXT:     )
  ;; CHECK-NEXT:    )
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT:  (array.set $array
  ;; CHECK-NEXT:   (local.get $x)
  ;; CHECK-NEXT:   (call $array_set_index
  ;; CHECK-NEXT:    (i32.const 6)
  ;; CHECK-NEXT:    (i32.const 42)
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:   (call $array_set_val_f64
  ;; CHECK-NEXT:    (i32.const 7)
  ;; CHECK-NEXT:    (f64.const 3.14159)
  ;; CHECK-NEXT:   )
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (func $arrays (param $x (ref $array))
    (drop
      (array.get $array (local.get $x) (i32.const 10))
    )
    (array.set $array (local.get $x) (i32.const 42) (f64.const 3.14159))
  )
)