artagnon wrote: It should be noted that I wasn't able to play with this in Alive2 (since Alive2 doesn't have support for the `reassoc` family), and therefore, we have no choice but to reason about this patch by hand. https://github.com/llvm/llvm-project/pull/108415