| ; RUN: llc -mtriple=x86_64-pc-windows-msvc < %s -enable-shrink-wrap=false | FileCheck %s |
| ; Make sure shrink-wrapping does not break the lowering of exception handling. |
| ; RUN: llc -mtriple=x86_64-pc-windows-msvc < %s -enable-shrink-wrap=true -pass-remarks-output=%t | FileCheck %s |
| ; RUN: cat %t | FileCheck %s --check-prefix=REMARKS |
| |
| ; Repro cases from PR25168 |
| |
| ; test @catchret - catchret target is not address-taken until PEI |
| ; splits it into lea/mov followed by ret. Make sure the MBB is |
| ; handled, both by tempting BranchFolding to merge it with %early_out |
| ; and delete it, and by checking that we emit a proper reference |
| ; to it in the LEA |
| |
| declare void @ProcessCLRException() |
| declare void @f() |
| |
| define void @catchret(i1 %b) personality void ()* @ProcessCLRException { |
| entry: |
| br i1 %b, label %body, label %early_out |
| early_out: |
| ret void |
| body: |
| invoke void @f() |
| to label %exit unwind label %catch.pad |
| catch.pad: |
| %cs1 = catchswitch within none [label %catch.body] unwind to caller |
| catch.body: |
| %catch = catchpad within %cs1 [i32 33554467] |
| catchret from %catch to label %exit |
| exit: |
| ret void |
| } |
| ; CHECK-LABEL: catchret: # @catchret |
| ; CHECK: [[Exit:^[^ :]+]]: # Block address taken |
| ; CHECK-NEXT: # %exit |
| ; CHECK: # %catch.body |
| ; CHECK: .seh_endprolog |
| ; CHECK: leaq [[Exit]](%rip), %rax |
| ; CHECK: retq # CATCHRET |
| |
| ; REMARKS: Pass: shrink-wrap |
| ; REMARKS-NEXT: Name: UnsupportedEHFunclets |
| ; REMARKS-NEXT: Function: catchret |
| ; REMARKS-NEXT: Args: |
| ; REMARKS-NEXT: - String: EH Funclets are not supported yet. |
| |
| ; test @setjmp - similar to @catchret, but the MBB in question |
| ; is the one generated when the setjmp's block is split |
| |
| @buf = internal global [5 x i8*] zeroinitializer |
| declare i8* @llvm.frameaddress(i32) nounwind readnone |
| declare i8* @llvm.stacksave() nounwind |
| declare i32 @llvm.eh.sjlj.setjmp(i8*) nounwind |
| declare void @llvm.eh.sjlj.longjmp(i8*) nounwind |
| |
| define void @setjmp(i1 %b) nounwind { |
| entry: |
| br i1 %b, label %early_out, label %sj |
| early_out: |
| ret void |
| sj: |
| %fp = call i8* @llvm.frameaddress(i32 0) |
| store i8* %fp, i8** getelementptr inbounds ([5 x i8*], [5 x i8*]* @buf, i64 0, i64 0), align 16 |
| %sp = call i8* @llvm.stacksave() |
| store i8* %sp, i8** getelementptr inbounds ([5 x i8*], [5 x i8*]* @buf, i64 0, i64 2), align 16 |
| call i32 @llvm.eh.sjlj.setjmp(i8* bitcast ([5 x i8*]* @buf to i8*)) |
| ret void |
| } |
| ; CHECK-LABEL: setjmp: # @setjmp |
| ; CHECK: # %sj |
| ; CHECK: leaq [[Label:\..+]](%rip), %[[Reg:.+]]{{$}} |
| ; CHECK-NEXT: movq %[[Reg]], buf |
| ; CHECK: {{^}}[[Label]]: # Block address taken |
| ; CHECK-NEXT: # %sj |