[llvm] [LVI] Use m_AddLike instead of m_Add when matching simple condition (PR #86058)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

Okay, it looks like there is some impact, so I guess it's fine.

However, I don't think your test coverage is right. The test in icmp.ll is not affected by the change. You need a disjoint or in the dominating condition, not at the use-site.

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