xref: /aosp_15_r20/external/llvm/test/Transforms/Scalarizer/basic.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt %s -scalarizer -scalarize-load-store -dce -S | FileCheck %s
2*9880d681SAndroid Build Coastguard Workertarget 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"
3*9880d681SAndroid Build Coastguard Worker
4*9880d681SAndroid Build Coastguard Workerdeclare <4 x float> @ext(<4 x float>)
5*9880d681SAndroid Build Coastguard Worker@g = global <4 x float> zeroinitializer
6*9880d681SAndroid Build Coastguard Worker
7*9880d681SAndroid Build Coastguard Workerdefine void @f1(<4 x float> %init, <4 x float> *%base, i32 %count) {
8*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @f1(
9*9880d681SAndroid Build Coastguard Worker; CHECK: entry:
10*9880d681SAndroid Build Coastguard Worker; CHECK:   %init.i0 = extractelement <4 x float> %init, i32 0
11*9880d681SAndroid Build Coastguard Worker; CHECK:   %init.i1 = extractelement <4 x float> %init, i32 1
12*9880d681SAndroid Build Coastguard Worker; CHECK:   %init.i2 = extractelement <4 x float> %init, i32 2
13*9880d681SAndroid Build Coastguard Worker; CHECK:   %init.i3 = extractelement <4 x float> %init, i32 3
14*9880d681SAndroid Build Coastguard Worker; CHECK:   br label %loop
15*9880d681SAndroid Build Coastguard Worker; CHECK: loop:
16*9880d681SAndroid Build Coastguard Worker; CHECK:   %i = phi i32 [ %count, %entry ], [ %nexti, %loop ]
17*9880d681SAndroid Build Coastguard Worker; CHECK:   %acc.i0 = phi float [ %init.i0, %entry ], [ %sel.i0, %loop ]
18*9880d681SAndroid Build Coastguard Worker; CHECK:   %acc.i1 = phi float [ %init.i1, %entry ], [ %sel.i1, %loop ]
19*9880d681SAndroid Build Coastguard Worker; CHECK:   %acc.i2 = phi float [ %init.i2, %entry ], [ %sel.i2, %loop ]
20*9880d681SAndroid Build Coastguard Worker; CHECK:   %acc.i3 = phi float [ %init.i3, %entry ], [ %sel.i3, %loop ]
21*9880d681SAndroid Build Coastguard Worker; CHECK:   %nexti = sub i32 %i, 1
22*9880d681SAndroid Build Coastguard Worker; CHECK:   %ptr = getelementptr <4 x float>, <4 x float>* %base, i32 %i
23*9880d681SAndroid Build Coastguard Worker; CHECK:   %ptr.i0 = bitcast <4 x float>* %ptr to float*
24*9880d681SAndroid Build Coastguard Worker; CHECK:   %val.i0 = load float, float* %ptr.i0, align 16
25*9880d681SAndroid Build Coastguard Worker; CHECK:   %ptr.i1 = getelementptr float, float* %ptr.i0, i32 1
26*9880d681SAndroid Build Coastguard Worker; CHECK:   %val.i1 = load float, float* %ptr.i1, align 4
27*9880d681SAndroid Build Coastguard Worker; CHECK:   %ptr.i2 = getelementptr float, float* %ptr.i0, i32 2
28*9880d681SAndroid Build Coastguard Worker; CHECK:   %val.i2 = load float, float* %ptr.i2, align 8
29*9880d681SAndroid Build Coastguard Worker; CHECK:   %ptr.i3 = getelementptr float, float* %ptr.i0, i32 3
30*9880d681SAndroid Build Coastguard Worker; CHECK:   %val.i3 = load float, float* %ptr.i3, align 4
31*9880d681SAndroid Build Coastguard Worker; CHECK:   %add.i0 = fadd float %val.i0, %val.i2
32*9880d681SAndroid Build Coastguard Worker; CHECK:   %add.i1 = fadd float %val.i1, %val.i3
33*9880d681SAndroid Build Coastguard Worker; CHECK:   %add.i2 = fadd float %acc.i0, %acc.i2
34*9880d681SAndroid Build Coastguard Worker; CHECK:   %add.i3 = fadd float %acc.i1, %acc.i3
35*9880d681SAndroid Build Coastguard Worker; CHECK:   %add.upto0 = insertelement <4 x float> undef, float %add.i0, i32 0
36*9880d681SAndroid Build Coastguard Worker; CHECK:   %add.upto1 = insertelement <4 x float> %add.upto0, float %add.i1, i32 1
37*9880d681SAndroid Build Coastguard Worker; CHECK:   %add.upto2 = insertelement <4 x float> %add.upto1, float %add.i2, i32 2
38*9880d681SAndroid Build Coastguard Worker; CHECK:   %add = insertelement <4 x float> %add.upto2, float %add.i3, i32 3
39*9880d681SAndroid Build Coastguard Worker; CHECK:   %call = call <4 x float> @ext(<4 x float> %add)
40*9880d681SAndroid Build Coastguard Worker; CHECK:   %call.i0 = extractelement <4 x float> %call, i32 0
41*9880d681SAndroid Build Coastguard Worker; CHECK:   %cmp.i0 = fcmp ogt float %call.i0, 1.0
42*9880d681SAndroid Build Coastguard Worker; CHECK:   %call.i1 = extractelement <4 x float> %call, i32 1
43*9880d681SAndroid Build Coastguard Worker; CHECK:   %cmp.i1 = fcmp ogt float %call.i1, 2.0
44*9880d681SAndroid Build Coastguard Worker; CHECK:   %call.i2 = extractelement <4 x float> %call, i32 2
45*9880d681SAndroid Build Coastguard Worker; CHECK:   %cmp.i2 = fcmp ogt float %call.i2, 3.0
46*9880d681SAndroid Build Coastguard Worker; CHECK:   %call.i3 = extractelement <4 x float> %call, i32 3
47*9880d681SAndroid Build Coastguard Worker; CHECK:   %cmp.i3 = fcmp ogt float %call.i3, 4.0
48*9880d681SAndroid Build Coastguard Worker; CHECK:   %sel.i0 = select i1 %cmp.i0, float %call.i0, float 5.0
49*9880d681SAndroid Build Coastguard Worker; CHECK:   %sel.i1 = select i1 %cmp.i1, float %call.i1, float 6.0
50*9880d681SAndroid Build Coastguard Worker; CHECK:   %sel.i2 = select i1 %cmp.i2, float %call.i2, float 7.0
51*9880d681SAndroid Build Coastguard Worker; CHECK:   %sel.i3 = select i1 %cmp.i3, float %call.i3, float 8.0
52*9880d681SAndroid Build Coastguard Worker; CHECK:   store float %sel.i0, float* %ptr.i0
53*9880d681SAndroid Build Coastguard Worker; CHECK:   store float %sel.i1, float* %ptr.i1
54*9880d681SAndroid Build Coastguard Worker; CHECK:   store float %sel.i2, float* %ptr.i2
55*9880d681SAndroid Build Coastguard Worker; CHECK:   store float %sel.i3, float* %ptr.i3
56*9880d681SAndroid Build Coastguard Worker; CHECK:   %test = icmp eq i32 %nexti, 0
57*9880d681SAndroid Build Coastguard Worker; CHECK:   br i1 %test, label %loop, label %exit
58*9880d681SAndroid Build Coastguard Worker; CHECK: exit:
59*9880d681SAndroid Build Coastguard Worker; CHECK:   ret void
60*9880d681SAndroid Build Coastguard Workerentry:
61*9880d681SAndroid Build Coastguard Worker  br label %loop
62*9880d681SAndroid Build Coastguard Worker
63*9880d681SAndroid Build Coastguard Workerloop:
64*9880d681SAndroid Build Coastguard Worker  %i = phi i32 [ %count, %entry ], [ %nexti, %loop ]
65*9880d681SAndroid Build Coastguard Worker  %acc = phi <4 x float> [ %init, %entry ], [ %sel, %loop ]
66*9880d681SAndroid Build Coastguard Worker  %nexti = sub i32 %i, 1
67*9880d681SAndroid Build Coastguard Worker
68*9880d681SAndroid Build Coastguard Worker  %ptr = getelementptr <4 x float>, <4 x float> *%base, i32 %i
69*9880d681SAndroid Build Coastguard Worker  %val = load <4 x float> , <4 x float> *%ptr
70*9880d681SAndroid Build Coastguard Worker  %dval = bitcast <4 x float> %val to <2 x double>
71*9880d681SAndroid Build Coastguard Worker  %dacc = bitcast <4 x float> %acc to <2 x double>
72*9880d681SAndroid Build Coastguard Worker  %shuffle1 = shufflevector <2 x double> %dval, <2 x double> %dacc,
73*9880d681SAndroid Build Coastguard Worker                            <2 x i32> <i32 0, i32 2>
74*9880d681SAndroid Build Coastguard Worker  %shuffle2 = shufflevector <2 x double> %dval, <2 x double> %dacc,
75*9880d681SAndroid Build Coastguard Worker                            <2 x i32> <i32 1, i32 3>
76*9880d681SAndroid Build Coastguard Worker  %f1 = bitcast <2 x double> %shuffle1 to <4 x float>
77*9880d681SAndroid Build Coastguard Worker  %f2 = bitcast <2 x double> %shuffle2 to <4 x float>
78*9880d681SAndroid Build Coastguard Worker  %add = fadd <4 x float> %f1, %f2
79*9880d681SAndroid Build Coastguard Worker  %call = call <4 x float> @ext(<4 x float> %add)
80*9880d681SAndroid Build Coastguard Worker  %cmp = fcmp ogt <4 x float> %call,
81*9880d681SAndroid Build Coastguard Worker                  <float 1.0, float 2.0, float 3.0, float 4.0>
82*9880d681SAndroid Build Coastguard Worker  %sel = select <4 x i1> %cmp, <4 x float> %call,
83*9880d681SAndroid Build Coastguard Worker                <4 x float> <float 5.0, float 6.0, float 7.0, float 8.0>
84*9880d681SAndroid Build Coastguard Worker  store <4 x float> %sel, <4 x float> *%ptr
85*9880d681SAndroid Build Coastguard Worker
86*9880d681SAndroid Build Coastguard Worker  %test = icmp eq i32 %nexti, 0
87*9880d681SAndroid Build Coastguard Worker  br i1 %test, label %loop, label %exit
88*9880d681SAndroid Build Coastguard Worker
89*9880d681SAndroid Build Coastguard Workerexit:
90*9880d681SAndroid Build Coastguard Worker  ret void
91*9880d681SAndroid Build Coastguard Worker}
92*9880d681SAndroid Build Coastguard Worker
93*9880d681SAndroid Build Coastguard Workerdefine void @f2(<4 x i32> %init, <4 x i8> *%base, i32 %count) {
94*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: define void @f2(<4 x i32> %init, <4 x i8>* %base, i32 %count) {
95*9880d681SAndroid Build Coastguard Worker; CHECK: entry:
96*9880d681SAndroid Build Coastguard Worker; CHECK:   %init.i0 = extractelement <4 x i32> %init, i32 0
97*9880d681SAndroid Build Coastguard Worker; CHECK:   %init.i1 = extractelement <4 x i32> %init, i32 1
98*9880d681SAndroid Build Coastguard Worker; CHECK:   %init.i2 = extractelement <4 x i32> %init, i32 2
99*9880d681SAndroid Build Coastguard Worker; CHECK:   %init.i3 = extractelement <4 x i32> %init, i32 3
100*9880d681SAndroid Build Coastguard Worker; CHECK:   br label %loop
101*9880d681SAndroid Build Coastguard Worker; CHECK: loop:
102*9880d681SAndroid Build Coastguard Worker; CHECK:   %i = phi i32 [ %count, %entry ], [ %nexti, %loop ]
103*9880d681SAndroid Build Coastguard Worker; CHECK:   %acc.i0 = phi i32 [ %init.i0, %entry ], [ %sel.i0, %loop ]
104*9880d681SAndroid Build Coastguard Worker; CHECK:   %acc.i1 = phi i32 [ %init.i1, %entry ], [ %sel.i1, %loop ]
105*9880d681SAndroid Build Coastguard Worker; CHECK:   %acc.i2 = phi i32 [ %init.i2, %entry ], [ %sel.i2, %loop ]
106*9880d681SAndroid Build Coastguard Worker; CHECK:   %acc.i3 = phi i32 [ %init.i3, %entry ], [ %sel.i3, %loop ]
107*9880d681SAndroid Build Coastguard Worker; CHECK:   %nexti = sub i32 %i, 1
108*9880d681SAndroid Build Coastguard Worker; CHECK:   %ptr = getelementptr <4 x i8>, <4 x i8>* %base, i32 %i
109*9880d681SAndroid Build Coastguard Worker; CHECK:   %ptr.i0 = bitcast <4 x i8>* %ptr to i8*
110*9880d681SAndroid Build Coastguard Worker; CHECK:   %val.i0 = load i8, i8* %ptr.i0, align 4
111*9880d681SAndroid Build Coastguard Worker; CHECK:   %ptr.i1 = getelementptr i8, i8* %ptr.i0, i32 1
112*9880d681SAndroid Build Coastguard Worker; CHECK:   %val.i1 = load i8, i8* %ptr.i1, align 1
113*9880d681SAndroid Build Coastguard Worker; CHECK:   %ptr.i2 = getelementptr i8, i8* %ptr.i0, i32 2
114*9880d681SAndroid Build Coastguard Worker; CHECK:   %val.i2 = load i8, i8* %ptr.i2, align 2
115*9880d681SAndroid Build Coastguard Worker; CHECK:   %ptr.i3 = getelementptr i8, i8* %ptr.i0, i32 3
116*9880d681SAndroid Build Coastguard Worker; CHECK:   %val.i3 = load i8, i8* %ptr.i3, align 1
117*9880d681SAndroid Build Coastguard Worker; CHECK:   %ext.i0 = sext i8 %val.i0 to i32
118*9880d681SAndroid Build Coastguard Worker; CHECK:   %ext.i1 = sext i8 %val.i1 to i32
119*9880d681SAndroid Build Coastguard Worker; CHECK:   %ext.i2 = sext i8 %val.i2 to i32
120*9880d681SAndroid Build Coastguard Worker; CHECK:   %ext.i3 = sext i8 %val.i3 to i32
121*9880d681SAndroid Build Coastguard Worker; CHECK:   %add.i0 = add i32 %ext.i0, %acc.i0
122*9880d681SAndroid Build Coastguard Worker; CHECK:   %add.i1 = add i32 %ext.i1, %acc.i1
123*9880d681SAndroid Build Coastguard Worker; CHECK:   %add.i2 = add i32 %ext.i2, %acc.i2
124*9880d681SAndroid Build Coastguard Worker; CHECK:   %add.i3 = add i32 %ext.i3, %acc.i3
125*9880d681SAndroid Build Coastguard Worker; CHECK:   %cmp.i0 = icmp slt i32 %add.i0, -10
126*9880d681SAndroid Build Coastguard Worker; CHECK:   %cmp.i1 = icmp slt i32 %add.i1, -11
127*9880d681SAndroid Build Coastguard Worker; CHECK:   %cmp.i2 = icmp slt i32 %add.i2, -12
128*9880d681SAndroid Build Coastguard Worker; CHECK:   %cmp.i3 = icmp slt i32 %add.i3, -13
129*9880d681SAndroid Build Coastguard Worker; CHECK:   %sel.i0 = select i1 %cmp.i0, i32 %add.i0, i32 %i
130*9880d681SAndroid Build Coastguard Worker; CHECK:   %sel.i1 = select i1 %cmp.i1, i32 %add.i1, i32 %i
131*9880d681SAndroid Build Coastguard Worker; CHECK:   %sel.i2 = select i1 %cmp.i2, i32 %add.i2, i32 %i
132*9880d681SAndroid Build Coastguard Worker; CHECK:   %sel.i3 = select i1 %cmp.i3, i32 %add.i3, i32 %i
133*9880d681SAndroid Build Coastguard Worker; CHECK:   %trunc.i0 = trunc i32 %sel.i0 to i8
134*9880d681SAndroid Build Coastguard Worker; CHECK:   %trunc.i1 = trunc i32 %sel.i1 to i8
135*9880d681SAndroid Build Coastguard Worker; CHECK:   %trunc.i2 = trunc i32 %sel.i2 to i8
136*9880d681SAndroid Build Coastguard Worker; CHECK:   %trunc.i3 = trunc i32 %sel.i3 to i8
137*9880d681SAndroid Build Coastguard Worker; CHECK:   store i8 %trunc.i0, i8* %ptr.i0, align 4
138*9880d681SAndroid Build Coastguard Worker; CHECK:   store i8 %trunc.i1, i8* %ptr.i1, align 1
139*9880d681SAndroid Build Coastguard Worker; CHECK:   store i8 %trunc.i2, i8* %ptr.i2, align 2
140*9880d681SAndroid Build Coastguard Worker; CHECK:   store i8 %trunc.i3, i8* %ptr.i3, align 1
141*9880d681SAndroid Build Coastguard Worker; CHECK:   %test = icmp eq i32 %nexti, 0
142*9880d681SAndroid Build Coastguard Worker; CHECK:   br i1 %test, label %loop, label %exit
143*9880d681SAndroid Build Coastguard Worker; CHECK: exit:
144*9880d681SAndroid Build Coastguard Worker; CHECK:   ret void
145*9880d681SAndroid Build Coastguard Workerentry:
146*9880d681SAndroid Build Coastguard Worker  br label %loop
147*9880d681SAndroid Build Coastguard Worker
148*9880d681SAndroid Build Coastguard Workerloop:
149*9880d681SAndroid Build Coastguard Worker  %i = phi i32 [ %count, %entry ], [ %nexti, %loop ]
150*9880d681SAndroid Build Coastguard Worker  %acc = phi <4 x i32> [ %init, %entry ], [ %sel, %loop ]
151*9880d681SAndroid Build Coastguard Worker  %nexti = sub i32 %i, 1
152*9880d681SAndroid Build Coastguard Worker
153*9880d681SAndroid Build Coastguard Worker  %ptr = getelementptr <4 x i8>, <4 x i8> *%base, i32 %i
154*9880d681SAndroid Build Coastguard Worker  %val = load <4 x i8> , <4 x i8> *%ptr
155*9880d681SAndroid Build Coastguard Worker  %ext = sext <4 x i8> %val to <4 x i32>
156*9880d681SAndroid Build Coastguard Worker  %add = add <4 x i32> %ext, %acc
157*9880d681SAndroid Build Coastguard Worker  %cmp = icmp slt <4 x i32> %add, <i32 -10, i32 -11, i32 -12, i32 -13>
158*9880d681SAndroid Build Coastguard Worker  %single = insertelement <4 x i32> undef, i32 %i, i32 0
159*9880d681SAndroid Build Coastguard Worker  %limit = shufflevector <4 x i32> %single, <4 x i32> undef,
160*9880d681SAndroid Build Coastguard Worker                         <4 x i32> zeroinitializer
161*9880d681SAndroid Build Coastguard Worker  %sel = select <4 x i1> %cmp, <4 x i32> %add, <4 x i32> %limit
162*9880d681SAndroid Build Coastguard Worker  %trunc = trunc <4 x i32> %sel to <4 x i8>
163*9880d681SAndroid Build Coastguard Worker  store <4 x i8> %trunc, <4 x i8> *%ptr
164*9880d681SAndroid Build Coastguard Worker
165*9880d681SAndroid Build Coastguard Worker  %test = icmp eq i32 %nexti, 0
166*9880d681SAndroid Build Coastguard Worker  br i1 %test, label %loop, label %exit
167*9880d681SAndroid Build Coastguard Worker
168*9880d681SAndroid Build Coastguard Workerexit:
169*9880d681SAndroid Build Coastguard Worker  ret void
170*9880d681SAndroid Build Coastguard Worker}
171*9880d681SAndroid Build Coastguard Worker
172*9880d681SAndroid Build Coastguard Worker; Check that !tbaa information is preserved.
173*9880d681SAndroid Build Coastguard Workerdefine void @f3(<4 x i32> *%src, <4 x i32> *%dst) {
174*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @f3(
175*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i0 = load i32, i32* %src.i0, align 16, !tbaa ![[TAG:[0-9]*]]
176*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i1 = load i32, i32* %src.i1, align 4, !tbaa ![[TAG]]
177*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i2 = load i32, i32* %src.i2, align 8, !tbaa ![[TAG]]
178*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i3 = load i32, i32* %src.i3, align 4, !tbaa ![[TAG]]
179*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 %add.i0, i32* %dst.i0, align 16, !tbaa ![[TAG:[0-9]*]]
180*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 %add.i1, i32* %dst.i1, align 4, !tbaa ![[TAG]]
181*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 %add.i2, i32* %dst.i2, align 8, !tbaa ![[TAG]]
182*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 %add.i3, i32* %dst.i3, align 4, !tbaa ![[TAG]]
183*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
184*9880d681SAndroid Build Coastguard Worker  %val = load <4 x i32> , <4 x i32> *%src, !tbaa !1
185*9880d681SAndroid Build Coastguard Worker  %add = add <4 x i32> %val, %val
186*9880d681SAndroid Build Coastguard Worker  store <4 x i32> %add, <4 x i32> *%dst, !tbaa !2
187*9880d681SAndroid Build Coastguard Worker  ret void
188*9880d681SAndroid Build Coastguard Worker}
189*9880d681SAndroid Build Coastguard Worker
190*9880d681SAndroid Build Coastguard Worker; Check that !tbaa.struct information is preserved.
191*9880d681SAndroid Build Coastguard Workerdefine void @f4(<4 x i32> *%src, <4 x i32> *%dst) {
192*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @f4(
193*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i0 = load i32, i32* %src.i0, align 16, !tbaa.struct ![[TAG:[0-9]*]]
194*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i1 = load i32, i32* %src.i1, align 4, !tbaa.struct ![[TAG]]
195*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i2 = load i32, i32* %src.i2, align 8, !tbaa.struct ![[TAG]]
196*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i3 = load i32, i32* %src.i3, align 4, !tbaa.struct ![[TAG]]
197*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 %add.i0, i32* %dst.i0, align 16, !tbaa.struct ![[TAG]]
198*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 %add.i1, i32* %dst.i1, align 4, !tbaa.struct ![[TAG]]
199*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 %add.i2, i32* %dst.i2, align 8, !tbaa.struct ![[TAG]]
200*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 %add.i3, i32* %dst.i3, align 4, !tbaa.struct ![[TAG]]
201*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
202*9880d681SAndroid Build Coastguard Worker  %val = load <4 x i32> , <4 x i32> *%src, !tbaa.struct !5
203*9880d681SAndroid Build Coastguard Worker  %add = add <4 x i32> %val, %val
204*9880d681SAndroid Build Coastguard Worker  store <4 x i32> %add, <4 x i32> *%dst, !tbaa.struct !5
205*9880d681SAndroid Build Coastguard Worker  ret void
206*9880d681SAndroid Build Coastguard Worker}
207*9880d681SAndroid Build Coastguard Worker
208*9880d681SAndroid Build Coastguard Worker; Check that llvm.mem.parallel_loop_access information is preserved.
209*9880d681SAndroid Build Coastguard Workerdefine void @f5(i32 %count, <4 x i32> *%src, <4 x i32> *%dst) {
210*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @f5(
211*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i0 = load i32, i32* %this_src.i0, align 16, !llvm.mem.parallel_loop_access ![[TAG:[0-9]*]]
212*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i1 = load i32, i32* %this_src.i1, align 4, !llvm.mem.parallel_loop_access ![[TAG]]
213*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i2 = load i32, i32* %this_src.i2, align 8, !llvm.mem.parallel_loop_access ![[TAG]]
214*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i3 = load i32, i32* %this_src.i3, align 4, !llvm.mem.parallel_loop_access ![[TAG]]
215*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 %add.i0, i32* %this_dst.i0, align 16, !llvm.mem.parallel_loop_access ![[TAG]]
216*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 %add.i1, i32* %this_dst.i1, align 4, !llvm.mem.parallel_loop_access ![[TAG]]
217*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 %add.i2, i32* %this_dst.i2, align 8, !llvm.mem.parallel_loop_access ![[TAG]]
218*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 %add.i3, i32* %this_dst.i3, align 4, !llvm.mem.parallel_loop_access ![[TAG]]
219*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
220*9880d681SAndroid Build Coastguard Workerentry:
221*9880d681SAndroid Build Coastguard Worker  br label %loop
222*9880d681SAndroid Build Coastguard Worker
223*9880d681SAndroid Build Coastguard Workerloop:
224*9880d681SAndroid Build Coastguard Worker  %index = phi i32 [ 0, %entry ], [ %next_index, %loop ]
225*9880d681SAndroid Build Coastguard Worker  %this_src = getelementptr <4 x i32>, <4 x i32> *%src, i32 %index
226*9880d681SAndroid Build Coastguard Worker  %this_dst = getelementptr <4 x i32>, <4 x i32> *%dst, i32 %index
227*9880d681SAndroid Build Coastguard Worker  %val = load <4 x i32> , <4 x i32> *%this_src, !llvm.mem.parallel_loop_access !3
228*9880d681SAndroid Build Coastguard Worker  %add = add <4 x i32> %val, %val
229*9880d681SAndroid Build Coastguard Worker  store <4 x i32> %add, <4 x i32> *%this_dst, !llvm.mem.parallel_loop_access !3
230*9880d681SAndroid Build Coastguard Worker  %next_index = add i32 %index, -1
231*9880d681SAndroid Build Coastguard Worker  %continue = icmp ne i32 %next_index, %count
232*9880d681SAndroid Build Coastguard Worker  br i1 %continue, label %loop, label %end, !llvm.loop !3
233*9880d681SAndroid Build Coastguard Worker
234*9880d681SAndroid Build Coastguard Workerend:
235*9880d681SAndroid Build Coastguard Worker  ret void
236*9880d681SAndroid Build Coastguard Worker}
237*9880d681SAndroid Build Coastguard Worker
238*9880d681SAndroid Build Coastguard Worker; Check that fpmath information is preserved.
239*9880d681SAndroid Build Coastguard Workerdefine <4 x float> @f6(<4 x float> %x) {
240*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @f6(
241*9880d681SAndroid Build Coastguard Worker; CHECK: %x.i0 = extractelement <4 x float> %x, i32 0
242*9880d681SAndroid Build Coastguard Worker; CHECK: %res.i0 = fadd float %x.i0, 1.0{{[e+0]*}}, !fpmath ![[TAG:[0-9]*]]
243*9880d681SAndroid Build Coastguard Worker; CHECK: %x.i1 = extractelement <4 x float> %x, i32 1
244*9880d681SAndroid Build Coastguard Worker; CHECK: %res.i1 = fadd float %x.i1, 2.0{{[e+0]*}}, !fpmath ![[TAG]]
245*9880d681SAndroid Build Coastguard Worker; CHECK: %x.i2 = extractelement <4 x float> %x, i32 2
246*9880d681SAndroid Build Coastguard Worker; CHECK: %res.i2 = fadd float %x.i2, 3.0{{[e+0]*}}, !fpmath ![[TAG]]
247*9880d681SAndroid Build Coastguard Worker; CHECK: %x.i3 = extractelement <4 x float> %x, i32 3
248*9880d681SAndroid Build Coastguard Worker; CHECK: %res.i3 = fadd float %x.i3, 4.0{{[e+0]*}}, !fpmath ![[TAG]]
249*9880d681SAndroid Build Coastguard Worker; CHECK: %res.upto0 = insertelement <4 x float> undef, float %res.i0, i32 0
250*9880d681SAndroid Build Coastguard Worker; CHECK: %res.upto1 = insertelement <4 x float> %res.upto0, float %res.i1, i32 1
251*9880d681SAndroid Build Coastguard Worker; CHECK: %res.upto2 = insertelement <4 x float> %res.upto1, float %res.i2, i32 2
252*9880d681SAndroid Build Coastguard Worker; CHECK: %res = insertelement <4 x float> %res.upto2, float %res.i3, i32 3
253*9880d681SAndroid Build Coastguard Worker; CHECK: ret <4 x float> %res
254*9880d681SAndroid Build Coastguard Worker  %res = fadd <4 x float> %x, <float 1.0, float 2.0, float 3.0, float 4.0>,
255*9880d681SAndroid Build Coastguard Worker    !fpmath !4
256*9880d681SAndroid Build Coastguard Worker  ret <4 x float> %res
257*9880d681SAndroid Build Coastguard Worker}
258*9880d681SAndroid Build Coastguard Worker
259*9880d681SAndroid Build Coastguard Worker; Check that random metadata isn't kept.
260*9880d681SAndroid Build Coastguard Workerdefine void @f7(<4 x i32> *%src, <4 x i32> *%dst) {
261*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @f7(
262*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: !foo
263*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
264*9880d681SAndroid Build Coastguard Worker  %val = load <4 x i32> , <4 x i32> *%src, !foo !5
265*9880d681SAndroid Build Coastguard Worker  %add = add <4 x i32> %val, %val
266*9880d681SAndroid Build Coastguard Worker  store <4 x i32> %add, <4 x i32> *%dst, !foo !5
267*9880d681SAndroid Build Coastguard Worker  ret void
268*9880d681SAndroid Build Coastguard Worker}
269*9880d681SAndroid Build Coastguard Worker
270*9880d681SAndroid Build Coastguard Worker; Test GEP with vectors.
271*9880d681SAndroid Build Coastguard Workerdefine void @f8(<4 x float *> *%dest, <4 x float *> %ptr0, <4 x i32> %i0,
272*9880d681SAndroid Build Coastguard Worker                float *%other) {
273*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @f8(
274*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i0 = bitcast <4 x float*>* %dest to float**
275*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i1 = getelementptr float*, float** %dest.i0, i32 1
276*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i2 = getelementptr float*, float** %dest.i0, i32 2
277*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i3 = getelementptr float*, float** %dest.i0, i32 3
278*9880d681SAndroid Build Coastguard Worker; CHECK: %i0.i1 = extractelement <4 x i32> %i0, i32 1
279*9880d681SAndroid Build Coastguard Worker; CHECK: %i0.i3 = extractelement <4 x i32> %i0, i32 3
280*9880d681SAndroid Build Coastguard Worker; CHECK: %ptr0.i0 = extractelement <4 x float*> %ptr0, i32 0
281*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i0 = getelementptr float, float* %ptr0.i0, i32 100
282*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i1 = getelementptr float, float* %other, i32 %i0.i1
283*9880d681SAndroid Build Coastguard Worker; CHECK: %ptr0.i2 = extractelement <4 x float*> %ptr0, i32 2
284*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i2 = getelementptr float, float* %ptr0.i2, i32 100
285*9880d681SAndroid Build Coastguard Worker; CHECK: %ptr0.i3 = extractelement <4 x float*> %ptr0, i32 3
286*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i3 = getelementptr float, float* %ptr0.i3, i32 %i0.i3
287*9880d681SAndroid Build Coastguard Worker; CHECK: store float* %val.i0, float** %dest.i0, align 32
288*9880d681SAndroid Build Coastguard Worker; CHECK: store float* %val.i1, float** %dest.i1, align 8
289*9880d681SAndroid Build Coastguard Worker; CHECK: store float* %val.i2, float** %dest.i2, align 16
290*9880d681SAndroid Build Coastguard Worker; CHECK: store float* %val.i3, float** %dest.i3, align 8
291*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
292*9880d681SAndroid Build Coastguard Worker  %i1 = insertelement <4 x i32> %i0, i32 100, i32 0
293*9880d681SAndroid Build Coastguard Worker  %i2 = insertelement <4 x i32> %i1, i32 100, i32 2
294*9880d681SAndroid Build Coastguard Worker  %ptr1 = insertelement <4 x float *> %ptr0, float *%other, i32 1
295*9880d681SAndroid Build Coastguard Worker  %val = getelementptr float, <4 x float *> %ptr1, <4 x i32> %i2
296*9880d681SAndroid Build Coastguard Worker  store <4 x float *> %val, <4 x float *> *%dest
297*9880d681SAndroid Build Coastguard Worker  ret void
298*9880d681SAndroid Build Coastguard Worker}
299*9880d681SAndroid Build Coastguard Worker
300*9880d681SAndroid Build Coastguard Worker; Test the handling of unaligned loads.
301*9880d681SAndroid Build Coastguard Workerdefine void @f9(<4 x float> *%dest, <4 x float> *%src) {
302*9880d681SAndroid Build Coastguard Worker; CHECK: @f9(
303*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i0 = bitcast <4 x float>* %dest to float*
304*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i1 = getelementptr float, float* %dest.i0, i32 1
305*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i2 = getelementptr float, float* %dest.i0, i32 2
306*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i3 = getelementptr float, float* %dest.i0, i32 3
307*9880d681SAndroid Build Coastguard Worker; CHECK: %src.i0 = bitcast <4 x float>* %src to float*
308*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i0 = load float, float* %src.i0, align 4
309*9880d681SAndroid Build Coastguard Worker; CHECK: %src.i1 = getelementptr float, float* %src.i0, i32 1
310*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i1 = load float, float* %src.i1, align 4
311*9880d681SAndroid Build Coastguard Worker; CHECK: %src.i2 = getelementptr float, float* %src.i0, i32 2
312*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i2 = load float, float* %src.i2, align 4
313*9880d681SAndroid Build Coastguard Worker; CHECK: %src.i3 = getelementptr float, float* %src.i0, i32 3
314*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i3 = load float, float* %src.i3, align 4
315*9880d681SAndroid Build Coastguard Worker; CHECK: store float %val.i0, float* %dest.i0, align 8
316*9880d681SAndroid Build Coastguard Worker; CHECK: store float %val.i1, float* %dest.i1, align 4
317*9880d681SAndroid Build Coastguard Worker; CHECK: store float %val.i2, float* %dest.i2, align 8
318*9880d681SAndroid Build Coastguard Worker; CHECK: store float %val.i3, float* %dest.i3, align 4
319*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
320*9880d681SAndroid Build Coastguard Worker  %val = load <4 x float> , <4 x float> *%src, align 4
321*9880d681SAndroid Build Coastguard Worker  store <4 x float> %val, <4 x float> *%dest, align 8
322*9880d681SAndroid Build Coastguard Worker  ret void
323*9880d681SAndroid Build Coastguard Worker}
324*9880d681SAndroid Build Coastguard Worker
325*9880d681SAndroid Build Coastguard Worker; ...and again with subelement alignment.
326*9880d681SAndroid Build Coastguard Workerdefine void @f10(<4 x float> *%dest, <4 x float> *%src) {
327*9880d681SAndroid Build Coastguard Worker; CHECK: @f10(
328*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i0 = bitcast <4 x float>* %dest to float*
329*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i1 = getelementptr float, float* %dest.i0, i32 1
330*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i2 = getelementptr float, float* %dest.i0, i32 2
331*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i3 = getelementptr float, float* %dest.i0, i32 3
332*9880d681SAndroid Build Coastguard Worker; CHECK: %src.i0 = bitcast <4 x float>* %src to float*
333*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i0 = load float, float* %src.i0, align 1
334*9880d681SAndroid Build Coastguard Worker; CHECK: %src.i1 = getelementptr float, float* %src.i0, i32 1
335*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i1 = load float, float* %src.i1, align 1
336*9880d681SAndroid Build Coastguard Worker; CHECK: %src.i2 = getelementptr float, float* %src.i0, i32 2
337*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i2 = load float, float* %src.i2, align 1
338*9880d681SAndroid Build Coastguard Worker; CHECK: %src.i3 = getelementptr float, float* %src.i0, i32 3
339*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i3 = load float, float* %src.i3, align 1
340*9880d681SAndroid Build Coastguard Worker; CHECK: store float %val.i0, float* %dest.i0, align 2
341*9880d681SAndroid Build Coastguard Worker; CHECK: store float %val.i1, float* %dest.i1, align 2
342*9880d681SAndroid Build Coastguard Worker; CHECK: store float %val.i2, float* %dest.i2, align 2
343*9880d681SAndroid Build Coastguard Worker; CHECK: store float %val.i3, float* %dest.i3, align 2
344*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
345*9880d681SAndroid Build Coastguard Worker  %val = load <4 x float> , <4 x float> *%src, align 1
346*9880d681SAndroid Build Coastguard Worker  store <4 x float> %val, <4 x float> *%dest, align 2
347*9880d681SAndroid Build Coastguard Worker  ret void
348*9880d681SAndroid Build Coastguard Worker}
349*9880d681SAndroid Build Coastguard Worker
350*9880d681SAndroid Build Coastguard Worker; Test that sub-byte loads aren't scalarized.
351*9880d681SAndroid Build Coastguard Workerdefine void @f11(<32 x i1> *%dest, <32 x i1> *%src0) {
352*9880d681SAndroid Build Coastguard Worker; CHECK: @f11(
353*9880d681SAndroid Build Coastguard Worker; CHECK: %val0 = load <32 x i1>, <32 x i1>* %src0
354*9880d681SAndroid Build Coastguard Worker; CHECK: %val1 = load <32 x i1>, <32 x i1>* %src1
355*9880d681SAndroid Build Coastguard Worker; CHECK: store <32 x i1> %and, <32 x i1>* %dest
356*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
357*9880d681SAndroid Build Coastguard Worker  %src1 = getelementptr <32 x i1>, <32 x i1> *%src0, i32 1
358*9880d681SAndroid Build Coastguard Worker  %val0 = load <32 x i1> , <32 x i1> *%src0
359*9880d681SAndroid Build Coastguard Worker  %val1 = load <32 x i1> , <32 x i1> *%src1
360*9880d681SAndroid Build Coastguard Worker  %and = and <32 x i1> %val0, %val1
361*9880d681SAndroid Build Coastguard Worker  store <32 x i1> %and, <32 x i1> *%dest
362*9880d681SAndroid Build Coastguard Worker  ret void
363*9880d681SAndroid Build Coastguard Worker}
364*9880d681SAndroid Build Coastguard Worker
365*9880d681SAndroid Build Coastguard Worker; Test that variable inserts aren't scalarized.
366*9880d681SAndroid Build Coastguard Workerdefine void @f12(<4 x i32> *%dest, <4 x i32> *%src, i32 %index) {
367*9880d681SAndroid Build Coastguard Worker; CHECK: @f12(
368*9880d681SAndroid Build Coastguard Worker; CHECK: %val1 = insertelement <4 x i32> %val0, i32 1, i32 %index
369*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: %val1.i0 = extractelement <4 x i32> %val1, i32 0
370*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: %val1.i1 = extractelement <4 x i32> %val1, i32 1
371*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: %val1.i2 = extractelement <4 x i32> %val1, i32 2
372*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: %val1.i3 = extractelement <4 x i32> %val1, i32 3
373*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: %val2.i0 = shl i32 1, %val1.i0
374*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: %val2.i1 = shl i32 2, %val1.i1
375*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: %val2.i2 = shl i32 3, %val1.i2
376*9880d681SAndroid Build Coastguard Worker; CHECK-DAG: %val2.i3 = shl i32 4, %val1.i3
377*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
378*9880d681SAndroid Build Coastguard Worker  %val0 = load <4 x i32> , <4 x i32> *%src
379*9880d681SAndroid Build Coastguard Worker  %val1 = insertelement <4 x i32> %val0, i32 1, i32 %index
380*9880d681SAndroid Build Coastguard Worker  %val2 = shl <4 x i32> <i32 1, i32 2, i32 3, i32 4>, %val1
381*9880d681SAndroid Build Coastguard Worker  store <4 x i32> %val2, <4 x i32> *%dest
382*9880d681SAndroid Build Coastguard Worker  ret void
383*9880d681SAndroid Build Coastguard Worker}
384*9880d681SAndroid Build Coastguard Worker
385*9880d681SAndroid Build Coastguard Worker; Test vector GEPs with more than one index.
386*9880d681SAndroid Build Coastguard Workerdefine void @f13(<4 x float *> *%dest, <4 x [4 x float] *> %ptr, <4 x i32> %i,
387*9880d681SAndroid Build Coastguard Worker                 float *%other) {
388*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @f13(
389*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i0 = bitcast <4 x float*>* %dest to float**
390*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i1 = getelementptr float*, float** %dest.i0, i32 1
391*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i2 = getelementptr float*, float** %dest.i0, i32 2
392*9880d681SAndroid Build Coastguard Worker; CHECK: %dest.i3 = getelementptr float*, float** %dest.i0, i32 3
393*9880d681SAndroid Build Coastguard Worker; CHECK: %i.i0 = extractelement <4 x i32> %i, i32 0
394*9880d681SAndroid Build Coastguard Worker; CHECK: %ptr.i0 = extractelement <4 x [4 x float]*> %ptr, i32 0
395*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i0 = getelementptr inbounds [4 x float], [4 x float]* %ptr.i0, i32 0, i32 %i.i0
396*9880d681SAndroid Build Coastguard Worker; CHECK: %i.i1 = extractelement <4 x i32> %i, i32 1
397*9880d681SAndroid Build Coastguard Worker; CHECK: %ptr.i1 = extractelement <4 x [4 x float]*> %ptr, i32 1
398*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i1 = getelementptr inbounds [4 x float], [4 x float]* %ptr.i1, i32 1, i32 %i.i1
399*9880d681SAndroid Build Coastguard Worker; CHECK: %i.i2 = extractelement <4 x i32> %i, i32 2
400*9880d681SAndroid Build Coastguard Worker; CHECK: %ptr.i2 = extractelement <4 x [4 x float]*> %ptr, i32 2
401*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i2 = getelementptr inbounds [4 x float], [4 x float]* %ptr.i2, i32 2, i32 %i.i2
402*9880d681SAndroid Build Coastguard Worker; CHECK: %i.i3 = extractelement <4 x i32> %i, i32 3
403*9880d681SAndroid Build Coastguard Worker; CHECK: %ptr.i3 = extractelement <4 x [4 x float]*> %ptr, i32 3
404*9880d681SAndroid Build Coastguard Worker; CHECK: %val.i3 = getelementptr inbounds [4 x float], [4 x float]* %ptr.i3, i32 3, i32 %i.i3
405*9880d681SAndroid Build Coastguard Worker; CHECK: store float* %val.i0, float** %dest.i0, align 32
406*9880d681SAndroid Build Coastguard Worker; CHECK: store float* %val.i1, float** %dest.i1, align 8
407*9880d681SAndroid Build Coastguard Worker; CHECK: store float* %val.i2, float** %dest.i2, align 16
408*9880d681SAndroid Build Coastguard Worker; CHECK: store float* %val.i3, float** %dest.i3, align 8
409*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
410*9880d681SAndroid Build Coastguard Worker  %val = getelementptr inbounds [4 x float], <4 x [4 x float] *> %ptr,
411*9880d681SAndroid Build Coastguard Worker                                <4 x i32> <i32 0, i32 1, i32 2, i32 3>,
412*9880d681SAndroid Build Coastguard Worker                                <4 x i32> %i
413*9880d681SAndroid Build Coastguard Worker  store <4 x float *> %val, <4 x float *> *%dest
414*9880d681SAndroid Build Coastguard Worker  ret void
415*9880d681SAndroid Build Coastguard Worker}
416*9880d681SAndroid Build Coastguard Worker
417*9880d681SAndroid Build Coastguard Worker; Test combinations of vector and non-vector PHIs.
418*9880d681SAndroid Build Coastguard Workerdefine <4 x float> @f14(<4 x float> %acc, i32 %count) {
419*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @f14(
420*9880d681SAndroid Build Coastguard Worker; CHECK: %this_acc.i0 = phi float [ %acc.i0, %entry ], [ %next_acc.i0, %loop ]
421*9880d681SAndroid Build Coastguard Worker; CHECK: %this_acc.i1 = phi float [ %acc.i1, %entry ], [ %next_acc.i1, %loop ]
422*9880d681SAndroid Build Coastguard Worker; CHECK: %this_acc.i2 = phi float [ %acc.i2, %entry ], [ %next_acc.i2, %loop ]
423*9880d681SAndroid Build Coastguard Worker; CHECK: %this_acc.i3 = phi float [ %acc.i3, %entry ], [ %next_acc.i3, %loop ]
424*9880d681SAndroid Build Coastguard Worker; CHECK: %this_count = phi i32 [ %count, %entry ], [ %next_count, %loop ]
425*9880d681SAndroid Build Coastguard Worker; CHECK: %this_acc.upto0 = insertelement <4 x float> undef, float %this_acc.i0, i32 0
426*9880d681SAndroid Build Coastguard Worker; CHECK: %this_acc.upto1 = insertelement <4 x float> %this_acc.upto0, float %this_acc.i1, i32 1
427*9880d681SAndroid Build Coastguard Worker; CHECK: %this_acc.upto2 = insertelement <4 x float> %this_acc.upto1, float %this_acc.i2, i32 2
428*9880d681SAndroid Build Coastguard Worker; CHECK: %this_acc = insertelement <4 x float> %this_acc.upto2, float %this_acc.i3, i32 3
429*9880d681SAndroid Build Coastguard Worker; CHECK: ret <4 x float> %next_acc
430*9880d681SAndroid Build Coastguard Workerentry:
431*9880d681SAndroid Build Coastguard Worker  br label %loop
432*9880d681SAndroid Build Coastguard Worker
433*9880d681SAndroid Build Coastguard Workerloop:
434*9880d681SAndroid Build Coastguard Worker  %this_acc = phi <4 x float> [ %acc, %entry ], [ %next_acc, %loop ]
435*9880d681SAndroid Build Coastguard Worker  %this_count = phi i32 [ %count, %entry ], [ %next_count, %loop ]
436*9880d681SAndroid Build Coastguard Worker  %foo = call <4 x float> @ext(<4 x float> %this_acc)
437*9880d681SAndroid Build Coastguard Worker  %next_acc = fadd <4 x float> %this_acc, %foo
438*9880d681SAndroid Build Coastguard Worker  %next_count = sub i32 %this_count, 1
439*9880d681SAndroid Build Coastguard Worker  %cmp = icmp eq i32 %next_count, 0
440*9880d681SAndroid Build Coastguard Worker  br i1 %cmp, label %loop, label %exit
441*9880d681SAndroid Build Coastguard Worker
442*9880d681SAndroid Build Coastguard Workerexit:
443*9880d681SAndroid Build Coastguard Worker  ret <4 x float> %next_acc
444*9880d681SAndroid Build Coastguard Worker}
445*9880d681SAndroid Build Coastguard Worker
446*9880d681SAndroid Build Coastguard Worker!0 = !{ !"root" }
447*9880d681SAndroid Build Coastguard Worker!1 = !{ !"set1", !0 }
448*9880d681SAndroid Build Coastguard Worker!2 = !{ !"set2", !0 }
449*9880d681SAndroid Build Coastguard Worker!3 = !{ !3 }
450*9880d681SAndroid Build Coastguard Worker!4 = !{ float 4.0 }
451*9880d681SAndroid Build Coastguard Worker!5 = !{ i64 0, i64 8, null }
452