blob: 7afcd9cc1f3e1fbee2c9c993fbc49b0c91c7e801 [file] [log] [blame]
; RUN: llc -mtriple=x86_64-pc-windows-coreclr < %s | FileCheck %s
declare void @ProcessCLRException()
declare void @f()
define void @test1() personality void ()* @ProcessCLRException {
entry:
invoke void @f()
to label %exit unwind label %catch.dispatch.1
exit:
ret void
catch.dispatch.1:
%cs1 = catchswitch within none [label %outer.catch] unwind to caller
outer.catch:
%cp1 = catchpad within %cs1 [i32 1]
invoke void @f() [ "funclet"(token %cp1) ]
to label %outer.ret unwind label %catch.dispatch.2
outer.ret:
catchret from %cp1 to label %exit
catch.dispatch.2:
%cs2 = catchswitch within %cp1 [label %inner.catch] unwind to caller
inner.catch:
%cp2 = catchpad within %cs2 [i32 2]
catchret from %cp2 to label %outer.ret
}
; Check the catchret targets
; CHECK-LABEL: test1: # @test1
; CHECK: [[Exit:^[^: ]+]]: # Block address taken
; CHECK-NEXT: # %exit
; CHECK: [[OuterRet:^[^: ]+]]: # Block address taken
; CHECK-NEXT: # %outer.ret
; CHECK-NEXT: leaq [[Exit]](%rip), %rax
; CHECK: retq # CATCHRET
; CHECK: {{^[^: ]+}}: # %inner.catch
; CHECK: .seh_endprolog
; CHECK-NEXT: leaq [[OuterRet]](%rip), %rax
; CHECK: retq # CATCHRET