| ; 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 |