[llvm-dev] superoptimizer evaluation

[via llvm-dev]

Hi John,
IIRC, the following commits are a direct/indirect result of using 
Souper:

r268735: [SimplifyCFG] Prefer a simplification based on a dominating 
condition.
r268636: [ValueTracking] Improve isImpliedCondition for matching LHS and 
Imm RHSs.
r268104: [InstCombine] Determine the result of a select based on a 
dominating condition.
r267430: [ValueTracking] Improve isImpliedCondition when the dominating 
cond is false.
r267177: [SimplifyCFG] Add final missing implications to 
isImpliedTrueByMatchingCmp.
r267171: [SimplifyCFG] Add missing implications to 
isImpliedTrueByMatchingCmp.
r266767: [ValueTracking] Improve isImpliedCondition for conditions with 
matching operands.

   Chad

On 2016-11-02 02:01, John Regehr via llvm-dev wrote:
> Hello folks,
> 
> Over the last few years I provided a few links (below) to some
> optimizations derived by Souper.
> 
> I know that at least a few of these optimizations got implemented in
> LLVM but I don't have any good data on this. If you implemented any of
> these, or know of some that got implemented, could you drop me a line?
> 
> Also I'll be at the upcoming dev meeting in San Jose and would love to
> chat with folks about this stuff.
> 
> Thanks,
> 
> John
> 
> http://lists.llvm.org/pipermail/llvm-dev/2014-November/078971.html
> http://lists.llvm.org/pipermail/llvm-dev/2015-July/088481.html
> 
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev