1; This test is based on one of benchmarks from SPEC2006. It exposes a bug with
2; incorrect updating of the dom-tree.
3; RUN: opt < %s  -loop-vectorize -verify-dom-info
4target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
5
6@PL_utf8skip = external constant [0 x i8]
7
8; Function Attrs: nounwind ssp uwtable
9define void @Perl_pp_quotemeta() #0 {
10  %len = alloca i64, align 8
11  br i1 undef, label %2, label %1
12
13; <label>:1                                       ; preds = %0
14  br label %3
15
16; <label>:2                                       ; preds = %0
17  br label %3
18
19; <label>:3                                       ; preds = %2, %1
20  br i1 undef, label %34, label %4
21
22; <label>:4                                       ; preds = %3
23  br i1 undef, label %5, label %6
24
25; <label>:5                                       ; preds = %4
26  br label %6
27
28; <label>:6                                       ; preds = %5, %4
29  br i1 undef, label %7, label %8
30
31; <label>:7                                       ; preds = %6
32  br label %8
33
34; <label>:8                                       ; preds = %7, %6
35  br i1 undef, label %.preheader, label %9
36
37.preheader:                                       ; preds = %9, %8
38  br i1 undef, label %.loopexit, label %.lr.ph
39
40; <label>:9                                       ; preds = %8
41  br i1 undef, label %thread-pre-split.preheader, label %.preheader
42
43thread-pre-split.preheader:                       ; preds = %9
44  br i1 undef, label %thread-pre-split._crit_edge, label %.lr.ph21
45
46.thread-pre-split.loopexit_crit_edge:             ; preds = %19
47  %scevgep.sum = xor i64 %umax, -1
48  %scevgep45 = getelementptr i8, i8* %d.020, i64 %scevgep.sum
49  br label %thread-pre-split.loopexit
50
51thread-pre-split.loopexit:                        ; preds = %11, %.thread-pre-split.loopexit_crit_edge
52  %d.1.lcssa = phi i8* [ %scevgep45, %.thread-pre-split.loopexit_crit_edge ], [ %d.020, %11 ]
53  br i1 false, label %thread-pre-split._crit_edge, label %.lr.ph21
54
55.lr.ph21:                                         ; preds = %26, %thread-pre-split.loopexit, %thread-pre-split.preheader
56  %d.020 = phi i8* [ undef, %26 ], [ %d.1.lcssa, %thread-pre-split.loopexit ], [ undef, %thread-pre-split.preheader ]
57  %10 = phi i64 [ %28, %26 ], [ undef, %thread-pre-split.loopexit ], [ undef, %thread-pre-split.preheader ]
58  br i1 undef, label %11, label %22
59
60; <label>:11                                      ; preds = %.lr.ph21
61  %12 = getelementptr inbounds [0 x i8], [0 x i8]* @PL_utf8skip, i64 0, i64 undef
62  %13 = load i8, i8* %12, align 1
63  %14 = zext i8 %13 to i64
64  %15 = icmp ugt i64 %14, %10
65  %. = select i1 %15, i64 %10, i64 %14
66  br i1 undef, label %thread-pre-split.loopexit, label %.lr.ph28
67
68.lr.ph28:                                         ; preds = %11
69  %16 = xor i64 %10, -1
70  %17 = xor i64 %14, -1
71  %18 = icmp ugt i64 %16, %17
72  %umax = select i1 %18, i64 %16, i64 %17
73  br label %19
74
75; <label>:19                                      ; preds = %19, %.lr.ph28
76  %ulen.126 = phi i64 [ %., %.lr.ph28 ], [ %20, %19 ]
77  %20 = add i64 %ulen.126, -1
78  %21 = icmp eq i64 %20, 0
79  br i1 %21, label %.thread-pre-split.loopexit_crit_edge, label %19
80
81; <label>:22                                      ; preds = %.lr.ph21
82  br i1 undef, label %26, label %23
83
84; <label>:23                                      ; preds = %22
85  br i1 undef, label %26, label %24
86
87; <label>:24                                      ; preds = %23
88  br i1 undef, label %26, label %25
89
90; <label>:25                                      ; preds = %24
91  br label %26
92
93; <label>:26                                      ; preds = %25, %24, %23, %22
94  %27 = load i64, i64* %len, align 8
95  %28 = add i64 %27, -1
96  br i1 undef, label %thread-pre-split._crit_edge, label %.lr.ph21
97
98thread-pre-split._crit_edge:                      ; preds = %26, %thread-pre-split.loopexit, %thread-pre-split.preheader
99  br label %.loopexit
100
101.lr.ph:                                           ; preds = %33, %.preheader
102  br i1 undef, label %29, label %thread-pre-split5
103
104; <label>:29                                      ; preds = %.lr.ph
105  br i1 undef, label %33, label %30
106
107; <label>:30                                      ; preds = %29
108  br i1 undef, label %33, label %31
109
110thread-pre-split5:                                ; preds = %.lr.ph
111  br i1 undef, label %33, label %31
112
113; <label>:31                                      ; preds = %thread-pre-split5, %30
114  br i1 undef, label %33, label %32
115
116; <label>:32                                      ; preds = %31
117  br label %33
118
119; <label>:33                                      ; preds = %32, %31, %thread-pre-split5, %30, %29
120  br i1 undef, label %.loopexit, label %.lr.ph
121
122.loopexit:                                        ; preds = %33, %thread-pre-split._crit_edge, %.preheader
123  br label %35
124
125; <label>:34                                      ; preds = %3
126  br label %35
127
128; <label>:35                                      ; preds = %34, %.loopexit
129  br i1 undef, label %37, label %36
130
131; <label>:36                                      ; preds = %35
132  br label %37
133
134; <label>:37                                      ; preds = %36, %35
135  ret void
136}
137
138attributes #0 = { nounwind ssp uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
139
140!llvm.ident = !{!0}
141
142!0 = !{!"clang version 3.6.0 "}
143