4 Commits

Author	SHA1	Message	Date
Dan Gohman	8a977e2edd	-disable-output is no longer needed with -analyze. ... git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@94574 91177308-0d34-0410-b5e6-96231b3b80d8	2010-01-26 19:25:59 +00:00
Dan Gohman	52fddd3e36	Fix the the ceiling-division used in computing the MaxBECount so that it doesn't ... have trouble with an intermediate add overflowing. Also, be more conservative about the case where the induction variable in an SLT loop exit can step past the RHS of the SLT and overflow in a single step. Make getSignedRange more aggressive, to recover for some common cases which the above fixes pessimized. This addresses rdar://7561161. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@94512 91177308-0d34-0410-b5e6-96231b3b80d8	2010-01-26 04:40:18 +00:00
Dan Gohman	3073329c53	Use WriteAsOperand instead of getName() to print loop header names, ... so that unnamed blocks are handled. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@93059 91177308-0d34-0410-b5e6-96231b3b80d8	2010-01-09 18:17:45 +00:00
Dan Gohman	1f96e67f78	Teach ScalarEvolution how to reason about no-wrap flags on loops ... where the induction variable has a non-unit stride, such as {0,+,2}, and there are expressions such as {1,+,2} inside the loop formed with or or add nsw operators. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82151 91177308-0d34-0410-b5e6-96231b3b80d8	2009-09-17 18:05:20 +00:00