[llvm-dev] superoptimizer evaluation

via llvm-dev llvm-dev at lists.llvm.org
Mon Nov 7 07:16:11 PST 2016

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

r268735: [SimplifyCFG] Prefer a simplification based on a dominating 
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 
r267171: [SimplifyCFG] Add missing implications to 
r266767: [ValueTracking] Improve isImpliedCondition for conditions with 
matching operands.


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

More information about the llvm-dev mailing list