[llvm-dev] ScalarEvolution pass and interprocedural analysis

[Sanjoy Das via llvm-dev]

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.

Thanks,
-- Sanjoy