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 | 01eff820ae0bc6ec55e389c5bb26a396816069a1 (patch) | |
| tree | e3beab8e823a34db02f2d389540f991111749b1c /llvm/test/Analysis | |
| parent | 19b7acff10846907a07dc104e18c0fe72bafb3c7 (diff) | |
| download | bcm5719-llvm-01eff820ae0bc6ec55e389c5bb26a396816069a1.tar.gz bcm5719-llvm-01eff820ae0bc6ec55e389c5bb26a396816069a1.zip | |
Test case and comment for PR9633.
llvm-svn: 130294
Diffstat (limited to 'llvm/test/Analysis')
| -rw-r--r-- | llvm/test/Analysis/ScalarEvolution/2011-04-26-FoldAddRec.ll | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/llvm/test/Analysis/ScalarEvolution/2011-04-26-FoldAddRec.ll b/llvm/test/Analysis/ScalarEvolution/2011-04-26-FoldAddRec.ll new file mode 100644 index 00000000000..1600d5f05a1 --- /dev/null +++ b/llvm/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 |
