test/CodeGen/X86/lsr-reuse.ll

   1 ; XFAIL: *
   2 ; ...should pass. See PR12324: misched bringup
   3 ; RUN: llc < %s -O3 -asm-verbose=false | FileCheck %s
   4 target datalayout = "e-p:64:64:64"
   5 target triple = "x86_64-unknown-unknown"
   6
   7 ; Full strength reduction reduces register pressure from 5 to 4 here.
   8 ; Instruction selection should use the FLAGS value from the dec for
   9 ; the branch. Scheduling should push the adds upwards.
  10
  11 ; CHECK-LABEL: full_me_0:
  12 ; CHECK: movsd   (%rsi), %xmm0
  13 ; CHECK: mulsd   (%rdx), %xmm0
  14 ; CHECK: movsd   %xmm0, (%rdi)
  15 ; CHECK: addq    $8, %rsi
  16 ; CHECK: addq    $8, %rdx
  17 ; CHECK: addq    $8, %rdi
  18 ; CHECK: decq    %rcx
  19 ; CHECK: jne
  20
  21 define void @full_me_0(double* nocapture %A, double* nocapture %B, double* nocapture %C, i64 %n) nounwind {
  22 entry:
  23   %t0 = icmp sgt i64 %n, 0
  24   br i1 %t0, label %loop, label %return
  25
  26 loop:
  27   %i = phi i64 [ %i.next, %loop ], [ 0, %entry ]
  28   %Ai = getelementptr inbounds double, double* %A, i64 %i
  29   %Bi = getelementptr inbounds double, double* %B, i64 %i
  30   %Ci = getelementptr inbounds double, double* %C, i64 %i
  31   %t1 = load double, double* %Bi
  32   %t2 = load double, double* %Ci
  33   %m = fmul double %t1, %t2
  34   store double %m, double* %Ai
  35   %i.next = add nsw i64 %i, 1
  36   %exitcond = icmp eq i64 %i.next, %n
  37   br i1 %exitcond, label %return, label %loop
  38
  39 return:
  40   ret void
  41 }
  42
  43 ; Mostly-full strength reduction means we do full strength reduction on all
  44 ; except for the offsets.
  45 ;
  46 ; Given a choice between constant offsets -2048 and 2048, choose the negative
  47 ; value, because at boundary conditions it has a smaller encoding.
  48 ; TODO: That's an over-general heuristic. It would be better for the target
  49 ; to indicate what the encoding cost would be. Then using a 2048 offset
  50 ; would be better on x86-64, since the start value would be 0 instead of
  51 ; 2048.
  52
  53 ; CHECK-LABEL: mostly_full_me_0:
  54 ; CHECK: movsd   -2048(%rsi), %xmm0
  55 ; CHECK: mulsd   -2048(%rdx), %xmm0
  56 ; CHECK: movsd   %xmm0, -2048(%rdi)
  57 ; CHECK: movsd   (%rsi), %xmm0
  58 ; CHECK: divsd   (%rdx), %xmm0
  59 ; CHECK: movsd   %xmm0, (%rdi)
  60 ; CHECK: addq    $8, %rsi
  61 ; CHECK: addq    $8, %rdx
  62 ; CHECK: addq    $8, %rdi
  63 ; CHECK: decq    %rcx
  64 ; CHECK: jne
  65
  66 define void @mostly_full_me_0(double* nocapture %A, double* nocapture %B, double* nocapture %C, i64 %n) nounwind {
  67 entry:
  68   %t0 = icmp sgt i64 %n, 0
  69   br i1 %t0, label %loop, label %return
  70
  71 loop:
  72   %i = phi i64 [ %i.next, %loop ], [ 0, %entry ]
  73   %Ai = getelementptr inbounds double, double* %A, i64 %i
  74   %Bi = getelementptr inbounds double, double* %B, i64 %i
  75   %Ci = getelementptr inbounds double, double* %C, i64 %i
  76   %t1 = load double, double* %Bi
  77   %t2 = load double, double* %Ci
  78   %m = fmul double %t1, %t2
  79   store double %m, double* %Ai
  80   %j = add i64 %i, 256
  81   %Aj = getelementptr inbounds double, double* %A, i64 %j
  82   %Bj = getelementptr inbounds double, double* %B, i64 %j
  83   %Cj = getelementptr inbounds double, double* %C, i64 %j
  84   %t3 = load double, double* %Bj
  85   %t4 = load double, double* %Cj
  86   %o = fdiv double %t3, %t4
  87   store double %o, double* %Aj
  88   %i.next = add nsw i64 %i, 1
  89   %exitcond = icmp eq i64 %i.next, %n
  90   br i1 %exitcond, label %return, label %loop
  91
  92 return:
  93   ret void
  94 }
  95
  96 ; A minor variation on mostly_full_me_0.
  97 ; Prefer to start the indvar at 0.
  98
  99 ; CHECK-LABEL: mostly_full_me_1:
 100 ; CHECK: movsd   (%rsi), %xmm0
 101 ; CHECK: mulsd   (%rdx), %xmm0
 102 ; CHECK: movsd   %xmm0, (%rdi)
 103 ; CHECK: movsd   -2048(%rsi), %xmm0
 104 ; CHECK: divsd   -2048(%rdx), %xmm0
 105 ; CHECK: movsd   %xmm0, -2048(%rdi)
 106 ; CHECK: addq    $8, %rsi
 107 ; CHECK: addq    $8, %rdx
 108 ; CHECK: addq    $8, %rdi
 109 ; CHECK: decq    %rcx
 110 ; CHECK: jne
 111
 112 define void @mostly_full_me_1(double* nocapture %A, double* nocapture %B, double* nocapture %C, i64 %n) nounwind {
 113 entry:
 114   %t0 = icmp sgt i64 %n, 0
 115   br i1 %t0, label %loop, label %return
 116
 117 loop:
 118   %i = phi i64 [ %i.next, %loop ], [ 0, %entry ]
 119   %Ai = getelementptr inbounds double, double* %A, i64 %i
 120   %Bi = getelementptr inbounds double, double* %B, i64 %i
 121   %Ci = getelementptr inbounds double, double* %C, i64 %i
 122   %t1 = load double, double* %Bi
 123   %t2 = load double, double* %Ci
 124   %m = fmul double %t1, %t2
 125   store double %m, double* %Ai
 126   %j = sub i64 %i, 256
 127   %Aj = getelementptr inbounds double, double* %A, i64 %j
 128   %Bj = getelementptr inbounds double, double* %B, i64 %j
 129   %Cj = getelementptr inbounds double, double* %C, i64 %j
 130   %t3 = load double, double* %Bj
 131   %t4 = load double, double* %Cj
 132   %o = fdiv double %t3, %t4
 133   store double %o, double* %Aj
 134   %i.next = add nsw i64 %i, 1
 135   %exitcond = icmp eq i64 %i.next, %n
 136   br i1 %exitcond, label %return, label %loop
 137
 138 return:
 139   ret void
 140 }
 141
 142 ; A slightly less minor variation on mostly_full_me_0.
 143
 144 ; CHECK-LABEL: mostly_full_me_2:
 145 ; CHECK: movsd   (%rsi), %xmm0
 146 ; CHECK: mulsd   (%rdx), %xmm0
 147 ; CHECK: movsd   %xmm0, (%rdi)
 148 ; CHECK: movsd   -4096(%rsi), %xmm0
 149 ; CHECK: divsd   -4096(%rdx), %xmm0
 150 ; CHECK: movsd   %xmm0, -4096(%rdi)
 151 ; CHECK: addq    $8, %rsi
 152 ; CHECK: addq    $8, %rdx
 153 ; CHECK: addq    $8, %rdi
 154 ; CHECK: decq    %rcx
 155 ; CHECK: jne
 156
 157 define void @mostly_full_me_2(double* nocapture %A, double* nocapture %B, double* nocapture %C, i64 %n) nounwind {
 158 entry:
 159   %t0 = icmp sgt i64 %n, 0
 160   br i1 %t0, label %loop, label %return
 161
 162 loop:
 163   %i = phi i64 [ %i.next, %loop ], [ 0, %entry ]
 164   %k = add i64 %i, 256
 165   %Ak = getelementptr inbounds double, double* %A, i64 %k
 166   %Bk = getelementptr inbounds double, double* %B, i64 %k
 167   %Ck = getelementptr inbounds double, double* %C, i64 %k
 168   %t1 = load double, double* %Bk
 169   %t2 = load double, double* %Ck
 170   %m = fmul double %t1, %t2
 171   store double %m, double* %Ak
 172   %j = sub i64 %i, 256
 173   %Aj = getelementptr inbounds double, double* %A, i64 %j
 174   %Bj = getelementptr inbounds double, double* %B, i64 %j
 175   %Cj = getelementptr inbounds double, double* %C, i64 %j
 176   %t3 = load double, double* %Bj
 177   %t4 = load double, double* %Cj
 178   %o = fdiv double %t3, %t4
 179   store double %o, double* %Aj
 180   %i.next = add nsw i64 %i, 1
 181   %exitcond = icmp eq i64 %i.next, %n
 182   br i1 %exitcond, label %return, label %loop
 183
 184 return:
 185   ret void
 186 }
 187
 188 ; In this test, the counting IV exit value is used, so full strength reduction
 189 ; would not reduce register pressure. IndVarSimplify ought to simplify such
 190 ; cases away, but it's useful here to verify that LSR's register pressure
 191 ; heuristics are working as expected.
 192
 193 ; CHECK-LABEL: count_me_0:
 194 ; CHECK: movsd   (%rsi,%rax,8), %xmm0
 195 ; CHECK: mulsd   (%rdx,%rax,8), %xmm0
 196 ; CHECK: movsd   %xmm0, (%rdi,%rax,8)
 197 ; CHECK: incq    %rax
 198 ; CHECK: cmpq    %rax, %rcx
 199 ; CHECK: jne
 200
 201 define i64 @count_me_0(double* nocapture %A, double* nocapture %B, double* nocapture %C, i64 %n) nounwind {
 202 entry:
 203   %t0 = icmp sgt i64 %n, 0
 204   br i1 %t0, label %loop, label %return
 205
 206 loop:
 207   %i = phi i64 [ %i.next, %loop ], [ 0, %entry ]
 208   %Ai = getelementptr inbounds double, double* %A, i64 %i
 209   %Bi = getelementptr inbounds double, double* %B, i64 %i
 210   %Ci = getelementptr inbounds double, double* %C, i64 %i
 211   %t1 = load double, double* %Bi
 212   %t2 = load double, double* %Ci
 213   %m = fmul double %t1, %t2
 214   store double %m, double* %Ai
 215   %i.next = add nsw i64 %i, 1
 216   %exitcond = icmp eq i64 %i.next, %n
 217   br i1 %exitcond, label %return, label %loop
 218
 219 return:
 220   %q = phi i64 [ 0, %entry ], [ %i.next, %loop ]
 221   ret i64 %q
 222 }
 223
 224 ; In this test, the trip count value is used, so full strength reduction
 225 ; would not reduce register pressure.
 226 ; (though it would reduce register pressure inside the loop...)
 227
 228 ; CHECK-LABEL: count_me_1:
 229 ; CHECK: movsd   (%rsi,%rax,8), %xmm0
 230 ; CHECK: mulsd   (%rdx,%rax,8), %xmm0
 231 ; CHECK: movsd   %xmm0, (%rdi,%rax,8)
 232 ; CHECK: incq    %rax
 233 ; CHECK: cmpq    %rax, %rcx
 234 ; CHECK: jne
 235
 236 define i64 @count_me_1(double* nocapture %A, double* nocapture %B, double* nocapture %C, i64 %n) nounwind {
 237 entry:
 238   %t0 = icmp sgt i64 %n, 0
 239   br i1 %t0, label %loop, label %return
 240
 241 loop:
 242   %i = phi i64 [ %i.next, %loop ], [ 0, %entry ]
 243   %Ai = getelementptr inbounds double, double* %A, i64 %i
 244   %Bi = getelementptr inbounds double, double* %B, i64 %i
 245   %Ci = getelementptr inbounds double, double* %C, i64 %i
 246   %t1 = load double, double* %Bi
 247   %t2 = load double, double* %Ci
 248   %m = fmul double %t1, %t2
 249   store double %m, double* %Ai
 250   %i.next = add nsw i64 %i, 1
 251   %exitcond = icmp eq i64 %i.next, %n
 252   br i1 %exitcond, label %return, label %loop
 253
 254 return:
 255   %q = phi i64 [ 0, %entry ], [ %n, %loop ]
 256   ret i64 %q
 257 }
 258
 259 ; Full strength reduction doesn't save any registers here because the
 260 ; loop tripcount is a constant.
 261
 262 ; CHECK-LABEL: count_me_2:
 263 ; CHECK: movl    $10, %eax
 264 ; CHECK: align
 265 ; CHECK: BB6_1:
 266 ; CHECK: movsd   -40(%rdi,%rax,8), %xmm0
 267 ; CHECK: addsd   -40(%rsi,%rax,8), %xmm0
 268 ; CHECK: movsd   %xmm0, -40(%rdx,%rax,8)
 269 ; CHECK: movsd   (%rdi,%rax,8), %xmm0
 270 ; CHECK: subsd   (%rsi,%rax,8), %xmm0
 271 ; CHECK: movsd   %xmm0, (%rdx,%rax,8)
 272 ; CHECK: incq    %rax
 273 ; CHECK: cmpq    $5010, %rax
 274 ; CHECK: jne
 275
 276 define void @count_me_2(double* nocapture %A, double* nocapture %B, double* nocapture %C) nounwind {
 277 entry:
 278   br label %loop
 279
 280 loop:
 281   %i = phi i64 [ 0, %entry ], [ %i.next, %loop ]
 282   %i5 = add i64 %i, 5
 283   %Ai = getelementptr double, double* %A, i64 %i5
 284   %t2 = load double, double* %Ai
 285   %Bi = getelementptr double, double* %B, i64 %i5
 286   %t4 = load double, double* %Bi
 287   %t5 = fadd double %t2, %t4
 288   %Ci = getelementptr double, double* %C, i64 %i5
 289   store double %t5, double* %Ci
 290   %i10 = add i64 %i, 10
 291   %Ai10 = getelementptr double, double* %A, i64 %i10
 292   %t9 = load double, double* %Ai10
 293   %Bi10 = getelementptr double, double* %B, i64 %i10
 294   %t11 = load double, double* %Bi10
 295   %t12 = fsub double %t9, %t11
 296   %Ci10 = getelementptr double, double* %C, i64 %i10
 297   store double %t12, double* %Ci10
 298   %i.next = add i64 %i, 1
 299   %exitcond = icmp eq i64 %i.next, 5000
 300   br i1 %exitcond, label %return, label %loop
 301
 302 return:
 303   ret void
 304 }
 305
 306 ; This should be fully strength-reduced to reduce register pressure.
 307
 308 ; CHECK-LABEL: full_me_1:
 309 ; CHECK: align
 310 ; CHECK: BB7_1:
 311 ; CHECK: movsd   (%rdi), %xmm0
 312 ; CHECK: addsd   (%rsi), %xmm0
 313 ; CHECK: movsd   %xmm0, (%rdx)
 314 ; CHECK: movsd   40(%rdi), %xmm0
 315 ; CHECK: subsd   40(%rsi), %xmm0
 316 ; CHECK: movsd   %xmm0, 40(%rdx)
 317 ; CHECK: addq    $8, %rdi
 318 ; CHECK: addq    $8, %rsi
 319 ; CHECK: addq    $8, %rdx
 320 ; CHECK: decq    %rcx
 321 ; CHECK: jne
 322
 323 define void @full_me_1(double* nocapture %A, double* nocapture %B, double* nocapture %C, i64 %n) nounwind {
 324 entry:
 325   br label %loop
 326
 327 loop:
 328   %i = phi i64 [ 0, %entry ], [ %i.next, %loop ]
 329   %i5 = add i64 %i, 5
 330   %Ai = getelementptr double, double* %A, i64 %i5
 331   %t2 = load double, double* %Ai
 332   %Bi = getelementptr double, double* %B, i64 %i5
 333   %t4 = load double, double* %Bi
 334   %t5 = fadd double %t2, %t4
 335   %Ci = getelementptr double, double* %C, i64 %i5
 336   store double %t5, double* %Ci
 337   %i10 = add i64 %i, 10
 338   %Ai10 = getelementptr double, double* %A, i64 %i10
 339   %t9 = load double, double* %Ai10
 340   %Bi10 = getelementptr double, double* %B, i64 %i10
 341   %t11 = load double, double* %Bi10
 342   %t12 = fsub double %t9, %t11
 343   %Ci10 = getelementptr double, double* %C, i64 %i10
 344   store double %t12, double* %Ci10
 345   %i.next = add i64 %i, 1
 346   %exitcond = icmp eq i64 %i.next, %n
 347   br i1 %exitcond, label %return, label %loop
 348
 349 return:
 350   ret void
 351 }
 352
 353 ; This is a variation on full_me_0 in which the 0,+,1 induction variable
 354 ; has a non-address use, pinning that value in a register.
 355
 356 ; CHECK-LABEL: count_me_3:
 357 ; CHECK: call
 358 ; CHECK: movsd   (%r{{[^,]*}},%r{{[^,]*}},8), %xmm0
 359 ; CHECK: mulsd   (%r{{[^,]*}},%r{{[^,]*}},8), %xmm0
 360 ; CHECK: movsd   %xmm0, (%r{{[^,]*}},%r{{[^,]*}},8)
 361 ; CHECK: incq    %r{{.*}}
 362 ; CHECK: cmpq    %r{{.*}}, %r{{.*}}
 363 ; CHECK: jne
 364
 365 declare void @use(i64)
 366
 367 define void @count_me_3(double* nocapture %A, double* nocapture %B, double* nocapture %C, i64 %n) nounwind {
 368 entry:
 369   %t0 = icmp sgt i64 %n, 0
 370   br i1 %t0, label %loop, label %return
 371
 372 loop:
 373   %i = phi i64 [ %i.next, %loop ], [ 0, %entry ]
 374   call void @use(i64 %i)
 375   %Ai = getelementptr inbounds double, double* %A, i64 %i
 376   %Bi = getelementptr inbounds double, double* %B, i64 %i
 377   %Ci = getelementptr inbounds double, double* %C, i64 %i
 378   %t1 = load double, double* %Bi
 379   %t2 = load double, double* %Ci
 380   %m = fmul double %t1, %t2
 381   store double %m, double* %Ai
 382   %i.next = add nsw i64 %i, 1
 383   %exitcond = icmp eq i64 %i.next, %n
 384   br i1 %exitcond, label %return, label %loop
 385
 386 return:
 387   ret void
 388 }
 389
 390 ; LSR should use only one indvar for the inner loop.
 391 ; rdar://7657764
 392
 393 ; CHECK-LABEL: asd:
 394 ; CHECK: BB9_4:
 395 ; CHECK-NEXT: addl  (%r{{[^,]*}},%rdi,4), %e
 396 ; CHECK-NEXT: incq  %rdi
 397 ; CHECK-NEXT: cmpq  %rdi, %r{{[^,]*}}
 398 ; CHECK-NEXT: jg
 399
 400 %struct.anon = type { i32, [4200 x i32] }
 401
 402 @bars = common global [123123 x %struct.anon] zeroinitializer, align 32 ; <[123123 x %struct.anon]*> [#uses=2]
 403
 404 define i32 @asd(i32 %n) nounwind readonly {
 405 entry:
 406   %0 = icmp sgt i32 %n, 0                         ; <i1> [#uses=1]
 407   br i1 %0, label %bb.nph14, label %bb5
 408
 409 bb.nph14:                                         ; preds = %entry
 410   %tmp18 = zext i32 %n to i64                     ; <i64> [#uses=1]
 411   br label %bb
 412
 413 bb:                                               ; preds = %bb3, %bb.nph14
 414   %indvar16 = phi i64 [ 0, %bb.nph14 ], [ %indvar.next17, %bb3 ] ; <i64> [#uses=3]
 415   %s.113 = phi i32 [ 0, %bb.nph14 ], [ %s.0.lcssa, %bb3 ] ; <i32> [#uses=2]
 416   %scevgep2526 = getelementptr [123123 x %struct.anon], [123123 x %struct.anon]* @bars, i64 0, i64 %indvar16, i32 0 ; <i32*> [#uses=1]
 417   %1 = load i32, i32* %scevgep2526, align 4            ; <i32> [#uses=2]
 418   %2 = icmp sgt i32 %1, 0                         ; <i1> [#uses=1]
 419   br i1 %2, label %bb.nph, label %bb3
 420
 421 bb.nph:                                           ; preds = %bb
 422   %tmp23 = sext i32 %1 to i64                     ; <i64> [#uses=1]
 423   br label %bb1
 424
 425 bb1:                                              ; preds = %bb.nph, %bb1
 426   %indvar = phi i64 [ 0, %bb.nph ], [ %tmp19, %bb1 ] ; <i64> [#uses=2]
 427   %s.07 = phi i32 [ %s.113, %bb.nph ], [ %4, %bb1 ] ; <i32> [#uses=1]
 428   %c.08 = getelementptr [123123 x %struct.anon], [123123 x %struct.anon]* @bars, i64 0, i64 %indvar16, i32 1, i64 %indvar ; <i32*> [#uses=1]
 429   %3 = load i32, i32* %c.08, align 4                   ; <i32> [#uses=1]
 430   %4 = add nsw i32 %3, %s.07                      ; <i32> [#uses=2]
 431   %tmp19 = add i64 %indvar, 1                     ; <i64> [#uses=2]
 432   %5 = icmp sgt i64 %tmp23, %tmp19                ; <i1> [#uses=1]
 433   br i1 %5, label %bb1, label %bb3
 434
 435 bb3:                                              ; preds = %bb1, %bb
 436   %s.0.lcssa = phi i32 [ %s.113, %bb ], [ %4, %bb1 ] ; <i32> [#uses=2]
 437   %indvar.next17 = add i64 %indvar16, 1           ; <i64> [#uses=2]
 438   %exitcond = icmp eq i64 %indvar.next17, %tmp18  ; <i1> [#uses=1]
 439   br i1 %exitcond, label %bb5, label %bb
 440
 441 bb5:                                              ; preds = %bb3, %entry
 442   %s.1.lcssa = phi i32 [ 0, %entry ], [ %s.0.lcssa, %bb3 ] ; <i32> [#uses=1]
 443   ret i32 %s.1.lcssa
 444 }
 445
 446 ; Two loops here are of particular interest; the one at %bb21, where
 447 ; we don't want to leave extra induction variables around, or use an
 448 ; lea to compute an exit condition inside the loop:
 449
 450 ; CHECK-LABEL: test:
 451
 452 ; CHECK:      BB10_4:
 453 ; CHECK-NEXT:   movaps  %xmm{{.*}}, %xmm{{.*}}
 454 ; CHECK-NEXT:   addss   %xmm{{.*}}, %xmm{{.*}}
 455 ; CHECK-NEXT:   mulss   (%r{{[^,]*}}), %xmm{{.*}}
 456 ; CHECK-NEXT:   movss   %xmm{{.*}}, (%r{{[^,]*}})
 457 ; CHECK-NEXT:   addq    $4, %r{{.*}}
 458 ; CHECK-NEXT:   decq    %r{{.*}}
 459 ; CHECK-NEXT:   addq    $4, %r{{.*}}
 460 ; CHECK-NEXT:   movaps  %xmm{{.*}}, %xmm{{.*}}
 461 ; CHECK-NEXT: BB10_2:
 462 ; CHECK-NEXT:   testq   %r{{.*}}, %r{{.*}}
 463 ; CHECK-NEXT:   jle
 464 ; CHECK-NEXT:   testb   $15, %r{{.*}}
 465 ; CHECK-NEXT:   jne
 466
 467 ; And the one at %bb68, where we want to be sure to use superhero mode:
 468
 469 ; CHECK:      BB10_7:
 470 ; CHECK-NEXT:   movaps  48(%r{{[^,]*}}), %xmm{{.*}}
 471 ; CHECK-NEXT:   mulps   %xmm{{.*}}, %xmm{{.*}}
 472 ; CHECK-NEXT:   movaps  32(%r{{[^,]*}}), %xmm{{.*}}
 473 ; CHECK-NEXT:   mulps   %xmm{{.*}}, %xmm{{.*}}
 474 ; CHECK-NEXT:   movaps  16(%r{{[^,]*}}), %xmm{{.*}}
 475 ; CHECK-NEXT:   mulps   %xmm{{.*}}, %xmm{{.*}}
 476 ; CHECK-NEXT:   movaps  (%r{{[^,]*}}), %xmm{{.*}}
 477 ; CHECK-NEXT:   mulps   %xmm{{.*}}, %xmm{{.*}}
 478 ; CHECK-NEXT:   movaps  %xmm{{.*}}, (%r{{[^,]*}})
 479 ; CHECK-NEXT:   movaps  %xmm{{.*}}, 16(%r{{[^,]*}})
 480 ; CHECK-NEXT:   movaps  %xmm{{.*}}, 32(%r{{[^,]*}})
 481 ; CHECK-NEXT:   movaps  %xmm{{.*}}, 48(%r{{[^,]*}})
 482 ; CHECK-NEXT:   addps   %xmm{{.*}}, %xmm{{.*}}
 483 ; CHECK-NEXT:   addps   %xmm{{.*}}, %xmm{{.*}}
 484 ; CHECK-NEXT:   addps   %xmm{{.*}}, %xmm{{.*}}
 485 ; CHECK-NEXT:   addps   %xmm{{.*}}, %xmm{{.*}}
 486 ; CHECK-NEXT:   addq    $64, %r{{.*}}
 487 ; CHECK-NEXT:   addq    $64, %r{{.*}}
 488 ; CHECK-NEXT:   addq    $-16, %r{{.*}}
 489 ; CHECK-NEXT:   cmpq    $15, %r{{.*}}
 490 ; CHECK-NEXT:   jg
 491
 492 define void @test(float* %arg, i64 %arg1, float* nocapture %arg2, float* nocapture %arg3, float* %arg4, i64 %arg5, i64 %arg6) nounwind {
 493 bb:
 494   %t = alloca float, align 4                      ; <float*> [#uses=3]
 495   %t7 = alloca float, align 4                     ; <float*> [#uses=2]
 496   %t8 = load float, float* %arg3                         ; <float> [#uses=8]
 497   %t9 = ptrtoint float* %arg to i64               ; <i64> [#uses=1]
 498   %t10 = ptrtoint float* %arg4 to i64             ; <i64> [#uses=1]
 499   %t11 = xor i64 %t10, %t9                        ; <i64> [#uses=1]
 500   %t12 = and i64 %t11, 15                         ; <i64> [#uses=1]
 501   %t13 = icmp eq i64 %t12, 0                      ; <i1> [#uses=1]
 502   %t14 = xor i64 %arg1, 1                         ; <i64> [#uses=1]
 503   %t15 = xor i64 %arg5, 1                         ; <i64> [#uses=1]
 504   %t16 = or i64 %t15, %t14                        ; <i64> [#uses=1]
 505   %t17 = trunc i64 %t16 to i32                    ; <i32> [#uses=1]
 506   %t18 = icmp eq i32 %t17, 0                      ; <i1> [#uses=1]
 507   br i1 %t18, label %bb19, label %bb213
 508
 509 bb19:                                             ; preds = %bb
 510   %t20 = load float, float* %arg2                        ; <float> [#uses=1]
 511   br label %bb21
 512
 513 bb21:                                             ; preds = %bb32, %bb19
 514   %t22 = phi i64 [ %t36, %bb32 ], [ 0, %bb19 ]    ; <i64> [#uses=21]
 515   %t23 = phi float [ %t35, %bb32 ], [ %t20, %bb19 ] ; <float> [#uses=6]
 516   %t24 = sub i64 %arg6, %t22                      ; <i64> [#uses=4]
 517   %t25 = getelementptr float, float* %arg4, i64 %t22     ; <float*> [#uses=4]
 518   %t26 = getelementptr float, float* %arg, i64 %t22      ; <float*> [#uses=3]
 519   %t27 = icmp sgt i64 %t24, 0                     ; <i1> [#uses=1]
 520   br i1 %t27, label %bb28, label %bb37
 521
 522 bb28:                                             ; preds = %bb21
 523   %t29 = ptrtoint float* %t25 to i64              ; <i64> [#uses=1]
 524   %t30 = and i64 %t29, 15                         ; <i64> [#uses=1]
 525   %t31 = icmp eq i64 %t30, 0                      ; <i1> [#uses=1]
 526   br i1 %t31, label %bb37, label %bb32
 527
 528 bb32:                                             ; preds = %bb28
 529   %t33 = load float, float* %t26                         ; <float> [#uses=1]
 530   %t34 = fmul float %t23, %t33                    ; <float> [#uses=1]
 531   store float %t34, float* %t25
 532   %t35 = fadd float %t23, %t8                     ; <float> [#uses=1]
 533   %t36 = add i64 %t22, 1                          ; <i64> [#uses=1]
 534   br label %bb21
 535
 536 bb37:                                             ; preds = %bb28, %bb21
 537   %t38 = fmul float %t8, 4.000000e+00             ; <float> [#uses=1]
 538   store float %t38, float* %t
 539   %t39 = fmul float %t8, 1.600000e+01             ; <float> [#uses=1]
 540   store float %t39, float* %t7
 541   %t40 = fmul float %t8, 0.000000e+00             ; <float> [#uses=1]
 542   %t41 = fadd float %t23, %t40                    ; <float> [#uses=1]
 543   %t42 = insertelement <4 x float> undef, float %t41, i32 0 ; <<4 x float>> [#uses=1]
 544   %t43 = fadd float %t23, %t8                     ; <float> [#uses=1]
 545   %t44 = insertelement <4 x float> %t42, float %t43, i32 1 ; <<4 x float>> [#uses=1]
 546   %t45 = fmul float %t8, 2.000000e+00             ; <float> [#uses=1]
 547   %t46 = fadd float %t23, %t45                    ; <float> [#uses=1]
 548   %t47 = insertelement <4 x float> %t44, float %t46, i32 2 ; <<4 x float>> [#uses=1]
 549   %t48 = fmul float %t8, 3.000000e+00             ; <float> [#uses=1]
 550   %t49 = fadd float %t23, %t48                    ; <float> [#uses=1]
 551   %t50 = insertelement <4 x float> %t47, float %t49, i32 3 ; <<4 x float>> [#uses=5]
 552   %t51 = call <4 x float> asm "movss $1, $0\09\0Apshufd $$0, $0, $0", "=x,*m,~{dirflag},~{fpsr},~{flags}"(float* %t) nounwind ; <<4 x float>> [#uses=3]
 553   %t52 = fadd <4 x float> %t50, %t51              ; <<4 x float>> [#uses=3]
 554   %t53 = fadd <4 x float> %t52, %t51              ; <<4 x float>> [#uses=3]
 555   %t54 = fadd <4 x float> %t53, %t51              ; <<4 x float>> [#uses=2]
 556   %t55 = call <4 x float> asm "movss $1, $0\09\0Apshufd $$0, $0, $0", "=x,*m,~{dirflag},~{fpsr},~{flags}"(float* %t7) nounwind ; <<4 x float>> [#uses=8]
 557   %t56 = icmp sgt i64 %t24, 15                    ; <i1> [#uses=2]
 558   br i1 %t13, label %bb57, label %bb118
 559
 560 bb57:                                             ; preds = %bb37
 561   br i1 %t56, label %bb61, label %bb112
 562
 563 bb58:                                             ; preds = %bb68
 564   %t59 = getelementptr float, float* %arg, i64 %t78      ; <float*> [#uses=1]
 565   %t60 = getelementptr float, float* %arg4, i64 %t78     ; <float*> [#uses=1]
 566   br label %bb112
 567
 568 bb61:                                             ; preds = %bb57
 569   %t62 = add i64 %t22, 16                         ; <i64> [#uses=1]
 570   %t63 = add i64 %t22, 4                          ; <i64> [#uses=1]
 571   %t64 = add i64 %t22, 8                          ; <i64> [#uses=1]
 572   %t65 = add i64 %t22, 12                         ; <i64> [#uses=1]
 573   %t66 = add i64 %arg6, -16                       ; <i64> [#uses=1]
 574   %t67 = sub i64 %t66, %t22                       ; <i64> [#uses=1]
 575   br label %bb68
 576
 577 bb68:                                             ; preds = %bb68, %bb61
 578   %t69 = phi i64 [ 0, %bb61 ], [ %t111, %bb68 ]   ; <i64> [#uses=3]
 579   %t70 = phi <4 x float> [ %t54, %bb61 ], [ %t107, %bb68 ] ; <<4 x float>> [#uses=2]
 580   %t71 = phi <4 x float> [ %t50, %bb61 ], [ %t103, %bb68 ] ; <<4 x float>> [#uses=2]
 581   %t72 = phi <4 x float> [ %t53, %bb61 ], [ %t108, %bb68 ] ; <<4 x float>> [#uses=2]
 582   %t73 = phi <4 x float> [ %t52, %bb61 ], [ %t109, %bb68 ] ; <<4 x float>> [#uses=2]
 583   %t74 = shl i64 %t69, 4                          ; <i64> [#uses=5]
 584   %t75 = add i64 %t22, %t74                       ; <i64> [#uses=2]
 585   %t76 = getelementptr float, float* %arg, i64 %t75      ; <float*> [#uses=1]
 586   %t77 = bitcast float* %t76 to <4 x float>*      ; <<4 x float>*> [#uses=1]
 587   %t78 = add i64 %t62, %t74                       ; <i64> [#uses=2]
 588   %t79 = add i64 %t63, %t74                       ; <i64> [#uses=2]
 589   %t80 = getelementptr float, float* %arg, i64 %t79      ; <float*> [#uses=1]
 590   %t81 = bitcast float* %t80 to <4 x float>*      ; <<4 x float>*> [#uses=1]
 591   %t82 = add i64 %t64, %t74                       ; <i64> [#uses=2]
 592   %t83 = getelementptr float, float* %arg, i64 %t82      ; <float*> [#uses=1]
 593   %t84 = bitcast float* %t83 to <4 x float>*      ; <<4 x float>*> [#uses=1]
 594   %t85 = add i64 %t65, %t74                       ; <i64> [#uses=2]
 595   %t86 = getelementptr float, float* %arg, i64 %t85      ; <float*> [#uses=1]
 596   %t87 = bitcast float* %t86 to <4 x float>*      ; <<4 x float>*> [#uses=1]
 597   %t88 = getelementptr float, float* %arg4, i64 %t75     ; <float*> [#uses=1]
 598   %t89 = bitcast float* %t88 to <4 x float>*      ; <<4 x float>*> [#uses=1]
 599   %t90 = getelementptr float, float* %arg4, i64 %t79     ; <float*> [#uses=1]
 600   %t91 = bitcast float* %t90 to <4 x float>*      ; <<4 x float>*> [#uses=1]
 601   %t92 = getelementptr float, float* %arg4, i64 %t82     ; <float*> [#uses=1]
 602   %t93 = bitcast float* %t92 to <4 x float>*      ; <<4 x float>*> [#uses=1]
 603   %t94 = getelementptr float, float* %arg4, i64 %t85     ; <float*> [#uses=1]
 604   %t95 = bitcast float* %t94 to <4 x float>*      ; <<4 x float>*> [#uses=1]
 605   %t96 = mul i64 %t69, -16                        ; <i64> [#uses=1]
 606   %t97 = add i64 %t67, %t96                       ; <i64> [#uses=2]
 607   %t98 = load <4 x float>, <4 x float>* %t77                   ; <<4 x float>> [#uses=1]
 608   %t99 = load <4 x float>, <4 x float>* %t81                   ; <<4 x float>> [#uses=1]
 609   %t100 = load <4 x float>, <4 x float>* %t84                  ; <<4 x float>> [#uses=1]
 610   %t101 = load <4 x float>, <4 x float>* %t87                  ; <<4 x float>> [#uses=1]
 611   %t102 = fmul <4 x float> %t98, %t71             ; <<4 x float>> [#uses=1]
 612   %t103 = fadd <4 x float> %t71, %t55             ; <<4 x float>> [#uses=2]
 613   %t104 = fmul <4 x float> %t99, %t73             ; <<4 x float>> [#uses=1]
 614   %t105 = fmul <4 x float> %t100, %t72            ; <<4 x float>> [#uses=1]
 615   %t106 = fmul <4 x float> %t101, %t70            ; <<4 x float>> [#uses=1]
 616   store <4 x float> %t102, <4 x float>* %t89
 617   store <4 x float> %t104, <4 x float>* %t91
 618   store <4 x float> %t105, <4 x float>* %t93
 619   store <4 x float> %t106, <4 x float>* %t95
 620   %t107 = fadd <4 x float> %t70, %t55             ; <<4 x float>> [#uses=1]
 621   %t108 = fadd <4 x float> %t72, %t55             ; <<4 x float>> [#uses=1]
 622   %t109 = fadd <4 x float> %t73, %t55             ; <<4 x float>> [#uses=1]
 623   %t110 = icmp sgt i64 %t97, 15                   ; <i1> [#uses=1]
 624   %t111 = add i64 %t69, 1                         ; <i64> [#uses=1]
 625   br i1 %t110, label %bb68, label %bb58
 626
 627 bb112:                                            ; preds = %bb58, %bb57
 628   %t113 = phi float* [ %t59, %bb58 ], [ %t26, %bb57 ] ; <float*> [#uses=1]
 629   %t114 = phi float* [ %t60, %bb58 ], [ %t25, %bb57 ] ; <float*> [#uses=1]
 630   %t115 = phi <4 x float> [ %t103, %bb58 ], [ %t50, %bb57 ] ; <<4 x float>> [#uses=1]
 631   %t116 = phi i64 [ %t97, %bb58 ], [ %t24, %bb57 ] ; <i64> [#uses=1]
 632   %t117 = call <4 x float> asm "movss $1, $0\09\0Apshufd $$0, $0, $0", "=x,*m,~{dirflag},~{fpsr},~{flags}"(float* %t) nounwind ; <<4 x float>> [#uses=0]
 633   br label %bb194
 634
 635 bb118:                                            ; preds = %bb37
 636   br i1 %t56, label %bb122, label %bb194
 637
 638 bb119:                                            ; preds = %bb137
 639   %t120 = getelementptr float, float* %arg, i64 %t145    ; <float*> [#uses=1]
 640   %t121 = getelementptr float, float* %arg4, i64 %t145   ; <float*> [#uses=1]
 641   br label %bb194
 642
 643 bb122:                                            ; preds = %bb118
 644   %t123 = add i64 %t22, -1                        ; <i64> [#uses=1]
 645   %t124 = getelementptr inbounds float, float* %arg, i64 %t123 ; <float*> [#uses=1]
 646   %t125 = bitcast float* %t124 to <4 x float>*    ; <<4 x float>*> [#uses=1]
 647   %t126 = load <4 x float>, <4 x float>* %t125                 ; <<4 x float>> [#uses=1]
 648   %t127 = add i64 %t22, 16                        ; <i64> [#uses=1]
 649   %t128 = add i64 %t22, 3                         ; <i64> [#uses=1]
 650   %t129 = add i64 %t22, 7                         ; <i64> [#uses=1]
 651   %t130 = add i64 %t22, 11                        ; <i64> [#uses=1]
 652   %t131 = add i64 %t22, 15                        ; <i64> [#uses=1]
 653   %t132 = add i64 %t22, 4                         ; <i64> [#uses=1]
 654   %t133 = add i64 %t22, 8                         ; <i64> [#uses=1]
 655   %t134 = add i64 %t22, 12                        ; <i64> [#uses=1]
 656   %t135 = add i64 %arg6, -16                      ; <i64> [#uses=1]
 657   %t136 = sub i64 %t135, %t22                     ; <i64> [#uses=1]
 658   br label %bb137
 659
 660 bb137:                                            ; preds = %bb137, %bb122
 661   %t138 = phi i64 [ 0, %bb122 ], [ %t193, %bb137 ] ; <i64> [#uses=3]
 662   %t139 = phi <4 x float> [ %t54, %bb122 ], [ %t189, %bb137 ] ; <<4 x float>> [#uses=2]
 663   %t140 = phi <4 x float> [ %t50, %bb122 ], [ %t185, %bb137 ] ; <<4 x float>> [#uses=2]
 664   %t141 = phi <4 x float> [ %t53, %bb122 ], [ %t190, %bb137 ] ; <<4 x float>> [#uses=2]
 665   %t142 = phi <4 x float> [ %t52, %bb122 ], [ %t191, %bb137 ] ; <<4 x float>> [#uses=2]
 666   %t143 = phi <4 x float> [ %t126, %bb122 ], [ %t175, %bb137 ] ; <<4 x float>> [#uses=1]
 667   %t144 = shl i64 %t138, 4                        ; <i64> [#uses=9]
 668   %t145 = add i64 %t127, %t144                    ; <i64> [#uses=2]
 669   %t146 = add i64 %t128, %t144                    ; <i64> [#uses=1]
 670   %t147 = getelementptr float, float* %arg, i64 %t146    ; <float*> [#uses=1]
 671   %t148 = bitcast float* %t147 to <4 x float>*    ; <<4 x float>*> [#uses=1]
 672   %t149 = add i64 %t129, %t144                    ; <i64> [#uses=1]
 673   %t150 = getelementptr float, float* %arg, i64 %t149    ; <float*> [#uses=1]
 674   %t151 = bitcast float* %t150 to <4 x float>*    ; <<4 x float>*> [#uses=1]
 675   %t152 = add i64 %t130, %t144                    ; <i64> [#uses=1]
 676   %t153 = getelementptr float, float* %arg, i64 %t152    ; <float*> [#uses=1]
 677   %t154 = bitcast float* %t153 to <4 x float>*    ; <<4 x float>*> [#uses=1]
 678   %t155 = add i64 %t131, %t144                    ; <i64> [#uses=1]
 679   %t156 = getelementptr float, float* %arg, i64 %t155    ; <float*> [#uses=1]
 680   %t157 = bitcast float* %t156 to <4 x float>*    ; <<4 x float>*> [#uses=1]
 681   %t158 = add i64 %t22, %t144                     ; <i64> [#uses=1]
 682   %t159 = getelementptr float, float* %arg4, i64 %t158   ; <float*> [#uses=1]
 683   %t160 = bitcast float* %t159 to <4 x float>*    ; <<4 x float>*> [#uses=1]
 684   %t161 = add i64 %t132, %t144                    ; <i64> [#uses=1]
 685   %t162 = getelementptr float, float* %arg4, i64 %t161   ; <float*> [#uses=1]
 686   %t163 = bitcast float* %t162 to <4 x float>*    ; <<4 x float>*> [#uses=1]
 687   %t164 = add i64 %t133, %t144                    ; <i64> [#uses=1]
 688   %t165 = getelementptr float, float* %arg4, i64 %t164   ; <float*> [#uses=1]
 689   %t166 = bitcast float* %t165 to <4 x float>*    ; <<4 x float>*> [#uses=1]
 690   %t167 = add i64 %t134, %t144                    ; <i64> [#uses=1]
 691   %t168 = getelementptr float, float* %arg4, i64 %t167   ; <float*> [#uses=1]
 692   %t169 = bitcast float* %t168 to <4 x float>*    ; <<4 x float>*> [#uses=1]
 693   %t170 = mul i64 %t138, -16                      ; <i64> [#uses=1]
 694   %t171 = add i64 %t136, %t170                    ; <i64> [#uses=2]
 695   %t172 = load <4 x float>, <4 x float>* %t148                 ; <<4 x float>> [#uses=2]
 696   %t173 = load <4 x float>, <4 x float>* %t151                 ; <<4 x float>> [#uses=2]
 697   %t174 = load <4 x float>, <4 x float>* %t154                 ; <<4 x float>> [#uses=2]
 698   %t175 = load <4 x float>, <4 x float>* %t157                 ; <<4 x float>> [#uses=2]
 699   %t176 = shufflevector <4 x float> %t143, <4 x float> %t172, <4 x i32> <i32 4, i32 1, i32 2, i32 3> ; <<4 x float>> [#uses=1]
 700   %t177 = shufflevector <4 x float> %t176, <4 x float> undef, <4 x i32> <i32 1, i32 2, i32 3, i32 0> ; <<4 x float>> [#uses=1]
 701   %t178 = shufflevector <4 x float> %t172, <4 x float> %t173, <4 x i32> <i32 4, i32 1, i32 2, i32 3> ; <<4 x float>> [#uses=1]
 702   %t179 = shufflevector <4 x float> %t178, <4 x float> undef, <4 x i32> <i32 1, i32 2, i32 3, i32 0> ; <<4 x float>> [#uses=1]
 703   %t180 = shufflevector <4 x float> %t173, <4 x float> %t174, <4 x i32> <i32 4, i32 1, i32 2, i32 3> ; <<4 x float>> [#uses=1]
 704   %t181 = shufflevector <4 x float> %t180, <4 x float> undef, <4 x i32> <i32 1, i32 2, i32 3, i32 0> ; <<4 x float>> [#uses=1]
 705   %t182 = shufflevector <4 x float> %t174, <4 x float> %t175, <4 x i32> <i32 4, i32 1, i32 2, i32 3> ; <<4 x float>> [#uses=1]
 706   %t183 = shufflevector <4 x float> %t182, <4 x float> undef, <4 x i32> <i32 1, i32 2, i32 3, i32 0> ; <<4 x float>> [#uses=1]
 707   %t184 = fmul <4 x float> %t177, %t140           ; <<4 x float>> [#uses=1]
 708   %t185 = fadd <4 x float> %t140, %t55            ; <<4 x float>> [#uses=2]
 709   %t186 = fmul <4 x float> %t179, %t142           ; <<4 x float>> [#uses=1]
 710   %t187 = fmul <4 x float> %t181, %t141           ; <<4 x float>> [#uses=1]
 711   %t188 = fmul <4 x float> %t183, %t139           ; <<4 x float>> [#uses=1]
 712   store <4 x float> %t184, <4 x float>* %t160
 713   store <4 x float> %t186, <4 x float>* %t163
 714   store <4 x float> %t187, <4 x float>* %t166
 715   store <4 x float> %t188, <4 x float>* %t169
 716   %t189 = fadd <4 x float> %t139, %t55            ; <<4 x float>> [#uses=1]
 717   %t190 = fadd <4 x float> %t141, %t55            ; <<4 x float>> [#uses=1]
 718   %t191 = fadd <4 x float> %t142, %t55            ; <<4 x float>> [#uses=1]
 719   %t192 = icmp sgt i64 %t171, 15                  ; <i1> [#uses=1]
 720   %t193 = add i64 %t138, 1                        ; <i64> [#uses=1]
 721   br i1 %t192, label %bb137, label %bb119
 722
 723 bb194:                                            ; preds = %bb119, %bb118, %bb112
 724   %t195 = phi i64 [ %t116, %bb112 ], [ %t171, %bb119 ], [ %t24, %bb118 ] ; <i64> [#uses=2]
 725   %t196 = phi <4 x float> [ %t115, %bb112 ], [ %t185, %bb119 ], [ %t50, %bb118 ] ; <<4 x float>> [#uses=1]
 726   %t197 = phi float* [ %t114, %bb112 ], [ %t121, %bb119 ], [ %t25, %bb118 ] ; <float*> [#uses=1]
 727   %t198 = phi float* [ %t113, %bb112 ], [ %t120, %bb119 ], [ %t26, %bb118 ] ; <float*> [#uses=1]
 728   %t199 = extractelement <4 x float> %t196, i32 0 ; <float> [#uses=2]
 729   %t200 = icmp sgt i64 %t195, 0                   ; <i1> [#uses=1]
 730   br i1 %t200, label %bb201, label %bb211
 731
 732 bb201:                                            ; preds = %bb201, %bb194
 733   %t202 = phi i64 [ %t209, %bb201 ], [ 0, %bb194 ] ; <i64> [#uses=3]
 734   %t203 = phi float [ %t208, %bb201 ], [ %t199, %bb194 ] ; <float> [#uses=2]
 735   %t204 = getelementptr float, float* %t198, i64 %t202   ; <float*> [#uses=1]
 736   %t205 = getelementptr float, float* %t197, i64 %t202   ; <float*> [#uses=1]
 737   %t206 = load float, float* %t204                       ; <float> [#uses=1]
 738   %t207 = fmul float %t203, %t206                 ; <float> [#uses=1]
 739   store float %t207, float* %t205
 740   %t208 = fadd float %t203, %t8                   ; <float> [#uses=2]
 741   %t209 = add i64 %t202, 1                        ; <i64> [#uses=2]
 742   %t210 = icmp eq i64 %t209, %t195                ; <i1> [#uses=1]
 743   br i1 %t210, label %bb211, label %bb201
 744
 745 bb211:                                            ; preds = %bb201, %bb194
 746   %t212 = phi float [ %t199, %bb194 ], [ %t208, %bb201 ] ; <float> [#uses=1]
 747   store float %t212, float* %arg2
 748   ret void
 749
 750 bb213:                                            ; preds = %bb
 751   ret void
 752 }