1; RUN: opt < %s  -loop-vectorize -mtriple=thumbv7-apple-ios3.0.0 -S | FileCheck %s
2
3target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:32:64-v128:32:128-a0:0:32-n32-S32"
4target triple = "thumbv7-apple-ios3.0.0"
5
6;CHECK:foo_F32
7;CHECK: <4 x float>
8;CHECK:ret
9define float @foo_F32(float* nocapture %A, i32 %n) nounwind uwtable readonly ssp {
10  %1 = icmp sgt i32 %n, 0
11  br i1 %1, label %.lr.ph, label %._crit_edge
12
13.lr.ph:                                           ; preds = %0, %.lr.ph
14  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 0, %0 ]
15  %prod.01 = phi float [ %4, %.lr.ph ], [ 0.000000e+00, %0 ]
16  %2 = getelementptr inbounds float, float* %A, i64 %indvars.iv
17  %3 = load float, float* %2, align 8
18  %4 = fmul fast float %prod.01, %3
19  %indvars.iv.next = add i64 %indvars.iv, 1
20  %lftr.wideiv = trunc i64 %indvars.iv.next to i32
21  %exitcond = icmp eq i32 %lftr.wideiv, %n
22  br i1 %exitcond, label %._crit_edge, label %.lr.ph
23
24._crit_edge:                                      ; preds = %.lr.ph, %0
25  %prod.0.lcssa = phi float [ 0.000000e+00, %0 ], [ %4, %.lr.ph ]
26  ret float %prod.0.lcssa
27}
28
29;CHECK:foo_I8
30;CHECK: xor <16 x i8>
31;CHECK:ret
32define signext i8 @foo_I8(i8* nocapture %A, i32 %n) nounwind uwtable readonly ssp {
33  %1 = icmp sgt i32 %n, 0
34  br i1 %1, label %.lr.ph, label %._crit_edge
35
36.lr.ph:                                           ; preds = %0, %.lr.ph
37  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ 0, %0 ]
38  %red.01 = phi i8 [ %4, %.lr.ph ], [ 0, %0 ]
39  %2 = getelementptr inbounds i8, i8* %A, i64 %indvars.iv
40  %3 = load i8, i8* %2, align 1
41  %4 = xor i8 %3, %red.01
42  %indvars.iv.next = add i64 %indvars.iv, 1
43  %lftr.wideiv = trunc i64 %indvars.iv.next to i32
44  %exitcond = icmp eq i32 %lftr.wideiv, %n
45  br i1 %exitcond, label %._crit_edge, label %.lr.ph
46
47._crit_edge:                                      ; preds = %.lr.ph, %0
48  %red.0.lcssa = phi i8 [ 0, %0 ], [ %4, %.lr.ph ]
49  ret i8 %red.0.lcssa
50}
51
52
53