1; RUN: llc -mtriple=x86_64-pc-windows-msvc < %s | FileCheck %s
2
3declare i32 @__CxxFrameHandler3(...)
4
5declare void @throw()
6declare i16 @f()
7
8define i16 @test1(i16 %a, i8* %b) personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
9entry:
10  %cmp = icmp eq i16 %a, 10
11  br i1 %cmp, label %if.then, label %if.else
12
13if.then:
14  %call1 = invoke i16 @f()
15          to label %cleanup unwind label %catch.dispatch
16
17if.else:
18  %call2 = invoke i16 @f()
19          to label %cleanup unwind label %catch.dispatch
20
21catch.dispatch:
22  %cs = catchswitch within none [ label %catch, label %catch.2 ] unwind to caller
23
24catch:
25  catchpad within %cs [i8* null, i32 8, i8* null]
26  call void @throw() noreturn
27  br label %unreachable
28
29catch.2:
30  catchpad within %cs [i8* null, i32 64, i8* null]
31  store i8 1, i8* %b
32  call void @throw() noreturn
33  br label %unreachable
34
35cleanup:
36  %retval = phi i16 [ %call1, %if.then ], [ %call2, %if.else ]
37  ret i16 %retval
38
39unreachable:
40  unreachable
41}
42
43; This test verifies the case where two funclet blocks meet the old criteria
44; to be placed at the end.  The order of the blocks is not important for the
45; purposes of this test.  The failure mode is an infinite loop during
46; compilation.
47;
48; CHECK-LABEL: .def     test1;
49
50define i16 @test2(i16 %a, i8* %b) personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
51entry:
52  %cmp = icmp eq i16 %a, 10
53  br i1 %cmp, label %if.then, label %if.else
54
55if.then:
56  %call1 = invoke i16 @f()
57          to label %cleanup unwind label %catch.dispatch
58
59if.else:
60  %call2 = invoke i16 @f()
61          to label %cleanup unwind label %catch.dispatch
62
63catch.dispatch:
64  %cs = catchswitch within none [ label %catch, label %catch.2, label %catch.3 ] unwind to caller
65
66catch:
67  catchpad within %cs [i8* null, i32 8, i8* null]
68  call void @throw() noreturn
69  br label %unreachable
70
71catch.2:
72  %c2 = catchpad within %cs [i8* null, i32 32, i8* null]
73  store i8 1, i8* %b
74  catchret from %c2 to label %cleanup
75
76catch.3:
77  %c3 = catchpad within %cs [i8* null, i32 64, i8* null]
78  store i8 2, i8* %b
79  catchret from %c3 to label %cleanup
80
81cleanup:
82  %retval = phi i16 [ %call1, %if.then ], [ %call2, %if.else ], [ -1, %catch.2 ], [ -1, %catch.3 ]
83  ret i16 %retval
84
85unreachable:
86  unreachable
87}
88
89; This test verifies the case where three funclet blocks all meet the old
90; criteria to be placed at the end.  The order of the blocks is not important
91; for the purposes of this test.  The failure mode is an infinite loop during
92; compilation.
93;
94; CHECK-LABEL: .def     test2;
95
96