diff options
author | Nick Lewycky <nicholas@mxc.ca> | 2008-06-13 04:38:55 +0000 |
---|---|---|
committer | Nick Lewycky <nicholas@mxc.ca> | 2008-06-13 04:38:55 +0000 |
commit | 6f8abf929ac173872cc50aff767bc25f2a07a523 (patch) | |
tree | f35698453357113bc44221d555040b5d16848f18 /test/Analysis | |
parent | 52ed363fd31e9f3952c36b760830dbcbebe9d753 (diff) | |
download | external_llvm-6f8abf929ac173872cc50aff767bc25f2a07a523.zip external_llvm-6f8abf929ac173872cc50aff767bc25f2a07a523.tar.gz external_llvm-6f8abf929ac173872cc50aff767bc25f2a07a523.tar.bz2 |
Crash less. The i64 restriction in BinomialCoefficient caused some problems
with code that was expecting different bit widths for different values.
Make getTruncateOrZeroExtend a method on ScalarEvolution, and use it.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@52248 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis')
-rw-r--r-- | test/Analysis/ScalarEvolution/2008-06-12-BinomialInt64.ll | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/test/Analysis/ScalarEvolution/2008-06-12-BinomialInt64.ll b/test/Analysis/ScalarEvolution/2008-06-12-BinomialInt64.ll new file mode 100644 index 0000000..cbe5c97 --- /dev/null +++ b/test/Analysis/ScalarEvolution/2008-06-12-BinomialInt64.ll @@ -0,0 +1,43 @@ +; RUN: llvm-as < %s | opt -analyze -scalar-evolution 2>/dev/null +; PR2433 + +define i32 @main1(i32 %argc, i8** %argv) nounwind { +entry: + br i1 false, label %bb10, label %bb23 + +bb10: ; preds = %bb10, %entry + %accum.03 = phi i64 [ %tmp14, %bb10 ], [ 0, %entry ] ; <i64> [#uses=1] + %i.02 = phi i32 [ %tmp16, %bb10 ], [ 0, %entry ] ; <i32> [#uses=1] + %d.1.01 = phi i64 [ %tmp5.i, %bb10 ], [ 0, %entry ] ; <i64> [#uses=1] + %tmp5.i = add i64 %d.1.01, 1 ; <i64> [#uses=2] + %tmp14 = add i64 %accum.03, %tmp5.i ; <i64> [#uses=2] + %tmp16 = add i32 %i.02, 1 ; <i32> [#uses=2] + %tmp20 = icmp slt i32 %tmp16, 0 ; <i1> [#uses=1] + br i1 %tmp20, label %bb10, label %bb23 + +bb23: ; preds = %bb10, %entry + %accum.0.lcssa = phi i64 [ 0, %entry ], [ %tmp14, %bb10 ] ; <i64> [#uses=0] + ret i32 0 +} + +define i32 @main2(i32 %argc, i8** %argv) { +entry: + %tmp8 = tail call i32 @atoi( i8* null ) nounwind readonly ; <i32> [#uses=1] + br i1 false, label %bb9, label %bb21 + +bb9: ; preds = %bb9, %entry + %accum.03 = phi i64 [ %tmp12, %bb9 ], [ 0, %entry ] ; <i64> [#uses=1] + %i.02 = phi i32 [ %tmp14, %bb9 ], [ 0, %entry ] ; <i32> [#uses=1] + %d.1.01 = phi i64 [ %tmp4.i, %bb9 ], [ 0, %entry ] ; <i64> [#uses=1] + %tmp4.i = add i64 %d.1.01, 1 ; <i64> [#uses=2] + %tmp12 = add i64 %accum.03, %tmp4.i ; <i64> [#uses=2] + %tmp14 = add i32 %i.02, 1 ; <i32> [#uses=2] + %tmp18 = icmp slt i32 %tmp14, %tmp8 ; <i1> [#uses=1] + br i1 %tmp18, label %bb9, label %bb21 + +bb21: ; preds = %bb9, %entry + %accum.0.lcssa = phi i64 [ 0, %entry ], [ %tmp12, %bb9 ] ; <i64> [#uses=0] + ret i32 0 +} + +declare i32 @atoi(i8*) nounwind readonly |