[llvm-dev] Giving additional range hint to SCEV

[Tom Chen via llvm-dev]

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/a75a251a/attachment-0001.html>