[llvm-dev] ScalarEvolution pass and interprocedural analysis

Sanjoy Das via llvm-dev llvm-dev at lists.llvm.org
Mon Sep 12 22:22:46 PDT 2016

Hi Dmitrii,

Dmitrii Kuvaiskii wrote:
 > If isKnownPredicate() is the wrong method for this, what could be used instead?

It depends on specifics.  SCEV is somewhat limited in how aggressively
it can exploit nsw/nuw/inbounds flags due to some systemic reasons.

Can you please file a bug with an IR reproducer?  We can continue the
discussion there.

-- Sanjoy

More information about the llvm-dev mailing list