blob: 8a9409b967aed209883e594dcd6358f25b6583de [file] [log] [blame]
; RUN: opt -S -passes=always-inline -mtriple=x86_64-windows-msvc < %s | FileCheck %s
; WinEH requires funclet tokens on nounwind intrinsics if they can lower to
; regular function calls in the course of IR transformations.
;
; Test that the inliner propagates funclet tokens to such intrinsics when
; inlining into EH funclets, i.e.: llvm.objc.storeStrong inherits the "funclet"
; token from inlined_fn.
define void @inlined_fn(ptr %ex) #1 {
entry:
call void @llvm.objc.storeStrong(ptr %ex, ptr null)
ret void
}
define void @test_catch_with_inline() personality ptr @__CxxFrameHandler3 {
entry:
%exn.slot = alloca ptr, align 8
%ex = alloca ptr, align 8
invoke void @opaque() to label %invoke.cont unwind label %catch.dispatch
catch.dispatch:
%0 = catchswitch within none [label %catch] unwind to caller
invoke.cont:
unreachable
catch:
%1 = catchpad within %0 [ptr null, i32 64, ptr %exn.slot]
call void @inlined_fn(ptr %ex) [ "funclet"(token %1) ]
catchret from %1 to label %catchret.dest
catchret.dest:
ret void
}
declare void @opaque()
declare void @llvm.objc.storeStrong(ptr, ptr) #0
declare i32 @__CxxFrameHandler3(...)
attributes #0 = { nounwind }
attributes #1 = { alwaysinline }
; After inlining, llvm.objc.storeStrong inherited the "funclet" token:
;
; CHECK-LABEL: define void @test_catch_with_inline()
; ...
; CHECK: catch:
; CHECK-NEXT: %1 = catchpad within %0 [ptr null, i32 64, ptr %exn.slot]
; CHECK-NEXT: call void @llvm.objc.storeStrong(ptr %ex, ptr null) [ "funclet"(token %1) ]
; CHECK-NEXT: catchret from %1 to label %catchret.dest