llvm/test/Analysis
Nick Lewycky dd643f26c4 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.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@59528 91177308-0d34-0410-b5e6-96231b3b80d8
2008-11-18 15:10:54 +00:00
..
Andersens Remove GCSE and LoadVN from the testsuite. 2008-08-16 00:00:54 +00:00
BasicAA Remove GCSE and LoadVN from the testsuite. 2008-08-16 00:00:54 +00:00
CallGraph Rationalize the names of passes that print information: 2008-09-23 12:47:39 +00:00
Dominators Move these tests into the proper directory. 2008-05-29 16:30:29 +00:00
GlobalsModRef Remove the MarkModRef pass (use AddReadAttrs instead). 2008-09-19 08:23:44 +00:00
LoopInfo Fix WriteAsOperand to not emit a leading space character. Adjust 2008-09-14 17:21:12 +00:00
PostDominators Move these tests into the proper directory. 2008-05-29 16:30:29 +00:00
ScalarEvolution Add a utility function that detects whether a loop is guaranteed to be finite. 2008-11-18 15:10:54 +00:00