test/Transforms/SLPVectorizer/X86/return.ll

   1 ; RUN: opt < %s -basicaa -slp-vectorizer -S | FileCheck %s
   2 target datalayout = "e-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128"
   3 target 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>, <2 x double>*
  17 ; CHECK: %1 = load <2 x double>, <2 x double>*
  18 ; CHECK: %2 = fadd <2 x double>
  19
  20 define double @return1() {
  21 entry:
  22   %a0 = load double, double* getelementptr inbounds ([4 x double], [4 x double]* @a, i32 0, i32 0), align 8
  23   %b0 = load double, double* getelementptr inbounds ([4 x double], [4 x double]* @b, i32 0, i32 0), align 8
  24   %add0 = fadd double %a0, %b0
  25   %a1 = load double, double* getelementptr inbounds ([4 x double], [4 x double]* @a, i32 0, i32 1), align 8
  26   %b1 = load double, double* getelementptr inbounds ([4 x double], [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>, <2 x double>*
  38 ; CHECK: %3 = load <2 x double>, <2 x double>* %2
  39 ; CHECK: %4 = fadd <2 x double> %1, %3
  40
  41 define double @return2(double* nocapture readonly %x) {
  42 entry:
  43   %x0 = load double, double* %x, align 4
  44   %arrayidx1 = getelementptr inbounds double, double* %x, i32 2
  45   %x2 = load double, double* %arrayidx1, align 4
  46   %add3 = fadd double %x0, %x2
  47   %arrayidx2 = getelementptr inbounds double, double* %x, i32 1
  48   %x1 = load double, double* %arrayidx2, align 4
  49   %arrayidx3 = getelementptr inbounds double, double* %x, i32 3
  50   %x3 = load double, double* %arrayidx3, align 4
  51   %add4 = fadd double %x1, %x3
  52   %add5 = fadd double %add3, %add4
  53   ret double %add5
  54 }