[PATCH] [SCEV] Make isImpliedCond smarter.

[Sanjoy Das]

Hi atrick,

This change teaches isImpliedCond to infer things like "X sgt 0" => "X -
1 sgt -1".

The logic to do the heavy lifting is present in the `ConstantRange`
class, this change simply gets ScalarEvolution to exploit that when
reasonable.

Depends on D8345

http://reviews.llvm.org/D8346

Files:
  include/llvm/Analysis/ScalarEvolution.h
  lib/Analysis/ScalarEvolution.cpp
  test/Analysis/ScalarEvolution/infer-via-ranges.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D8346.21995.patch
Type: text/x-patch
Size: 4979 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150315/21f62b65/attachment.bin>