| ; RUN: llc -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 code generator will emit the function call and not consider it |
| ; an "implausible instruciton". In the past this silently truncated code on |
| ; exception paths and caused crashes at runtime. |
| ; |
| ; Reduced IR generated from ObjC++ source: |
| ; |
| ; @class Ety; |
| ; void opaque(void); |
| ; void test_catch_with_objc_intrinsic(void) { |
| ; @try { |
| ; opaque(); |
| ; } @catch (Ety *ex) { |
| ; // Destroy ex when leaving catchpad. This would emit calls to two |
| ; // intrinsic functions: llvm.objc.retain and llvm.objc.storeStrong |
| ; } |
| ; } |
| ; |
| ; llvm.objc.retain and llvm.objc.storeStrong both lower into regular function |
| ; calls before ISel. We only need one of them to trigger funclet truncation |
| ; during codegen: |
| |
| define void @test_catch_with_objc_intrinsic() personality ptr @__CxxFrameHandler3 { |
| entry: |
| %exn.slot = alloca ptr, align 8 |
| %ex2 = alloca ptr, align 8 |
| invoke void @opaque() to label %invoke.cont unwind label %catch.dispatch |
| |
| catch.dispatch: ; preds = %entry |
| %0 = catchswitch within none [label %catch] unwind to caller |
| |
| invoke.cont: ; preds = %entry |
| unreachable |
| |
| catch: ; preds = %catch.dispatch |
| %1 = catchpad within %0 [ptr null, i32 64, ptr %exn.slot] |
| %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: ; preds = %catch |
| ret void |
| } |
| |
| declare void @opaque() |
| declare ptr @llvm.objc.retain(ptr) #0 |
| declare i32 @__CxxFrameHandler3(...) |
| |
| attributes #0 = { nounwind } |
| |
| ; EH catchpad with SEH prologue: |
| ; 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 |
| ; |
| ; 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 |