; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
; RUN: llc < %s -mtriple wasm32 | FileCheck %s -check-prefixes=CHECK-32
; RUN: llc < %s -mtriple wasm64 | FileCheck %s -check-prefixes=CHECK-64

declare dso_local void @main()

define dso_local void @naked() naked "frame-pointer"="all" {
; CHECK-32-LABEL: naked:
; CHECK-32:         .functype naked () -> ()
; CHECK-32-NEXT:  # %bb.0:
; CHECK-32-NEXT:    call main
; CHECK-32-NEXT:    unreachable
;
; CHECK-64-LABEL: naked:
; CHECK-64:         .functype naked () -> ()
; CHECK-64-NEXT:  # %bb.0:
; CHECK-64-NEXT:    call main
; CHECK-64-NEXT:    unreachable
  call void @main()
  unreachable
}

define dso_local void @normal() "frame-pointer"="all" {
; CHECK-32-LABEL: normal:
; CHECK-32:         .functype normal () -> ()
; CHECK-32-NEXT:  # %bb.0:
; CHECK-32-NEXT:    call main
; CHECK-32-NEXT:    unreachable
;
; CHECK-64-LABEL: normal:
; CHECK-64:         .functype normal () -> ()
; CHECK-64-NEXT:  # %bb.0:
; CHECK-64-NEXT:    call main
; CHECK-64-NEXT:    unreachable
  call void @main()
  unreachable
}