diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2008-11-18 15:10:54 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2008-11-18 15:10:54 +0000 |
| commit | 1c451ae43ea1e99fa9347fb943eeb965f1da3ac9 (patch) | |
| tree | e4fbe22124135805a06a9e0ab6c2834a8727deec /llvm/lib/CodeGen/PreAllocSplitting.cpp | |
| parent | 4ea8043d6fca75710a6f7a08b1a2f0d8ecf34277 (diff) | |
| download | bcm5719-llvm-1c451ae43ea1e99fa9347fb943eeb965f1da3ac9.tar.gz bcm5719-llvm-1c451ae43ea1e99fa9347fb943eeb965f1da3ac9.zip | |
Add a utility function that detects whether a loop is guaranteed to be finite.
Use it to safely handle less-than-or-equals-to exit conditions in loops. These
also occur when the loop exit branch is exit on true because SCEV inverses the
icmp predicate.
Use it again to handle non-zero strides, but only with an unsigned comparison
in the exit condition.
llvm-svn: 59528
Diffstat (limited to 'llvm/lib/CodeGen/PreAllocSplitting.cpp')
0 files changed, 0 insertions, 0 deletions
