[llvm-dev] Reasoning about results of min and max with a constant
David Majnemer via llvm-dev
llvm-dev at lists.llvm.org
Fri Jul 29 21:55:49 PDT 2016
On Fri, Jul 29, 2016 at 10:08 PM, Carlos Liam via llvm-dev <
llvm-dev at lists.llvm.org> wrote:
> Hi all,
> Say we have this IR:
> %1 = icmp slt i16 %x, 0
> %.x = select i1 %1, i16 0, i16 %x
> This is the canonical form of what is effectively max(x, 0).
> From what I can tell LLVM has no facilities to determine from this code
> that %.x >= 0, so (for example) an SExt on %.x will not be converted to a
> I'm interested in seeing what sorts of changes would be needed to
> recognize this pattern in existing facilities (computeKnownBits, etc.) in
> order to more broadly apply optimizations that use those facilities.
computeKnownBitsFromOperator is where the logic would go. You'd
call matchSelectPattern with the select and if it gave back SPF_SMAX with
the RHS being zero, you'd know that it's a signed max with zero.
> Any insight would be appreciated. Thanks!
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev