diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-08-31 19:58:24 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2015-08-31 19:58:24 +0000 |
| commit | 5f912d3797bc253a86712e2677cd3d983d81de55 (patch) | |
| tree | 8250a213c8c63923b6c372dbdf4701529d7d6f08 /llvm/lib/Analysis/LibCallSemantics.cpp | |
| parent | a88caeab6c20db6325b5fa4d80cc79830e7a278f (diff) | |
| download | bcm5719-llvm-5f912d3797bc253a86712e2677cd3d983d81de55.tar.gz bcm5719-llvm-5f912d3797bc253a86712e2677cd3d983d81de55.zip | |
Do Not Model Unbounded Loops
Code generation currently does not expect unbounded loops. When
using ISL to compute the loop trip count, if we find that the
iteration domain remains unbounded, we invalidate the Scop by
creating an infeasible context.
Contributed-by: Matthew Simpson <mssimpso@codeaurora.org>
This fixes PR24634.
Differential Revision: http://reviews.llvm.org/D12493
llvm-svn: 246477
Diffstat (limited to 'llvm/lib/Analysis/LibCallSemantics.cpp')
0 files changed, 0 insertions, 0 deletions
