4 Commits

Author	SHA1	Message	Date
Dan Gohman	80386c10d4	-disable-output is no longer needed with -analyze. ... llvm-svn: 94574	2010-01-26 19:25:59 +00:00
Dan Gohman	51aaf02821	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. llvm-svn: 94512	2010-01-26 04:40:18 +00:00
Dan Gohman	bc694918cc	Use WriteAsOperand instead of getName() to print loop header names, ... so that unnamed blocks are handled. llvm-svn: 93059	2010-01-09 18:17:45 +00:00
Dan Gohman	36bad00bef	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. llvm-svn: 82151	2009-09-17 18:05:20 +00:00