test/CodeGen/X86/iv-users-in-other-loops.ll

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