diff options
author | Nick Lewycky <nicholas@mxc.ca> | 2012-08-01 09:14:36 +0000 |
---|---|---|
committer | Nick Lewycky <nicholas@mxc.ca> | 2012-08-01 09:14:36 +0000 |
commit | 6ce2471806316ae9e1c7715f703c380d4f4311b6 (patch) | |
tree | 3ebc81d806c7416849a29dad540e4ad6451e98ee /test | |
parent | 147d9e05116518461653695a6022f6109f0eb936 (diff) | |
download | external_llvm-6ce2471806316ae9e1c7715f703c380d4f4311b6.zip external_llvm-6ce2471806316ae9e1c7715f703c380d4f4311b6.tar.gz external_llvm-6ce2471806316ae9e1c7715f703c380d4f4311b6.tar.bz2 |
Stay rational; don't assert trying to take the square root of a negative value.
If it's negative, the loop is already proven to be infinite. Fixes PR13489!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@161107 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Analysis/ScalarEvolution/SolveQuadraticEquation.ll | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/Analysis/ScalarEvolution/SolveQuadraticEquation.ll b/test/Analysis/ScalarEvolution/SolveQuadraticEquation.ll index 06f1b6f..e946d7a 100644 --- a/test/Analysis/ScalarEvolution/SolveQuadraticEquation.ll +++ b/test/Analysis/ScalarEvolution/SolveQuadraticEquation.ll @@ -80,3 +80,24 @@ for.cond539.preheader: unreachable } ; CHECK: Determining loop execution counts for: @test3 + +; PR13489 +; We used to crash on this too. + +define void @test4() { +entry: + br label %for.body + +for.body: ; preds = %for.body, %entry + %v2.02 = phi i64 [ 2, %entry ], [ %phitmp, %for.body ] + %v1.01 = phi i64 [ -2, %entry ], [ %sub1, %for.body ] + %sub1 = sub i64 %v1.01, %v2.02 + %phitmp = add i64 %v2.02, 2 + %tobool = icmp eq i64 %sub1, %phitmp + br i1 %tobool, label %for.end, label %for.body + +for.end: ; preds = %for.body + ret void +} + +; CHECK: Determining loop execution counts for: @test4 |