[llvm-dev] Giving additional range hint to SCEV

[Tom Chen via llvm-dev]

I should add that I am trying to avoid modifying or making my modified
version of `getRangeRef`.

On Tue, Aug 24, 2021 at 1:04 PM Tom Chen <cyt046 at gmail.com> wrote:

> Hi,
> I am using `ScalarEvolution::isKnownPositive` for my project. Sometimes
> the expressions that I pass in have known ranges (e.g., x >= 2) that Scalar
> Evolution doesn't know about (in my case these constraints only hold in
> some paths). Is there a way for me to pass that range constraint along?
> Best,
> Tom
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20210824/6354c411/attachment.html>