43 lines
1.2 KiB
LLVM
43 lines
1.2 KiB
LLVM
|
; 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
|