goldsteinn wrote: > I agree that we can just leave it as is until we find similar patterns in the future :) Yeah, I might try my luck at patch for integrating into simplifyWithDemandedBiys, but we'll see. https://github.com/llvm/llvm-project/pull/85575