[BasicAA] Account for wrapping when using abs(Scale*V0 + (-Scale)*V1) >= abs(Scale)#137755

topperc merged 3 commits intollvm:mainllvm/llvm-project:mainfrom

topperc:pr/basicaatopperc/llvm-project:pr/basicaaCopy head branch name to clipboard