| ; Base should not be i*3, it should be i*2. |
| ; RUN: llvm-upgrade < %s | llvm-as | opt -loop-reduce | llvm-dis | \ |
| ; RUN: not grep {mul.*%i, 3} |
| |
| ; Indvar should not start at zero: |
| ; RUN: llvm-upgrade < %s | llvm-as | opt -loop-reduce | llvm-dis | \ |
| ; RUN: not grep {phi uint .* 0} |
| ; END. |
| |
| ; 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.s) { |
| entry: |
| %i = cast int %i.s to uint ; <uint> [#uses=2] |
| %k_addr.012 = shl int %i.s, 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.s ; <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 |
| } |