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

;; RUN: wasm-opt -all             %s -S -o - | filecheck %s
;; RUN: wasm-opt -all --roundtrip %s -S -o - | filecheck %s

;; Test text and binary handling of @binaryen.js.called.

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

  ;; CHECK:      (@binaryen.js.called)
  ;; CHECK-NEXT: (func $func-annotation (type $0)
  ;; CHECK-NEXT:  (drop
  ;; CHECK-NEXT:   (i32.const 0)
  ;; CHECK-NEXT:  )
  ;; CHECK-NEXT: )
  (@binaryen.js.called)
  (func $func-annotation
    (drop
      (i32.const 0)
    )
  )
)