1; RUN: llc -mtriple x86_64-pc-windows-msvc < %s | FileCheck %s 2 3declare void @maybe_throw() 4 5@_ZTIi = external constant i8* 6@g = external global i32 7 8declare i32 @__C_specific_handler(...) 9declare i32 @__gxx_personality_seh0(...) 10declare i32 @llvm.eh.typeid.for(i8*) readnone nounwind 11 12define i32 @use_seh() personality i32 (...)* @__C_specific_handler { 13entry: 14 invoke void @maybe_throw() 15 to label %cont unwind label %lpad 16 17cont: 18 ret i32 0 19 20lpad: 21 %cs = catchswitch within none [label %catch] unwind to caller 22catch: 23 %p = catchpad within %cs [i8* bitcast (i32 (i8*, i8*)* @filt_g to i8*)] 24 catchret from %p to label %ret1 25 26ret1: 27 ret i32 1 28} 29 30define internal i32 @filt_g(i8*, i8*) { 31 %g = load i32, i32* @g 32 ret i32 %g 33} 34 35; CHECK-LABEL: use_seh: 36; CHECK: callq maybe_throw 37; CHECK: xorl %eax, %eax 38; CHECK: .LBB0_[[epilogue:[0-9]+]] 39; CHECK: retq 40; CHECK: # %catch{{$}} 41; CHECK: movl $1, %eax 42; CHECK: jmp .LBB0_[[epilogue]] 43 44; A MinGW64-ish EH style. It could happen if a binary uses both MSVC CRT and 45; mingw CRT and is linked with LTO. 46define i32 @use_gcc() personality i32 (...)* @__gxx_personality_seh0 { 47entry: 48 invoke void @maybe_throw() 49 to label %cont unwind label %lpad 50 51cont: 52 ret i32 0 53 54lpad: 55 %ehvals = landingpad { i8*, i32 } 56 cleanup 57 catch i8* bitcast (i8** @_ZTIi to i8*) 58 %ehsel = extractvalue { i8*, i32 } %ehvals, 1 59 %filt_g_sel = call i32 @llvm.eh.typeid.for(i8* bitcast (i32 (i8*, i8*)* @filt_g to i8*)) 60 %matches = icmp eq i32 %ehsel, %filt_g_sel 61 br i1 %matches, label %ret1, label %eh.resume 62 63ret1: 64 ret i32 1 65 66eh.resume: 67 resume { i8*, i32 } %ehvals 68} 69 70; CHECK-LABEL: use_gcc: 71; CHECK: callq maybe_throw 72; CHECK: xorl %eax, %eax 73; 74; CHECK: # %lpad 75; CHECK: cmpl $2, %edx 76; CHECK: jne 77; 78; CHECK: # %ret1 79; CHECK: movl $1, %eax 80; 81; CHECK: callq _Unwind_Resume 82