test/Transforms/IndVarSimplify/loop-invariant-step.ll

   1 ; RUN: opt < %s -loop-index-split -instcombine -indvars -disable-output
   2 ; PR4455
   3
   4 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"
   5
   6 declare i8* @fast_memcpy(i8*, i8*, i64)
   7
   8 define void @dvdsub_decode() nounwind {
   9 entry:          ; preds = %bb1
  10         br label %LoopA
  11
  12 LoopA:          ; preds = %LoopA, %entry
  13         %x1.0.i17 = phi i32 [ %t0, %LoopA ], [ 0, %entry ]              ; <i32> [#uses=2]
  14         %t0 = add i32 %x1.0.i17, 1              ; <i32> [#uses=1]
  15         br i1 undef, label %LoopA, label %middle
  16
  17 middle:         ; preds = %LoopA
  18         %t1 = sub i32 0, %x1.0.i17              ; <i32> [#uses=1]
  19         %t2 = add i32 %t1, 1            ; <i32> [#uses=1]
  20         br label %LoopB
  21
  22 LoopB:          ; preds = %LoopB, %bb.nph.i27
  23         %y.029.i = phi i32 [ 0, %middle ], [ %t7, %LoopB ]              ; <i32> [#uses=2]
  24         %t3 = mul i32 %y.029.i, %t2             ; <i32> [#uses=1]
  25         %t4 = sext i32 %t3 to i64               ; <i64> [#uses=1]
  26         %t5 = getelementptr i8* null, i64 %t4           ; <i8*> [#uses=1]
  27         %t6 = call i8* @fast_memcpy(i8* %t5, i8* undef, i64 undef) nounwind             ; <i8*> [#uses=0]
  28         %t7 = add i32 %y.029.i, 1               ; <i32> [#uses=1]
  29         br i1 undef, label %LoopB, label %exit
  30
  31 exit:
  32         ret void
  33 }