Tom Chen via llvm-dev
2021-Aug-24 17:04 UTC
[llvm-dev] Giving additional range hint to SCEV
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>
Tom Chen via llvm-dev
2021-Aug-24 17:07 UTC
[llvm-dev] Giving additional range hint to SCEV
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>