ScalarEvolution support for <= and >= loops.
authorDan Gohman <gohman@apple.com>
Sat, 24 Apr 2010 03:09:42 +0000 (03:09 +0000)
committerDan Gohman <gohman@apple.com>
Sat, 24 Apr 2010 03:09:42 +0000 (03:09 +0000)
commit9f93d30a26ae9928f886ef7271efeafcea2a00a6
tree2174133ce20c35c5d2672148a050586b9109ad43
parentd19bba69ad92311c64c8d55d69c74543933e451e
ScalarEvolution support for <= and >= loops.

Also, generalize ScalarEvolutions's min and max recognition to handle
some new forms of min and max that this change makes more common.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@102234 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp
test/Analysis/ScalarEvolution/2008-11-18-LessThanOrEqual.ll
test/Analysis/ScalarEvolution/2008-12-08-FiniteSGE.ll
test/Analysis/ScalarEvolution/2008-12-11-SMaxOverflow.ll
test/Analysis/ScalarEvolution/sle.ll [new file with mode: 0644]