blob: d11b025d5890f4be52812d9349cafa2bb0dfc68b [file] [log] [blame]
Dan Gohman9194e8b2009-02-13 03:58:31 +00001; RUN: llvm-as < %s | llc -march=x86-64 -f -o %t
Dale Johannesenc1acc3f2009-05-11 17:15:42 +00002; RUN: grep inc %t | count 1
3; RUN: grep dec %t | count 2
Dan Gohmanc17e0cf2009-02-20 04:17:46 +00004; RUN: grep addq %t | count 13
Dan Gohman2d1be872009-04-16 03:18:22 +00005; RUN: grep leaq %t | count 8
6; RUN: grep leal %t | count 4
Dan Gohmanc17e0cf2009-02-20 04:17:46 +00007; RUN: grep movq %t | count 5
Dan Gohman9194e8b2009-02-13 03:58:31 +00008
9; IV users in each of the loops from other loops shouldn't cause LSR
10; to insert new induction variables. Previously it would create a
11; flood of new induction variables.
Dale Johannesenc1acc3f2009-05-11 17:15:42 +000012; Also, the loop reversal should kick in once.
Dan Gohman9194e8b2009-02-13 03:58:31 +000013
14target 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"
15target triple = "x86_64-unknown-linux-gnu"
16
17define void @foo(float* %A, i32 %IA, float* %B, i32 %IB, float* nocapture %C, i32 %N) nounwind {
18entry:
19 %0 = xor i32 %IA, 1 ; <i32> [#uses=1]
20 %1 = xor i32 %IB, 1 ; <i32> [#uses=1]
21 %2 = or i32 %1, %0 ; <i32> [#uses=1]
22 %3 = icmp eq i32 %2, 0 ; <i1> [#uses=1]
23 br i1 %3, label %bb2, label %bb13
24
25bb: ; preds = %bb3
26 %4 = load float* %A_addr.0, align 4 ; <float> [#uses=1]
27 %5 = load float* %B_addr.0, align 4 ; <float> [#uses=1]
28 %6 = mul float %4, %5 ; <float> [#uses=1]
29 %7 = add float %6, %Sum0.0 ; <float> [#uses=1]
30 %indvar.next154 = add i64 %B_addr.0.rec, 1 ; <i64> [#uses=1]
31 br label %bb2
32
33bb2: ; preds = %entry, %bb
34 %B_addr.0.rec = phi i64 [ %indvar.next154, %bb ], [ 0, %entry ] ; <i64> [#uses=14]
35 %Sum0.0 = phi float [ %7, %bb ], [ 0.000000e+00, %entry ] ; <float> [#uses=5]
36 %indvar146 = trunc i64 %B_addr.0.rec to i32 ; <i32> [#uses=1]
37 %N_addr.0 = sub i32 %N, %indvar146 ; <i32> [#uses=6]
38 %A_addr.0 = getelementptr float* %A, i64 %B_addr.0.rec ; <float*> [#uses=4]
39 %B_addr.0 = getelementptr float* %B, i64 %B_addr.0.rec ; <float*> [#uses=4]
40 %8 = icmp sgt i32 %N_addr.0, 0 ; <i1> [#uses=1]
41 br i1 %8, label %bb3, label %bb4
42
43bb3: ; preds = %bb2
44 %9 = ptrtoint float* %A_addr.0 to i64 ; <i64> [#uses=1]
45 %10 = and i64 %9, 15 ; <i64> [#uses=1]
46 %11 = icmp eq i64 %10, 0 ; <i1> [#uses=1]
47 br i1 %11, label %bb4, label %bb
48
49bb4: ; preds = %bb3, %bb2
50 %12 = ptrtoint float* %B_addr.0 to i64 ; <i64> [#uses=1]
51 %13 = and i64 %12, 15 ; <i64> [#uses=1]
52 %14 = icmp eq i64 %13, 0 ; <i1> [#uses=1]
53 %15 = icmp sgt i32 %N_addr.0, 15 ; <i1> [#uses=2]
54 br i1 %14, label %bb6.preheader, label %bb10.preheader
55
56bb10.preheader: ; preds = %bb4
57 br i1 %15, label %bb9, label %bb12.loopexit
58
59bb6.preheader: ; preds = %bb4
60 br i1 %15, label %bb5, label %bb8.loopexit
61
62bb5: ; preds = %bb5, %bb6.preheader
63 %indvar143 = phi i64 [ 0, %bb6.preheader ], [ %indvar.next144, %bb5 ] ; <i64> [#uses=3]
64 %vSum0.072 = phi <4 x float> [ zeroinitializer, %bb6.preheader ], [ %21, %bb5 ] ; <<4 x float>> [#uses=1]
65 %vSum1.070 = phi <4 x float> [ zeroinitializer, %bb6.preheader ], [ %29, %bb5 ] ; <<4 x float>> [#uses=1]
66 %vSum2.069 = phi <4 x float> [ zeroinitializer, %bb6.preheader ], [ %37, %bb5 ] ; <<4 x float>> [#uses=1]
67 %vSum3.067 = phi <4 x float> [ zeroinitializer, %bb6.preheader ], [ %45, %bb5 ] ; <<4 x float>> [#uses=1]
68 %indvar145 = trunc i64 %indvar143 to i32 ; <i32> [#uses=1]
69 %tmp150 = mul i32 %indvar145, -16 ; <i32> [#uses=1]
70 %N_addr.268 = add i32 %tmp150, %N_addr.0 ; <i32> [#uses=1]
71 %A_addr.273.rec = shl i64 %indvar143, 4 ; <i64> [#uses=5]
72 %B_addr.0.sum180 = add i64 %B_addr.0.rec, %A_addr.273.rec ; <i64> [#uses=2]
73 %B_addr.271 = getelementptr float* %B, i64 %B_addr.0.sum180 ; <float*> [#uses=1]
74 %A_addr.273 = getelementptr float* %A, i64 %B_addr.0.sum180 ; <float*> [#uses=1]
75 tail call void asm sideeffect ";# foo", "~{dirflag},~{fpsr},~{flags}"() nounwind
76 %16 = bitcast float* %A_addr.273 to <4 x float>* ; <<4 x float>*> [#uses=1]
77 %17 = load <4 x float>* %16, align 16 ; <<4 x float>> [#uses=1]
78 %18 = bitcast float* %B_addr.271 to <4 x float>* ; <<4 x float>*> [#uses=1]
79 %19 = load <4 x float>* %18, align 16 ; <<4 x float>> [#uses=1]
80 %20 = mul <4 x float> %17, %19 ; <<4 x float>> [#uses=1]
81 %21 = add <4 x float> %20, %vSum0.072 ; <<4 x float>> [#uses=2]
82 %A_addr.273.sum163 = or i64 %A_addr.273.rec, 4 ; <i64> [#uses=1]
83 %A_addr.0.sum175 = add i64 %B_addr.0.rec, %A_addr.273.sum163 ; <i64> [#uses=2]
84 %22 = getelementptr float* %A, i64 %A_addr.0.sum175 ; <float*> [#uses=1]
85 %23 = bitcast float* %22 to <4 x float>* ; <<4 x float>*> [#uses=1]
86 %24 = load <4 x float>* %23, align 16 ; <<4 x float>> [#uses=1]
87 %25 = getelementptr float* %B, i64 %A_addr.0.sum175 ; <float*> [#uses=1]
88 %26 = bitcast float* %25 to <4 x float>* ; <<4 x float>*> [#uses=1]
89 %27 = load <4 x float>* %26, align 16 ; <<4 x float>> [#uses=1]
90 %28 = mul <4 x float> %24, %27 ; <<4 x float>> [#uses=1]
91 %29 = add <4 x float> %28, %vSum1.070 ; <<4 x float>> [#uses=2]
92 %A_addr.273.sum161 = or i64 %A_addr.273.rec, 8 ; <i64> [#uses=1]
93 %A_addr.0.sum174 = add i64 %B_addr.0.rec, %A_addr.273.sum161 ; <i64> [#uses=2]
94 %30 = getelementptr float* %A, i64 %A_addr.0.sum174 ; <float*> [#uses=1]
95 %31 = bitcast float* %30 to <4 x float>* ; <<4 x float>*> [#uses=1]
96 %32 = load <4 x float>* %31, align 16 ; <<4 x float>> [#uses=1]
97 %33 = getelementptr float* %B, i64 %A_addr.0.sum174 ; <float*> [#uses=1]
98 %34 = bitcast float* %33 to <4 x float>* ; <<4 x float>*> [#uses=1]
99 %35 = load <4 x float>* %34, align 16 ; <<4 x float>> [#uses=1]
100 %36 = mul <4 x float> %32, %35 ; <<4 x float>> [#uses=1]
101 %37 = add <4 x float> %36, %vSum2.069 ; <<4 x float>> [#uses=2]
102 %A_addr.273.sum159 = or i64 %A_addr.273.rec, 12 ; <i64> [#uses=1]
103 %A_addr.0.sum173 = add i64 %B_addr.0.rec, %A_addr.273.sum159 ; <i64> [#uses=2]
104 %38 = getelementptr float* %A, i64 %A_addr.0.sum173 ; <float*> [#uses=1]
105 %39 = bitcast float* %38 to <4 x float>* ; <<4 x float>*> [#uses=1]
106 %40 = load <4 x float>* %39, align 16 ; <<4 x float>> [#uses=1]
107 %41 = getelementptr float* %B, i64 %A_addr.0.sum173 ; <float*> [#uses=1]
108 %42 = bitcast float* %41 to <4 x float>* ; <<4 x float>*> [#uses=1]
109 %43 = load <4 x float>* %42, align 16 ; <<4 x float>> [#uses=1]
110 %44 = mul <4 x float> %40, %43 ; <<4 x float>> [#uses=1]
111 %45 = add <4 x float> %44, %vSum3.067 ; <<4 x float>> [#uses=2]
112 %.rec83 = add i64 %A_addr.273.rec, 16 ; <i64> [#uses=1]
113 %A_addr.0.sum172 = add i64 %B_addr.0.rec, %.rec83 ; <i64> [#uses=2]
114 %46 = getelementptr float* %A, i64 %A_addr.0.sum172 ; <float*> [#uses=1]
115 %47 = getelementptr float* %B, i64 %A_addr.0.sum172 ; <float*> [#uses=1]
116 %48 = add i32 %N_addr.268, -16 ; <i32> [#uses=2]
117 %49 = icmp sgt i32 %48, 15 ; <i1> [#uses=1]
118 %indvar.next144 = add i64 %indvar143, 1 ; <i64> [#uses=1]
119 br i1 %49, label %bb5, label %bb8.loopexit
120
121bb7: ; preds = %bb7, %bb8.loopexit
122 %indvar130 = phi i64 [ 0, %bb8.loopexit ], [ %indvar.next131, %bb7 ] ; <i64> [#uses=3]
123 %vSum0.260 = phi <4 x float> [ %vSum0.0.lcssa, %bb8.loopexit ], [ %55, %bb7 ] ; <<4 x float>> [#uses=1]
124 %indvar132 = trunc i64 %indvar130 to i32 ; <i32> [#uses=1]
125 %tmp133 = mul i32 %indvar132, -4 ; <i32> [#uses=1]
126 %N_addr.358 = add i32 %tmp133, %N_addr.2.lcssa ; <i32> [#uses=1]
127 %A_addr.361.rec = shl i64 %indvar130, 2 ; <i64> [#uses=3]
128 %B_addr.359 = getelementptr float* %B_addr.2.lcssa, i64 %A_addr.361.rec ; <float*> [#uses=1]
129 %A_addr.361 = getelementptr float* %A_addr.2.lcssa, i64 %A_addr.361.rec ; <float*> [#uses=1]
130 %50 = bitcast float* %A_addr.361 to <4 x float>* ; <<4 x float>*> [#uses=1]
131 %51 = load <4 x float>* %50, align 16 ; <<4 x float>> [#uses=1]
132 %52 = bitcast float* %B_addr.359 to <4 x float>* ; <<4 x float>*> [#uses=1]
133 %53 = load <4 x float>* %52, align 16 ; <<4 x float>> [#uses=1]
134 %54 = mul <4 x float> %51, %53 ; <<4 x float>> [#uses=1]
135 %55 = add <4 x float> %54, %vSum0.260 ; <<4 x float>> [#uses=2]
136 %.rec85 = add i64 %A_addr.361.rec, 4 ; <i64> [#uses=2]
137 %56 = getelementptr float* %A_addr.2.lcssa, i64 %.rec85 ; <float*> [#uses=1]
138 %57 = getelementptr float* %B_addr.2.lcssa, i64 %.rec85 ; <float*> [#uses=1]
139 %58 = add i32 %N_addr.358, -4 ; <i32> [#uses=2]
140 %59 = icmp sgt i32 %58, 3 ; <i1> [#uses=1]
141 %indvar.next131 = add i64 %indvar130, 1 ; <i64> [#uses=1]
142 br i1 %59, label %bb7, label %bb13
143
144bb8.loopexit: ; preds = %bb5, %bb6.preheader
145 %A_addr.2.lcssa = phi float* [ %A_addr.0, %bb6.preheader ], [ %46, %bb5 ] ; <float*> [#uses=3]
146 %vSum0.0.lcssa = phi <4 x float> [ zeroinitializer, %bb6.preheader ], [ %21, %bb5 ] ; <<4 x float>> [#uses=2]
147 %B_addr.2.lcssa = phi float* [ %B_addr.0, %bb6.preheader ], [ %47, %bb5 ] ; <float*> [#uses=3]
148 %vSum1.0.lcssa = phi <4 x float> [ zeroinitializer, %bb6.preheader ], [ %29, %bb5 ] ; <<4 x float>> [#uses=2]
149 %vSum2.0.lcssa = phi <4 x float> [ zeroinitializer, %bb6.preheader ], [ %37, %bb5 ] ; <<4 x float>> [#uses=2]
150 %N_addr.2.lcssa = phi i32 [ %N_addr.0, %bb6.preheader ], [ %48, %bb5 ] ; <i32> [#uses=3]
151 %vSum3.0.lcssa = phi <4 x float> [ zeroinitializer, %bb6.preheader ], [ %45, %bb5 ] ; <<4 x float>> [#uses=2]
152 %60 = icmp sgt i32 %N_addr.2.lcssa, 3 ; <i1> [#uses=1]
153 br i1 %60, label %bb7, label %bb13
154
155bb9: ; preds = %bb9, %bb10.preheader
156 %indvar106 = phi i64 [ 0, %bb10.preheader ], [ %indvar.next107, %bb9 ] ; <i64> [#uses=3]
157 %vSum0.339 = phi <4 x float> [ zeroinitializer, %bb10.preheader ], [ %75, %bb9 ] ; <<4 x float>> [#uses=1]
158 %vSum1.237 = phi <4 x float> [ zeroinitializer, %bb10.preheader ], [ %80, %bb9 ] ; <<4 x float>> [#uses=1]
159 %vSum2.236 = phi <4 x float> [ zeroinitializer, %bb10.preheader ], [ %85, %bb9 ] ; <<4 x float>> [#uses=1]
160 %vSum3.234 = phi <4 x float> [ zeroinitializer, %bb10.preheader ], [ %90, %bb9 ] ; <<4 x float>> [#uses=1]
161 %indvar108 = trunc i64 %indvar106 to i32 ; <i32> [#uses=1]
162 %tmp113 = mul i32 %indvar108, -16 ; <i32> [#uses=1]
163 %N_addr.435 = add i32 %tmp113, %N_addr.0 ; <i32> [#uses=1]
164 %A_addr.440.rec = shl i64 %indvar106, 4 ; <i64> [#uses=5]
165 %B_addr.0.sum = add i64 %B_addr.0.rec, %A_addr.440.rec ; <i64> [#uses=2]
166 %B_addr.438 = getelementptr float* %B, i64 %B_addr.0.sum ; <float*> [#uses=1]
167 %A_addr.440 = getelementptr float* %A, i64 %B_addr.0.sum ; <float*> [#uses=1]
Dan Gohman926b0a22009-02-16 00:44:23 +0000168 %61 = bitcast float* %B_addr.438 to <4 x float>* ; <i8*> [#uses=1]
169 %62 = load <4 x float>* %61, align 1
Dan Gohman9194e8b2009-02-13 03:58:31 +0000170 %B_addr.438.sum169 = or i64 %A_addr.440.rec, 4 ; <i64> [#uses=1]
171 %B_addr.0.sum187 = add i64 %B_addr.0.rec, %B_addr.438.sum169 ; <i64> [#uses=2]
172 %63 = getelementptr float* %B, i64 %B_addr.0.sum187 ; <float*> [#uses=1]
Dan Gohman926b0a22009-02-16 00:44:23 +0000173 %64 = bitcast float* %63 to <4 x float>* ; <i8*> [#uses=1]
174 %65 = load <4 x float>* %64, align 1
Dan Gohman9194e8b2009-02-13 03:58:31 +0000175 %B_addr.438.sum168 = or i64 %A_addr.440.rec, 8 ; <i64> [#uses=1]
176 %B_addr.0.sum186 = add i64 %B_addr.0.rec, %B_addr.438.sum168 ; <i64> [#uses=2]
177 %66 = getelementptr float* %B, i64 %B_addr.0.sum186 ; <float*> [#uses=1]
Dan Gohman926b0a22009-02-16 00:44:23 +0000178 %67 = bitcast float* %66 to <4 x float>* ; <i8*> [#uses=1]
179 %68 = load <4 x float>* %67, align 1
Dan Gohman9194e8b2009-02-13 03:58:31 +0000180 %B_addr.438.sum167 = or i64 %A_addr.440.rec, 12 ; <i64> [#uses=1]
181 %B_addr.0.sum185 = add i64 %B_addr.0.rec, %B_addr.438.sum167 ; <i64> [#uses=2]
182 %69 = getelementptr float* %B, i64 %B_addr.0.sum185 ; <float*> [#uses=1]
Dan Gohman926b0a22009-02-16 00:44:23 +0000183 %70 = bitcast float* %69 to <4 x float>* ; <i8*> [#uses=1]
184 %71 = load <4 x float>* %70, align 1
Dan Gohman9194e8b2009-02-13 03:58:31 +0000185 %72 = bitcast float* %A_addr.440 to <4 x float>* ; <<4 x float>*> [#uses=1]
186 %73 = load <4 x float>* %72, align 16 ; <<4 x float>> [#uses=1]
187 %74 = mul <4 x float> %73, %62 ; <<4 x float>> [#uses=1]
188 %75 = add <4 x float> %74, %vSum0.339 ; <<4 x float>> [#uses=2]
189 %76 = getelementptr float* %A, i64 %B_addr.0.sum187 ; <float*> [#uses=1]
190 %77 = bitcast float* %76 to <4 x float>* ; <<4 x float>*> [#uses=1]
191 %78 = load <4 x float>* %77, align 16 ; <<4 x float>> [#uses=1]
192 %79 = mul <4 x float> %78, %65 ; <<4 x float>> [#uses=1]
193 %80 = add <4 x float> %79, %vSum1.237 ; <<4 x float>> [#uses=2]
194 %81 = getelementptr float* %A, i64 %B_addr.0.sum186 ; <float*> [#uses=1]
195 %82 = bitcast float* %81 to <4 x float>* ; <<4 x float>*> [#uses=1]
196 %83 = load <4 x float>* %82, align 16 ; <<4 x float>> [#uses=1]
197 %84 = mul <4 x float> %83, %68 ; <<4 x float>> [#uses=1]
198 %85 = add <4 x float> %84, %vSum2.236 ; <<4 x float>> [#uses=2]
199 %86 = getelementptr float* %A, i64 %B_addr.0.sum185 ; <float*> [#uses=1]
200 %87 = bitcast float* %86 to <4 x float>* ; <<4 x float>*> [#uses=1]
201 %88 = load <4 x float>* %87, align 16 ; <<4 x float>> [#uses=1]
202 %89 = mul <4 x float> %88, %71 ; <<4 x float>> [#uses=1]
203 %90 = add <4 x float> %89, %vSum3.234 ; <<4 x float>> [#uses=2]
204 %.rec89 = add i64 %A_addr.440.rec, 16 ; <i64> [#uses=1]
205 %A_addr.0.sum170 = add i64 %B_addr.0.rec, %.rec89 ; <i64> [#uses=2]
206 %91 = getelementptr float* %A, i64 %A_addr.0.sum170 ; <float*> [#uses=1]
207 %92 = getelementptr float* %B, i64 %A_addr.0.sum170 ; <float*> [#uses=1]
208 %93 = add i32 %N_addr.435, -16 ; <i32> [#uses=2]
209 %94 = icmp sgt i32 %93, 15 ; <i1> [#uses=1]
210 %indvar.next107 = add i64 %indvar106, 1 ; <i64> [#uses=1]
211 br i1 %94, label %bb9, label %bb12.loopexit
212
213bb11: ; preds = %bb11, %bb12.loopexit
214 %indvar = phi i64 [ 0, %bb12.loopexit ], [ %indvar.next, %bb11 ] ; <i64> [#uses=3]
215 %vSum0.428 = phi <4 x float> [ %vSum0.3.lcssa, %bb12.loopexit ], [ %100, %bb11 ] ; <<4 x float>> [#uses=1]
216 %indvar96 = trunc i64 %indvar to i32 ; <i32> [#uses=1]
217 %tmp = mul i32 %indvar96, -4 ; <i32> [#uses=1]
218 %N_addr.526 = add i32 %tmp, %N_addr.4.lcssa ; <i32> [#uses=1]
219 %A_addr.529.rec = shl i64 %indvar, 2 ; <i64> [#uses=3]
220 %B_addr.527 = getelementptr float* %B_addr.4.lcssa, i64 %A_addr.529.rec ; <float*> [#uses=1]
221 %A_addr.529 = getelementptr float* %A_addr.4.lcssa, i64 %A_addr.529.rec ; <float*> [#uses=1]
Dan Gohman926b0a22009-02-16 00:44:23 +0000222 %95 = bitcast float* %B_addr.527 to <4 x float>* ; <i8*> [#uses=1]
223 %96 = load <4 x float>* %95, align 1
Dan Gohman9194e8b2009-02-13 03:58:31 +0000224 %97 = bitcast float* %A_addr.529 to <4 x float>* ; <<4 x float>*> [#uses=1]
225 %98 = load <4 x float>* %97, align 16 ; <<4 x float>> [#uses=1]
226 %99 = mul <4 x float> %98, %96 ; <<4 x float>> [#uses=1]
227 %100 = add <4 x float> %99, %vSum0.428 ; <<4 x float>> [#uses=2]
228 %.rec91 = add i64 %A_addr.529.rec, 4 ; <i64> [#uses=2]
229 %101 = getelementptr float* %A_addr.4.lcssa, i64 %.rec91 ; <float*> [#uses=1]
230 %102 = getelementptr float* %B_addr.4.lcssa, i64 %.rec91 ; <float*> [#uses=1]
231 %103 = add i32 %N_addr.526, -4 ; <i32> [#uses=2]
232 %104 = icmp sgt i32 %103, 3 ; <i1> [#uses=1]
233 %indvar.next = add i64 %indvar, 1 ; <i64> [#uses=1]
234 br i1 %104, label %bb11, label %bb13
235
236bb12.loopexit: ; preds = %bb9, %bb10.preheader
237 %A_addr.4.lcssa = phi float* [ %A_addr.0, %bb10.preheader ], [ %91, %bb9 ] ; <float*> [#uses=3]
238 %vSum0.3.lcssa = phi <4 x float> [ zeroinitializer, %bb10.preheader ], [ %75, %bb9 ] ; <<4 x float>> [#uses=2]
239 %B_addr.4.lcssa = phi float* [ %B_addr.0, %bb10.preheader ], [ %92, %bb9 ] ; <float*> [#uses=3]
240 %vSum1.2.lcssa = phi <4 x float> [ zeroinitializer, %bb10.preheader ], [ %80, %bb9 ] ; <<4 x float>> [#uses=2]
241 %vSum2.2.lcssa = phi <4 x float> [ zeroinitializer, %bb10.preheader ], [ %85, %bb9 ] ; <<4 x float>> [#uses=2]
242 %N_addr.4.lcssa = phi i32 [ %N_addr.0, %bb10.preheader ], [ %93, %bb9 ] ; <i32> [#uses=3]
243 %vSum3.2.lcssa = phi <4 x float> [ zeroinitializer, %bb10.preheader ], [ %90, %bb9 ] ; <<4 x float>> [#uses=2]
244 %105 = icmp sgt i32 %N_addr.4.lcssa, 3 ; <i1> [#uses=1]
245 br i1 %105, label %bb11, label %bb13
246
247bb13: ; preds = %bb12.loopexit, %bb11, %bb8.loopexit, %bb7, %entry
248 %Sum0.1 = phi float [ 0.000000e+00, %entry ], [ %Sum0.0, %bb7 ], [ %Sum0.0, %bb8.loopexit ], [ %Sum0.0, %bb11 ], [ %Sum0.0, %bb12.loopexit ] ; <float> [#uses=1]
249 %vSum3.1 = phi <4 x float> [ zeroinitializer, %entry ], [ %vSum3.0.lcssa, %bb7 ], [ %vSum3.0.lcssa, %bb8.loopexit ], [ %vSum3.2.lcssa, %bb11 ], [ %vSum3.2.lcssa, %bb12.loopexit ] ; <<4 x float>> [#uses=1]
250 %N_addr.1 = phi i32 [ %N, %entry ], [ %N_addr.2.lcssa, %bb8.loopexit ], [ %58, %bb7 ], [ %N_addr.4.lcssa, %bb12.loopexit ], [ %103, %bb11 ] ; <i32> [#uses=2]
251 %vSum2.1 = phi <4 x float> [ zeroinitializer, %entry ], [ %vSum2.0.lcssa, %bb7 ], [ %vSum2.0.lcssa, %bb8.loopexit ], [ %vSum2.2.lcssa, %bb11 ], [ %vSum2.2.lcssa, %bb12.loopexit ] ; <<4 x float>> [#uses=1]
252 %vSum1.1 = phi <4 x float> [ zeroinitializer, %entry ], [ %vSum1.0.lcssa, %bb7 ], [ %vSum1.0.lcssa, %bb8.loopexit ], [ %vSum1.2.lcssa, %bb11 ], [ %vSum1.2.lcssa, %bb12.loopexit ] ; <<4 x float>> [#uses=1]
253 %B_addr.1 = phi float* [ %B, %entry ], [ %B_addr.2.lcssa, %bb8.loopexit ], [ %57, %bb7 ], [ %B_addr.4.lcssa, %bb12.loopexit ], [ %102, %bb11 ] ; <float*> [#uses=1]
254 %vSum0.1 = phi <4 x float> [ zeroinitializer, %entry ], [ %vSum0.0.lcssa, %bb8.loopexit ], [ %55, %bb7 ], [ %vSum0.3.lcssa, %bb12.loopexit ], [ %100, %bb11 ] ; <<4 x float>> [#uses=1]
255 %A_addr.1 = phi float* [ %A, %entry ], [ %A_addr.2.lcssa, %bb8.loopexit ], [ %56, %bb7 ], [ %A_addr.4.lcssa, %bb12.loopexit ], [ %101, %bb11 ] ; <float*> [#uses=1]
256 %106 = add <4 x float> %vSum0.1, %vSum2.1 ; <<4 x float>> [#uses=1]
257 %107 = add <4 x float> %vSum1.1, %vSum3.1 ; <<4 x float>> [#uses=1]
258 %108 = add <4 x float> %106, %107 ; <<4 x float>> [#uses=4]
259 %tmp23 = extractelement <4 x float> %108, i32 0 ; <float> [#uses=1]
260 %tmp21 = extractelement <4 x float> %108, i32 1 ; <float> [#uses=1]
261 %109 = add float %tmp23, %tmp21 ; <float> [#uses=1]
262 %tmp19 = extractelement <4 x float> %108, i32 2 ; <float> [#uses=1]
263 %tmp17 = extractelement <4 x float> %108, i32 3 ; <float> [#uses=1]
264 %110 = add float %tmp19, %tmp17 ; <float> [#uses=1]
265 %111 = add float %109, %110 ; <float> [#uses=1]
266 %Sum0.254 = add float %111, %Sum0.1 ; <float> [#uses=2]
267 %112 = icmp sgt i32 %N_addr.1, 0 ; <i1> [#uses=1]
268 br i1 %112, label %bb.nph56, label %bb16
269
270bb.nph56: ; preds = %bb13
271 %tmp. = zext i32 %N_addr.1 to i64 ; <i64> [#uses=1]
272 br label %bb14
273
274bb14: ; preds = %bb14, %bb.nph56
275 %indvar117 = phi i64 [ 0, %bb.nph56 ], [ %indvar.next118, %bb14 ] ; <i64> [#uses=3]
276 %Sum0.255 = phi float [ %Sum0.254, %bb.nph56 ], [ %Sum0.2, %bb14 ] ; <float> [#uses=1]
277 %tmp.122 = sext i32 %IB to i64 ; <i64> [#uses=1]
278 %B_addr.652.rec = mul i64 %indvar117, %tmp.122 ; <i64> [#uses=1]
279 %tmp.124 = sext i32 %IA to i64 ; <i64> [#uses=1]
280 %A_addr.653.rec = mul i64 %indvar117, %tmp.124 ; <i64> [#uses=1]
281 %B_addr.652 = getelementptr float* %B_addr.1, i64 %B_addr.652.rec ; <float*> [#uses=1]
282 %A_addr.653 = getelementptr float* %A_addr.1, i64 %A_addr.653.rec ; <float*> [#uses=1]
283 %113 = load float* %A_addr.653, align 4 ; <float> [#uses=1]
284 %114 = load float* %B_addr.652, align 4 ; <float> [#uses=1]
285 %115 = mul float %113, %114 ; <float> [#uses=1]
286 %Sum0.2 = add float %115, %Sum0.255 ; <float> [#uses=2]
287 %indvar.next118 = add i64 %indvar117, 1 ; <i64> [#uses=2]
288 %exitcond = icmp eq i64 %indvar.next118, %tmp. ; <i1> [#uses=1]
289 br i1 %exitcond, label %bb16, label %bb14
290
291bb16: ; preds = %bb14, %bb13
292 %Sum0.2.lcssa = phi float [ %Sum0.254, %bb13 ], [ %Sum0.2, %bb14 ] ; <float> [#uses=1]
293 store float %Sum0.2.lcssa, float* %C, align 4
294 ret void
295}