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

[Simon Pilgrim via llvm-commits]

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