Add some testcases for some of the recent ScalarEvolution bug fixes.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@74353 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/Transforms/IndVarSimplify/loop-invariant-step.ll b/test/Transforms/IndVarSimplify/loop-invariant-step.ll
new file mode 100644
index 0000000..40156ea
--- /dev/null
+++ b/test/Transforms/IndVarSimplify/loop-invariant-step.ll
@@ -0,0 +1,33 @@
+; RUN: llvm-as < %s | opt -loop-index-split -instcombine -indvars -disable-output
+; PR4455
+
+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"
+
+declare i8* @fast_memcpy(i8*, i8*, i64)
+
+define void @dvdsub_decode() nounwind {
+entry: ; preds = %bb1
+ br label %LoopA
+
+LoopA: ; preds = %LoopA, %entry
+ %x1.0.i17 = phi i32 [ %t0, %LoopA ], [ 0, %entry ] ; <i32> [#uses=2]
+ %t0 = add i32 %x1.0.i17, 1 ; <i32> [#uses=1]
+ br i1 undef, label %LoopA, label %middle
+
+middle: ; preds = %LoopA
+ %t1 = sub i32 0, %x1.0.i17 ; <i32> [#uses=1]
+ %t2 = add i32 %t1, 1 ; <i32> [#uses=1]
+ br label %LoopB
+
+LoopB: ; preds = %LoopB, %bb.nph.i27
+ %y.029.i = phi i32 [ 0, %middle ], [ %t7, %LoopB ] ; <i32> [#uses=2]
+ %t3 = mul i32 %y.029.i, %t2 ; <i32> [#uses=1]
+ %t4 = sext i32 %t3 to i64 ; <i64> [#uses=1]
+ %t5 = getelementptr i8* null, i64 %t4 ; <i8*> [#uses=1]
+ %t6 = call i8* @fast_memcpy(i8* %t5, i8* undef, i64 undef) nounwind ; <i8*> [#uses=0]
+ %t7 = add i32 %y.029.i, 1 ; <i32> [#uses=1]
+ br i1 undef, label %LoopB, label %exit
+
+exit:
+ ret void
+}