diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-09-25 19:59:57 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-09-25 19:59:57 +0000 |
| commit | d706fa8a0c281b22df73c08c08b61b3f0a460e30 (patch) | |
| tree | 2708e7ef36f0617d817e6948ffa814d3869b628b /lldb/source/Expression/Materializer.cpp | |
| parent | df1635d3941600c1873d8eceb494edf7c32ee920 (diff) | |
| download | bcm5719-llvm-d706fa8a0c281b22df73c08c08b61b3f0a460e30.tar.gz bcm5719-llvm-d706fa8a0c281b22df73c08c08b61b3f0a460e30.zip | |
[SCEV] Teach isLoopBackedgeGuardedByCond to exploit trip counts.
Summary:
If the trip count of a specific backedge is `N`, then we know that
backedge is effectively guarded by the condition `{0,+,1} u< N`. This
change teaches SCEV to use this condition to prove things in
`isLoopBackedgeGuardedByCond`.
Depends on D12948
Depends on D12949
Reviewers: atrick, reames, majnemer, hfinkel
Subscribers: llvm-commits
Differential Revision: http://reviews.llvm.org/D12950
llvm-svn: 248608
Diffstat (limited to 'lldb/source/Expression/Materializer.cpp')
0 files changed, 0 insertions, 0 deletions
