test/Transforms/SLPVectorizer/X86/phi.ll

   1 ; RUN: opt < %s -basicaa -slp-vectorizer -dce -S -mtriple=i386-apple-macosx10.8.0 -mcpu=corei7-avx | FileCheck %s
   2
   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.9.0"
   5
   6 ;int foo(double *A, int k) {
   7 ;  double A0;
   8 ;  double A1;
   9 ;  if (k) {
  10 ;    A0 = 3;
  11 ;    A1 = 5;
  12 ;  } else {
  13 ;    A0 = A[10];
  14 ;    A1 = A[11];
  15 ;  }
  16 ;  A[0] = A0;
  17 ;  A[1] = A1;
  18 ;}
  19
  20
  21 ;CHECK: i32 @foo
  22 ;CHECK: load <2 x double>
  23 ;CHECK: phi <2 x double>
  24 ;CHECK: store <2 x double>
  25 ;CHECK: ret i32 undef
  26 define i32 @foo(double* nocapture %A, i32 %k) {
  27 entry:
  28   %tobool = icmp eq i32 %k, 0
  29   br i1 %tobool, label %if.else, label %if.end
  30
  31 if.else:                                          ; preds = %entry
  32   %arrayidx = getelementptr inbounds double* %A, i64 10
  33   %0 = load double* %arrayidx, align 8
  34   %arrayidx1 = getelementptr inbounds double* %A, i64 11
  35   %1 = load double* %arrayidx1, align 8
  36   br label %if.end
  37
  38 if.end:                                           ; preds = %entry, %if.else
  39   %A0.0 = phi double [ %0, %if.else ], [ 3.000000e+00, %entry ]
  40   %A1.0 = phi double [ %1, %if.else ], [ 5.000000e+00, %entry ]
  41   store double %A0.0, double* %A, align 8
  42   %arrayidx3 = getelementptr inbounds double* %A, i64 1
  43   store double %A1.0, double* %arrayidx3, align 8
  44   ret i32 undef
  45 }
  46