This is an archive of the discontinued LLVM Phabricator instance.

[SCEV] Factor out isKnownViaInduction. NFC.
ClosedPublic

Authored by skatkov on Mar 16 2018, 1:50 AM.

Details

Summary

This just extracts the isKnownViaInduction from isKnownPredicate.

Diff Detail

Event Timeline

mkazantsev accepted this revision.Mar 18 2018, 10:21 PM

LGTM with nits. We also have method isKnownOnEveryIteration which, I believe, is a weaker version of this one. We should consider replacing of it with this one I think.

lib/Analysis/ScalarEvolution.cpp
8724

Assert that SplitLHS.second and SplitRHS.second are also not getCouldNotCompute() at this point?

8731

Please clang-format that.

This revision is now accepted and ready to land.Mar 18 2018, 10:21 PM
This revision was automatically updated to reflect the committed changes.