1 ; RUN: opt < %s -basicaa -slp-vectorizer -S -mtriple=i386-apple-macosx10.8.0 -mcpu=corei7-avx | FileCheck %s
3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32-S128"
4 target triple = "i386-apple-macosx10.8.0"
14 ;CHECK: load <2 x double>
15 ;CHECK: fadd <2 x double>
16 ;CHECK: store <2 x double>
17 ;CHECK: insertelement <2 x double>
18 ;CHECK: fadd <2 x double>
19 ;CHECK: store <2 x double>
22 define i32 @test(double* nocapture %G) {
24 %arrayidx = getelementptr inbounds double* %G, i64 5
25 %0 = load double* %arrayidx, align 8
26 %mul = fmul double %0, 4.000000e+00
27 %add = fadd double %mul, 1.000000e+00
28 store double %add, double* %G, align 8
29 %arrayidx2 = getelementptr inbounds double* %G, i64 6
30 %1 = load double* %arrayidx2, align 8
31 %mul3 = fmul double %1, 3.000000e+00
32 %add4 = fadd double %mul3, 6.000000e+00
33 %arrayidx5 = getelementptr inbounds double* %G, i64 1
34 store double %add4, double* %arrayidx5, align 8
35 %add8 = fadd double %mul, 7.000000e+00
36 %arrayidx9 = getelementptr inbounds double* %G, i64 2
37 store double %add8, double* %arrayidx9, align 8
38 %mul11 = fmul double %1, 4.000000e+00
39 %add12 = fadd double %mul11, 8.000000e+00
40 %arrayidx13 = getelementptr inbounds double* %G, i64 3
41 store double %add12, double* %arrayidx13, align 8
45 ;int foo(double *A, int n) {
46 ; A[0] = A[0] * 7.9 * n + 6.0;
47 ; A[1] = A[1] * 7.7 * n + 2.0;
48 ; A[2] = A[2] * 7.6 * n + 3.0;
49 ; A[3] = A[3] * 7.4 * n + 4.0;
52 ;CHECK: insertelement <2 x double>
53 ;CHECK: insertelement <2 x double>
54 ;CHECK-NOT: insertelement <2 x double>
56 define i32 @foo(double* nocapture %A, i32 %n) {
58 %0 = load double* %A, align 8
59 %mul = fmul double %0, 7.900000e+00
60 %conv = sitofp i32 %n to double
61 %mul1 = fmul double %conv, %mul
62 %add = fadd double %mul1, 6.000000e+00
63 store double %add, double* %A, align 8
64 %arrayidx3 = getelementptr inbounds double* %A, i64 1
65 %1 = load double* %arrayidx3, align 8
66 %mul4 = fmul double %1, 7.700000e+00
67 %mul6 = fmul double %conv, %mul4
68 %add7 = fadd double %mul6, 2.000000e+00
69 store double %add7, double* %arrayidx3, align 8
70 %arrayidx9 = getelementptr inbounds double* %A, i64 2
71 %2 = load double* %arrayidx9, align 8
72 %mul10 = fmul double %2, 7.600000e+00
73 %mul12 = fmul double %conv, %mul10
74 %add13 = fadd double %mul12, 3.000000e+00
75 store double %add13, double* %arrayidx9, align 8
76 %arrayidx15 = getelementptr inbounds double* %A, i64 3
77 %3 = load double* %arrayidx15, align 8
78 %mul16 = fmul double %3, 7.400000e+00
79 %mul18 = fmul double %conv, %mul16
80 %add19 = fadd double %mul18, 4.000000e+00
81 store double %add19, double* %arrayidx15, align 8
85 ; int test2(double *G, int k) {
95 ; We can't merge the gather sequences because one does not dominate the other.
97 ; CHECK: insertelement
98 ; CHECK: insertelement
99 ; CHECK: insertelement
100 ; CHECK: insertelement
102 define i32 @test2(double* nocapture %G, i32 %k) {
103 %1 = icmp eq i32 %k, 0
104 %2 = getelementptr inbounds double* %G, i64 5
105 %3 = load double* %2, align 8
106 %4 = fmul double %3, 4.000000e+00
107 br i1 %1, label %12, label %5
109 ; <label>:5 ; preds = %0
110 %6 = fadd double %4, 1.000000e+00
111 store double %6, double* %G, align 8
112 %7 = getelementptr inbounds double* %G, i64 6
113 %8 = load double* %7, align 8
114 %9 = fmul double %8, 3.000000e+00
115 %10 = fadd double %9, 6.000000e+00
116 %11 = getelementptr inbounds double* %G, i64 1
117 store double %10, double* %11, align 8
120 ; <label>:12 ; preds = %0
121 %13 = fadd double %4, 7.000000e+00
122 %14 = getelementptr inbounds double* %G, i64 2
123 store double %13, double* %14, align 8
124 %15 = getelementptr inbounds double* %G, i64 6
125 %16 = load double* %15, align 8
126 %17 = fmul double %16, 3.000000e+00
127 %18 = fadd double %17, 8.000000e+00
128 %19 = getelementptr inbounds double* %G, i64 3
129 store double %18, double* %19, align 8
132 ; <label>:20 ; preds = %12, %5
137 ;int foo(double *A, int n) {
138 ; A[0] = A[0] * 7.9 * n + 6.0;
139 ; A[1] = A[1] * 7.9 * n + 6.0;
140 ; A[2] = A[2] * 7.9 * n + 6.0;
141 ; A[3] = A[3] * 7.9 * n + 6.0;
144 ;CHECK: insertelement <2 x double>
145 ;CHECK: insertelement <2 x double>
146 ;CHECK-NOT: insertelement <2 x double>
148 define i32 @foo4(double* nocapture %A, i32 %n) {
150 %0 = load double* %A, align 8
151 %mul = fmul double %0, 7.900000e+00
152 %conv = sitofp i32 %n to double
153 %mul1 = fmul double %conv, %mul
154 %add = fadd double %mul1, 6.000000e+00
155 store double %add, double* %A, align 8
156 %arrayidx3 = getelementptr inbounds double* %A, i64 1
157 %1 = load double* %arrayidx3, align 8
158 %mul4 = fmul double %1, 7.900000e+00
159 %mul6 = fmul double %conv, %mul4
160 %add7 = fadd double %mul6, 6.000000e+00
161 store double %add7, double* %arrayidx3, align 8
162 %arrayidx9 = getelementptr inbounds double* %A, i64 2
163 %2 = load double* %arrayidx9, align 8
164 %mul10 = fmul double %2, 7.900000e+00
165 %mul12 = fmul double %conv, %mul10
166 %add13 = fadd double %mul12, 6.000000e+00
167 store double %add13, double* %arrayidx9, align 8
168 %arrayidx15 = getelementptr inbounds double* %A, i64 3
169 %3 = load double* %arrayidx15, align 8
170 %mul16 = fmul double %3, 7.900000e+00
171 %mul18 = fmul double %conv, %mul16
172 %add19 = fadd double %mul18, 6.000000e+00
173 store double %add19, double* %arrayidx15, align 8
177 ;int partial_mrg(double *A, int n) {
180 ; if (n < 4) return 0;
182 ; A[3] = A[3] * (n+4);
184 ;CHECK-LABEL: @partial_mrg(
185 ;CHECK: insertelement <2 x double>
186 ;CHECK: insertelement <2 x double>
187 ;CHECK: insertelement <2 x double>
188 ;CHECK-NOT: insertelement <2 x double>
190 define i32 @partial_mrg(double* nocapture %A, i32 %n) {
192 %0 = load double* %A, align 8
193 %conv = sitofp i32 %n to double
194 %mul = fmul double %conv, %0
195 store double %mul, double* %A, align 8
196 %arrayidx2 = getelementptr inbounds double* %A, i64 1
197 %1 = load double* %arrayidx2, align 8
198 %mul4 = fmul double %conv, %1
199 store double %mul4, double* %arrayidx2, align 8
200 %cmp = icmp slt i32 %n, 4
201 br i1 %cmp, label %return, label %if.end
203 if.end: ; preds = %entry
204 %arrayidx7 = getelementptr inbounds double* %A, i64 2
205 %2 = load double* %arrayidx7, align 8
206 %mul9 = fmul double %conv, %2
207 store double %mul9, double* %arrayidx7, align 8
208 %arrayidx11 = getelementptr inbounds double* %A, i64 3
209 %3 = load double* %arrayidx11, align 8
210 %add = add nsw i32 %n, 4
211 %conv12 = sitofp i32 %add to double
212 %mul13 = fmul double %conv12, %3
213 store double %mul13, double* %arrayidx11, align 8
216 return: ; preds = %entry, %if.end
220 %class.B.53.55 = type { %class.A.52.54, double }
221 %class.A.52.54 = type { double, double, double }
223 @a = external global double, align 8
225 define void @PR19646(%class.B.53.55* %this) {
227 br i1 undef, label %if.end13, label %if.end13
229 sw.epilog7: ; No predecessors!
230 %.in = getelementptr inbounds %class.B.53.55* %this, i64 0, i32 0, i32 1
231 %0 = load double* %.in, align 8
232 %add = fadd double undef, 0.000000e+00
233 %add6 = fadd double %add, %0
234 %1 = load double* @a, align 8
235 %add8 = fadd double %1, 0.000000e+00
236 %_dy = getelementptr inbounds %class.B.53.55* %this, i64 0, i32 0, i32 2
237 %2 = load double* %_dy, align 8
238 %add10 = fadd double %add8, %2
239 br i1 undef, label %if.then12, label %if.end13
241 if.then12: ; preds = %sw.epilog7
242 %3 = load double* undef, align 8
245 if.end13: ; preds = %if.then12, %sw.epilog7, %entry
246 %x.1 = phi double [ 0.000000e+00, %if.then12 ], [ %add6, %sw.epilog7 ], [ undef, %entry ], [ undef, %entry ]
247 %b.0 = phi double [ %3, %if.then12 ], [ %add10, %sw.epilog7 ], [ undef, %entry], [ undef, %entry ]