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  %0 = catchpad [i8* null]
23          to label %catch unwind label %catchendblock.i.i
24
25catch:                                            ; preds = %dispatch
26  catchret %0 to label %return
27
28catchendblock.i.i:                                ; preds = %dispatch
29  catchendpad unwind to caller
30
31fallthrough:                                      ; preds = %try
32  unreachable
33
34return:                                           ; preds = %catch, %entry
35  ret void
36}
37
38; CHECK-LABEL: foo: # @foo
39; CHECK: testb $1, %cl
40; CHECK: jne .LBB0_[[return:[0-9]+]]
41; CHECK: .Ltmp0:
42; CHECK: callq bar
43; CHECK: .Ltmp1:
44; CHECK: .LBB0_[[catch:[0-9]+]]:
45; CHECK: .LBB0_[[return]]:
46
47; CHECK: .seh_handlerdata
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