https://github.com/ayalz commented: Thanks for simplifying and extracting the part that deals specifically with the X&&Y || X&&!Y pattern! This by itself results in various levels of subsequent cleanups. Adding a couple of nits. https://github.com/llvm/llvm-project/pull/89386