test/Transforms/LoopStrengthReduce/post-inc-icmpzero.ll

   1 ; RUN: opt -loop-reduce -S < %s | FileCheck %s
   2 ; PR9939
   3
   4 ; LSR should properly handle the post-inc offset when folding the
   5 ; non-IV operand of an icmp into the IV.
   6
   7 ; CHECK:   [[r1:%[a-z0-9\.]+]] = sub i64 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast
   8 ; CHECK:   [[r2:%[a-z0-9\.]+]] = lshr exact i64 [[r1]], 1
   9 ; CHECK:   [[r3:%[a-z0-9\.]+]] = bitcast i64 [[r2]] to i64
  10 ; CHECK: for.body.lr.ph:
  11 ; CHECK:   [[r4:%[a-z0-9]+]] = shl nuw i64 [[r3]], 1
  12 ; CHECK:   br label %for.body
  13 ; CHECK: for.body:
  14 ; CHECK:   %lsr.iv2 = phi i64 [ %lsr.iv.next, %for.body ], [ [[r4]], %for.body.lr.ph ]
  15 ; CHECK:   %lsr.iv.next = add i64 %lsr.iv2, -2
  16 ; CHECK:   %lsr.iv.next3 = inttoptr i64 %lsr.iv.next to i16*
  17 ; CHECK:   %cmp27 = icmp eq i16* %lsr.iv.next3, null
  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-n8:16:32:64"
  20
  21 %struct.Vector2 = type { i16*, [64 x i16], i32 }
  22
  23 @.str = private unnamed_addr constant [37 x i8] c"0123456789abcdefghijklmnopqrstuvwxyz\00"
  24
  25 define void @_Z15IntegerToStringjjR7Vector2(i32 %i, i32 %radix, %struct.Vector2* nocapture %result) nounwind noinline {
  26 entry:
  27   %buffer = alloca [33 x i16], align 16
  28   %add.ptr = getelementptr inbounds [33 x i16], [33 x i16]* %buffer, i64 0, i64 33
  29   %sub.ptr.lhs.cast = ptrtoint i16* %add.ptr to i64
  30   %sub.ptr.rhs.cast = ptrtoint i16* %add.ptr to i64
  31   br label %do.body
  32
  33 do.body:                                          ; preds = %do.body, %entry
  34   %0 = phi i64 [ %indvar.next44, %do.body ], [ 0, %entry ]
  35   %i.addr.0 = phi i32 [ %div, %do.body ], [ %i, %entry ]
  36   %tmp51 = sub i64 32, %0
  37   %incdec.ptr = getelementptr [33 x i16], [33 x i16]* %buffer, i64 0, i64 %tmp51
  38   %rem = urem i32 %i.addr.0, 10
  39   %div = udiv i32 %i.addr.0, 10
  40   %idxprom = zext i32 %rem to i64
  41   %arrayidx = getelementptr inbounds [37 x i8], [37 x i8]* @.str, i64 0, i64 %idxprom
  42   %tmp5 = load i8, i8* %arrayidx, align 1
  43   %conv = sext i8 %tmp5 to i16
  44   store i16 %conv, i16* %incdec.ptr, align 2
  45   %1 = icmp ugt i32 %i.addr.0, 9
  46   %indvar.next44 = add i64 %0, 1
  47   br i1 %1, label %do.body, label %do.end
  48
  49 do.end:                                           ; preds = %do.body
  50   %xap.0 = inttoptr i64 %0 to i1*
  51   %cap.0 = ptrtoint i1* %xap.0 to i64
  52   %sub.ptr.sub = sub i64 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast
  53   %sub.ptr.div39 = lshr exact i64 %sub.ptr.sub, 1
  54   %conv11 = trunc i64 %sub.ptr.div39 to i32
  55   %mLength = getelementptr inbounds %struct.Vector2, %struct.Vector2* %result, i64 0, i32 2
  56   %idx.ext21 = bitcast i64 %sub.ptr.div39 to i64
  57   %incdec.ptr.sum = add i64 %idx.ext21, -1
  58   %cp.0.sum = sub i64 %incdec.ptr.sum, %0
  59   %add.ptr22 = getelementptr [33 x i16], [33 x i16]* %buffer, i64 1, i64 %cp.0.sum
  60   %cmp2740 = icmp eq i64 %idx.ext21, 0
  61   br i1 %cmp2740, label %for.end, label %for.body.lr.ph
  62
  63 for.body.lr.ph:                                   ; preds = %do.end
  64   %tmp16 = load i32, i32* %mLength, align 4
  65   %mBegin = getelementptr inbounds %struct.Vector2, %struct.Vector2* %result, i64 0, i32 0
  66   %tmp14 = load i16*, i16** %mBegin, align 8
  67   %tmp48 = zext i32 %tmp16 to i64
  68   br label %for.body
  69
  70 for.body:                                         ; preds = %for.body, %for.body.lr.ph
  71   %indvar = phi i64 [ 0, %for.body.lr.ph ], [ %indvar.next, %for.body ]
  72   %tmp46 = add i64 %tmp51, %indvar
  73   %p.042 = getelementptr [33 x i16], [33 x i16]* %buffer, i64 0, i64 %tmp46
  74   %tmp47 = sub i64 %indvar, %0
  75   %incdec.ptr32 = getelementptr [33 x i16], [33 x i16]* %buffer, i64 1, i64 %tmp47
  76   %tmp49 = add i64 %tmp48, %indvar
  77   %dst.041 = getelementptr i16, i16* %tmp14, i64 %tmp49
  78   %tmp29 = load i16, i16* %p.042, align 2
  79   store i16 %tmp29, i16* %dst.041, align 2
  80   %cmp27 = icmp eq i16* %incdec.ptr32, %add.ptr22
  81   %indvar.next = add i64 %indvar, 1
  82   br i1 %cmp27, label %for.end.loopexit, label %for.body
  83
  84 for.end.loopexit:                                 ; preds = %for.body
  85   br label %for.end
  86
  87 for.end:                                          ; preds = %for.end.loopexit, %do.end
  88   %tmp38 = load i32, i32* %mLength, align 4
  89   %add = add i32 %tmp38, %conv11
  90   store i32 %add, i32* %mLength, align 4
  91   ret void
  92 }