A wrapper around SCEV::isKnownPredicate. Looks for cases where we're interested in comparing for equality. If both X and Y have been identically sign or zero extended, it strips off the (confusing) extensions before invoking SCEV::isKnownPredicate. Perhaps, someday, the ScalarEvolution package will be similarly updated. If SCEV::isKnownPredicate can't prove the predicate, we try simple subtractio
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected