llvm/test/Transforms/LoopStrengthReduce/X86/2012-01-13-phielim.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -S -loop-reduce -mtriple=x86_64-- -mcpu=core2 | FileCheck %s
   3
   4 declare i1 @check() nounwind
   5 declare i1 @foo(ptr, ptr, ptr) nounwind
   6
   7 ; Check that redundant phi elimination ran
   8 define i32 @test(ptr %base) nounwind uwtable ssp {
   9 ; CHECK-LABEL: @test(
  10 ; CHECK-NEXT:  entry:
  11 ; CHECK-NEXT:    br label [[WHILE_BODY_LR_PH_I:%.*]]
  12 ; CHECK:       while.body.lr.ph.i:
  13 ; CHECK-NEXT:    [[UGLYGEP:%.*]] = getelementptr i8, ptr [[BASE:%.*]], i64 16
  14 ; CHECK-NEXT:    br label [[WHILE_BODY_I:%.*]]
  15 ; CHECK:       while.body.i:
  16 ; CHECK-NEXT:    [[INDVARS_IV7_I:%.*]] = phi i64 [ 16, [[WHILE_BODY_LR_PH_I]] ], [ [[INDVARS_IV_NEXT8_I:%.*]], [[COND_TRUE29_I:%.*]] ]
  17 ; CHECK-NEXT:    [[I_05_I:%.*]] = phi i64 [ 0, [[WHILE_BODY_LR_PH_I]] ], [ [[INDVARS_IV7_I]], [[COND_TRUE29_I]] ]
  18 ; CHECK-NEXT:    [[LSR4:%.*]] = trunc i64 [[I_05_I]] to i32
  19 ; CHECK-NEXT:    [[TMP0:%.*]] = sext i32 [[LSR4]] to i64
  20 ; CHECK-NEXT:    [[UGLYGEP1:%.*]] = getelementptr i8, ptr [[UGLYGEP]], i64 [[TMP0]]
  21 ; CHECK-NEXT:    [[SEXT_I:%.*]] = shl i64 [[I_05_I]], 32
  22 ; CHECK-NEXT:    [[IDX_EXT_I:%.*]] = ashr exact i64 [[SEXT_I]], 32
  23 ; CHECK-NEXT:    [[ADD_PTR_SUM_I:%.*]] = add i64 [[IDX_EXT_I]], 16
  24 ; CHECK-NEXT:    br label [[FOR_BODY_I:%.*]]
  25 ; CHECK:       for.body.i:
  26 ; CHECK-NEXT:    [[LSR_IV2:%.*]] = phi ptr [ [[UGLYGEP3:%.*]], [[FOR_BODY_I]] ], [ [[UGLYGEP1]], [[WHILE_BODY_I]] ]
  27 ; CHECK-NEXT:    [[TMP1:%.*]] = load i8, ptr [[LSR_IV2]], align 1
  28 ; CHECK-NEXT:    [[CMP:%.*]] = call i1 @check() #[[ATTR3:[0-9]+]]
  29 ; CHECK-NEXT:    [[UGLYGEP3]] = getelementptr i8, ptr [[LSR_IV2]], i64 1
  30 ; CHECK-NEXT:    br i1 [[CMP]], label [[FOR_END_I:%.*]], label [[FOR_BODY_I]]
  31 ; CHECK:       for.end.i:
  32 ; CHECK-NEXT:    [[ADD_PTR_I144:%.*]] = getelementptr inbounds i8, ptr [[BASE]], i64 [[ADD_PTR_SUM_I]]
  33 ; CHECK-NEXT:    [[CMP2:%.*]] = tail call i1 @foo(ptr [[ADD_PTR_I144]], ptr [[ADD_PTR_I144]], ptr undef) #[[ATTR3]]
  34 ; CHECK-NEXT:    br i1 [[CMP2]], label [[COND_TRUE29_I]], label [[COND_FALSE35_I:%.*]]
  35 ; CHECK:       cond.true29.i:
  36 ; CHECK-NEXT:    [[INDVARS_IV_NEXT8_I]] = add i64 [[INDVARS_IV7_I]], 16
  37 ; CHECK-NEXT:    br i1 false, label [[EXIT:%.*]], label [[WHILE_BODY_I]]
  38 ; CHECK:       cond.false35.i:
  39 ; CHECK-NEXT:    unreachable
  40 ; CHECK:       exit:
  41 ; CHECK-NEXT:    ret i32 0
  42 ;
  43 entry:
  44   br label %while.body.lr.ph.i
  45
  46 while.body.lr.ph.i:                               ; preds = %cond.true.i
  47   br label %while.body.i
  48
  49 while.body.i:                                     ; preds = %cond.true29.i, %while.body.lr.ph.i
  50   %indvars.iv7.i = phi i64 [ 16, %while.body.lr.ph.i ], [ %indvars.iv.next8.i, %cond.true29.i ]
  51   %i.05.i = phi i64 [ 0, %while.body.lr.ph.i ], [ %indvars.iv7.i, %cond.true29.i ]
  52   %sext.i = shl i64 %i.05.i, 32
  53   %idx.ext.i = ashr exact i64 %sext.i, 32
  54   %add.ptr.sum.i = add i64 %idx.ext.i, 16
  55   br label %for.body.i
  56
  57 for.body.i:                                       ; preds = %for.body.i, %while.body.i
  58   %indvars.iv.i = phi i64 [ 0, %while.body.i ], [ %indvars.iv.next.i, %for.body.i ]
  59   %add.ptr.sum = add i64 %add.ptr.sum.i, %indvars.iv.i
  60   %arrayidx22.i = getelementptr inbounds i8, ptr %base, i64 %add.ptr.sum
  61   %0 = load i8, ptr %arrayidx22.i, align 1
  62   %indvars.iv.next.i = add i64 %indvars.iv.i, 1
  63   %cmp = call i1 @check() nounwind
  64   br i1 %cmp, label %for.end.i, label %for.body.i
  65
  66 for.end.i:                                        ; preds = %for.body.i
  67   %add.ptr.i144 = getelementptr inbounds i8, ptr %base, i64 %add.ptr.sum.i
  68   %cmp2 = tail call i1 @foo(ptr %add.ptr.i144, ptr %add.ptr.i144, ptr undef) nounwind
  69   br i1 %cmp2, label %cond.true29.i, label %cond.false35.i
  70
  71 cond.true29.i:                                    ; preds = %for.end.i
  72   %indvars.iv.next8.i = add i64 %indvars.iv7.i, 16
  73   br i1 false, label %exit, label %while.body.i
  74
  75 cond.false35.i:                                   ; preds = %for.end.i
  76   unreachable
  77
  78 exit:                                 ; preds = %cond.true29.i, %cond.true.i
  79   ret i32 0
  80 }
  81
  82 %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771 = type { i32, i32, i32 }
  83
  84 @tags = external global [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], align 16
  85
  86 ; PR11782: SCEVExpander assert
  87 ;
  88 ; Test phi reuse after LSR that requires SCEVExpander to hoist an
  89 ; interesting GEP.
  90 ;
  91 define void @test2(i32 %n) nounwind uwtable {
  92 ; CHECK-LABEL: @test2(
  93 ; CHECK-NEXT:  entry:
  94 ; CHECK-NEXT:    br i1 undef, label [[WHILE_END:%.*]], label [[FOR_COND468_PREHEADER:%.*]]
  95 ; CHECK:       for.cond468.preheader:
  96 ; CHECK-NEXT:    br label [[FOR_COND468:%.*]]
  97 ; CHECK:       for.cond468:
  98 ; CHECK-NEXT:    [[LSR_IV1:%.*]] = phi i32 [ 1, [[FOR_COND468_PREHEADER]] ], [ [[LSR_IV_NEXT:%.*]], [[IF_THEN477:%.*]] ]
  99 ; CHECK-NEXT:    [[LSR_IV:%.*]] = phi ptr [ getelementptr inbounds ([5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], ptr @tags, i64 0, i64 0, i32 2), [[FOR_COND468_PREHEADER]] ], [ [[UGLYGEP:%.*]], [[IF_THEN477]] ]
 100 ; CHECK-NEXT:    [[K_0:%.*]] = load i32, ptr [[LSR_IV]], align 4
 101 ; CHECK-NEXT:    [[CMP469:%.*]] = icmp slt i32 [[LSR_IV1]], [[N:%.*]]
 102 ; CHECK-NEXT:    br i1 [[CMP469]], label [[FOR_BODY471:%.*]], label [[FOR_INC498_PREHEADER:%.*]]
 103 ; CHECK:       for.body471:
 104 ; CHECK-NEXT:    [[UGLYGEP2:%.*]] = getelementptr i8, ptr [[LSR_IV]], i64 8
 105 ; CHECK-NEXT:    [[TMP0:%.*]] = load i32, ptr [[UGLYGEP2]], align 4
 106 ; CHECK-NEXT:    br i1 false, label [[IF_THEN477]], label [[FOR_INC498_PREHEADER]]
 107 ; CHECK:       for.inc498.preheader:
 108 ; CHECK-NEXT:    br label [[FOR_INC498:%.*]]
 109 ; CHECK:       if.then477:
 110 ; CHECK-NEXT:    [[UGLYGEP]] = getelementptr i8, ptr [[LSR_IV]], i64 12
 111 ; CHECK-NEXT:    [[LSR_IV_NEXT]] = add nuw nsw i32 [[LSR_IV1]], 1
 112 ; CHECK-NEXT:    br label [[FOR_COND468]]
 113 ; CHECK:       for.inc498:
 114 ; CHECK-NEXT:    br label [[FOR_INC498]]
 115 ; CHECK:       while.end:
 116 ; CHECK-NEXT:    ret void
 117 ;
 118 entry:
 119   br i1 undef, label %while.end, label %for.cond468
 120
 121 for.cond468:                                      ; preds = %if.then477, %entry
 122   %indvars.iv1163 = phi i64 [ %indvars.iv.next1164, %if.then477 ], [ 1, %entry ]
 123   %k.0.in = phi ptr [ %last, %if.then477 ], [ getelementptr inbounds ([5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], ptr @tags, i64 0, i64 0, i32 2), %entry ]
 124   %k.0 = load i32, ptr %k.0.in, align 4
 125   %0 = trunc i64 %indvars.iv1163 to i32
 126   %cmp469 = icmp slt i32 %0, %n
 127   br i1 %cmp469, label %for.body471, label %for.inc498
 128
 129 for.body471:                                      ; preds = %for.cond468
 130   %first = getelementptr inbounds [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], ptr @tags, i64 0, i64 %indvars.iv1163, i32 1
 131   %1 = load i32, ptr %first, align 4
 132   br i1 undef, label %if.then477, label %for.inc498
 133
 134 if.then477:                                       ; preds = %for.body471
 135   %last = getelementptr inbounds [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], ptr @tags, i64 0, i64 %indvars.iv1163, i32 2
 136   %indvars.iv.next1164 = add i64 %indvars.iv1163, 1
 137   br label %for.cond468
 138
 139 for.inc498:                                       ; preds = %for.inc498, %for.body471, %for.cond468
 140   br label %for.inc498
 141
 142 while.end:                                        ; preds = %entry
 143   ret void
 144 }
 145
 146 ; PR12898: SCEVExpander crash
 147 ; Test redundant phi elimination when the deleted phi's increment is
 148 ; itself a phi.
 149 ;
 150 define fastcc void @test3(double* nocapture %u) nounwind uwtable ssp {
 151 ; CHECK-LABEL: @test3(
 152 ; CHECK-NEXT:  entry:
 153 ; CHECK-NEXT:    br i1 undef, label [[MESHBB1_PREHEADER:%.*]], label [[MESHBB5:%.*]]
 154 ; CHECK:       meshBB1.preheader:
 155 ; CHECK-NEXT:    br label [[MESHBB1:%.*]]
 156 ; CHECK:       for.inc8.us.i:
 157 ; CHECK-NEXT:    br i1 true, label [[MESHBB1_LOOPEXIT:%.*]], label [[MESHBB:%.*]]
 158 ; CHECK:       for.body3.us.i:
 159 ; CHECK-NEXT:    [[INDVARS_IV_I_SV_PHI:%.*]] = phi i64 [ [[INDVARS_IV_NEXT_I:%.*]], [[MESHBB]] ], [ 0, [[FOR_BODY3_LR_PH_US_I:%.*]] ]
 160 ; CHECK-NEXT:    [[OPQ_SA_CALC12:%.*]] = sub i32 undef, 227
 161 ; CHECK-NEXT:    [[TMP0:%.*]] = add i64 [[LSR_IV:%.*]], [[INDVARS_IV_I_SV_PHI]]
 162 ; CHECK-NEXT:    [[TMP:%.*]] = trunc i64 [[TMP0]] to i32
 163 ; CHECK-NEXT:    [[MUL_I_US_I:%.*]] = mul nsw i32 0, [[TMP]]
 164 ; CHECK-NEXT:    [[TMP1:%.*]] = shl nuw nsw i64 [[INDVARS_IV_I_SV_PHI]], 3
 165 ; CHECK-NEXT:    [[UGLYGEP:%.*]] = getelementptr i8, ptr [[U:%.*]], i64 [[TMP1]]
 166 ; CHECK-NEXT:    [[TMP2:%.*]] = load double, ptr [[UGLYGEP]], align 8
 167 ; CHECK-NEXT:    br i1 undef, label [[FOR_INC8_US_I:%.*]], label [[MESHBB]]
 168 ; CHECK:       for.body3.lr.ph.us.i.loopexit:
 169 ; CHECK-NEXT:    [[LSR_IV_NEXT:%.*]] = add i64 [[LSR_IV]], 1
 170 ; CHECK-NEXT:    br label [[FOR_BODY3_LR_PH_US_I]]
 171 ; CHECK:       for.body3.lr.ph.us.i:
 172 ; CHECK-NEXT:    [[LSR_IV]] = phi i64 [ [[LSR_IV_NEXT]], [[FOR_BODY3_LR_PH_US_I_LOOPEXIT:%.*]] ], [ undef, [[MESHBB1]] ]
 173 ; CHECK-NEXT:    [[ARRAYIDX_US_I:%.*]] = getelementptr inbounds double, ptr undef, i64 [[LSR_IV]]
 174 ; CHECK-NEXT:    br label [[FOR_BODY3_US_I:%.*]]
 175 ; CHECK:       for.inc8.us.i2:
 176 ; CHECK-NEXT:    unreachable
 177 ; CHECK:       eval_At_times_u.exit:
 178 ; CHECK-NEXT:    ret void
 179 ; CHECK:       meshBB:
 180 ; CHECK-NEXT:    [[MESHSTACKVARIABLE_PHI:%.*]] = phi i32 [ [[OPQ_SA_CALC12]], [[FOR_BODY3_US_I]] ], [ undef, [[FOR_INC8_US_I]] ]
 181 ; CHECK-NEXT:    [[INDVARS_IV_NEXT_I]] = add i64 [[INDVARS_IV_I_SV_PHI]], 1
 182 ; CHECK-NEXT:    br i1 true, label [[FOR_BODY3_LR_PH_US_I_LOOPEXIT]], label [[FOR_BODY3_US_I]]
 183 ; CHECK:       meshBB1.loopexit:
 184 ; CHECK-NEXT:    br label [[MESHBB1]]
 185 ; CHECK:       meshBB1:
 186 ; CHECK-NEXT:    br label [[FOR_BODY3_LR_PH_US_I]]
 187 ; CHECK:       meshBB5:
 188 ; CHECK-NEXT:    br i1 undef, label [[EVAL_AT_TIMES_U_EXIT:%.*]], label [[FOR_INC8_US_I2:%.*]]
 189 ;
 190 entry:
 191   br i1 undef, label %meshBB1, label %meshBB5
 192
 193 for.inc8.us.i:                                    ; preds = %for.body3.us.i
 194   br i1 undef, label %meshBB1, label %meshBB
 195
 196 for.body3.us.i:                                   ; preds = %meshBB, %for.body3.lr.ph.us.i
 197   %indvars.iv.i.SV.phi = phi i64 [ %indvars.iv.next.i, %meshBB ], [ 0, %for.body3.lr.ph.us.i ]
 198   %storemerge13.us.i.SV.phi = phi i32 [ 0, %meshBB ], [ 0, %for.body3.lr.ph.us.i ]
 199   %Opq.sa.calc12 = sub i32 undef, 227
 200   %0 = add nsw i64 %indvars.iv.i.SV.phi, %indvars.iv8.i.SV.phi26
 201   %1 = trunc i64 %0 to i32
 202   %mul.i.us.i = mul nsw i32 0, %1
 203   %arrayidx5.us.i = getelementptr inbounds double, ptr %u, i64 %indvars.iv.i.SV.phi
 204   %2 = load double, ptr %arrayidx5.us.i, align 8
 205   %indvars.iv.next.i = add i64 %indvars.iv.i.SV.phi, 1
 206   br i1 undef, label %for.inc8.us.i, label %meshBB
 207
 208 for.body3.lr.ph.us.i:                             ; preds = %meshBB1, %meshBB
 209   %indvars.iv8.i.SV.phi26 = phi i64 [ undef, %meshBB1 ], [ %indvars.iv8.i.SV.phi24, %meshBB ]
 210   %arrayidx.us.i = getelementptr inbounds double, ptr undef, i64 %indvars.iv8.i.SV.phi26
 211   %3 = add i64 %indvars.iv8.i.SV.phi26, 1
 212   br label %for.body3.us.i
 213
 214 for.inc8.us.i2:                                   ; preds = %meshBB5
 215   unreachable
 216
 217 eval_At_times_u.exit:                             ; preds = %meshBB5
 218   ret void
 219
 220 meshBB:                                           ; preds = %for.body3.us.i, %for.inc8.us.i
 221   %indvars.iv8.i.SV.phi24 = phi i64 [ undef, %for.body3.us.i ], [ %3, %for.inc8.us.i ]
 222   %meshStackVariable.phi = phi i32 [ %Opq.sa.calc12, %for.body3.us.i ], [ undef, %for.inc8.us.i ]
 223   br i1 undef, label %for.body3.lr.ph.us.i, label %for.body3.us.i
 224
 225 meshBB1:                                          ; preds = %for.inc8.us.i, %entry
 226   br label %for.body3.lr.ph.us.i
 227
 228 meshBB5:                                          ; preds = %entry
 229   br i1 undef, label %eval_At_times_u.exit, label %for.inc8.us.i2
 230 }