[llvm] [DAG] computeKnownBits - abds(x, y) will be zero in the upper bits if x and y are sign-extended (PR #94448)

[Jay Foad via llvm-commits]

https://github.com/jayfoad approved this pull request.


https://github.com/llvm/llvm-project/pull/94448