tree 4832ed3ba5969bec1330f7d929d53a264fd40f38
parent 2254e014a9019bf17c3f5cb27c1dc40ca0f2ffce
author Max Kazantsev <mkazantsev@azul.com> 1606371602 +0700
committer Max Kazantsev <mkazantsev@azul.com> 1606371602 +0700

[SCEV] Use isKnownPredicateAt in isLoopBackedgeGuardedByCond

A piece of code in `isLoopBackedgeGuardedByCond` basically duplicates
the dominators traversal from `isBlockEntryGuardedByCond` called from
`isKnownPredicateAt`, but it's less powerful because it does not give context
to `isImpliedCond`. This patch reuses the `isKnownPredicateAt `function there,
reducing the amount of code duplication and making it more powerful.

Differential Revision: https://reviews.llvm.org/D92152
Reviewed By: skatkov