[llvm] [SelectionDAG] Use computeForAddSub to prove that ISD::ADD is not 0 (PR #86453)

[via llvm-commits]

github-actions[bot] wrote:

<!--LLVM CODE FORMAT COMMENT: {darker}-->

:white_check_mark: With the latest revision this PR passed the Python code formatter.

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