[llvm] [InstCombine] Improve handling of `not` and free inversion. (PR #66787)

[Nikita Popov via llvm-commits]

================
@@ -2224,12 +2224,17 @@ Instruction *InstCombinerImpl::visitSub(BinaryOperator &I) {
   // (~X) - (~Y) --> Y - X
   // This is placed after the other reassociations and explicitly excludes a
   // sub-of-sub pattern to avoid infinite looping.
----------------
nikic wrote:

The comment above is outdated / redundant with the one below.

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