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