[PATCH] Teach ScalarEvolution to exploit SMin expressions.

[Sanjoy Das]

Hi atrick, reames,

This change teaches isImpliedCondOperands the following two facts:
    
 * A `ICMP_SGE` smin(..., A, ...)
 * smin(..., A, ...) `ICMP_SLE` A

http://reviews.llvm.org/D6560

Files:
  lib/Analysis/ScalarEvolution.cpp
  test/Transforms/IndVarSimplify/backedge-on-min-max.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D6560.17017.patch
Type: text/x-patch
Size: 5522 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141206/6941ce0e/attachment.bin>