[PATCH] D36656: [SCCP] Propagate integer range information in IPSCCP (WIP).

[Matthew Simpson via Phabricator via llvm-commits]

mssimpso added a comment.

In https://reviews.llvm.org/D36656#841247, @efriedma wrote:

> Should we use range/nonnull metadata or assumptions to generate ranges?
>
> Should IPSCCP itself try to fold operations based on ranges?
>
> Inserting a bunch of "llvm.assume" calls is probably not a good idea; it's likely to be a big performance sink, and block other optimizations.  (Not sure what the right answer looks like here, though; it's a hard problem.)


An alternative would be to just attach range metadata to arguments/calls, and then rely on LVI for the intraprocedural work.


https://reviews.llvm.org/D36656