[SCEV] Factor out utility for proving same sign of two SCEVs [nfc]#170376

preames merged 1 commit intollvm:mainllvm/llvm-project:mainfrom

preames:pr-scev-haveSameSign-nfcpreames/llvm-project:pr-scev-haveSameSign-nfcCopy head branch name to clipboard