1; RUN: opt < %s  -loop-vectorize -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7-avx -force-vector-width=4 -force-vector-interleave=0 -dce -S | FileCheck %s
2
3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
4target triple = "x86_64-apple-macosx10.8.0"
5
6; Don't unroll when we have register pressure.
7;CHECK: reg_pressure
8;CHECK: load <4 x double>
9;CHECK-NOT: load  <4 x double>
10;CHECK: store <4 x double>
11;CHECK-NOT: store <4 x double>
12;CHECK: ret
13define void @reg_pressure(double* nocapture %A, i32 %n) nounwind uwtable ssp {
14  %1 = sext i32 %n to i64
15  br label %2
16
17; <label>:2                                       ; preds = %2, %0
18  %indvars.iv = phi i64 [ %indvars.iv.next, %2 ], [ %1, %0 ]
19  %3 = getelementptr inbounds double, double* %A, i64 %indvars.iv
20  %4 = load double, double* %3, align 8
21  %5 = fadd double %4, 3.000000e+00
22  %6 = fmul double %4, 2.000000e+00
23  %7 = fadd double %5, %6
24  %8 = fadd double %7, 2.000000e+00
25  %9 = fmul double %8, 5.000000e-01
26  %10 = fadd double %6, %9
27  %11 = fsub double %10, %5
28  %12 = fadd double %4, %11
29  %13 = fdiv double %8, %12
30  %14 = fmul double %13, %8
31  %15 = fmul double %6, %14
32  %16 = fmul double %5, %15
33  %17 = fadd double %16, -3.000000e+00
34  %18 = fsub double %4, %5
35  %19 = fadd double %6, %18
36  %20 = fadd double %13, %19
37  %21 = fadd double %20, %17
38  %22 = fadd double %21, 3.000000e+00
39  %23 = fmul double %4, %22
40  store double %23, double* %3, align 8
41  %indvars.iv.next = add i64 %indvars.iv, -1
42  %24 = trunc i64 %indvars.iv to i32
43  %25 = icmp eq i32 %24, 0
44  br i1 %25, label %26, label %2
45
46; <label>:26                                      ; preds = %2
47  ret void
48}
49
50; This is a small loop. Unroll it twice.
51;CHECK: small_loop
52;CHECK: xor
53;CHECK: xor
54;CHECK: ret
55define void @small_loop(i16* nocapture %A, i64 %n) nounwind uwtable ssp {
56  %1 = icmp eq i64 %n, 0
57  br i1 %1, label %._crit_edge, label %.lr.ph
58
59.lr.ph:                                           ; preds = %0, %.lr.ph
60  %i.01 = phi i64 [ %5, %.lr.ph ], [ 0, %0 ]
61  %2 = getelementptr inbounds i16, i16* %A, i64 %i.01
62  %3 = load i16, i16* %2, align 2
63  %4 = xor i16 %3, 3
64  store i16 %4, i16* %2, align 2
65  %5 = add i64 %i.01, 1
66  %exitcond = icmp eq i64 %5, %n
67  br i1 %exitcond, label %._crit_edge, label %.lr.ph
68
69._crit_edge:                                      ; preds = %.lr.ph, %0
70  ret void
71}
72