test/Transforms/LoopStrengthReduce/2011-10-06-ReusePhi.ll

   1 ; RUN: opt -loop-reduce -S < %s | FileCheck %s
   2 ;
   3 ; Test LSR's intelligence regarding phi reuse.
   4 ; Verify that scaled GEPs are not reused. rdar://5064068
   5
   6 target triple = "x86-apple-darwin"
   7
   8 ; Provide legal integer types.
   9 target datalayout = "n8:16:32:64"
  10
  11
  12 ; CHECK-LABEL: @test(
  13 ; multiplies are hoisted out of the loop
  14 ; CHECK: while.body.lr.ph:
  15 ; CHECK: shl i64
  16 ; CHECK: shl i64
  17 ; GEPs are ugly
  18 ; CHECK: while.body:
  19 ; CHECK: phi
  20 ; CHECK: phi
  21 ; CHECK: phi
  22 ; CHECK: phi
  23 ; CHECK-NOT: phi
  24 ; CHECK: bitcast float* {{.*}} to i1*
  25 ; CHECK: bitcast float* {{.*}} to i1*
  26 ; CHECK: getelementptr i1, i1*
  27 ; CHECK: getelementptr i1, i1*
  28
  29 define float @test(float* nocapture %A, float* nocapture %B, i32 %N, i32 %IA, i32 %IB) nounwind uwtable readonly ssp {
  30 entry:
  31   %cmp1 = icmp sgt i32 %N, 0
  32   br i1 %cmp1, label %while.body.lr.ph, label %while.end
  33
  34 while.body.lr.ph:                                 ; preds = %entry
  35   %idx.ext = sext i32 %IA to i64
  36   %idx.ext2 = sext i32 %IB to i64
  37   br label %while.body
  38
  39 while.body:                                       ; preds = %while.body.lr.ph, %while.body
  40   %A.addr.05 = phi float* [ %A, %while.body.lr.ph ], [ %add.ptr, %while.body ]
  41   %B.addr.04 = phi float* [ %B, %while.body.lr.ph ], [ %add.ptr3, %while.body ]
  42   %N.addr.03 = phi i32 [ %N, %while.body.lr.ph ], [ %sub, %while.body ]
  43   %Sum0.02 = phi float [ 0.000000e+00, %while.body.lr.ph ], [ %add, %while.body ]
  44   %0 = load float, float* %A.addr.05, align 4
  45   %1 = load float, float* %B.addr.04, align 4
  46   %mul = fmul float %0, %1
  47   %add = fadd float %Sum0.02, %mul
  48   %add.ptr = getelementptr inbounds float, float* %A.addr.05, i64 %idx.ext
  49   %add.ptr3 = getelementptr inbounds float, float* %B.addr.04, i64 %idx.ext2
  50   %sub = add nsw i32 %N.addr.03, -1
  51   %cmp = icmp sgt i32 %sub, 0
  52   br i1 %cmp, label %while.body, label %while.end
  53
  54 while.end:                                        ; preds = %while.body, %entry
  55   %Sum0.0.lcssa = phi float [ 0.000000e+00, %entry ], [ %add, %while.body ]
  56   ret float %Sum0.0.lcssa
  57 }