diff options
| author | Chad Rosier <mcrosier@apple.com> | 2011-07-15 20:58:38 +0000 |
|---|---|---|
| committer | Chad Rosier <mcrosier@apple.com> | 2011-07-15 20:58:38 +0000 |
| commit | 72d6f34af1749a7242bde9c550b5cff96958e6a6 (patch) | |
| tree | 3cc8e469c0beb6d967aa9827ae4c5c641466fc06 /test/Transforms/LoopIdiom | |
| parent | d03ed6b8e76f59e560cd8e9ae5c15145da41e59a (diff) | |
| download | llvm-72d6f34af1749a7242bde9c550b5cff96958e6a6.tar.gz llvm-72d6f34af1749a7242bde9c550b5cff96958e6a6.tar.bz2 llvm-72d6f34af1749a7242bde9c550b5cff96958e6a6.tar.xz | |
A real testcase for r135286.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@135299 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/LoopIdiom')
| -rw-r--r-- | test/Transforms/LoopIdiom/memset_noidiom.ll | 55 |
1 files changed, 19 insertions, 36 deletions
diff --git a/test/Transforms/LoopIdiom/memset_noidiom.ll b/test/Transforms/LoopIdiom/memset_noidiom.ll index fa62ea8793..168eb95357 100644 --- a/test/Transforms/LoopIdiom/memset_noidiom.ll +++ b/test/Transforms/LoopIdiom/memset_noidiom.ll @@ -1,47 +1,30 @@ -; RUN: opt -basicaa -loop-idiom < %s -S | FileCheck %s +; RUN: opt -loop-idiom < %s -S | FileCheck %s 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-n8:16:32:64" target triple = "x86_64-apple-darwin10.0.0" ; CHECK: @memset -; CHECK-NOT: callq _memset +; CHECK-NOT: llvm.memset define i8* @memset(i8* %b, i32 %c, i64 %len) nounwind uwtable ssp { entry: - %b.addr = alloca i8*, align 8 - %c.addr = alloca i32, align 4 - %len.addr = alloca i64, align 8 - %p = alloca i8*, align 8 - %i = alloca i32, align 4 - store i8* %b, i8** %b.addr, align 8 - store i32 %c, i32* %c.addr, align 4 - store i64 %len, i64* %len.addr, align 8 - %tmp = load i8** %b.addr, align 8 - store i8* %tmp, i8** %p, align 8 - store i32 0, i32* %i, align 4 - br label %for.cond + %cmp1 = icmp ult i64 0, %len + br i1 %cmp1, label %for.body.lr.ph, label %for.end -for.cond: ; preds = %for.inc, %entry - %tmp2 = load i32* %i, align 4 - %conv = sext i32 %tmp2 to i64 - %tmp3 = load i64* %len.addr, align 8 - %cmp = icmp ult i64 %conv, %tmp3 - br i1 %cmp, label %for.body, label %for.end +for.body.lr.ph: ; preds = %entry + %conv6 = trunc i32 %c to i8 + br label %for.body -for.body: ; preds = %for.cond - %tmp5 = load i32* %c.addr, align 4 - %conv6 = trunc i32 %tmp5 to i8 - %tmp7 = load i8** %p, align 8 - %incdec.ptr = getelementptr inbounds i8* %tmp7, i32 1 - store i8* %incdec.ptr, i8** %p, align 8 - store i8 %conv6, i8* %tmp7 - br label %for.inc +for.body: ; preds = %for.body.lr.ph, %for.body + %indvar = phi i64 [ 0, %for.body.lr.ph ], [ %indvar.next, %for.body ] + %p.02 = getelementptr i8* %b, i64 %indvar + store i8 %conv6, i8* %p.02, align 1 + %indvar.next = add i64 %indvar, 1 + %exitcond = icmp ne i64 %indvar.next, %len + br i1 %exitcond, label %for.body, label %for.cond.for.end_crit_edge -for.inc: ; preds = %for.body - %tmp8 = load i32* %i, align 4 - %inc = add nsw i32 %tmp8, 1 - store i32 %inc, i32* %i, align 4 - br label %for.cond +for.cond.for.end_crit_edge: ; preds = %for.body + br label %for.end -for.end: ; preds = %for.cond - %tmp9 = load i8** %b.addr, align 8 - ret i8* %tmp9 +for.end: ; preds = %for.cond.for.end_crit_edge, %entry + ret i8* %b } + |