gamesh411 wrote: > This doesn't explain why is the second condition dependent on the first condition. Fair point, I was too zoomed in on how I got to this condition, and did not immediately see this simplification. Thanks! https://github.com/llvm/llvm-project/pull/189361