Generalize support for analyzing loops to include SLE/SGE loop exit conditions
authorNick Lewycky <nicholas@mxc.ca>
Tue, 16 Dec 2008 08:30:01 +0000 (08:30 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Tue, 16 Dec 2008 08:30:01 +0000 (08:30 +0000)
commit1447f5ca1f59fdbe885df36c74e868267297a59d
treed69fcbdd528d8f308eb77297d4af98e448f35645
parent5a6bb6ae78fb42bedd8987ccd611abd0a548edbf
Generalize support for analyzing loops to include SLE/SGE loop exit conditions
and support for non-unit strides with signed exit conditions.

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