[llvm-dev] superoptimizer evaluation
llvm-dev at lists.llvm.org
Mon Nov 7 07:16:11 PST 2016
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
r268104: [InstCombine] Determine the result of a select based on a
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
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.
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
More information about the llvm-dev