diff options
| author | Andrew Trick <atrick@apple.com> | 2011-04-27 05:42:17 +0000 |
|---|---|---|
| committer | Andrew Trick <atrick@apple.com> | 2011-04-27 05:42:17 +0000 |
| commit | 104f4adeac9f555530ad24be609dae9d09baea18 (patch) | |
| tree | a3e5c7f63cd95f20a008ed0cbfa82108cd0f0523 /test/Analysis/ScalarEvolution | |
| parent | 3f5c8329098abbd885f69ff8a11af62561d9d41b (diff) | |
| download | llvm-104f4adeac9f555530ad24be609dae9d09baea18.tar.gz llvm-104f4adeac9f555530ad24be609dae9d09baea18.tar.bz2 llvm-104f4adeac9f555530ad24be609dae9d09baea18.tar.xz | |
Test case and comment for PR9633.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@130294 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/ScalarEvolution')
| -rw-r--r-- | test/Analysis/ScalarEvolution/2011-04-26-FoldAddRec.ll | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/test/Analysis/ScalarEvolution/2011-04-26-FoldAddRec.ll b/test/Analysis/ScalarEvolution/2011-04-26-FoldAddRec.ll new file mode 100644 index 0000000000..1600d5f05a --- /dev/null +++ b/test/Analysis/ScalarEvolution/2011-04-26-FoldAddRec.ll @@ -0,0 +1,33 @@ +; RUN: opt < %s -analyze -iv-users +; PR9633: Tests that SCEV handles the mul.i2 recurrence being folded to +; constant zero. + +define signext i8 @func_14(i8 signext %p_18) nounwind readnone ssp { +entry: + br label %for.inc + +for.inc: + %p_17.addr.012 = phi i32 [ 0, %entry ], [ %add, %for.inc ] + %add = add nsw i32 %p_17.addr.012, 1 + br i1 false, label %for.inc, label %for.cond + +for.cond: + %tobool.i = icmp ult i32 %add, 8192 + %shl.i = select i1 %tobool.i, i32 13, i32 0 + %shl.left.i = shl i32 %add, %shl.i + %conv.i4 = trunc i32 %shl.left.i to i8 + br i1 undef, label %for.inc9, label %if.then + +for.inc9: + %p_18.addr.011 = phi i8 [ %add12, %for.inc9 ], [ %p_18, %for.cond ] + %add12 = add i8 %p_18.addr.011, 1 + %mul.i2 = mul i8 %add12, %conv.i4 + %mul.i2.lobit = lshr i8 %mul.i2, 7 + %lor.ext.shr.i = select i1 undef, i8 %mul.i2.lobit, i8 %mul.i2 + %tobool = icmp eq i8 %lor.ext.shr.i, 0 + br i1 %tobool, label %for.inc9, label %if.then + +if.then: + ret i8 0 + +}
\ No newline at end of file |