summaryrefslogtreecommitdiffstats
path: root/llvm/test/Analysis/ScalarEvolution/infer-via-ranges.ll
Commit message (Collapse)AuthorAgeFilesLines
* [SCEV] Make isImpliedCond smarter.Sanjoy Das2015-03-181-0/+30
Summary: This change teaches isImpliedCond to infer things like "X sgt 0" => "X - 1 sgt -1". The `ConstantRange` class has the logic to do the heavy lifting, this change simply gets ScalarEvolution to exploit that when reasonable. Depends on D8345 Reviewers: atrick Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D8346 llvm-svn: 232576
OpenPOWER on IntegriCloud