1; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
2
3; Check that isImpliedViaMerge wouldn't crash when trying to prove
4; SCEVUnknown and AddRec with phi having many inputs
5; CHECK: @foo
6
7define void @foo(i1 %cond) {
8osr.type.merge79:
9  br label %bci_329
10
11bci_329:                                          ; preds = %bci_337, %bci_326, %osr.type.merge79
12  %local_7_ = phi i32 [ 0, %osr.type.merge79 ], [ %local_7_113, %bci_326 ], [ %local_7_, %bci_337 ]
13  br i1 %cond, label %bci_360, label %bci_337
14
15bci_360:                                          ; preds = %bci_329
16  %0 = phi i32 [ %local_7_, %bci_329 ]
17  %1 = icmp sge i32 %0, 451
18  br i1 %1, label %bci_371, label %bci_326
19
20bci_371:                                          ; preds = %bci_304, %bci_360
21  %local_2_132 = phi i32 [ 0, %bci_360 ], [ %local_2_188, %bci_304 ]
22  %local_7_137 = phi i32 [ 0, %bci_360 ], [ %local_7_217, %bci_304 ]
23  %local_8_138 = phi i32 [ 0, %bci_360 ], [ %local_8_194, %bci_304 ]
24  %local_11_141 = phi i32 [ 0, %bci_360 ], [ %local_11_197, %bci_304 ]
25  %2 = phi i1 [ %1, %bci_360 ], [ false, %bci_304 ]
26  br i1 %2, label %bci_562, label %never_deopt
27
28bci_562:                                          ; preds = %done437, %done405, %done395, %bci_407, %not_zero322, %bci_221, %bci_371
29  %local_2_164 = phi i32 [ %local_2_132, %bci_371 ], [ %9, %not_zero322 ], [ %local_2_188, %bci_407 ], [ %result396, %done395 ], [ %local_2_188, %bci_221 ], [ %local_2_188, %done405 ], [ %local_2_188, %done437 ]
30  %local_7_169 = phi i32 [ %local_7_137, %bci_371 ], [ %local_7_217, %not_zero322 ], [ %local_7_217, %bci_407 ], [ %local_7_217, %done395 ], [ %local_7_217, %bci_221 ], [ %local_7_217, %done405 ], [ %local_7_217, %done437 ]
31  %local_8_170 = phi i32 [ %local_8_138, %bci_371 ], [ %local_8_194, %not_zero322 ], [ %local_8_194, %bci_407 ], [ %local_8_194, %done395 ], [ %local_8_194, %bci_221 ], [ %local_8_194, %done405 ], [ %local_8_194, %done437 ]
32  %local_11_173 = phi i32 [ %local_11_141, %bci_371 ], [ %local_11_197, %not_zero322 ], [ %local_11_197, %bci_407 ], [ %local_11_197, %done395 ], [ %local_11_197, %bci_221 ], [ %local_11_197, %done405 ], [ %local_11_197, %done437 ]
33  br label %bci_604
34
35bci_604:                                          ; preds = %not_subtype, %bci_565, %bci_562
36  %local_2_188 = phi i32 [ %local_2_164, %bci_562 ], [ %9, %bci_565 ], [ %9, %not_subtype ]
37  %local_7_193 = phi i32 [ %local_7_169, %bci_562 ], [ %local_7_217, %bci_565 ], [ %local_7_217, %not_subtype ]
38  %local_8_194 = phi i32 [ %local_8_170, %bci_562 ], [ %local_8_194, %bci_565 ], [ %local_8_194, %not_subtype ]
39  %local_11_197 = phi i32 [ %local_11_173, %bci_562 ], [ %local_11_197, %bci_565 ], [ %local_11_197, %not_subtype ]
40  %3 = add i32 1, %local_7_193
41  br label %bci_199
42
43bci_199:                                          ; preds = %bci_591, %bci_604
44  %local_7_217 = phi i32 [ %3, %bci_604 ], [ %6, %bci_591 ]
45  %4 = mul i32 %local_2_188, %local_8_194
46  %5 = icmp sge i32 %local_7_217, %4
47  br i1 %5, label %bci_610, label %bci_216
48
49bci_610:                                          ; preds = %bci_199
50  ret void
51
52bci_216:                                          ; preds = %bci_199
53  br i1 %cond, label %bci_591, label %bci_221
54
55bci_591:                                          ; preds = %bci_216
56  %6 = add i32 1, %local_7_217
57  br label %bci_199
58
59bci_221:                                          ; preds = %bci_216
60  %7 = srem i32 %local_7_217, 6
61  %8 = add i32 %7, 114
62  switch i32 %8, label %done405 [
63    i32 114, label %bci_562
64    i32 116, label %bci_304
65    i32 117, label %bci_395
66    i32 118, label %bci_407
67    i32 119, label %bci_419
68  ]
69
70bci_419:                                          ; preds = %bci_221
71  %9 = sub i32 %local_2_188, %local_11_197
72  br label %bci_435
73
74bci_435:                                          ; preds = %not_zero322, %bci_419
75  br i1 %cond, label %not_zero265, label %never_deopt
76
77not_zero265:                                      ; preds = %bci_435
78  br i1 %cond, label %in_bounds, label %out_of_bounds
79
80in_bounds:                                        ; preds = %not_zero265
81  br i1 %cond, label %not_zero322, label %never_deopt
82
83not_zero322:                                      ; preds = %in_bounds
84  br i1 %cond, label %bci_562, label %bci_435
85
86bci_407:                                          ; preds = %bci_221
87  br label %bci_562
88
89bci_395:                                          ; preds = %bci_221
90  br i1 %cond, label %done395, label %general_case394
91
92general_case394:                                  ; preds = %bci_395
93  %10 = srem i32 %local_2_188, 0
94  br label %done395
95
96done395:                                          ; preds = %general_case394, %bci_395
97  %result396 = phi i32 [ %10, %general_case394 ], [ 0, %bci_395 ]
98  br label %bci_562
99
100bci_304:                                          ; preds = %bci_221
101  br i1 %cond, label %bci_371, label %bci_326
102
103done405:                                          ; preds = %bci_221
104  br i1 %cond, label %bci_562, label %done437
105
106done437:                                          ; preds = %done405
107  br label %bci_562
108
109bci_326:                                          ; preds = %bci_304, %bci_360
110  %local_7_113 = phi i32 [ %local_7_, %bci_360 ], [ %local_7_217, %bci_304 ]
111  br label %bci_329
112
113bci_337:                                          ; preds = %bci_329
114  br label %bci_329
115
116never_deopt:                                      ; preds = %in_bounds, %bci_435, %bci_371
117  ret void
118
119out_of_bounds:                                    ; preds = %not_zero265
120  br i1 %cond, label %bci_565, label %not_subtype
121
122bci_565:                                          ; preds = %out_of_bounds
123  br label %bci_604
124
125not_subtype:                                      ; preds = %out_of_bounds
126  br label %bci_604
127}
128