; RUN: llvm-ml -m64 -filetype=s %s /Fo - | FileCheck %s
.code
t1 PROC FRAME
push rbp
.pushreg rbp
mov rbp, rsp
.setframe rbp, 0
pushfq
.allocstack 8
.endprolog
ret
t1 ENDP
; CHECK: .seh_proc t1
; CHECK: t1:
; CHECK: push rbp
; CHECK: .seh_pushreg rbp
; CHECK: mov rbp, rsp
; CHECK: .seh_setframe rbp, 0
; CHECK: pushfq
; CHECK: .seh_stackalloc 8
; CHECK: .seh_endprologue
; CHECK: ret
; CHECK: .seh_endproc
END