1; RUN: opt < %s -basicaa -slp-vectorizer -S | FileCheck %s
2target datalayout = "e-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128"
3target triple = "x86_64--linux-gnu"
4
5@a = common global [4 x double] zeroinitializer, align 8
6@b = common global [4 x double] zeroinitializer, align 8
7
8; [4], b[4];
9; double foo() {
10;  double sum =0;
11;  sum = (a[0]+b[0]) + (a[1]+b[1]);
12;  return sum;
13; }
14
15; CHECK-LABEL: @return1
16; CHECK: %0 = load <2 x double>*
17; CHECK: %1 = load <2 x double>*
18; CHECK: %2 = fadd <2 x double>
19
20define double @return1() {
21entry:
22  %a0 = load double* getelementptr inbounds ([4 x double]* @a, i32 0, i32 0), align 8
23  %b0 = load double* getelementptr inbounds ([4 x double]* @b, i32 0, i32 0), align 8
24  %add0 = fadd double %a0, %b0
25  %a1 = load double* getelementptr inbounds ([4 x double]* @a, i32 0, i32 1), align 8
26  %b1 = load double* getelementptr inbounds ([4 x double]* @b, i32 0, i32 1), align 8
27  %add1 = fadd double %a1, %b1
28  %add2 = fadd double %add0, %add1
29  ret double %add2
30}
31
32; double hadd(double *x) {
33;   return ((x[0] + x[2]) + (x[1] + x[3]));
34; }
35
36; CHECK-LABEL: @return2
37; CHECK: %1 = load <2 x double>*
38; CHECK: %3 = load <2 x double>* %2
39; CHECK: %4 = fadd <2 x double> %1, %3
40
41define double @return2(double* nocapture readonly %x) {
42entry:
43  %x0 = load double* %x, align 4
44  %arrayidx1 = getelementptr inbounds double* %x, i32 2
45  %x2 = load double* %arrayidx1, align 4
46  %add3 = fadd double %x0, %x2
47  %arrayidx2 = getelementptr inbounds double* %x, i32 1
48  %x1 = load double* %arrayidx2, align 4
49  %arrayidx3 = getelementptr inbounds double* %x, i32 3
50  %x3 = load double* %arrayidx3, align 4
51  %add4 = fadd double %x1, %x3
52  %add5 = fadd double %add3, %add4
53  ret double %add5
54}
55