projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4452c3) | patch
When analyzing loop exit conditions combined with and and or, don't
authorDan Gohman <gohman@apple.com>
Wed, 11 Aug 2010 00:12:36 +0000 (00:12 +0000)
committerDan Gohman <gohman@apple.com>
Wed, 11 Aug 2010 00:12:36 +0000 (00:12 +0000)
commit4ee87398e808534577ed1be52f2b48a6130b2c0e
tree3b7d7b376ae3bf2e509f3096354dd7664b74b823tree | snapshot
parentf4452c37d03ab6cdcd2b23cb15b921c0bba591a7commit | diff
When analyzing loop exit conditions combined with and and or, don't
make any assumptions about when the two conditions will agree on when
to permit the loop to exit. This fixes PR7845.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110758 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp diff | blob | history
test/Analysis/ScalarEvolution/max-trip-count.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors