mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-18 12:29:21 +00:00
New testcase.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31808 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
8b2e1419cf
commit
fea05b464e
@ -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
|
||||
}
|
Loading…
Reference in New Issue
Block a user