1; RUN: llc -verify-machineinstrs < %s | FileCheck %s 2 3; BranchFolding used to remove our empty landingpad block, which is 4; undesirable. 5 6target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" 7target triple = "x86_64-pc-windows-msvc18.0.0" 8 9declare i32 @__C_specific_handler(...) 10 11declare void @bar() 12 13define void @foo(i1 %cond) personality i32 (...)* @__C_specific_handler { 14entry: 15 br i1 %cond, label %return, label %try 16 17try: ; preds = %entry 18 invoke void @bar() 19 to label %fallthrough unwind label %dispatch 20 21dispatch: ; preds = %try 22 %cs1 = catchswitch within none [label %catch] unwind to caller 23 24catch: ; preds = %dispatch 25 %0 = catchpad within %cs1 [i8* null] 26 catchret from %0 to label %return 27 28fallthrough: ; preds = %try 29 unreachable 30 31return: ; preds = %catch, %entry 32 ret void 33} 34 35; CHECK-LABEL: foo: # @foo 36; CHECK: testb $1, %cl 37; CHECK: je .LBB0_[[try:[0-9]+]] 38; CHECK: .LBB0_[[return:[0-9]+]]: 39; CHECK: retq 40; CHECK: .LBB0_[[try]]: 41; CHECK: .Ltmp0: 42; CHECK: callq bar 43; CHECK: .Ltmp1: 44; CHECK: .LBB0_[[catch:[0-9]+]]: 45 46; CHECK: .seh_handlerdata 47; CHECK-NEXT: .Lfoo$parent_frame_offset = 32 48; CHECK-NEXT: .long (.Llsda_end0-.Llsda_begin0)/16 49; CHECK-NEXT: .Llsda_begin0: 50; CHECK-NEXT: .long .Ltmp0@IMGREL+1 51; CHECK-NEXT: .long .Ltmp1@IMGREL+1 52; CHECK-NEXT: .long 1 53; CHECK-NEXT: .long .LBB0_[[catch]]@IMGREL 54