New testcase.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31808 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/LoopStrengthReduce/var_stride_used_by_compare.ll b/test/Transforms/LoopStrengthReduce/var_stride_used_by_compare.ll
new file mode 100644 (file)
index 0000000..4f619cd
--- /dev/null
+++ b/test/Transforms/LoopStrengthReduce/var_stride_used_by_compare.ll
@@ -0,0 +1,48 @@
+; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis &&
+
+; Base should not be i*3, it should be i*2.
+; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis | not grep 'mul.*%i, 3' &&
+
+; Indvar should not start at zero:
+; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis | not grep 'phi uint .* 0'
+
+; mul uint %i, 3
+
+; ModuleID = 't.bc'
+target datalayout = "e-p:32:32"
+target endian = little
+target pointersize = 32
+target triple = "i686-apple-darwin8"
+%flags2 = external global [8193 x sbyte], align 32             ; <[8193 x sbyte]*> [#uses=1]
+
+implementation   ; Functions:
+
+void %foo(int %k, int %i) {
+entry:
+       %i = cast int %i to uint                ; <uint> [#uses=2]
+       %k_addr.012 = shl int %i, ubyte 1               ; <int> [#uses=1]
+       %tmp14 = setgt int %k_addr.012, 8192            ; <bool> [#uses=1]
+       br bool %tmp14, label %return, label %bb.preheader
+
+bb.preheader:          ; preds = %entry
+       %tmp. = shl uint %i, ubyte 1            ; <uint> [#uses=1]
+       br label %bb
+
+bb:            ; preds = %bb, %bb.preheader
+       %indvar = phi uint [ %indvar.next, %bb ], [ 0, %bb.preheader ]          ; <uint> [#uses=2]
+       %tmp.15 = mul uint %indvar, %i          ; <uint> [#uses=1]
+       %tmp.16 = add uint %tmp.15, %tmp.               ; <uint> [#uses=2]
+       %k_addr.0.0 = cast uint %tmp.16 to int          ; <int> [#uses=1]
+       %tmp = getelementptr [8193 x sbyte]* %flags2, int 0, uint %tmp.16               ; <sbyte*> [#uses=1]
+       store sbyte 0, sbyte* %tmp
+       %k_addr.0 = add int %k_addr.0.0, %i             ; <int> [#uses=1]
+       %tmp = setgt int %k_addr.0, 8192                ; <bool> [#uses=1]
+       %indvar.next = add uint %indvar, 1              ; <uint> [#uses=1]
+       br bool %tmp, label %return.loopexit, label %bb
+
+return.loopexit:               ; preds = %bb
+       br label %return
+
+return:                ; preds = %return.loopexit, %entry
+       ret void
+}