diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-09-25 23:53:50 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-09-25 23:53:50 +0000 |
| commit | b174f9a3165809c79f89d94d1a6d351780b124d5 (patch) | |
| tree | 5cea800477a7a09bfa7222e1f76d5f2659bf8934 /clang/lib/CodeGen/BackendUtil.cpp | |
| parent | 96709c485431a241cef6f23817b92ad217f0ec4c (diff) | |
| download | llvm-b174f9a3165809c79f89d94d1a6d351780b124d5.zip llvm-b174f9a3165809c79f89d94d1a6d351780b124d5.tar.gz llvm-b174f9a3165809c79f89d94d1a6d351780b124d5.tar.bz2 | |
[SCEV] Reapply '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
The original checkin, r248608 had to be backed out due to an issue with
a ObjCXX unit test. That issue is now fixed, so re-landing.
Reviewers: atrick, reames, majnemer, hfinkel
Subscribers: llvm-commits
Differential Revision: http://reviews.llvm.org/D12950
llvm-svn: 248638
Diffstat (limited to 'clang/lib/CodeGen/BackendUtil.cpp')
0 files changed, 0 insertions, 0 deletions