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

;; Test that we do not error on trying to serialize continuations (which cannot
;; be serialized). When we do not pass --kept-exports, we can at least remove
;; that "test" export, since we don't need to serialize anything when it doesn't
;; stick around.

;; RUN: foreach %s %t wasm-ctor-eval --ctors=test --kept-exports=test -all --ignore-external-input -S -o - | filecheck %s
;; RUN: foreach %s %t wasm-ctor-eval --ctors=test                     -all --ignore-external-input -S -o - | filecheck %s --check-prefix=NOKEEP

(module
 ;; CHECK:      (type $func (func))
 (type $func (func))
 ;; CHECK:      (type $cont (cont $func))
 (type $cont (cont $func))


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

 ;; CHECK:      (type $3 (func (result (ref $cont))))

 ;; CHECK:      (global $global (mut i32) (i32.const 1))
 ;; NOKEEP:      (type $0 (func (result i32)))

 ;; NOKEEP:      (global $global (mut i32) (i32.const 1))
 (global $global (mut i32) (i32.const 0))

 (export "test" (func $test))

 ;; CHECK:      (elem declare func $func)

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

 ;; CHECK:      (export "test" (func $test_3))

 ;; CHECK:      (func $func (type $func)
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT: )
 (func $func
 )

 (func $test (result (ref $cont))
  ;; An effect before the cont.new. We can precompute it and remove it from
  ;; here, applying the 1 to the global.
  (global.set $global
   (i32.const 1)
  )
  (cont.new $cont
   (ref.func $func)
  )
 )

 ;; CHECK:      (func $read (type $2) (result i32)
 ;; CHECK-NEXT:  (global.get $global)
 ;; CHECK-NEXT: )
 ;; NOKEEP:      (export "read" (func $read))

 ;; NOKEEP:      (func $read (type $0) (result i32)
 ;; NOKEEP-NEXT:  (global.get $global)
 ;; NOKEEP-NEXT: )
 (func $read (export "read") (result i32)
  (global.get $global)
 )
)

;; CHECK:      (func $test_3 (type $3) (result (ref $cont))
;; CHECK-NEXT:  (cont.new $cont
;; CHECK-NEXT:   (ref.func $func)
;; CHECK-NEXT:  )
;; CHECK-NEXT: )
(module
 ;; As above, but there is another use of $test.

 ;; CHECK:      (type $func (func))
 ;; NOKEEP:      (type $func (func))
 (type $func (func))
 ;; CHECK:      (type $cont (cont $func))
 ;; NOKEEP:      (type $cont (cont $func))
 (type $cont (cont $func))

 ;; CHECK:      (type $2 (func (result (ref $cont))))

 ;; CHECK:      (elem declare func $func)

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

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

 ;; CHECK:      (func $func (type $func)
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT: )
 ;; NOKEEP:      (type $2 (func (result (ref $cont))))

 ;; NOKEEP:      (elem declare func $func)

 ;; NOKEEP:      (export "export" (func $export))

 ;; NOKEEP:      (func $func (type $func)
 ;; NOKEEP-NEXT:  (nop)
 ;; NOKEEP-NEXT: )
 (func $func
 )

 ;; CHECK:      (func $test (type $2) (result (ref $cont))
 ;; CHECK-NEXT:  (cont.new $cont
 ;; CHECK-NEXT:   (ref.func $func)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 ;; NOKEEP:      (func $test (type $2) (result (ref $cont))
 ;; NOKEEP-NEXT:  (cont.new $cont
 ;; NOKEEP-NEXT:   (ref.func $func)
 ;; NOKEEP-NEXT:  )
 ;; NOKEEP-NEXT: )
 (func $test (result (ref $cont))
  (cont.new $cont
   (ref.func $func)
  )
 )

 ;; CHECK:      (func $export (type $func)
 ;; CHECK-NEXT:  (drop
 ;; CHECK-NEXT:   (call $test)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 ;; NOKEEP:      (func $export (type $func)
 ;; NOKEEP-NEXT:  (drop
 ;; NOKEEP-NEXT:   (call $test)
 ;; NOKEEP-NEXT:  )
 ;; NOKEEP-NEXT: )
 (func $export (export "export")
  ;; Call $test internally. This keeps $test alive in NOKEEP as well (but not
  ;; the export "test").
  (drop
   (call $test)
  )
 )
)

;; As the original testcase, but the serialization problem happens in a local.
(module
 ;; CHECK:      (type $func (func))
 ;; NOKEEP:      (type $func (func))
 (type $func (func))
 ;; CHECK:      (type $cont (cont $func))
 ;; NOKEEP:      (type $cont (cont $func))
 (type $cont (cont $func))

 ;; CHECK:      (elem declare func $func)

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

 ;; CHECK:      (export "test" (func $test))
 ;; NOKEEP:      (elem declare func $func)

 ;; NOKEEP:      (export "export" (func $export))

 ;; NOKEEP:      (export "test" (func $test))
 (export "test" (func $test))

 ;; CHECK:      (func $func (type $func)
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT: )
 ;; NOKEEP:      (func $func (type $func)
 ;; NOKEEP-NEXT:  (nop)
 ;; NOKEEP-NEXT: )
 (func $func
 )

 ;; CHECK:      (func $test (type $func)
 ;; CHECK-NEXT:  (local $cont (ref $cont))
 ;; CHECK-NEXT:  (local.set $cont
 ;; CHECK-NEXT:   (cont.new $cont
 ;; CHECK-NEXT:    (ref.func $func)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (unreachable)
 ;; CHECK-NEXT: )
 ;; NOKEEP:      (func $test (type $func)
 ;; NOKEEP-NEXT:  (local $cont (ref $cont))
 ;; NOKEEP-NEXT:  (local.set $cont
 ;; NOKEEP-NEXT:   (cont.new $cont
 ;; NOKEEP-NEXT:    (ref.func $func)
 ;; NOKEEP-NEXT:   )
 ;; NOKEEP-NEXT:  )
 ;; NOKEEP-NEXT:  (unreachable)
 ;; NOKEEP-NEXT: )
 (func $test
  (local $cont (ref $cont))
  (local.set $cont
   (cont.new $cont
    (ref.func $func)
   )
  )
  ;; An effect, so the function cannot be fully precomputed - we precompute up
  ;; to here, and try to stash in locals, but fail.
  (unreachable)
 )

 ;; CHECK:      (func $export (type $func)
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT: )
 ;; NOKEEP:      (func $export (type $func)
 ;; NOKEEP-NEXT:  (nop)
 ;; NOKEEP-NEXT: )
 (func $export (export "export")
  ;; Keep the testcase from being trivial in the NOKEEP case.
 )
)

;; As the original testcase, but the serialization problem happens in a
;; return_call param.
(module
 ;; CHECK:      (type $func (func))
 ;; NOKEEP:      (type $func (func))
 (type $func (func))
 ;; CHECK:      (type $1 (func (param contref)))

 ;; CHECK:      (type $cont (cont $func))
 ;; NOKEEP:      (type $1 (func (param contref)))

 ;; NOKEEP:      (type $cont (cont $func))
 (type $cont (cont $func))

 ;; CHECK:      (elem declare func $func)

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

 ;; CHECK:      (export "test" (func $test))
 ;; NOKEEP:      (elem declare func $func)

 ;; NOKEEP:      (export "export" (func $export))

 ;; NOKEEP:      (export "test" (func $test))
 (export "test" (func $test))

 ;; CHECK:      (func $func (type $func)
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT: )
 ;; NOKEEP:      (func $func (type $func)
 ;; NOKEEP-NEXT:  (nop)
 ;; NOKEEP-NEXT: )
 (func $func
 )

 ;; CHECK:      (func $test (type $1) (param $cont contref)
 ;; CHECK-NEXT:  (if
 ;; CHECK-NEXT:   (ref.is_null
 ;; CHECK-NEXT:    (local.get $cont)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:   (then
 ;; CHECK-NEXT:    (return_call $test
 ;; CHECK-NEXT:     (cont.new $cont
 ;; CHECK-NEXT:      (ref.func $func)
 ;; CHECK-NEXT:     )
 ;; CHECK-NEXT:    )
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT:  (unreachable)
 ;; CHECK-NEXT: )
 ;; NOKEEP:      (func $test (type $1) (param $cont contref)
 ;; NOKEEP-NEXT:  (if
 ;; NOKEEP-NEXT:   (ref.is_null
 ;; NOKEEP-NEXT:    (local.get $cont)
 ;; NOKEEP-NEXT:   )
 ;; NOKEEP-NEXT:   (then
 ;; NOKEEP-NEXT:    (return_call $test
 ;; NOKEEP-NEXT:     (cont.new $cont
 ;; NOKEEP-NEXT:      (ref.func $func)
 ;; NOKEEP-NEXT:     )
 ;; NOKEEP-NEXT:    )
 ;; NOKEEP-NEXT:   )
 ;; NOKEEP-NEXT:  )
 ;; NOKEEP-NEXT:  (unreachable)
 ;; NOKEEP-NEXT: )
 (func $test (param $cont (ref null cont))
  (if
   (ref.is_null
    (local.get $cont)
   )
   (then
    (return_call $test
     (cont.new $cont
      (ref.func $func)
     )
    )
   )
  )
  (unreachable)
 )

 ;; CHECK:      (func $export (type $func)
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT: )
 ;; NOKEEP:      (func $export (type $func)
 ;; NOKEEP-NEXT:  (nop)
 ;; NOKEEP-NEXT: )
 (func $export (export "export")
 )
)

;; As the original testcase, but the problem happens in a nested GC value.
(module
 ;; CHECK:      (type $func (func))
 ;; NOKEEP:      (type $func (func))
 (type $func (func))
 ;; CHECK:      (type $cont (cont $func))
 (type $cont (cont $func))

 ;; CHECK:      (type $2 (func (result anyref)))

 ;; CHECK:      (type $struct (struct (field $cont (ref $cont))))
 (type $struct (struct (field $cont (ref $cont))))

 ;; CHECK:      (elem declare func $func)

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

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

 ;; CHECK:      (func $func (type $func)
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT: )
 (func $func
 )

 ;; CHECK:      (func $test (type $2) (result anyref)
 ;; CHECK-NEXT:  (struct.new $struct
 ;; CHECK-NEXT:   (cont.new $cont
 ;; CHECK-NEXT:    (ref.func $func)
 ;; CHECK-NEXT:   )
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $test (result anyref)
  (struct.new $struct
   (cont.new $cont
    (ref.func $func)
   )
  )
 )

 ;; CHECK:      (func $export (type $func)
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT: )
 ;; NOKEEP:      (export "export" (func $export))

 ;; NOKEEP:      (func $export (type $func)
 ;; NOKEEP-NEXT:  (nop)
 ;; NOKEEP-NEXT: )
 (func $export (export "export")
 )
)