From fea05b464e177691ece3bd78329d1eb6ac37eaa5 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Fri, 17 Nov 2006 06:09:49 +0000 Subject: [PATCH] New testcase. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31808 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../var_stride_used_by_compare.ll | 48 +++++++++++++++++++ 1 file changed, 48 insertions(+) create mode 100644 test/Transforms/LoopStrengthReduce/var_stride_used_by_compare.ll 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 index 00000000000..4f619cd65ff --- /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 ; [#uses=2] + %k_addr.012 = shl int %i, ubyte 1 ; [#uses=1] + %tmp14 = setgt int %k_addr.012, 8192 ; [#uses=1] + br bool %tmp14, label %return, label %bb.preheader + +bb.preheader: ; preds = %entry + %tmp. = shl uint %i, ubyte 1 ; [#uses=1] + br label %bb + +bb: ; preds = %bb, %bb.preheader + %indvar = phi uint [ %indvar.next, %bb ], [ 0, %bb.preheader ] ; [#uses=2] + %tmp.15 = mul uint %indvar, %i ; [#uses=1] + %tmp.16 = add uint %tmp.15, %tmp. ; [#uses=2] + %k_addr.0.0 = cast uint %tmp.16 to int ; [#uses=1] + %tmp = getelementptr [8193 x sbyte]* %flags2, int 0, uint %tmp.16 ; [#uses=1] + store sbyte 0, sbyte* %tmp + %k_addr.0 = add int %k_addr.0.0, %i ; [#uses=1] + %tmp = setgt int %k_addr.0, 8192 ; [#uses=1] + %indvar.next = add uint %indvar, 1 ; [#uses=1] + br bool %tmp, label %return.loopexit, label %bb + +return.loopexit: ; preds = %bb + br label %return + +return: ; preds = %return.loopexit, %entry + ret void +} -- 2.34.1