intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-02-03 10:39:35 +08:00
Code Issues Packages Projects Releases Wiki Activity

[WinEH] Prepare test win64-funclet-preisel-intrinsics.ll for extension to nested try-catch case (NFC)

Browse Source
This commit is contained in:
Stefan Gränitz
2022-09-29 11:01:59 +02:00
parent df6387079e
commit 4a617c426d
1 changed files with 24 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

47
llvm/test/CodeGen/X86/win64-funclet-preisel-intrinsics.ll
View File

@@ -30,48 +30,49 @@ entry:
%ex2 = alloca ptr, align 8
invoke void @opaque() to label %invoke.cont unwind label %catch.dispatch
catch.dispatch:
catch.dispatch: ; preds = %entry
%0 = catchswitch within none [label %catch] unwind to caller
invoke.cont:
invoke.cont: ; preds = %entry
unreachable
catch:
catch: ; preds = %catch.dispatch
%1 = catchpad within %0 [ptr null, i32 64, ptr %exn.slot]
call void @llvm.objc.storeStrong(ptr %ex2, ptr null) [ "funclet"(token %1) ]
%exn = load ptr, ptr %exn.slot, align 8
%2 = call ptr @llvm.objc.retain(ptr %exn) [ "funclet"(token %1) ]
store ptr %2, ptr %ex2, align 8
catchret from %1 to label %catchret.dest
catchret.dest:
catchret.dest: ; preds = %catch
ret void
}
declare void @opaque()
declare void @llvm.objc.storeStrong(ptr, ptr) #0
declare ptr @llvm.objc.retain(ptr) #0
declare i32 @__CxxFrameHandler3(...)
attributes #0 = { nounwind }
; EH catchpad with SEH prologue:
; CHECK: # %catch
; CHECK: pushq %rbp
; CHECK: .seh_pushreg %rbp
; ...
; CHECK: .seh_endprologue
; CHECK-LABEL: # %catch
; CHECK: pushq %rbp
; CHECK: .seh_pushreg %rbp
; ...
; CHECK: .seh_endprologue
;
; At this point the code used to be truncated (and sometimes terminated with an
; int3 opcode):
; CHECK-NOT: int3
; CHECK-NOT: int3
;
; Instead, the call to objc_storeStrong should be emitted:
; CHECK: leaq -24(%rbp), %rcx
; CHECK: xorl %edx, %edx
; CHECK: callq objc_storeStrong
; ...
; Instead, the runtime call to retain should be emitted:
; CHECK: movq -8(%rbp), %rcx
; CHECK: callq objc_retain
; ...
;
; This is the end of the funclet:
; CHECK: popq %rbp
; CHECK: retq # CATCHRET
; ...
; CHECK: .seh_handlerdata
; ...
; CHECK: .seh_endproc
; CHECK: popq %rbp
; CHECK: retq # CATCHRET
; ...
; CHECK: .seh_handlerdata
; ...
; CHECK: .seh_endproc